Institut für Computersprachen
Programmiersprachen und Übersetzer
 | Diplomarbeit |
|---|---|
| Titel | Eine Semantikdefinition für eine Datenbank |
| Autor | Sima, Peter |
| Erscheinungsjahr | 1980 |
| Abstract | Es ist das Ziel dieser Diplomarbeit, für eine Datenbank eine Semantikdefinition zu geben. Zunächst wird eine Datenbank beschrieben, die Daten über die Infrastruktur der Stadt Wien enthält. Diese Beschreibung ist zwar informal, lehnt sich jedoch eng an das entity-relationship Modell an. Eine informale Einführung in die Vienna-Development-Method (kurz: VDM) und einige wichtige Sprachelemente der Meta-Language (kurz: META-IV) soll einen Einblick in die Methode der Semantikdefinition für große Systeme vermitteln. Es wird dann versucht, diese Methode zur Beschreibung der obigen Datenbank zu verwenden. Im Anschluß daran werden die Schwierigkeiten dargelegt, die bei der Anwendung von DVM auf diese konkrete und keineswegs abstrakte Problemstellung aufgetreten sind, und Verbesserungsvorschläge angegeben. Es zeigt sich, daß VDM eine im großen und ganzen taugliche Methode für eine formale Semantikdefinition von komplexen Systemen der Informatik darstellt, wobei man jedoch feststellen muß, daß die Modellbildung manchmal erschwert wird und die Übersichtlichkeit leidet. |
| Status | Verfügbar |