数据库函数依赖

数据库函数依赖

@author：Jingdai
@date：2021.04.24

函数依赖

设$R(U)$是属性集合 U = { A 1 , A 2 , . . , A n } U=\{A_1,A_2,..,A_n\} U={A1​,A2​,..,An​}上的一个关系模式，$X$、$Y$是$U$上的两个子集，若对$R(U)$的任意一个可能的关系$r$，$r$中不可能有两个元组满足在$X$中属性值相等而在$Y$中属性值不等，则称“$X$函数决定$Y$”或者“$Y$函数依赖于$X$”，记做$X$→$Y$。

示例：

U = {学号, 姓名, 年龄, 班号, 班长, 课号, 成绩}
则:  学号 → {姓名, 年龄}
     班号 → 班长

特性：

• 若$X$→$Y$且$Y$∉$X$，则称$X$→$Y$是非平凡的函数依赖。（即$Y$中有不被$X$包含的属性）
• 若$X$→$Y$，则对于任意两个元组，若$X$上的值相等，则$Y$上的值一定相等。
• 若一个关系$r$的某一个属性集$X$，$r$中没有$X$上相等的两个元组存在，则$X$→$Y$恒成立。

完全函数依赖/部分函数依赖

在$R(U)$中，若$X$→$Y$并且对于$X$的任何真子集$X^{\prime }$都有$X^{\prime }$不函数决定$Y$，则称$Y$完全函数依赖于$X$，否则称$Y$部分函数依赖于$X$。

传递函数依赖

在$R(U)$中，若$X$→$Y$，$Y$→$Z$且$Y$∉$X$，$Z$∉$Y$，$Z$∉$X$，$Y$不函数决定$X$，则称$Z$传递函数依赖于$X$。

候选键

设$K$是$R(U)$的属性或者属性组合，如果$K$完全函数决定$U$，则称$K$为$R(U)$上的候选键。

• 可以任选一个候选键作为$R$的主键。
• 包含在任一候选键中的属性称为主属性，其它属性称为非主属性。

外来键

若$R(U)$中的属性或属性组合$X$并非$R$的候选键，但是$X$却是另一关系的候选键，则称$X$为$R$的外来键，简称外键。一个关系的外键是另一个关系的候选键。

参考

• 哈尔滨工业大学 数据库系统 MOOC - 战德臣