Formaler Datenbankentwurf - Informatixx

c Professor Dr. Georg Lausen, 2001: Vorlesung Datenbanken SQL: statische Integrität.8
Bemerkungen:
Eine Basistabellenbedingung zu einer Tabelle T der Form CHECK (Y) ist äquivalent
zu der allgemeinen Bedingung
NOT EXISTS (SELECT * FROM T WHERE NOT (Y))
Solange T leer ist, ist somit jede beliebige Bedingung Y, sowohl beispielsweise
widersprüchliche oder auch Bedingungen der Form “T nicht leer” immer erfüllt.
c Professor Dr. Georg Lausen, 2001: Vorlesung Datenbanken SQL: statische Integrität.10
Beispiel:
Jedes (gelieferte) Teil muß in mindestens 100 Einheiten geliefert werden:
CHECK (100 =< ALL
(SELECT SUM(Menge) FROM LT GROUP BY TNr));
Wird diese Integritätsbedingung als Basistabellenbedingung von LT realisiert,
so ist eine Verletzung bei Löschungen von Tupeln in LT möglich.
Jedes Teil wird auch geliefert:
CHECK (TNr IN
(SELECT TNr FROM LT));
Wird diese Integritätsbedingung als Spaltenbedingung zu TNr bzgl. Teil
realisiert, so ist eine Verletzung bei Änderung von LT möglich.
c Professor Dr. Georg Lausen, 2001: Vorlesung Datenbanken SQL: statische Integrität.9
Zusammenfassung:
Typ wo deklariert wann überprüft Gültigkeit
Spalten- Attribut einer bei insert eines Tupels in die Basistabelle, nicht garantiert bei
bedingung Basistabelle bzw. update der betreffenden Spalte Verwendung von
Teilanfragen
Basistabellen- Basistabelle bei insert eines Tupels in die Basistabelle, nicht garantiert bei
bedingung bzw. update eines Tupels Verwendung von
Teilanfragen
allgemeine Datenbank- bei Änderung des Zustands irgendeiner garantiert
Bedingung schema Relation des Schemas
c Professor Dr. Georg Lausen, 2001: Vorlesung Datenbanken SQL: statische Integrität.11
Beispiel:
Fremdschlüsselbedingungen (referentielle Integrität)
CREATE TABLE LT ...
PRIMARY KEY (LNr, TNr),
FOREIGN KEY (LNr) REFERENCES Lieferant
FOREIGN KEY (TNr) REFERENCES Teil
Fremdschlüsselbedingungen sind formal Inklusionsabhängigkeiten: zu jedem
von NULL verschiedenen Fremdschlüsselwert der referenzierenden Tabelle, der
C- (child-) Tabelle, existiert ein entsprechender Schlüsselwert der referenzierten
Tabelle, der P- (parent-) Tabelle.