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 gibt für das gilt: Z → X
Regeln (Armstrong Axiome)
