数据库原理——关系数据理论（全）

关系数据理论

数据依赖包括函数依赖和多值依赖。

5.1 函数依赖

5.1.1 函数依赖的定义

设$R(U)$是属性集U上的关系模式， $X,Y\subseteq U$ （$X,Y$是属性）， 若对于$\forall r(值)\in R(U)$，$\forall t,s\in r$（元组）,如果$t[X]=s[X]$（若每个都不相等也满足条件），能推出$t[Y]=s[Y]$，则称“X函数决定Y”,或“Y函数依赖于X”,记作：$X\to Y$，称$X$为决定因素。

若$\exists t,s\in r,t[X]=s[X]$，但$t[Y]\ne s[Y]$，则称“X不函数决定Y”或“Y不函数依赖于X”,记作：。

函数依赖关系可以理解成关系数据库中“码”的理论基础；函数依赖与别的数据依赖一样是语义范畴的概念，只能根据语义来确定一个函数依赖。

SDC中的函数依赖：$SNO->DEPT,DEPT->MNAME,(SNO,CNAME)->GRADE$

5.1.2 函数依赖的分类

（1）平凡的函数依赖与非平凡的函数依赖

• 如果$X\to Y$，且$Y⊈X$，则称$X\to Y$为非平凡的函数依赖。
• 如果$X\to Y$，且$Y\subseteq X$，则称$X\to Y$为平凡的函数依赖。【必然成立】

如：$SNO\to SNO$是平凡的函数依赖。

在后面的讨论中，一般函数依赖指非平凡的函数依赖。

（2）完全函数依赖与部分函数依赖

• 如果$X\to Y$，对于任意$X$的真子集$X^{\prime }$，都有，则称$Y$对$X$完全函数依赖，记作
• 如果$X\to Y$，存在$X$的真子集$X^{\prime }$，使得$X^{\prime }\to Y$ ，则称$Y$对$X$部分函数依赖，记作$X\stackrel{p}{⟶}Y$

（3）传递函数依赖与直接函数依赖

• 在$R(U)$中，如果$\mathrm{X}\to \mathrm{Y}(\mathrm{Y}⊈\mathrm{X})$,,$\mathrm{Y}\to \mathrm{Z}$，则称$Z$对$X$传递函数依赖

5.1.3 函数依赖的逻辑蕴含

关系模式$R$，$F$是其函数依赖，$X,Y$是其属性子集，如果从$F$的函数依赖能够推出$X\to Y$，则称$F$逻辑蕴含$X\to Y$，记作$F\models X\to Y$。

被$F$所逻辑蕴含的函数依赖的全体所构成的集合称作$F$的闭包，记作$F^{+}$。[即根据已知F函数依赖能推导出来的集合]

示例：

$R(X,Y),F=X\to Y$

F + = { X → ∅ , X → X , X → Y , X → X Y , Y → ∅ , Y → Y , X Y → ∅ , X Y → X , X Y → Y , X Y → X Y } F^{+} = \{X\rightarrow \varnothing, X\rightarrow X, X\rightarrow Y,X\rightarrow XY, Y\rightarrow \varnothing, Y\rightarrow Y, XY\rightarrow \varnothing,XY\rightarrow X,XY\rightarrow Y,XY\rightarrow XY\} F+={X→∅,X→X,X→Y,X→XY,Y→∅,Y→Y,XY→∅,XY→X,XY→Y,XY→XY}

5.1.4 Armstrong公理系统

为了从一组函数依赖求得蕴含的函数依赖，为了确定一个关系模式的码，就需要一套推理规则。下面介绍函数依赖的公理系统——Armstrong公理系统。

对于关系模式$R(U，F)$，设$F$是$U$上的一组函数依赖，则：

• 自反律：若$Y\subseteq X\subseteq U$，则$X\to Y$为$F$所蕴含。
• 增广律：若$X\to Y$为$F$所蕴含（$X\to Y\in F^{+}$），$Z\subseteq U$，则$XZ\to YZ$为$F$所蕴含。【两边加相同的属性】
• 传递律：若$X\to Y$及$Y\to Z$为$F$所蕴含（$F^{+}$） ，则$X\to Z$为$F$所蕴含。

三个有用的推理规则：

• 合并规则：由$X\to Y$,$Y\to Z$,有$X\to YZ$。

• 伪传递规则：由$X\to Y$,$WY\to Z$,有$XW\to Z$。[推导：1式两边都加$W$]

• 分解规则：由$X\to Y$,$Z\subseteq Y$,有$X\to Z$。[推导：$Z\subseteq Y$是平凡函数依赖，则$Y\to Z$，然后传递]

  [推论]$X\to Y,X\to Z,X\to A⟷X\to YZA$

5.1.5 由函数依赖定义的码

候选码：设$K$为$R<U,F>$的属性或属性组，若$K\stackrel{f}{⟶}U$（$K$要完全决定$U$，即**$K$的任意真子集都不能决定$U$**），则称$K$为$R$的候选码

主码：若$R(U,F)$有多个候选码，则可以从中选定一个作为R的主码

主属性：包含在每一个候选码中的属性

非主属性：不包含在任何候选码中的属性

全码：关系模式的码由整个属性组构成

5.1.6 候选码的求解方法

给定一个关系模式$R(U,F)$， U = { A 1 , A 2 , … , A n } U=\{A_{1},A_{2},…,A_{n}\} U={A1​,A2​,…,An​}，$F$是$R$的函数依赖集，那么，可以将属性分为如下四类：

• L：仅出现在函数依赖集F左部的属性
• R：仅出现在函数依赖集F右部的属性
• LR：在函数依赖集F左右部都出现的属性
• NLR：在函数依赖集F左右部都未出现的属性

==求候选码的规则==如下：

• 如果有属性不在函数依赖集中出现，那么它必须包含在候选码中

  [解释]不在函数依赖集中出现，即只有自己可以决定自己，别人不能决定它，该属性可以唯一标识元组，包含在候选码中。

• 如果有属性不在函数依赖集中任何函数依赖的右边出现，那么它必须包含在候选码中

• 如果有属性只在函数依赖集的左边出现，则该属性一定包含在候选码中

• 如果有属性或属性组能唯一标识元组，则它就是候选码（验证候选码是否唯一或有多个）

5.2 范式及其规范化

范式是对关系（关系模式$R$）的不同数据依赖程度的要求。各种不同的范式都是以对关系模式的属性间允许的数据依赖加以限制的形式表示的。

若$R(U,F)$符合$x$范式的要求，则称$R$为$x$范式，记作：$R\in xNF$ 例：x好学生,有德、德智、德智体……

通过模式分解将一个低级范式转换为若干个高级范式的过程称作规范化；限制最少，数据依赖条件越少，范围最广。

5.2.1 1NF

属性不可再分，是原子量

定义
分量是否需要再分，与具体应用有关；如果用到值的一部分，则需要进一步分割。

• 如果只是查询出生日期，则它满足$1NF$；

• 如果查询两人生日是否相同，则只比较月、日，需要将生日分解，就不满足$1NF$。

姓名	生日
王军	98.7.10
张立	99.7.10
李明	90.3.28

姓名	年	月日
王军	98	7.10
张立	99	7.10
李明	90	3.28

5.2.2 2NF

若$R\in 1NF$，且每个非主属性完全依赖于码，则称$R\in 2NF$， 即**$2NF$不允许有非主属性对码的部分依赖**；若R中有非主属性对码的部分依赖，则$R\notin 2NF$。

[例1]关系模式$SDC(SNO,DEPT,MNAME,CNAME,GRADE)$,判断$SDC\in 2NF$？

步骤：

先根据函数依赖确定候选码，再观察每个非主属性是否完全依赖于码。

因为$DEPT,MNAME$部分依赖于码$(SNO，CNAME) $，所以$SDC\notin 2NF$ 。

若码为一个，一定是完全依赖关系；

消除非主属性对码的部分依赖——模式分解

改造：

非主属性有两种，一种完全依赖于码，一种部分依赖于码。

将$SDC$分解为：

​ $SC(SNO,CNAME,G)\in 2NF$

​ $SDM(SNO,DEPT,MNAME)\in 2NF$

解决了部分插入异常和更新异常，删除异常还存在

[例2]关系模式$R(A,B,C,D)$，码为$AB$，给出它的一个函数依赖集，使得$R$属于$1NF$而不属于$2NF$。

F = { ( A , B ) → f C , B → D } F=\{(A, B) \stackrel{f}{\rightarrow} C, \quad B \rightarrow D\} F={(A,B)→fC,B→D}

5.2.3 3NF

关系模式$R<U,F>$中，若不存在这样的码$X$，属性组$Y$及非主属性Z($Z⊈Y$)，使得下式成立：

则称$R\in 3NF$。即$3NF$要求：非主属性既不部分也不传递依赖于码。

[例1]判断$SDM(SNO,DEPT,MNAME)\in 3NF$是否成立。

因为$SNO\to DEPT,DEPT\to MNAME$，所以$SDM\notin 3NF$

模式分解的方法是：消除非主属性对码的传递依赖

改造：

将$SDM(SNO,DEPT,MNAME)$分解为：

$SD(SNO,DEPT)\in 3NF$ 二元/目关系

$DM(DEPT,MNAME)\in 3NF$

[例2]$SC(SNO,CNAME,GRADE)\in 3NF$不能传递。

全码：所有属性加一起才能构成码，即$U\stackrel{f}{⟶}U$,必满足$3NF$；

任意二元关系模式都属于第三范式。

[例3]关系模式$R(A,B,C,D)$，码为$AB$，给出它的一个函数依赖集，使得$R$属于$2NF$而不属于$3NF$。

$F=(A,B)\to C,C\to D$

5.2.4 BCNF

每一个决定性因素都包含码。

定义：关系模式$R<U,F>$中，对于属性组$X,Y$，若$X\to Y$且$Y⊈X$时$X$必含有码，则$R<U,F>\in BCNF$

如$STC\notin BCNF$，因为$T\to C$，而$T$不含有码；

$ STC(S , T , C)$关系模式中，每位老师只教授一门课，每门课有若干老师。某学生选定一门课，就对应一位老师。则：

它的一组函数依赖为：$T\to C,(S,T)\to C,(S,C)\to T$，候选码为$(S,T)$和$ (S,C)$

此例子可说明：全是主属性不一定属于$BCNF$，但一定属于$3NF$。

改造：

将$STC(S,T,C)$分解为：

$ST(S,T)\in BCNF,TC(T,C)\in BCNF.$

结论：

任何一个二元关系都是BCNF的；

全码属于BCNF。

在函数依赖的范畴内，BCNF达到了最高的规范化程度。

5.3 多值依赖

5.3.1 多值依赖的定义

1.描述型：

关系模式$R(U)$，$X、Y、Z\subset U$，并且$Z=U–X–Y$，若对$R(U)$的任一关系$r$，对给定的一对$(x,z)$值有一组$Y$的值，这组值仅仅决定于$x$值而与$z$值无关，则称$Y$多值依赖于$X$，记作：$X\to \to Y$。

关系模式$TEACH(C\#,T\#,B\#)$ ，一门课程由多个教员担任，一门课程使用相同的一套参考书。

C#	T#	B#
C1	{T1,T2}	{B1,B2}
C2	{T1,T3}	{B3,B4}

有：

C#	T#	B#
C1	T1	B1
C1	T1	B2
C1	T2	B1
C1	T2	B2
C2	T1	B3
C2	T1	B4
C2	T3	B3
C2	T3	B4

​ 在关系模式$TEACH$中，对$(C1,B1)$有一组$T\#$值$(T1,T2)$，对$(C1,B2)$也有一组$T\#$值$(T1,T2)$，这组值仅取决于$C\#$的取值，而与$B\#$[如参考书]的取值无关。因此，$T\#$多值依赖于$C\#$，记作$C\#\to \to T\#$，同样有$C\#\to \to B\#$。

2.标准化：

关系模式$R(U)$，$X、Y、Z\subset U$，$Z=U–X–Y$，对于$R(U)$的任一关系$r$，若存在元组$t1$，$t2$，使得$t1[X]=t2[X]$，那么就必然存在元组$t3$，$t4$，使得：

​ $t3[X]=t1[X]=t4[X]=t2[X]$

​ $t3[Y]=t1[Y],t4[Y]=t2[Y]$

​ $t3[Z] = t2[Z], t4[Z] = t1[Z] $

则称$Y$多值依赖于$X$，记作：$X\to \to Y$。

若$X\to \to Y$，而$Z=\varnothing$，则称$X\to \to Y$为平凡的多值依赖。

例如：$(C\#,T\#,B\#)$满足$C\#\to \to T\#$，含有元组$t1=(C1,T1,B1)$，$t2=(C1,T2,B2)$，则也一定含有元组$t3=(C1,T1,B2)$，$t4=(C1,T2,B1)$。

即：有三条记录，第四条记录肯定知道/肯定需找到。

5.3.2 多值依赖的性质

• 多值依赖具有对称性：若$X\to \to Y$，则$X\to \to Z$

• 多值依赖具有传递性：若$X\to \to Y$，$Y\to \to Z$，则$X\to \to Z-Y$。

• 函数依赖是多值依赖的特例：若$X\to Y$，则$X\to \to Y$。

• 若$X\to \to Y$，$X\to \to Z$，则$Y$、$Z$的交集、并集、差集多值依赖于$X$。

  • 若$X\to \to Y$，$X\to \to Z$，则$X\to \to Y\cup Z$。
  • 若$X\to \to Y$，$X\to \to Z$，则$X\to \to Y\cap Z$。
  • 若$X\to \to Y$，$X\to \to Z$，则$X\to \to Y-Z$， $X\to \to Z-Y$。

5.3.3 多值依赖与函数依赖的区别

• 多值依赖是元组产生依赖，函数依赖是相等产生依赖。

  • 函数依赖规定某些元组不能出现在关系中，也称为相等产生依赖。
  • 多值依赖要求某种形式的其它元组必须存在于关系中，称为元组产生依赖。

• 多值依赖的有效性与属性集的范围有关，而函数依赖的有效性则与属性集的范围无关。

  如：$X\to Y$在属性集$W(XY\subseteq W\subseteq U)$上成立，在$U$上也成立； 而$X\to \to Y$在属性集$W(XY\subseteq W\subseteq U)$上成立，但在$U$上不一定成立。

多值依赖可以缩小范围，不可以扩大范围。如：若$X\to \to Y$在$U$上成立，则在属性集$W(XY\subseteq W\subseteq U)$上成立。

如：$A\to \to B$在$W=ABC$上成立，而在$U=ABCD$上不成立。 $(a1,c1,d1)$ $ b1$ ； $(a1,c1,d2)$ $b2$

A	B	C	D
a1	b1	c1	d1
a1	b1	c2	d1
a1	b2	c1	d2
a1	b2	c2	d2

• 关于子集的问题：
  • 若$X\to Y$在$R(U)$上成立，则对于$\forall Y^{\prime }\subseteq Y,X\to Y^{\prime }$均成立。 [$Y\to Y’$是平凡的函数依赖]
  • 若$X\to \to Y$在$R(U)$上成立，则不能断言对于$Y^{\prime }\subseteq Y$,有$X\to Y^{\prime }$成立。

​ 在上面的关系模式中，$A\to \to BC$成立，$A\to \to B$不成立。

5.3.4 4NF

定义：

关系模式$R<U,F>\in 1NF$，若对于每一个非平凡(Z不能为空)的多值依赖$X\to \to Y$（$Y⊈X$），$X$都包含码，则称$R\in 4NF$。

如关系模式$TEACH(C\#,T\#,B\#)$，$C\#\to \to T\#$，$C\#\to \to B\#$，码为$(C\#,T\#,B\#)$，所以$TEACH\notin 4NF$。

改造：

将$TEACH$分解为：$CT(C\#,T\#)\in 4NF$，$CB(C\#,B\#)\in 4NF$。

在分解后的关系中分量为$C_i$的元组共有$m+n$个。

在多值依赖的范畴内，属于4NF的关系模式已达到了最高的规范化程度。

任何一个二元关系都满足4NF。[只有两个属性不存在非平凡的多值依赖。]

全码不一定属于4NF。（如上$TEACH$关系模式例子）

一个全是主属性的关系模式一定可以达到第3范式；

一个全码的关系模式一定可以达到$BCNF$范式。
范式之间的关系：

5.4 关系模式分解

引言：表的数量越多，查询速度越慢，更改（插入、更新、删除异常少）速度越快。

5.4.1 模式分解的定义和要求

模式分解的定义：

关系模式$R<U,F>$的一个分解是指$\rho =R_1<U_1,F_1>,R_2<U_2,F_2>,\dots ,R_n<U_n,F_n>$，其中$U=U_1\cup U_2\cup \dots \cup U_n$ ，并且没有$U_{i} \subseteq U_{j} $，$i\ge 1$，$j ≤n$，$F_{i}$是$F$在$U_{i}$上的投影。

模式分解的要求：

一个关系模式分解成若干个关系模式，则分解前后的模式要等价（即分解后没有信息的丢失）。等价的标准常用的有：

• 分解要具有无损连接性
• 分解要保持函数依赖
• 分解既要保持函数依赖又要具有无损连接性

5.4.2 无损分解与有损分解

无损分解的定义：

关系模式$R<U,F>$ ，$U=U_1\cup U_2\cup \dots \cup U_n$ ，$\rho =R_1<U_1,F_1>,R_2<U_2,F_2>,\dots ,R_n<U_n,F_n>$是$R<U,F>$的一个分解，若对于$R<U,F>$的任一个关系$r$，都有$r={\pi }_{R_1}(r)\bowtie {\pi }_{R_2}(r)\bowtie \dots \bowtie {\pi }_{R_n}(r)$ , 则称$\rho$是$R<U,F>$的一个无损连接分解。
即：对于$R<U,F>$的任一个关系$r$，$r$在$R_1,R_2,\dots ,R_n$上的投影的自然连接等于$r$。

一个关系模式分解为两个模式时无损连接性的判别：

关系模式$R<U,F>$分解为关系模式$R_1<U_1,F_1>,R_2<U_2,F_2>$是具有无损连接性的分解的充分必要条件是：

$(U_1\cap U_2\to U_1-U_2)\in F^{+}$（或$(U_1\cap U_2\to U_2-U_1)\in F^{+}$，即==交集决定差集成立==）, $F^{+}$是所有函数依赖推导的集合。

[例]设$R(U,F)$中$U=ABC,F=A\to B$, 试判断$R$的下面两个分解的无损连接性：

ρ 1 = { R 1 ( A B ) , R 2 ( A C ) } , ρ 2 = { R 1 ( A B ) , R 2 ( B C ) } \rho_{1}=\{R_{1}(AB), R_{2}(AC)\},\rho _{2}=\{R_{1}(AB), R_{2}(BC)\} ρ1​={R1​(AB),R2​(AC)},ρ2​={R1​(AB),R2​(BC)}。

因为对于$\rho_{1} $：$R_{1}\cap R_{2}=A, R_{1}－R_{2}=B$，无损；对于$\rho_{2} $：$R_{1}\cap R_{2}=B,R_{1}－R_{2}=A,R_{2}－R_{1}=C$ ，有损。

实例：

5.4.3 保持函数依赖

保持函数依赖的模式分解的定义：

设$\rho =R_1<U_1,F_1>,R_2<U_2,F_2>,\dots ,R_n<U_n,F_n>$是$R<U,F>$的一个分解，如果$F^{+}=(F_1\cup F_2\cup \dots \cup F_n{)}^{+}$，则称$\rho $是保持函数依赖的分解。即：你能推导出来的我的集合也能推导出来，无函数依赖被丢失。

换句话说：$F$所逻辑蕴含的函数依赖一定也由分解得到的各个关系模式中的函数依赖所逻辑蕴含。

实例：

[例1]设关系模式$R<U,F>$， U = { C I T Y , S T , Z I P } U = \{CITY, ST, ZIP\} U={CITY,ST,ZIP}, F = { ( C I T Y , S T ) → Z I P [ 邮 政 编 码 ] , Z I P → C I T Y } F =\{(CITY, ST) \rightarrow ZIP[邮政编码], ZIP\rightarrow CITY\} F={(CITY,ST)→ZIP[邮政编码],ZIP→CITY}，试判断下列分解 ρ 1 = { R 1 ( S T , Z I P ) , R 2 ( C I T Y , Z I P ) } \rho_{1}=\{R_{1}(ST,ZIP), R_{2}(CITY, ZIP)\} ρ1​={R1​(ST,ZIP),R2​(CITY,ZIP)}是否保持函数依赖？

[解] ∵ π R 1 ( F ) = ∅ , π R 2 ( F ) = { Z I P → C I T Y } , π R 1 ( F ) ∪ π R 2 ( F ) = { Z I P → C I T Y } , \because \pi_{R_{1}}(F) = \varnothing,\pi_{R_{2}}(F) = \{ZIP\rightarrow CITY\},\pi_{R_{1}}(F)\cup \pi_{R_{2}}(F)= \{ZIP\rightarrow CITY\}, ∵πR1​​(F)=∅,πR2​​(F)={ZIP→CITY},πR1​​(F)∪πR2​​(F)={ZIP→CITY},丢失了函数依赖$(CITY,ST)\to ZIP$

$ \therefore$分解是没有保持函数依赖的；

又 ∵ R 1 ∩ R 2 = { Z I P } , R 2 － R 1 = C I T Y , R 1 ∩ R 2 → R 2 － R 1 , \because R_{1}\cap R_{2} =\{ZIP\}, R_{2}－R_{1} ={CITY},R_{1}\cap R_{2}\rightarrow R_{2}－R_{1}, ∵R1​∩R2​={ZIP},R2​－R1​=CITY,R1​∩R2​→R2​－R1​,

$\therefore$分解是无损的。

[例2]$R(ABC;A\to C,B\to C)$，码为$AB$。

（1）求具有无损连接性的分解。

​ 分解为$R_1(AC;A\to C)$，$R_2(AB)$。

​ 因丢失了函数依赖$B\to C$，所以不是保持函数依赖的分解。

另解：$R1(A,B),R2(B,C)函数依赖为:B\to A,B\to C{F}_1=\varnothing ,F_2=B\to C$

（2）求保持函数依赖的分解。

​ 分解为$R_1(AC;A\to C)$，$R_2(BC;B\to C)$，但分解是有损的。

5.4.4 关于模式分解的若干结论

• 分解具有无损连接性和分解保持函数依赖是两个互相独立的标准。具有无损连接性的分解不一定保持函数依赖，保持函数依赖的分解不一定具有无损连接性。一个关系模式的分解可能有三种情况。
• 若要求分解具有无损连接性，那么分解后的模式一定能达到BCNF。
• 若要求分解保持函数依赖，那么分解后的模式总可以达到3NF，但不一定能达到BCNF。
• 若要求分解既具有无损连接性，又保持函数依赖，则分解后的模式可以达到3NF，但不一定能达到BCNF。

5.5 属性集闭包

5.5.1 属性集闭包的定义

设有关系模式$R(U)$, U = { A 1 , A 2 , … , A n } U=\{A_{1},A_{2},…,A_{n}\} U={A1​,A2​,…,An​}，$X$是$U$的子集，$F$是$U$上的一个函数依赖集，则属性集$X$关于函数依赖集$F$的闭包$X_F^{+}$定义为： X F + ＝ { A i ∣ A i ∈ U , F ⊨ X → A i } X_{F}^{+}＝\{A_{i}|A_{i}\in U,F\models X\rightarrow A_{i}\} XF+​＝{Ai​∣Ai​∈U,F⊨X→Ai​} 。即：我能决定哪些属性，就是属性集的闭包。

[例]设关系模式$R(A,B,C)$的函数依赖集为 F = { A → B , B → C } F=\{A\rightarrow B,B\rightarrow C\} F={A→B,B→C}，则 A F + = { A , B , C } , B F + = { B , C } , C F + = { C } A_{F}^{+}=\{A,B,C\},B_{F}^{+}=\{B,C\},C_{F}^{+}=\{C\} AF+​={A,B,C},BF+​={B,C},CF+​={C}。

5.5.2 属性集的闭包计算

算法：求属性集$X(X\subseteq U)$关于$U$上的函数依赖集$F$的闭包$X_F^{+}$。

输入：属性全集$U$,$U$上的函数依赖集$F$,以及属性集$X\subseteq U$；

输出：$X$关于$F$的闭包$X_F^{+}$。

方法：根据下列步骤计算一系列属性集合$X^{(0)}$，$X^{(1)}$，…

• (1) 令$X^{(0)}=X,i=0$（将自身加入）

• (2) 求属性集

其中：$V$已找出（知道）的集合，$W$是可能已知、可能未知的属性（未知加入）

• (3) $X^{(i+1)}=X^{(i)}\cup B$

• (4)判断$X^{(i+1)}=X^{(i)}$吗？

  • 若$X^{(i+1)}\ne X^{(i)}$，则用$i+1$取代$i$，返回(2)；
  • 若$X^{(i+1)}=X^{(i)}$，则$X_F^{+}=X^{(i)}$，结束。

在判断计算何时结束时，可用下面四种方法：

• $X^{(i+1)}=X^{(i)}$。
• $X^{(i+1)}$已包含了全部属性。
• 在$F$中再也找不到函数依赖的右部属性是$X^{(i)}$未出现过的属性。
• 在$F$中再也找不到满足条件$V\subseteq X^{(i)}$的函数依赖$V\to W$。

5.6 函数依赖集的等价与覆盖

5.6.1 定义

设$F$和$G$是关系$R(U)$上的两个依赖集，若$F^{+}=G^{+}$，则称$F$与$G$等价，记为$F=G$。也可以称$F$覆盖$G$，$G$覆盖$F$，$F$和$G$相互覆盖。

一个函数依赖集F可能有若干个与其等价的函数依赖集，我们可以从中选择一个较好以便应用的函数依赖集。标准至少是：

• 所有函数依赖均独立，即该函数依赖集中不存在这样的函数依赖，它可由这个集合中的别的函数依赖推导出来。
• 表示最简单，即每个函数依赖的右部为单个属性[可用分解规则来做]，左部最简单[左部不能有冗余属性]。

具体规则见下小节“最小函数依赖集”。

5.6.2 最小函数依赖集

若函数依赖集$F$如果满足下列条件，则称$F$为最小函数覆盖，记为$F_{min}$：

• 对$F$中任一函数依赖$X\to A$， F － { X → A } F－\{X→A\} F－{X→A}都不与$F$等价。[不存在冗余的函数依赖]
• $F$中每一个函数依赖的右部都是单个属性。[右部最简单]
• 对于$F$中的任一函数依赖$X\to A$， F － { X → A } ∪ { Z → A } F－\{X→A\}\cup \{Z\rightarrow A\} F－{X→A}∪{Z→A}都不与$F$等价，其中$Z$为$X$的任一真子集。[左部最简单，左部不能有冗余的属性——X的真子集不能决定A，左边已经是最少的属性]

求函数依赖集F的最小覆盖的方法是：

• （1）使右部最简单：检查$F$中的每个函数依赖$X\to A$,若 A = { A 1 , A 2 , … , A k } A=\{A_{1},A_{2},…,A_{k}\} A={A1​,A2​,…,Ak​},则根据分解规则，用$X\to A_i(i=1,2,\dots ,k)$取代$X\to A$
• （2）检查是否有冗余的函数依赖：检查$F$中的每个函数依赖$X\to A$，令 G = F － { X → A } G=F－\{X\rightarrow A\} G=F－{X→A}，若有$A\in X_G^{+}$，则从$F$中去掉此函数依赖。
• （3）使左部最简单：检查$F$中各函数依赖$X\to A$，设 X = { B 1 , B 2 , … , B m } X=\{B_{1},B_{2},…,B_{m}\} X={B1​,B2​,…,Bm​}，检查$B_i$，当$A\in (X-B_i{)}_F^{+}$时，即以$X－B_i$替换$X$。