Durch die check-Klausel können einem Attribut Bereichseinschränkungen
auferlegt werden.
Zum Beispiel erzwingen
... check Semester between 1 and 13 ...
... check Rang in ('C2', 'C3', 'C4') ...
gewisse Vorgaben für die Semesterzahl bzw. den Professorenrang.
Listing 8.1 zeigt die Formulierung der Uni-Datenbank mit den Klauseln zur
Überwachung von statischer und referentieller Integrität. Hierbei
wurden folgende Restriktionen verlangt:
- Ein Professor darf solange nicht entfernt oder
sein Primärschlüssel geändert werden, wie noch
Verweise
auf ihn existieren.
- Eine Vorlesung darf solange nicht entfernt werden, wie noch Verweise
auf sie existieren. Eine Änderung ihres Primärschlüssels ist erlaubt
und zieht das Ändern der Sekundärschlüssel nach sich.
- Ein Student darf entfernt
werden und zieht dabei das
Entfernen der Zeilen nach sich, die über Sekundärschlüssel
auf ihn verweisen. Auch sein Primärschlüssel darf geändert
werden und zieht das Ändern der Sekundarschlüssel nach sich.
Listing 8.1: Universitätsschema mit Integritätsbedingungen