Overview

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 Datenbankzuständen zulässig sind, gibt man dynamische Integritätsbedingungen an. Komplementär dazu bestimmen Transaktionen als Grundbausteine von Anwendungsprogrammen die ausführbaren Zustandsfolgen. Diese Monographie stellt zwei Ansätze zur Überwachung der dynamischen Integrität 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 Integritätsbedingungen durch Formeln einer temporalen Logik und Transaktionen durch Vor-/Nachbedingungen; die Semantik dieser Kalküle wird im Buch eingeführt. Aus temporalen Formeln lassen sich Transitionsgraphen konstruieren, deren Pfade den zulässigen Zustandsfolgen entsprechen. Daher dienen die Graphen einerseits als Ablaufsteuerung eines universellen Monitors, der die Analyse von Zustandsfolgen auf zustandslokale Prüfungen zurückführt. Andererseits kann man anhand der Graphen Integritätsbedingungen systematisch in Vor-/Nachbedingungen von Transaktionen transformieren, so daß jede ausführbare Zustandsfolge zulässig wird. Das letztere Vorgehen bereitet eine effiziente transaktionsangepaßte Überwachung vor und führt zu einer Spezifikation von Datenbankverhalten durch schrittweise Verfeinerung.

Full Product Details

Author:   Udo W. Lipeck
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Volume:   209
Dimensions:   Width: 17.00cm , Height: 0.80cm , Length: 24.40cm
Weight:   0.285kg
ISBN:  

9783540511304

ISBN 10:   354051130
Pages:   140
Publication Date:   26 April 1989
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Out of stock  
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.
Language:   German

Table of Contents

1 Einfuhrung.- 1.1 Datenbankschemata.- 1.2 Integritatsuberwachung.- 1.3 Dynamische Integritat.- 2 Ein Beispielschema.- 3 Dynamische Integritatsbedingungen.- 3.1 Strukturen.- 3.2 Temporale Formeln.- 3.2.1 Syntax und Semantik.- 3.2.2 AEquivalenzen und Ableitungen.- 3.2.3 Auswahl von temporalen Operatoren.- 3.3 Normalformen.- 3.4 Partielle Gultigkeit.- 3.5 Spezifikation von Integritatsbedingungen.- 4 Universelle Integritatsuberwachung mit Transitionsgraphen.- 4.1 Transitionsgraphen.- 4.1.1 Grundbegriffe.- 4.1.2 Akzeptanz und Gultigkeit.- 4.1.3 Transitionsgraphen als Integritatsmonitor.- 4.2 Konstruktion von Transitionsgraphen.- 4.2.1 Normalform-Transitionsgraphen.- 4.2.2 Deterministische Transitionsgraphen.- 4.2.3 Reduktionen.- 4.3 UEberwachung von Integritatsbedingungen.- 4.3.1 Spezielle Transitionsgraphen.- 4.3.2 Monitor-Optimierung.- 5 Integritatsuberwachung durch Transaktionen.- 5.1 Spezifikation von Transaktionen.- 5.2 Transformation von Integritatsbedingungen.- 5.2.1 Schema-Erweiterung.- 5.2.2 Verfeinerung von Vor- / Nachbedingungen.- 5.2.3 Vereinfachungen.- 5.2.4 Schlussbemerkungen zur Transformation.- 6 Ausblick.- Literatur.- Stichwortverzeichnis.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions