MOOC战德臣数据库课程自用笔记_7_函数依赖

函数依赖

一. 概念

1. 函数依赖定义

设 $R(U)$ 是属性集合 $U=A_1,A_2,...,A_n$ 上的一个关系模式，$X,Y$ 是 $U$ 上的两个子集，若对 $R(U)$ 的任意一个可能的关系 $r$，$r$ 中不可能有两个元组满足在 $X$ 中的属性值相等而在 $Y$ 中的属性值不等，则称 “$X$ 函数决定 $Y$” 或“$Y$ 函数依赖于 $X$”，记作 $X\to Y$

例子1：
U = { 学 号 , 姓 名 , 年 龄 , 班 号 , 班 长 , 课 号 , 成 绩 } U = \{学号, 姓名, 年龄, 班号, 班长, 课号, 成绩\} U={学号,姓名,年龄,班号,班长,课号,成绩}

• 学 号 → { 姓 名 , 年 龄 } 学号\rightarrow \{姓名, 年龄\} 学号→{姓名,年龄}
• $班号\to 班长$
• { 学 号 , 课 号 } → 成 绩 \{学号, 课号\}\rightarrow 成绩 {学号,课号}→成绩

例子2：

2. 函数依赖的特性

1. 对 $X\to Y$，但 $Y\not\subset X$，则称 $X\to Y$ 为非平凡的函数依赖
2. 若 $X\to Y$，则任意两个元组，若 $X$ 上值相等，则 $Y$ 上值必然相等，这样就称 $X$ 为决定因素
3. 若 $X\to Y$，$Y\to X$，则记作 $X\leftrightarrow Y$
4. 若 $Y$ 不函数依赖于 $X$，则记作 $X\nrightarrow Y$
5. $X\to Y$，有基于模式 $R$ 的，则要求对任意的关系 $r$ 成立；有基于具体关系 $r$ 的，则要求某一关系 $r$ 成立
6. 如一关系 $r$ 的某属性集 $X$，$r$ 中根本没有 $X$ 上相等的两个元组存在，则 $X\to Y$ 恒成立

二. 部分或完全函数依赖

在 $R(U)$ 中，若 $X\to Y$ 并且对于 $X$ 的任何真子集 $X^{\prime }$ 都有 $X^{\prime }\nrightarrow Y$，则称 $Y$ 完全函数依赖于 $X$，记为：$X{\to }^{f}Y$；
否则称 $Y$ 部分函数依赖于 $X$，记为$X{\to }^{p}Y$

部份依赖存在着非受控冗余

例子：

• 单独一个学号，单独一个课号都不能决定 U，只有一起才能决定 U，故为完全函数依赖
• 单独一个学号就可以决定姓名，所以是部分函数依赖
• 单独一个学号，单独一个课号都不能决定成绩，只有一起才能决定成绩，故为完全函数依赖

三. 传递函数依赖

在 $R(U)$ 中，若 $X\to Y$，$Y\to Z$，且 $Y\not\subset X$， $Z\not\subset Y$， $Z\not\subset X$， $Y\nrightarrow X$，则称 $Z$ 传递函数依赖于 $X$

传递依赖存在着非受控冗余

例子：

四. 函数依赖相关的几个重要概念

1. 候选键

设 $K$ 为 $R(U)$ 中的属性或者属性组合，若 $K$ 完全函数依赖于 $U$，则称 $K$ 为 $R(U)$ 上的候选键

说明：

1. 可任选一候选键作为 $R$ 的主键
2. 包含在任一候选键中的属性称作主属性，其他属性称作非主属性
3. 若 $K$ 是 $R$ 的一个候选键，$K\subset S$，则称 $S$ 为 $R$ 的一个超键

2. 外键

若 $R(U)$ 中的属性或属性组合 $X$ 并非 $R$ 的候选键，但 $X$ 却是另一关系的候选键，则称 $X$ 为 $R$ 的外键

3. 逻辑蕴涵

设 $F$ 是关系模式 $R(U)$ 中的一个函数依赖集合，$X$，$Y$ 是 $R$ 的属性子集，如果从 $F$ 中的函数依赖能够推导出 $X\to Y$，则称 $F$ 逻辑蕴涵 $X\to Y$，或称 $X\to Y$ 是 $F$ 的逻辑蕴涵

记作

函数依赖有显性给出的，也有隐含的

说明：

1. 设 $F$ 是关系模式 $R(U)$ 中的一个函数依赖集合，$X\to Y$ 是一个函数依赖，若对 $R$ 中的每个满足 $F$ 的关系 $r$，能够用形式逻辑推理的方法推出 $r$ 也满足 $X\to Y$，则称 $X\to Y$ 是 $F$ 的逻辑蕴涵
2. 若满足 $F$ 的每个关系均满足 $X\to Y$，则说 $F$ 逻辑蕴涵 $X\to Y$

4. 闭包（Closure）

被 $F$ 逻辑蕴涵的所有函数依赖集合称为 $F$ 的闭包，记作 $F^{+}$

说明：

• 若 $F^{+}=F$，则说 $F$ 是一个全函数依赖族（函数依赖完备集）

例子：

特点：

• 小集合，大闭包
• 包含了平凡的函数依赖

五. 关于函数依赖的公理和定理

1. Armstrong’s Axioms A1~A3

设 $R(U)$ 是属性集 U = { A 1 , A 2 , . . . , A n } U=\{A_1, A_2,...,A_n\} U={A1​,A2​,...,An​} 上的一个关系模式，$F$ 为 $R(U)$ 的一组函数依赖，记为 $R(U,F)$，则有如下规则成立：

1. [A1] 自反律：若 $Y\subseteq X\subseteq U$，则 $X\to Y$ 被 $F$ 逻辑蕴涵
2. [A2] 增广律：若 $X\to Y\in F$，且 $Z\subseteq U$，则 $XZ\to YZ$ 被 $F$ 逻辑蕴涵
3. [A3] 传递律：若 $X\to Y\in F$，且 $Y\to Z$，则 $X\to Z$ 被 $F$ 逻辑蕴涵

公理的作用：由已知的函数依赖推导出隐含的函数依赖

3. Armstrong’s Axioms 引理1

2. Armstrong’s Axioms 引理2

1. 合并律：若 $X\to Y$ 且 $X\to Z$，则 $X\to YZ$
2. 伪传递律：若 $X\to Y$ 且 $WY\to Z$，则 $XW\to Z$
3. 分解律：若 $X\to Y$ 且 $Z\subseteq Y$，则 $X\to Z$

证明：

3. 属性（集）闭包

对 R ( U , F ) ， X ⊆ U , U = { A 1 , A 2 , . . . , A n } R(U, F)， X \subseteq U, U = \{A_1, A_2,...,A_n\} R(U,F)，X⊆U,U={A1​,A2​,...,An​} ，令：
X F + = { A i ∣ 用 A r m s t r o n g   A x i o m   A 1 , A 2 , A 3 可 从 F 导 出 X → A i } X^+_F = \{A_i | 用Armstrong\ Axiom\ A1,A2,A3可从 F 导出 X \rightarrow A_i\} XF+​={Ai​∣用Armstrong Axiom A1,A2,A3可从F导出X→Ai​}
则称 $X_F^{+}$ 为关于 $F$ 的属性（集）闭包

注：显然 $X\subseteq X_F^{+}$

4. Armstrong’s Axioms 引理4

当且仅当 $Y\subseteq X_F^{+}$ 时，$X\to Y$ 可从 $F$ 由 Armstrong Axiom 导出

证明：

5. Armstrong Axiom A1，A2，A3 特性

• 有效性：通过公理推出的结论是正确的
• 完备性：被 $F$ 逻辑蕴涵的所有函数依赖都能由 A1，A2，A3 在 $F$ 的基础上推出

6. 覆盖

对 $R(U)$ 上的两个函数依赖集合 $F,G$，如果 $F^{+}=G^{+}$，则称 $F$ 和 $G$ 是等价的，也称 $F$ 覆盖 $G$ 或者 $G$ 覆盖 $F$

7. Armstrong’s Axioms 引理5

$F^{+}=G^{+}⟷F\subseteq G^{+}\wedge G\subseteq F^{+}$

8. Armstrong’s Axioms 引理6

每个函数依赖集 $F$ 可被一个其右端至多有一个属性的函数依赖之集 $G$ 覆盖

9. 最小覆盖

若 $F$ 满足以下条件，则称 $F$ 为最小覆盖（Minimal Cover）或最小依赖集：

1. F 中每个函数依赖的右部是单个属性
2. 对任何 $X\to A\in F$，有 F − { X → A } F-\{X \rightarrow A\} F−{X→A} 不等价于 $F$
3. 对任何 $X\to A\in F,Z\subset X$，有 ( F − { X → A } ) ⋃ { Z → A } (F-\{X \rightarrow A\})\bigcup \{Z \rightarrow A\} (F−{X→A})⋃{Z→A} 不等价于 $F$

[定理]：

• 每个函数依赖集 $F$ 都有等价的最小覆盖 $F^{\prime }$