Referentielle Integrität

Seien R und S zwei Relationen mit den Schemata und

Sei $\kappa$ Primärschlüssel von

Dann ist ein Fremdschlüssel, wenn für alle Tupel s S gilt:

1. s.$\alpha$ enthält entweder nur Nullwerte oder nur Werte ungleich Null
2. Enthält s.$\alpha$ keine Nullwerte, existiert ein Tupel r R mit s.$\alpha$ = r.$\kappa$

Die Erfüllung dieser Eigenschaft heißt referentielle Integrität. Die Attribute von Primär- und Fremdschlüssel haben jeweils dieselbe Bedeutung und oft auch dieselbe Bezeichnung (falls möglich). Ohne Überprüfung der referentiellen Integrität kann man leicht einen inkonsistenten Zustand der Datenbasis erzeugen, indem z. B. eine Vorlesung mit nichtexistentem Dozenten eingefügt wird.

Zur Gewährleistung der referentiellen Integrität muß also beim Einfügen, Löschen und Ändern immer sichergestellt sein, daß gilt

$$\pi_{\alpha}^{}$$(S) $$\subseteq$$ $$\pi_{\kappa}^{}$$(R)

Erlaubte Änderungen sind daher:

• Einfügen eines Tupels in S verlangt, daß der Fremdschlüssel auf ein existierendes Tupel in R verweist.
• Ändern eines Tupels in S verlangt, daß der neue Fremdschlüssel auf ein existierendes Tupel in R verweist.
• Ändern eines Primärschlüssels in R verlangt, daß kein Tupel aus S auf ihn verwiesen hat.
• Löschen eines Tupels in R verlangt, daß kein Tupel aus S auf ihn verwiesen hat.