1. 考点：规范化理论的基本概念

1.1 函数依赖 (Functional Dependency, FD) 的定义

• 设 $R(U)$ 是属性集 $U$ 上的一个关系模式，$X$ 和 $Y$ 是 $U$ 的子集。
• 若对于 $R$ 的任意一个可能关系 $r$，如果对于 $r$ 中的任意两个元组 $u$ 和 $v$，只要 $u[X] = v[X]$，就有 $u[Y] = v[Y]$，则称 $X$ 函数决定 $Y$，或者称 $Y$ 函数依赖于 $X$，记作：$X \to Y$。