Dynamische Integrität von Datenbanken: Grundlagen der Spezifikation und Überwachung

ISBN-13: 9783540511304 / Niemiecki / Miękka / 1989 / 140 str.

Udo W. Lipeck

Opis

Aufgabe des Datenbank-Entwurfs ist es, nicht nur die statische Struktur, sondern auch das dynamische Verhalten eines Datenbanksystems zu spezifizieren. Um festzulegen, welche Folgen von Datenbankzustanden zulassig sind, gibt man dynamische Integritatsbedingungen an. Komplementar dazu bestimmen Transaktionen als Grundbausteine von Anwendungsprogrammen die ausfuhrbaren Zustandsfolgen. Diese Monographie stellt zwei Ansatze zur Uberwachung der dynamischen Integritat von Datenbanken vor. Es werden theoretische und algorithmische Grundlagen sowie die beim Datenbank-Entwurf erforderlichen Vorbereitungen behandelt. Die Verfahren werden anhand eines durchlaufenden Standardbeispiels demonstriert. Spezifiziert werden Integritatsbedingungen durch Formeln einer temporalen Logik und Transaktionen durch Vor-/Nachbedingungen; die Semantik dieser Kalkule wird im Buch eingefuhrt. Aus temporalen Formeln lassen sich Transitionsgraphen konstruieren, deren Pfade den zulassigen Zustandsfolgen entsprechen. Daher dienen die Graphen einerseits als Ablaufsteuerung eines universellen Monitors, der die Analyse von Zustandsfolgen auf zustandslokale Prufungen zuruckfuhrt. Andererseits kann man anhand der Graphen Integritatsbedingungen systematisch in Vor-/Nachbedingungen von Transaktionen transformieren, so dass jede ausfuhrbare Zustandsfolge zulassig wird. Das letztere Vorgehen bereitet eine effiziente transaktionsangepasste Uberwachung vor und fuhrt zu einer Spezifikation von Datenbankverhalten durch schrittweise Verfeinerung."

Spis treści

1 Einführung.- 1.1 Datenbankschemata.- 1.2 Integritätsüberwachung.- 1.3 Dynamische Integrität.- 2 Ein Beispielschema.- 3 Dynamische Integritätsbedingungen.- 3.1 Strukturen.- 3.2 Temporale Formeln.- 3.2.1 Syntax und Semantik.- 3.2.2 Äquivalenzen und Ableitungen.- 3.2.3 Auswahl von temporalen Operatoren.- 3.3 Normalformen.- 3.4 Partielle Gültigkeit.- 3.5 Spezifikation von Integritätsbedingungen.- 4 Universelle Integritätsüberwachung mit Transitionsgraphen.- 4.1 Transitionsgraphen.- 4.1.1 Grundbegriffe.- 4.1.2 Akzeptanz und Gültigkeit.- 4.1.3 Transitionsgraphen als Integritätsmonitor.- 4.2 Konstruktion von Transitionsgraphen.- 4.2.1 Normalform-Transitionsgraphen.- 4.2.2 Deterministische Transitionsgraphen.- 4.2.3 Reduktionen.- 4.3 Überwachung von Integritätsbedingungen.- 4.3.1 Spezielle Transitionsgraphen.- 4.3.2 Monitor-Optimierung.- 5 Integritätsüberwachung durch Transaktionen.- 5.1 Spezifikation von Transaktionen.- 5.2 Transformation von Integritätsbedingungen.- 5.2.1 Schema-Erweiterung.- 5.2.2 Verfeinerung von Vor- / Nachbedingungen.- 5.2.3 Vereinfachungen.- 5.2.4 Schlußbemerkungen zur Transformation.- 6 Ausblick.- Literatur.- Stichwortverzeichnis.