述：函数依赖（functional dependency），闭包（closure），最小覆盖（minimal cover）和规范覆盖（canonical cover）

在本文中，函数依赖是针对用户需要处理的数据集说的。

1.函数依赖：

设数据为$A$，共有$n$个属性（即维度），记为$A=A_1,\cdots ,A_n$,设存在单射函数$f:x\to y$，其中$\forall x\in A_i,\forall y\in A_j，1\le i,j\le n，i\ne j$。则$f$是$A$上的函数依赖，称$A_j$函数依赖于$A_i$，记为$A_i\stackrel{f}{\to }{A}_j$,简写为$A_i\to A_j$。其中$A_i$称为函数依赖$f$的左部，$A_j$称为函数依赖$f$的右部。
例：苹果手机用户数据：({UDID},{IP地址},{当前emoji记录},{当前访问web域},{设备名称},{用户所在地区})，其中有函数依赖$f_1$为： { U D I D } → f 1 { 设 备 名 称 } \left\{ UDID \right\}\overset{f_{1}}{\rightarrow}\left\{ 设备名称 \right\} {UDID}→f1​{设备名称}；函数依赖$f_2$为： { I P 地 址 } → f 2 { 用 户 所 在 地 区 } \left\{ {IP地址} \right\}\overset{f_{2}}{\rightarrow}\left\{ 用户所在地区 \right\} {IP地址}→f2​{用户所在地区}。

设$A_1,\cdots ,A_n$的幂集为$A^n$，则函数依赖可泛化（generalize）为如下定义：
$\exists B,C\in A^n$, 且$B,C\ne \varphi$, B = { A i 1 , ⋯   , A i s } B = \left\{ A_{i_{1}},\cdots,A_{i_{s}} \right\} B={Ai1​​,⋯,Ais​​}, C = { A j 1 , ⋯   , A j t } C = \left\{ A_{j_{1}},\cdots,A_{j_{t}} \right\} C={Aj1​​,⋯,Ajt​​}，使得对于$\forall \left(x_{i_1},\cdots ,x_{i_s}\right)\in B$,$\forall \left(x_{j_1},\cdots ,x_{j_t}\right)\in C$,单射函数$f:\left(x_{i_1},\cdots ,x_{i_s}\right)\to \left(x_{j_1},\cdots ,x_{j_t}\right)$成立，则$f$是$A$上的函数依赖，称$C$函数依赖于$B$。为区别起见，我们将上面的$A_i\to A_j$叫做单属性函数依赖。单属性函数依赖的特征是函数依赖的左部和右部都只有一个属性（即单属性）。

请注意，本文不考虑空集$\varphi$的函数依赖，即不存在$A_i\to \varphi$、${\varphi \to A}_i$或$\varphi \to \varphi$，因此如无特殊说明，下面提及的幂集$A^n$均不包括空集。

2.函数依赖的性质：

（1）$A_i$一定依赖于自身，即$A_i\to A_i$（自反性）；
（2）设$A_1,\cdots ,A_n$的幂集为$A^n$，若$B,C\in A^n$且$B\subset C$,则必有$C\to B$,此类函数依赖称为平凡函数依赖；如果$C\to B$且$B\not\subset C$，则称此类函数依赖为非平凡函数依赖；
（3）若$B,C,D\in A^n，C\to B$且$C\to D$,则必有$C\to BD$；
（4）若$B,C,D\in A^n，C\to BD$,则必有$C\to B$且$C\to D$；
（5）若$B,C\in A^n,C\to B$，且对于任意$C^{\prime }\subset C$,都有$C^{\prime }\nrightarrow B$,则称此类函数依赖为完全函数依赖；反之若存在$C^{\prime }\subset C$使得$C^{\prime }\to B$,则称此类函数依赖为部分函数依赖；
（6）如果$A_i\to A_j$，则必有$A_j\to A_i（1\le i,j\le n，i\ne j）$（对称性）；
（7）若$A_i\to A_j，A_j\to A_k$，则必有$A_i\to A_k（1\le i,j,k\le n，i,j,k$各不相同$）$（传递性）；
（8）传递性的推广：$B,C,D\in A^n$,且$B,C,D$各不相同，则$(B\to C\wedge C\to D)⟹B\to D$。

3.闭包：

数据A上的一组函数依赖的集合为$F=f_1,\cdots ,f_m$，$A$的一个属性$A_i(1\le i\le n)$在$F$上利用函数依赖的性质（1）～（8）直接或间接推导出的所有$A_i\to A_j(A_j\in A,1\le j\le n)$中，所有$A_j$属性的集合 { A j } \left\{ A_{j} \right\} {Aj​}称为$A_i$在$F$上的闭包，记为$A_i^{+}(F)$,其中$A_i^{+}(F)\in A^n$。

将闭包的定义推广一下，则可得到：对于$\forall B\in A^n$，$B$在$F$上利用函数依赖的性质（1）～（8）直接或间接推导出的所有$B\to C(C\in A^n)$中，所有子集$C$的集合 { C } \left\{ C \right\} {C}称为子集$B$在$F$上的闭包，记为$B^{+}(F)$。当$B=A$时，该闭包可直接称为$F$的闭包$A^{+}(F)$。

例：设 A = { A 1 , ⋯   , A 5 } A = \left\{ A_{1},\cdots,A_{5} \right\} A={A1​,⋯,A5​}上的一个函数依赖集合为 F = { A 1 A 3 → A 1 , A 3 → A 2 , A 1 A 3 → A 4 , A 3 → A 4 , A 3 → A 1 , A 2 → A 1 , A 2 A 3 → A 2 A 5 } F = \left\{ A_{1}A_{3}\rightarrow A_{1},A_{3}\rightarrow A_{2},A_{1}A_{3}\rightarrow A_{4},A_{3}\rightarrow A_{4},A_{3}\rightarrow A_{1},A_{2}\rightarrow A_{1},A_{2}A_{3}\rightarrow A_{2}A_{5} \right\} F={A1​A3​→A1​,A3​→A2​,A1​A3​→A4​,A3​→A4​,A3​→A1​,A2​→A1​,A2​A3​→A2​A5​},则$A_3$的函数依赖$F$闭包为 A 3 + ( F ) = { A 1 , A 2 , A 3 , A 4 , A 5 } A_{3}^{+}\left( F \right) = \left\{ {A_{1},A_{2},A_{3},A_{4},A_{5}} \right\} A3+​(F)={A1​,A2​,A3​,A4​,A5​}。
证：由性质（1）的自反性：$A_3\to A_3$；由$F$中的元素有$A_3\to A_2，A_3\to A_4，A_3\to A_1$；由性质（4），$A_2{A}_3\to A_2{A}_5$可推出$A_2{A}_3⟶A_5$；由性质（3），$A_3\to A_3，A_3\to A_2$可推出$A_3\to A_2{A}_3$；由传递性（7）得$A_3\to A_5$。综上所述，$A_3$闭包为 A 3 + ( F ) = { A 1 , A 2 , A 3 , A 4 , A 5 } A_{3}^{+}\left( F \right) = \left\{ {A_{1},A_{2},A_{3},A_{4},A_{5}} \right\} A3+​(F)={A1​,A2​,A3​,A4​,A5​}。

4.关系模式：

由数据$A=A_1,\cdots ,A_n$和$A$上一个函数依赖集合$F=f_1,\cdots ,f_m$构成的对（pair）结构称为关系模式，记为$R\langle A,F\rangle$。

5.函数依赖的逻辑蕴含：

设数据 A = { A 1 , ⋯   , A n } A = \left\{ A_{1},\cdots,A_{n} \right\} A={A1​,⋯,An​}和$A$上一个函数依赖集合$F$，并且$B\to C$为$A$上的一个函数依赖，其中$B,C\in A^n$，若$A$在$F$上利用函数依赖的性质（1）～（8）直接或间接推导出$B\to C$，则称$F$逻辑蕴含$B\to C$，也称为$B\to C$能由$F$推导，记为$F\mapsto (B\to C)$。

请注意“逻辑蕴含”并不是说$B\to C$是$F$的子集。
例如： F = { A 1 → A 2 , A 2 → A 3 } F = \left\{ A_{1}\rightarrow A_{2},A_{2}\rightarrow A_{3} \right\} F={A1​→A2​,A2​→A3​}是 A = { A 1 , A 2 , A 3 } A = \left\{ A_{1},A_{2},A_{3} \right\} A={A1​,A2​,A3​}上的一个函数依赖集合，易知$(A_1\to A_3)\notin F$,但根据传递性，$F\mapsto (A_1\to A_3)$。

又有在A上由F推导出的全部单属性函数依赖记为$A_1\to A_2,A_1\to A_3,A_2\to A_3,A_1\to A_1,A_2\to A_2,A_3\to A_3,A_2\to A_1,A_3\to A_1,A_3\to A_2$，共$n\times n=3\times 3$个元素如下图。同理，去掉空集后，$A^n$包含$2^n-1$个元素,全部的函数依赖是$(2^3-1)\times (2^3-1)$个。
(参见集合论中的二元关系和闭包)

6.函数依赖的等价与覆盖：

（1）等价：数据A上的两个函数依赖集分别记为$F$和$G$,若$A^{+}(F)=A^{+}(G)$，则称$F$和$G$等价。记为$F\equiv G$，请注意等价不代表$F$和$G$的元素相同。
（2）覆盖：数据$A$上的两个函数依赖集分别记为$F和$G,若对于$G$中的每一个函数依赖$B\to C（B,C\in A^n）$，都有$F\mapsto (B\to C)$，则称$F$是$G$的一个覆盖，记为$F\mapsto G$。如果$F\mapsto G$且$G\mapsto F$,则$F\equiv G$。

7.最小覆盖（最小依赖集）：

若数据$A$上的一个函数依赖集合$F$满足如下条件：
（1）$F$中的每个函数依赖的右部只有唯一的属性$A_i(1\le i\le n)$，即右部都是幂集$A^n$中的单元素集合；
（2）$F$中没有冗余的函数依赖，即不存在函数依赖$B\to C\in F（B,C\in A^n）$，使得 F ≡ F − { B → C } F \equiv F - \left\{ B\rightarrow C \right\} F≡F−{B→C}（其中 F − { B → C } F - \left\{ B\rightarrow C \right\} F−{B→C}为集合减法运算）；
（3）$F$中的每个函数依赖的左部都不存在多余属性，即$B\to C\in F$，$D\subset B$,使得 F ≡ ( F − { B → C } ) ∪ { D → C } F \equiv \left( {F - \left\{ B\rightarrow C \right\}} \right) \cup \left\{ D\rightarrow C \right\} F≡(F−{B→C})∪{D→C}；
则称$F$为最小覆盖或最小依赖集。

最小覆盖性质：若$F$为最小覆盖，则$F$与任何一个与之等价的一个函数依赖集合$G$相比，具有最小的函数依赖数。

8.无冗余覆盖：

如果函数依赖集合$F$存在真子集$F^{\prime }\subset F$,使得$F^{\prime }\subset F$，则称$F$是无冗余的。如果$F$是函数依赖集合$G$的一个覆盖且$F$无冗余，则称$F$是$G$的一个无冗余覆盖。

9.外部属性：

设若数据A上的一个函数依赖集合$F$，且函数依赖$B\to C\in F（B,C\in A^n）$，若$B=A_i{A}_j(0\le i,j\le n,i\ne j)$且 ( F − { B → C } ) ∪ { A j → C } ≡ F \left( {F - \left\{ B\rightarrow C \right\}} \right) \cup \left\{ A_{j}\rightarrow C \right\} \equiv F (F−{B→C})∪{Aj​→C}≡F,则称$A_i$在$B\to C$是左外部属性；若 $C=A_i{A}_j(0\le i,j\le n,i\ne j)$且 ( F − { B → C } ) ∪ { B → A j } ≡ F \left( {F - \left\{ B\rightarrow C \right\}} \right) \cup \left\{ B\rightarrow A_{j} \right\} \equiv F (F−{B→C})∪{B→Aj​}≡F, 则称$A_i$在$B\to C$是右外部属性；

10.规范覆盖：

将最小覆盖所有的左部相同的函数依赖合并后得到的函数依赖集合称为规范覆盖。

规范覆盖的性质：
（1）右部都为单属性；
（2）左部不包含外部属性；
（3）为无冗余覆盖；
（4）对于给定的函数依赖集合，规范覆盖不是唯一的。

11.计算最小覆盖和规范覆盖的步骤：

（1）将$F$中的每个函数依赖的右部分解为单属性；对于每个$B\to C\in F$且$C=C_1\cdots C_k(k>1)$，且对于每个$C_i(1\le i\le k)$，从$F$去除$B\to C$，加上$B\to C_i$。
（2）删除$F$中多余的函数依赖：对于每个$B\to C\in F$，令$G=F-(B\to C)$，若$C\in B^{+}(G)$，则从$F$去除$B\to C$；
（3）删除$F$中的每个函数依赖的左部多余的属性：对于每个$B\to C\in F$且$B=B_1\cdots B_k(k>1)$,考察每个$B_i(1\le i\le k)$，如果$C\in (B-B_i{)}^{+}(F)$，则从$F$去除$B\to C$，加上$(B-B_i)\to C$；
（4）经由（1）～（3）步后即生成最小覆盖，再将最小覆盖左部相同的项合并即得到规范覆盖。

例：设 A = { A 1 , ⋯   , A 5 } A = \left\{ A_{1},\cdots,A_{5} \right\} A={A1​,⋯,A5​}上的一个函数依赖集合为 F = { A 1 A 3 → A 1 , A 3 → A 2 , A 1 A 3 → A 4 , A 3 → A 4 , A 3 → A 1 , A 2 → A 1 , A 2 A 3 → A 2 A 5 } F = \left\{ A_{1}A_{3}\rightarrow A_{1},A_{3}\rightarrow A_{2},A_{1}A_{3}\rightarrow A_{4},A_{3}\rightarrow A_{4},A_{3}\rightarrow A_{1},A_{2}\rightarrow A_{1},A_{2}A_{3}\rightarrow A_{2}A_{5} \right\} F={A1​A3​→A1​,A3​→A2​,A1​A3​→A4​,A3​→A4​,A3​→A1​,A2​→A1​,A2​A3​→A2​A5​}，求$F$的最小覆盖和规范覆盖。
解：（1）将$F$右部分解为单属性：$A_2{A}_3\to A_2{A}_5$分解为$A_2{A}_3\to A_2，A_2{A}_3\to A_5$，得到函数依赖集合 F ( 1 ) = { A 1 A 3 → A 1 , A 3 → A 2 , A 1 A 3 → A 4 , A 3 → A 4 , A 3 → A 1 , A 2 → A 1 ,   A 2 A 3 → A 2 , A 2 A 3 → A 5 } F^{(1)} = \left\{ A_{1}A_{3}\rightarrow A_{1},A_{3}\rightarrow A_{2},A_{1}A_{3}\rightarrow A_{4},A_{3}\rightarrow A_{4},A_{3}\rightarrow A_{1},A_{2}\rightarrow A_{1},~A_{2}A_{3}\rightarrow A_{2},A_{2}A_{3}\rightarrow A_{5} \right\} F(1)={A1​A3​→A1​,A3​→A2​,A1​A3​→A4​,A3​→A4​,A3​→A1​,A2​→A1​, A2​A3​→A2​,A2​A3​→A5​}，将$F^{(1)}$赋值给$F$；
（2）删除$F$中多余的函数依赖：
1）考察$A_1{A}_3\to A_1$，设 F ( 2 ) = F ( 1 ) − { A 1 A 3 → A 1 } = { A 3 → A 2 , A 1 A 3 → A 4 , A 3 → A 4 , A 3 → A 1 , A 2 → A 1 ,   A 2 A 3 → A 2 , A 2 A 3 → A 5 } F^{(2)} = F^{(1)} - \left\{ A_{1}A_{3}\rightarrow A_{1} \right\} = \left\{ A_{3}\rightarrow A_{2},A_{1}A_{3}\rightarrow A_{4},A_{3}\rightarrow A_{4},A_{3}\rightarrow A_{1},A_{2}\rightarrow A_{1},~A_{2}A_{3}\rightarrow A_{2},A_{2}A_{3}\rightarrow A_{5} \right\} F(2)=F(1)−{A1​A3​→A1​}={A3​→A2​,A1​A3​→A4​,A3​→A4​,A3​→A1​,A2​→A1​, A2​A3​→A2​,A2​A3​→A5​},由函数依赖8条性质，有 ( A 1 A 3 ) + ( F ( 2 ) ) = { A 4 , A 1 , A 3 , A 2 } \left. \left( A \right._{1}A_{3} \right)^{+}\left( F^{(2)} \right) = \left\{ A_{4},A_{1},A_{3},A_{2} \right\} (A1​A3​)+(F(2))={A4​,A1​,A3​,A2​}, $A_1\in {{(A}_1{A}_3)}^{+}\left(F^{(1)}\right)$，于是将$F^{(2)}$赋值给$F$；
2）考察$A_3\to A_2$，设 F ( 3 ) = F ( 2 ) − { A 3 → A 2 } = { A 1 A 3 → A 4 , A 3 → A 4 , A 3 → A 1 , A 2 → A 1 ,   A 2 A 3 → A 2 , A 2 A 3 → A 5 } F^{(3)} = F^{(2)} - \left\{ A_{3}\rightarrow A_{2} \right\} = \left\{ A_{1}A_{3}\rightarrow A_{4},A_{3}\rightarrow A_{4},A_{3}\rightarrow A_{1},A_{2}\rightarrow A_{1},~A_{2}A_{3}\rightarrow A_{2},A_{2}A_{3}\rightarrow A_{5} \right\} F(3)=F(2)−{A3​→A2​}={A1​A3​→A4​,A3​→A4​,A3​→A1​,A2​→A1​, A2​A3​→A2​,A2​A3​→A5​},由函数依赖8条性质，有 A 3 + ( F ( 3 ) ) = { A 3 , A 4 , A 1 } {A_{3}}^{+}\left( F^{(3)} \right) = \left\{ A_{3},A_{4},A_{1} \right\} A3​+(F(3))={A3​,A4​,A1​}, $A_2\notin {A_3}^{+}\left(F^{(3)}\right)$，于是$F$保持$F^{(2)}$不变；
3）考察$A_1{A}_3\to A_4$，设 F ( 4 ) = F ( 2 ) − { A 1 A 3 → A 4 } = { A 3 → A 2 , A 3 → A 4 , A 3 → A 1 , A 2 → A 1 ,   A 2 A 3 → A 2 , A 2 A 3 → A 5 } F^{(4)} = F^{(2)} - \left\{ A_{1}A_{3}\rightarrow A_{4} \right\} = \left\{ A_{3}\rightarrow A_{2},A_{3}\rightarrow A_{4},A_{3}\rightarrow A_{1},A_{2}\rightarrow A_{1},~A_{2}A_{3}\rightarrow A_{2},A_{2}A_{3}\rightarrow A_{5} \right\} F(4)=F(2)−{A1​A3​→A4​}={A3​→A2​,A3​→A4​,A3​→A1​,A2​→A1​, A2​A3​→A2​,A2​A3​→A5​}，由函数依赖8条性质，有 ( A 1 A 3 ) + ( F ( 4 ) ) = { A 1 , A 3 , A 2 , A 5 } \left. \left( A \right._{1}A_{3} \right)^{+}\left( F^{(4)} \right) = \left\{ A_{1},A_{3},A_{2},A_{5} \right\} (A1​A3​)+(F(4))={A1​,A3​,A2​,A5​}，$A_4\notin {{(A}_1{A}_3)}^{+}\left(F^{(4)}\right)$, 于是$F$保持$F^{(2)}$不变；
4）考察$A_3\to A_4$，设 F ( 5 ) = F ( 2 ) − { A 3 → A 4 } = { A 3 → A 2 , A 1 A 3 → A 4 , A 3 → A 1 , A 2 → A 1 ,   A 2 A 3 → A 2 , A 2 A 3 → A 5 } F^{(5)} = F^{(2)} - \left\{ A_{3}\rightarrow A_{4} \right\} = \left\{ A_{3}\rightarrow A_{2},A_{1}A_{3}\rightarrow A_{4},A_{3}\rightarrow A_{1},A_{2}\rightarrow A_{1},~A_{2}A_{3}\rightarrow A_{2},A_{2}A_{3}\rightarrow A_{5} \right\} F(5)=F(2)−{A3​→A4​}={A3​→A2​,A1​A3​→A4​,A3​→A1​,A2​→A1​, A2​A3​→A2​,A2​A3​→A5​}，由函数依赖8条性质，有 A 3 + ( F ( 5 ) ) = { A 1 , A 3 , A 2 , A 4 , A 5 } {A_{3}}^{+}\left( F^{(5)} \right) = \left\{ A_{1},A_{3},A_{2},A_{4},A_{5} \right\} A3​+(F(5))={A1​,A3​,A2​,A4​,A5​}, $A_4\in {A_3}^{+}\left(F^{(5)}\right)$，于是将$F^{(5)}$赋值给$F$；
5）考察$A_3\to A_1$，设 F ( 6 ) = F ( 5 ) − { A 3 → A 1 } = { A 3 → A 2 , A 1 A 3 → A 4 , A 2 → A 1 ,   A 2 A 3 → A 2 , A 2 A 3 → A 5 } F^{(6)} = F^{(5)} - \left\{ A_{3}\rightarrow A_{1} \right\} = \left\{ A_{3}\rightarrow A_{2},A_{1}A_{3}\rightarrow A_{4},A_{2}\rightarrow A_{1},~A_{2}A_{3}\rightarrow A_{2},A_{2}A_{3}\rightarrow A_{5} \right\} F(6)=F(5)−{A3​→A1​}={A3​→A2​,A1​A3​→A4​,A2​→A1​, A2​A3​→A2​,A2​A3​→A5​}，由函数依赖8条性质，有 A 3 + ( F ( 6 ) ) = { A 1 , A 3 , A 2 , A 4 , A 5 } {A_{3}}^{+}\left( F^{(6)} \right) = \left\{ A_{1},A_{3},A_{2},A_{4},A_{5} \right\} A3​+(F(6))={A1​,A3​,A2​,A4​,A5​}, $A_1{{\in A}_3}^{+}\left(F^{(6)}\right)$，于是将$F^{(6)}$赋值给$F$；
6）考察$A_2\to A_1$，设 F ( 7 ) = F ( 6 ) − { A 2 → A 1 } = { A 3 → A 2 , A 1 A 3 → A 4 ,   A 2 A 3 → A 2 , A 2 A 3 → A 5 } F^{(7)} = F^{(6)} - \left\{ A_{2}\rightarrow A_{1} \right\} = \left\{ A_{3}\rightarrow A_{2},A_{1}A_{3}\rightarrow A_{4},~A_{2}A_{3}\rightarrow A_{2},A_{2}A_{3}\rightarrow A_{5} \right\} F(7)=F(6)−{A2​→A1​}={A3​→A2​,A1​A3​→A4​, A2​A3​→A2​,A2​A3​→A5​}，由函数依赖8条性质，有 A 2 + ( F ( 7 ) ) = { A 2 } {A_{2}}^{+}\left( F^{(7)} \right) = \left\{ A_{2} \right\} A2​+(F(7))={A2​}, $A_1\notin {A_2}^{+}\left(F^{(7)}\right)$，于是$F$保持$F^{(6)}$不变；
7）考察$A_2{A}_3\to A_2$，设 F ( 8 ) = F ( 6 ) − { A 2 A 3 → A 2 } = { A 3 → A 2 , A 1 A 3 → A 4 , A 2 → A 1 , A 2 A 3 → A 5 } F^{(8)} = F^{(6)} - \left\{ A_{2}A_{3}\rightarrow A_{2} \right\} = \left\{ A_{3}\rightarrow A_{2},A_{1}A_{3}\rightarrow A_{4},A_{2}\rightarrow A_{1},A_{2}A_{3}\rightarrow A_{5} \right\} F(8)=F(6)−{A2​A3​→A2​}={A3​→A2​,A1​A3​→A4​,A2​→A1​,A2​A3​→A5​}，由函数依赖8条性质，有 ( A 2 A 3 ) + ( F ( 8 ) ) = { A 2 , A 3 , A 5 } \left( A_{2}A_{3} \right)^{+}\left( F^{(8)} \right) = \left\{ A_{2},A_{3},A_{5} \right\} (A2​A3​)+(F(8))={A2​,A3​,A5​},$A_2\in {\left(A_2{A}_3\right)}^{+}\left(F^{(8)}\right)$，于是将$F^{(8)}$赋值给$F$；
8）考察$A_2{A}_3\to A_5$，设 F ( 9 ) = F ( 8 ) − { A 2 A 3 → A 5 } = { A 3 → A 2 , A 1 A 3 → A 4 , A 2 → A 1 } F^{(9)} = F^{(8)} - \left\{ A_{2}A_{3}\rightarrow A_{5} \right\} = \left\{ A_{3}\rightarrow A_{2},A_{1}A_{3}\rightarrow A_{4},A_{2}\rightarrow A_{1} \right\} F(9)=F(8)−{A2​A3​→A5​}={A3​→A2​,A1​A3​→A4​,A2​→A1​}，由函数依赖8条性质，有 ( A 2 A 3 ) + ( F ( 9 ) ) = { A 2 , A 3 , A 1 , A 4 } \left( A_{2}A_{3} \right)^{+}\left( F^{(9)} \right) = \left\{ A_{2},A_{3},A_{1},A_{4} \right\} (A2​A3​)+(F(9))={A2​,A3​,A1​,A4​}, $A_5\notin {\left(A_2{A}_3\right)}^{+}\left(F^{(9)}\right)$,于是$F$保持$F^{(8)}$不变，最后 F = { A 3 → A 2 , A 1 A 3 → A 4 , A 2 → A 1 , A 2 A 3 → A 5 } F = \left\{ A_{3}\rightarrow A_{2},A_{1}A_{3}\rightarrow A_{4},A_{2}\rightarrow A_{1},A_{2}A_{3}\rightarrow A_{5} \right\} F={A3​→A2​,A1​A3​→A4​,A2​→A1​,A2​A3​→A5​}；
（3）删除$F$中的每个函数依赖的左部多余的属性：
1）考察$A_1{A}_3\to A_4$,考察 ( A 1 A 3 − A 1 ) + ( F ) = A 3 + ( F ) = { A 2 , A 3 , A 1 , A 4 , A 5 } \left( {A_{1}A_{3} - A_{1}} \right)^{+}\left( F \right) = {A_{3}}^{+}\left( F \right) = \left\{ A_{2},A_{3},A_{1},A_{4},A_{5} \right\} (A1​A3​−A1​)+(F)=A3​+(F)={A2​,A3​,A1​,A4​,A5​}，$A_4\in {A_3}^{+}\left(F\right)$, 于是删除$A_1{A}_3\to A_4$，添加$A_3\to A_4$，得 F = { A 3 → A 2 , A 3 → A 4 , A 2 → A 1 , A 2 A 3 → A 5 } F = \left\{ A_{3}\rightarrow A_{2},A_{3}\rightarrow A_{4},A_{2}\rightarrow A_{1},A_{2}A_{3}\rightarrow A_{5} \right\} F={A3​→A2​,A3​→A4​,A2​→A1​,A2​A3​→A5​}；
2）考察$A_2{A}_3\to A_5$， 考 察 ( A 2 A 3 − A 2 ) + ( F ) = A 3 + ( F ) = { A 2 , A 3 , A 1 , A 4 , A 5 } 考察\left( {A_{2}A_{3} - A_{2}} \right)^{+}\left( F \right) = {A_{3}}^{+}\left( F \right) = \left\{ A_{2},A_{3},A_{1},A_{4},A_{5} \right\} 考察(A2​A3​−A2​)+(F)=A3​+(F)={A2​,A3​,A1​,A4​,A5​}，$A_5\in A_3^{+}(F)$，
于是删除$A_2{A}_3\to A_4$，添加$A_3\to A_5$，得 F = { A 3 → A 2 , A 3 → A 4 , A 2 → A 1 , A 3 → A 5 } F = \left\{ A_{3}\rightarrow A_{2},A_{3}\rightarrow A_{4},A_{2}\rightarrow A_{1},A_{3}\rightarrow A_{5} \right\} F={A3​→A2​,A3​→A4​,A2​→A1​,A3​→A5​}。
于是F的最小覆盖为 { A 3 → A 2 , A 3 → A 4 , A 2 → A 1 , A 3 → A 5 } \left\{ A_{3}\rightarrow A_{2},A_{3}\rightarrow A_{4},A_{2}\rightarrow A_{1},A_{3}\rightarrow A_{5} \right\} {A3​→A2​,A3​→A4​,A2​→A1​,A3​→A5​}。
（4）将最小覆盖左部相同的项合并即得到规范覆盖： { A 3 → A 2 A 4 A 5 , A 2 → A 1 } \left\{ A_{3}\rightarrow A_{2}A_{4}A_{5},A_{2}\rightarrow A_{1} \right\} {A3​→A2​A4​A5​,A2​→A1​}。

llk注：1.上述定义和定理按实际应用场景进行了适度修正和引申，2.函数依赖的概念不仅仅局限于数据库方面