Funktionale Abhängigkeit#

Eine funktionale Abhängigkeit bedeutet, dass ein Attribut von einem anderen abhängig ist:

Aus X folgt Y: \(x \rightarrow y\)

Partielle funktionale Abhängigkeit#

Eine volle funktionale Abhängigkeit besteht dann, wenn jedes Element y von der kompletten Menge x abhängig ist (nicht nur von einer Teilmenge).

Es gilt: aus X folgt Y: \(X \rightarrow Y\)
Gleichzeitig gilt, dass auf einer Teilmenge X nicht Y folgen kann: \(X' !\rightarrow Y\)

Aus X folgt Y: \(X \rightarrow Y\)
Aus Y folgt Z: \(Y \rightarrow Z\)
Aus X folgt Z: \(X \rightarrow Z\)