471 B
471 B
Intrarelationale Abhängigkeiten
Gültigkeit einer einzelnen Relation
Innerhalb einer Tabelle
z.B. \sigma : Rel(X) -> {true, false}
erfüllt oder verletzt Regel
Interrelationale Abhängigkeiten
Regeln zwischen Tabellen
Konsistenz über die gesamte Datenbank
!
Etwas in einer Tabelle muss auch in einer anderen existieren
auch Exklusionsabhängigkeiten müssen erstellt werden!
z.B. Assistent
\cap Professor = \emptyset