Grundlagen

In diesem Kapitel werden semantische Integritätsbedingungen behandelt, also solche, die sich aus den Eigenschaften der modellierten Welt ableiten lassen. Wir unterscheiden statische und dynamische Integritätsbedingungen. Eine statische Bedingung muß von jedem Zustand der Datenbank erfüllt werden (z. B. Professoren haben entweder den Rang C2, C3 oder C4). Eine dynamische Bedingung betrifft eine Zustandsänderung (z. B. Professoren dürfen nur befördert, aber nicht degradiert werden).

Einige Integritätsbedingungen wurden schon behandelt:

• Die Definition des Schlüssels verhindert, daß zwei Studenten die gleiche Matrikelnummer haben.
• Die Modellierung der Beziehung lesen durch eine 1:N-Beziehung verhindert, daß eine Vorlesung von mehreren Dozenten gehalten wird.
• Durch Angabe einer Domäne für ein Attribut kann z. B. verlangt werden, daß eine Matrikelnummer aus maximal 5 Ziffern besteht (allerdings wird nicht verhindert, daß Matrikelnummern mit Vorlesungsnummern verglichen werden).