函数依赖简介

简介

在实体关系（ER）模型中，一个重要的理论涉及函数依赖（FD）的概念。学习这一概念的目的是帮助你更好地理解数据之间的关系，并掌握足够的形式化工具，以支持实际的数据库设计。

函数依赖是两个属性之间的一种关系，通常指主键（PK）与其他非键属性之间的关系。对于任意关系 R，如果对于 X 的每一个有效取值，都能唯一确定 Y 的值，则称属性 Y 函数依赖于属性 X。这种关系可表示如下：

上述函数依赖图中，左侧称为决定因素，右侧称为依赖项。

示例

学生关系

从上表可以看出，学生ID 是主键，因为每个学生的 ID 都是唯一的。

根据上述函数依赖的定义，我们可以得出：

• 学生ID → 姓名，
• 学生ID → 年龄，

因为通过学生的 学生ID 可以唯一确定其姓名和年龄。

---

在下一课中，我们将探讨函数依赖的规则。