Gegeben sei ein Relationenschema
mit einer Ausprägung R.
Eine funktionale Abhängigkeit (engl. functional dependency) stellt
eine Bedingung an die möglichen gültigen Ausprägungen des Datenbankschemas
dar. Eine funktionale Abhängigkeit, oft abgekürzt als FD, wird dargestellt als
D. h., wenn zwei Tupel gleiche Werte für alle Attribute in haben, dann müssen auch ihre -Werte übereinstimmen. Anders ausgedrückt: Die -Werte bestimmen eindeutig die -Werte; die -Werte sind funktional abhängig von den -Werten.
Die nächste Tabelle zeigt ein Relationenschema über der Attributmenge {A, B, C, D}.
R | |||
A | B | C | D |
Aus der momentanen Ausprägung lassen sich z. B. die funktionalen
Abhängigkeiten
erkennen, hingegen gilt nicht
.
Ob diese Abhängigkeiten vom Designer der Relation als semantische
Konsistenzbedingung verlangt wurden, läßt sich durch Inspektion der Tabelle
allerdings nicht feststellen.
Statt
schreiben wir auch
.
Statt
schreiben wir auch .
Ein einfacher Algorithmus zum Überprüfen einer (vermuteten) funktionalen Abhängigkeit in der Relation lautet: