Funktionale Abhängigkeiten und "voll funktional abhängig"?

[Der schöne Günther]

Wenn ich es noch richtig im Kopf habe:

X->Y: Die Menge Y ist nur dann von der Menge X "voll funktional abhängig", wenn sie wie gehabt von der Menge X funktional abhängig ist, aber auch nur komplett X, nicht schon einer Teilmenge von X.

Für die 2. Normalform muss jedes Nichtschlüsselattribut vom jedem Schlüsselattribut voll funktional abhängig sein.