*第二范式**要求所有非主属性必须完全函数依赖于候选键，消除部分依赖

完全函数依赖的定义

在数据库范式中，完全函数依赖是描述属性间依赖关系的重要概念。其定义为：
设关系模式$R(U)$，$X$和$Y$为属性集，若$Y$函数依赖于$X$（记作$X\to Y$），且对$X$的任意真子集$X^{\prime }$，$Y$不依赖于$X^{\prime }$，则称$Y$完全函数依赖于$X$，记作$X\stackrel{F}{\to }Y$。

示例说明

假设存在关系模式$订单明细(订单号,产品号,产品名称,数量,单价)$：

• 主键为复合属性$(订单号,产品号)$
• 非主属性包括$数量,单价,产品名称$
• 若$产品名称$仅由$产品号$决定（即$产品号\to 产品名称$），则$产品名称$仅部分依赖于主键$(订单号,产品号)$，属于部分函数依赖
• 若$数量$由$(订单号,产品号)$共同决定，则$数量$对主键是完全函数依赖

应用场景与作用

1. 数据库范式设计

完全函数依赖是**第二范式（2NF）**的核心要求：

• 第二范式要求所有非主属性必须完全函数依赖于候选键，消除部分依赖
  例如，将上述$订单明细$拆分为两个关系模式：
  • $订单明细(订单号,产品号,数量)$（完全函数依赖）
  • $产品信息(产品号,产品名称,单价)$（消除部分依赖）

2. 避免数据冗余与异常

• 冗余：若存在部分依赖，同一$产品名称$可能因多个订单重复存储
• 更新异常：修改某个产品的名称需更新多条记录，易导致不一致性
• 插入/删除异常：未关联订单时无法单独插入产品信息

3. 复杂业务逻辑建模

在包含复合主键的实体中（如学生选课关系$学生选课(学号,课程号,成绩,课程学分)$）：

• $成绩$完全依赖于$(学号,课程号)$
• $课程学分$仅依赖于$课程号$（部分依赖），需拆分以符合2NF

与其他概念的对比

完全函数依赖（Full Functional Dependency） 是数据库规范化理论中的一个重要概念，用于描述关系中属性之间的依赖关系。它是数据库设计中的关键概念，尤其是在关系数据库的规范化过程中。

定义

在一个关系 ( R ) 中，假设 ( X ) 和 ( Y ) 是属性集。如果属性集 ( Y ) 完全函数依赖于属性集 ( X )，则必须满足以下条件：

1. ( Y ) 函数依赖于 ( X )（即 ( X \rightarrow Y )）。
2. ( Y ) 不函数依赖于 ( X ) 的任何真子集（即 ( X ) 中没有任何一个子集 ( X’ ) 满足 ( X’ \rightarrow Y )）。

换句话说，( Y ) 完全函数依赖于 ( X )，当且仅当 ( X ) 是决定 ( Y ) 的最小属性集。

示例

假设有一个关系 ( R(学号, 姓名, 课程号, 成绩) )，其中：

• ( 学号 ) 决定 ( 姓名 )（即 ( 学号 \rightarrow 姓名 )）。
• ( (学号, 课程号) ) 决定 ( 成绩 )（即 ( (学号, 课程号) \rightarrow 成绩 )）。

在这个例子中：

1. ( 姓名 ) 完全函数依赖于 ( 学号 )，因为 ( 学号 ) 是决定 ( 姓名 ) 的最小属性集。
2. ( 成绩 ) 完全函数依赖于 ( (学号, 课程号) )，因为 ( 成绩 ) 不能单独由 ( 学号 ) 或 ( 课程号 ) 决定。

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

• 部分函数依赖：如果 ( Y ) 函数依赖于 ( X ) 的某个真子集，则称 ( Y ) 部分函数依赖于 ( X )。
• 完全函数依赖：如果 ( Y ) 函数依赖于 ( X )，且不依赖于 ( X ) 的任何真子集，则称 ( Y ) 完全函数依赖于 ( X )。

示例对比

假设有一个关系 ( R(学号, 课程号, 姓名, 成绩) )，其中：

• ( 姓名 ) 完全函数依赖于 ( 学号 )。
• ( 成绩 ) 完全函数依赖于 ( (学号, 课程号) )。
• 如果 ( 姓名 ) 也可以由 ( 学号 ) 的某个子集（如 ( 学号 ) 的一部分）决定，则 ( 姓名 ) 部分函数依赖于 ( 学号 )。

完全函数依赖与数据库规范化

完全函数依赖是数据库规范化的重要基础，尤其是在第二范式（2NF）和第三范式（3NF）中：

1. 第二范式（2NF）
   要求关系中的每个非主属性都完全函数依赖于主键（消除部分函数依赖）。
2. 第三范式（3NF）
   要求关系中的每个非主属性都不传递函数依赖于主键（消除传递函数依赖）。

总结

• 完全函数依赖 描述了属性之间的最小依赖关系，是数据库规范化的重要概念。
• 它与 部分函数依赖 相对，用于消除冗余和数据不一致性。
• 在数据库设计中，确保完全函数依赖是达到 2NF 和 3NF 的关键步骤。

通过理解完全函数依赖，可以设计出更高效、更规范的数据库结构。