第 12 章 · 第二节 · 课件第 12、13 页合并重做
函数依赖的定义
X 的每个值只对应唯一的 Y 值，记作 X → Y。
函数依赖的定义
从 y = f(x) 说起
- 给定 x 的值，就能算出唯一的 y
- 在 SCD 中，给定一个学号 SNo，就能确定唯一的姓名、年龄和系别
- 所以说 SN、Age、Dept 函数依赖于 SNo
定义
设 R(U) 是属性集 U 上的关系模式，X、Y 是 U 的子集。如果对 R 的任意一个可能的关系，X 的每一个值都只对应唯一的 Y 值，就称 X 函数决定 Y，或 Y 函数依赖于 X，记作 X → Y。X 叫决定因素。
| 写法 | 含义 |
|---|---|
| X → Y | X 函数决定 Y |
| X ↛ Y | Y 不函数依赖于 X |
| X ↔ Y | X → Y，同时 Y → X |
F = { SNo → SN, SNo → Age, SNo → Dept,
Dept → MN, (SNo, CNo) → Score }
重 点
函数依赖是本章唯一的工具，后面的范式都用它来定义。