软考—关系数据库的规范化

函数依赖

1. 函数依赖：设$R(U)$是属性集$U$上的关系模式，$X、Y$ 是$U$的子集。若对$R(U)$的任何一个可能的关系$r$，$r$中不可能存在两个元组在$X$上的属性值相等，而在$Y$上的属性值不等，则称$X$函数决定$Y$或$Y$函数依赖于$X$，记作$X\to Y$。
2. 非平凡的函数依赖：如果$X\to Y$，但$Y⊈X$，则称$X\to Y$是非平凡的函数依赖。
3. 完全函数依赖：在$R(U)$中，如果$X\to Y$，并且对于$X$的任何一个真子集$X^{\prime }$都有 X ′ X'