函数依赖是数据库理论中的一个重要概念，主要用于描述关系数据库中属性之间的依赖关系

本文链接：https://blog.csdn.net/blog_programb/article/details/148574249

函数依赖是数据库理论中的一个重要概念，主要用于描述关系数据库中属性之间的依赖关系。以下是对函数依赖的详细介绍：

1. 定义

在关系数据库中，设 ( R ) 是一个关系模式，( X ) 和 ( Y ) 是 ( R ) 中的属性集合。如果对于 ( R ) 的每一个可能的关系 ( r )，( r ) 中任意两个元组在 ( X ) 上的值相等时，它们在 ( Y ) 上的值也相等，那么称 ( Y ) 函数依赖于 ( X )，记作 ( X \rightarrow Y )。

简单来说：如果 ( X ) 的值确定了，( Y ) 的值也就唯一确定，那么 ( Y ) 函数依赖于 ( X )。

2. 函数依赖的分类

（1）平凡函数依赖

如果 ( Y \subseteq X )，则 ( X \rightarrow Y ) 称为平凡函数依赖。例如，在关系模式 ( R(A, B, C) ) 中，( {A, B} \rightarrow A ) 是平凡函数依赖，因为 ( \ A) 已经包含在 ( {A, B} ) 中。

（2）非平凡函数依赖

如果 ( Y \nsubseteq X )，则 ( X \rightarrow Y ) 称为非平凡函数依赖。例如，在关系模式 ( R(A, B, C) ) 中，如果 ( A \rightarrow B )，且 ( B ) 不是 ( A ) 的子集，那么这就是非平凡函数依赖。

（3）完全函数依赖

在关系模式 ( R ) 中，如果 ( X \rightarrow Y )，并且对于 ( X ) 的任何一个真子集 ( X’ )，都有 ( X’ \nrightarrow Y )，则称 ( Y ) 完全函数依赖于 ( X )。例如，在关系模式 ( R(A, B, C) ) 中，如果 ( {A, B} \rightarrow C )，但 ( A \nrightarrow C ) 且 ( B \nrightarrow C )，那么 ( C ) 完全函数依赖于 ( {A, B} )。

（4）部分函数依赖

在关系模式 ( R ) 中，如果 ( X \rightarrow Y )，但 ( Y ) 不完全函数依赖于 ( X )，则称 ( Y ) 部分函数依赖于 ( X )。例如，在关系模式 ( R(A, B, C) ) 中，如果 ( {A, B} \rightarrow C )，且 ( A \rightarrow C )，那么 ( C ) 部分函数依赖于 ( {A, B} )。

3. 函数依赖的性质

（1）自反性

如果 ( Y \subseteq X \subseteq U )，则 ( X \rightarrow Y ) 在 ( R ) 上成立。这是平凡函数依赖的性质。

（2）增广性

如果 ( X \rightarrow Y ) 在 ( R ) 上成立，且 ( Z \subseteq U )，则 ( XZ \rightarrow YZ ) 在 ( R ) 上成立。例如，如果 ( A \rightarrow B )，那么 ( {A, C} \rightarrow {B, C} )。

（3）传递性

如果 ( X \rightarrow Y ) 和 ( Y \rightarrow Z ) 在 ( R ) 上成立，且 ( Y \nsubseteq X )，( Z \nsubseteq Y )，则 ( X \rightarrow Z ) 在 ( R ) 上成立。例如，如果 ( A \rightarrow B ) 且 ( B \rightarrow C )，那么 ( A \rightarrow C )。

4. 函数依赖的应用

函数依赖是关系数据库规范化理论的基础。通过分析关系模式中的函数依赖，可以判断关系模式是否满足某种范式（如第一范式、第二范式、第三范式等），从而优化数据库的设计，减少数据冗余和异常操作。

第一范式（1NF）：要求每个属性都是不可再分的原子数据项，与函数依赖关系不大。
第二范式（2NF）：要求关系模式满足第一范式，并且每个非主属性完全函数依赖于候选键。
第三范式（3NF）：要求关系模式满足第二范式，并且每个非主属性不传递依赖于候选键。

函数依赖在数据库设计中起着至关重要的作用，它帮助我们理解和优化数据之间的关系，从而设计出高效、合理的数据库结构。
函数依赖是数据库设计中的重要概念，用于描述关系模式中属性之间的依赖关系，是规范化理论的核心基础。以下将从定义、分类、表示方法、 Armstrong 公理系统以及应用等方面详细介绍函数依赖：

一、函数依赖的定义

设关系模式为 (R(U))，(U) 是属性集，(X) 和 (Y) 是 (U) 的子集。若对于 (R(U)) 的任意一个可能的关系 (r)，(r) 中不可能存在两个元组在 (X) 上的属性值相等，而在 (Y) 上的属性值不等，则称 (X) 函数确定 (Y) 或 (Y) 函数依赖于 (X)，记作 (X \to Y)。

示例：在关系模式 学生（学号，姓名，年龄） 中，学号 → 姓名 和 学号 → 年龄 成立，因为一个学号唯一对应一个学生的姓名和年龄。

二、函数依赖的分类

1. 完全函数依赖

若 (X \to Y)，且对于 (X) 的任何一个真子集 (X’)，都有 (X’ \nrightarrow Y)，则称 (Y) 对 (X) 完全函数依赖，记作 (X \overset{f}{\to} Y)。

示例：在 选课（学号，课程号，成绩） 中，（学号，课程号）→ 成绩 是完全函数依赖，因为单独的 学号 或 课程号 都无法确定成绩。

2. 部分函数依赖

若 (X \to Y)，但 (Y) 不完全函数依赖于 (X)，即存在 (X) 的真子集 (X’) 使得 (X’ \to Y)，则称 (Y) 对 (X) 部分函数依赖，记作 (X \overset{p}{\to} Y)。

示例：在 学生（学号，姓名，系名，系主任） 中，（学号，姓名）→ 系名 是部分函数依赖，因为 学号 → 系名 成立。

3. 传递函数依赖

若 (X \to Y)，(Y \to Z)，且 (Y \nsubseteq X)，(Z \nsubseteq Y)，(Y \nrightarrow X)，则称 (Z) 对 (X) 传递函数依赖。

示例：在 学生（学号，系名，系主任） 中，学号 → 系名，系名 → 系主任，则 学号 → 系主任 是传递函数依赖。

三、函数依赖的表示方法

依赖集（FD 集）：将关系模式中所有函数依赖收集起来，形成一个集合。例如：
R(U, F)，其中 (U = {A, B, C, D})，(F = {A \to B, B \to C, A \to D})。
函数依赖图：用节点表示属性，有向边表示依赖关系（如 (X \to Y) 表示从 (X) 到 (Y) 的边）。

四、Armstrong 公理系统

用于从已知的函数依赖推导出其他函数依赖，是函数依赖推导的理论基础。

公理

自反律（Reflexivity）：若 (Y \subseteq X \subseteq U)，则 (X \to Y)。
- 示例：学生（学号，姓名） 中，（学号，姓名）→ 学号 成立。
增广律（Augmentation）：若 (X \to Y)，且 (Z \subseteq U)，则 (XZ \to YZ)。
- 示例：若 学号 → 姓名，则 （学号，课程号）→（姓名，课程号）。
传递律（Transitivity）：若 (X \to Y) 且 (Y \to Z)，则 (X \to Z)。
- 示例：学号 → 系名 且 系名 → 系主任，则 学号 → 系主任。

推论

合并规则：若 (X \to Y) 且 (X \to Z)，则 (X \to YZ)。
分解规则：若 (X \to YZ)，则 (X \to Y) 且 (X \to Z)。
伪传递规则：若 (X \to Y) 且 (WY \to Z)，则 (WX \to Z)。

五、函数依赖的应用：数据库规范化

函数依赖是数据库范式（Normal Form, NF）的核心依据，用于消除数据冗余和异常。

常见范式与函数依赖的关系

第一范式（1NF）：属性不可再分，是关系模式的基本要求。
第二范式（2NF）：消除非主属性对码的部分函数依赖。
第三范式（3NF）：消除非主属性对码的传递函数依赖。
BC 范式（BCNF）：消除主属性对码的部分和传递函数依赖。

六、函数依赖的闭包与最小依赖集

函数依赖闭包（(F^+)）：由函数依赖集 (F) 推导出的所有函数依赖的集合，可能非常庞大。
属性闭包（(X^+)）：在 (F) 下由属性集 (X) 函数确定的所有属性的集合，用于判断 (X) 是否为候选码。
最小依赖集（最小覆盖）：满足以下条件的函数依赖集 (F’)：
- 每个函数依赖的右部仅含一个属性；
- (F’) 中无冗余依赖（即不存在 (F’’ \subset F’) 使得 (F’’ \equiv F’)）；
- 每个函数依赖的左部无冗余属性（即不存在 (X’ \subset X) 使得 (F’ \equiv (F’ - {X \to A}) \cup {X’ \to A})）。