Specifications of Database Systems: International Workshop on Specifications of Database Systems, Glasgow, 3-5 July 1991 (Workshops in Computing) - Softcover

Inhaltsangabe

In zunehmendem Maße werden formale Spezifikationen von Datenbankforschern verwendet, um die Systeme, die sie entwerfen und implementieren, zu beschreiben und zu verstehen. Ebenso haben diejenigen, die an formalen Spezifikationstechniken arbeiten, erkannt, dass das Datenbankfeld einen reichen Kontext für die Entwicklung ihrer Ideen bietet. Da Experten auf einem Gebiet jedoch oft relativ begrenzte Kenntnisse über das andere haben, besteht ein wachsender Diskussionsbedarf über die Beziehung zwischen diesen beiden Bereichen und wie sie sinnvoll kombiniert werden können. Dieser Band enthält die 16 Papiere, die auf der International Workshop on Specification on Database Systems, gehalten in Glasgow, 3-5. Juli 1991 präsentiert wurden. Ziel des Workshops war es, diese Bereiche zusammenzubringen und durch eine Reihe von eingeladenen Vorträgen, Präsentationen und Arbeitsgruppen die Rolle zu untersuchen, die formale Spezifikation bei der Entwicklung von Datenbanksystemen spielen kann. Die Papiere beschreiben aktuelle Forschungen zu Themen wie der formalen Spezifikation von Datenmodellen, Abfragesprachen und Transaktionshandlung und die Verwendung formaler Spezifikationstechniken, um Probleme zu verstehen, die in Datenbanksystemen auftreten. Die Arbeitsgruppen, die am Ende des Bandes zusammengefasst werden, umfassten eine Vielzahl von Fragen, einschließlich der Rolle grafischer Notationen bei der Datenbankspezifikation, die Verwendung von Spezifikationstechniken bei der Ermöglichung "offener" oder erweiterbarer Datenbanksysteme und die Ausbildung der Datenbankgemeinschaft in Spezifikationstechniken. Dieses Band wird für die zunehmende Anzahl von Forschern von unschätzbarem Wert sein, die sowohl Datenbanksysteme als auch formale Spezifikationstechniken in ihrer Arbeit verwenden und ein detaillierteres Wissen über diese beiden Bereiche und die Probleme, die sie betreffen, erlangen möchten.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.