Funktionale Abhängigkeit (FD)

Eine funktionale Abhängigkeit $X\to A$ ist eine Aussage über ein Relation $R$. Sie besagt: Wenn immer zwei Tupel in den Werten der Attributmenge $X$ übereinstimmen, dann stimmen sie zwingend auch im Attributwert für $A$ überein.

• Notation: $X\to Y$ gilt genau dann, wenn $\mathrm{\forall }r,s\in R$ mit $r.X=s.X\Rightarrow r.Y=s.Y$.
• $X$ bestimmt $Y$ funktional.
• FDs sind semantische Aussagen über das Schema, die von der Fachdomäne vorgegeben werden, und lassen sich nicht rein automatisch aus einer Dateninstanz ablesen.

Links

• Relation (ISDA)
• Attributwert
• Tupel
• ISDA 04 Relationale Entwurfstheorie.pdf