Dynamische Integrität von Datenbanken Grundlagen der Spezifikation und Überwachung
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 Trans...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | German |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1989, 1989
|
| Edition: | 1st ed. 1989 |
| Series: | Informatik-Fachberichte
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 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.3 Normalformen
- 3.4 Partielle Gültigkeit
- 3.5 Spezifikation von Integritätsbedingungen
- 4 Universelle Integritätsüberwachung mit Transitionsgraphen
- 4.1 Transitionsgraphen
- 4.2 Konstruktion von Transitionsgraphen
- 4.3 Überwachung von Integritätsbedingungen
- 5 Integritätsüberwachung durch Transaktionen
- 5.1 Spezifikation von Transaktionen
- 5.2 Transformation von Integritätsbedingungen
- 6 Ausblick
- Literatur
- Stichwortverzeichnis