Funktionale Abhängigkeit

Wenn es keine 2 Tupel geben darf, in denen gleiche X Werte zu verschiedenen Y Werten führen.

Die linke Seite wird auch Determinante genannt.

X -> Y
Y ist voll funktional abhängig, wenn es kein $Z \in X$ gibt für das gilt: Z -> X

Regeln (Armstrong Axiome)