关系数据库设计理论（3） 函数依赖的蕴涵与公理体系

一、函数依赖的逻辑蕴涵

定义：设有关系模式R(U)及其函数依赖集F，                如果对于R的任一个满足F的关系r函数依赖X→Y都成立，                则称F逻辑蕴涵X→Y，或称X→Y可以由F推出。           例4.3.1：              关系模式 R=(A,B,C),函数依赖集F={A→B,B→C}, F逻辑蕴涵A→C。           证：              设u,v为r中任意两个元组：          若A→C不成立，则有u[A]=v[A],而u[C]≠v[C]          而且A→B, B→C,知          u[A]=v[A], u[B]=v[B], u[C]=v[C],          即若u[A]=v[A]则u[C]=v[C]，和假设矛盾。          故F逻辑蕴涵A→C。

二、Armstrong公理

1、定理4.3.1：若U为关系模式R的属性全集，F为U上的一组函数依赖，                设X、Y、Z、W均为R的子集，对R(U,F)有：         F1(自反性)：若X≥Y(表X包含Y），则X→Y为F所蕴涵；(F1':X→X)          F2(增广性): 若X→Y为F所蕴涵，则XZ→YZ为F所蕴涵；(F2':XZ→Y)          F3(传递性): 若X→Y,Y→Z为F所蕴涵，则X→Z为F所蕴涵；          F4(伪增性)：若X→Y，W≥Z(表W包含Z）为F所蕴涵，则XW→YZ为F所蕴涵；          F5(伪传性): 若X→Y，YW→Z为F所蕴涵, 则XW→Z为F所蕴涵；          F6(合成性): 若X→Y,X→Z为F所蕴涵，则X→YZ为F所蕴涵；          F7(分解性): 若X→Y,Z≤Y (表Z包含于Y）为F所蕴涵，则X→Z为F所蕴涵。          函数依赖推理规则F1∽F7都是正确的。       2、Armstrong公理：              推理规则F1、F2、F3合称Armstrong公理；           F4 ∽ F7可由F1、F2、F3推得，是Armstrong公理的推论部分。

三、函数依赖的闭包

定义：若F为关系模式R(U)的函数依赖集，            我们把F以及所有被F逻辑蕴涵的函数依赖的集合称为F的闭包，            记为F+。即：             F+={X→Y|X→Y∈F∨“应用Armstong公理从F中导出的任何X→Y”}       △ F包含于F+，如果F=F+，则F为函数依赖的一个完备集。       △ 规定：若X为U的子集，X→Φ 属于F+。       例4.3.2：R=ABC,F={A→B, B→C}, 求F+        解： F+ ={A→Φ,AB→Φ,AC→Φ,ABC→Φ,B→Φ,C→Φ,                 A→A,AB→A,AC→A,ABC→A,B→B,C→C,                 A→B,AB→B,AC→B,ABC→B,B→C,                 A→C,AB→C,AC→C,ABC→C,B→BC,                 A→AB,AB→AB,AC→AB,ABC→AB,BC→Φ,                 A→AC,AB→AC,AC→AC,ABC→AC,BC→B,                 A→BC,AB→BC,AC→BC,ABC→BC,BC→C,                 A→ABC,AB→ABC,AC→ABC,ABC→A,BC→BC}       例4.3.3：已知关系模式R中            U={A，B，C，D, E, G},            F={AB→C, C→A, BC→D, ACD→B, D→EG, BE→C, CG→BD, CE→AG},            判断BD→AC是否属于F+       解：由D→EG知D→E，BD→BE             … ①                   又知BE→C，C→A 所以BE→A, BE→AC … ②                   由①、②知，BD→AC，所以BD→AC被F所蕴涵，即BD→AC属于F+4.3.4：已知关系模式R中            U={A，B，C，E, H, P, G},            F={AC→PE, PG→A, B→CE, A→P, GA→B, GC→A, PAB→G, AE→GB,            ABCP→H},            证明BG→HE属于F+       证：由B→CE知B→C，B→E, BG→GC         … ①                   又知GC→A，A→P 所以BG→A, BG→ABCP … ②                   又ABCP→H，由①、②知BG→HE，所以BG→HE被F所蕴涵，           即BG→HE属于F+ 　       例

四、属性集闭包

1、定义：若F为关系模式R(U)的函数依赖集，X是U的子集，           则由Armstrong公理推导出的所有X→Ai所形成的属性集 4.3.5：设R=ABC,F={A→B, B→C}当X分别为A,B,C是求X+。         解：当X=A时，X+=ABC             当X=B时，X+=BC             当X=C时，X+=C        2、定理4.3.2：当且仅当Y属于X+时，X→Y能根据Armstron公理由F导出。         证：设Y=A1,A2,…,An          ①充分条件：当Y属于X+时,对于每个i,X→Ai可由公理导出。                  再用合并规则可得X→Y。          ②必要条件：若X→Y能够由公理导出,则根据分解规,                  X→Ai(i=1,2,…,n)成立，所以Y属于X+。          3、计算X+         (1)算法依据：                若F为关系模式R(U)的函数依赖集,X,Z,W是U的子集,            对于任意的Z→W∈F,若 X≥Z（表X包含Z）,则X→XW。         (2)算法：             a.令X+ = X;             b.在F中依次查找每个没有被标记的函数依赖，               若“左边属性集”包含于X+ ，则令 X+ = X+∪“右边属性集”,               为被访问过的函数依赖设置访问标记。             c.反复执行b直到X+不改变为止。         (3)算法实现                输入：关系模式R的子集X,R上的函数依赖集F。                输出：X关于F的闭包X+ 算法伪语言描述：  Closure(X,F)  {     olds=Φ; news=X; G=F;     while (olds!=news)      {        olds=news;        for (G中的每个函数依赖W→Z)         {           if (news包含W)             {                news=news∪Z;                从G中删除函数依赖W→Z;              }          }      }    return news;  }         例4.3.6：已知关系模式R中              U={A，B，C，D, E, G},              F={AB→C, C→A, BC→D, ACD→B, D→EG, BE→C, CG→BD, CE→AG},              求(BD)+，判断BD→AC是否属于F+         解：X+=BDEGCA             结论：(BD)+=ABCDEG,BD→AC可由F导出，即BD→AC属于F+         例4.3.7：已知关系模式R中              U={A，B，C，E, H, P, G},              F={AC→PE, PG→A, B→CE, A→P, GA→B,                  GC→A, PAB→G, AE→GB, ABCP→H},              证明BG→HE属于F+         证：因为,(BD)+ =ABCEHPG,             所以BG→HE可由F导出，即BD→HE属于F+      4、结论             判定函数依赖X→Y是否能由F导出的问题，         可转化为求X+并判定Y是否是X+子集的问题。         即求闭包问题可转化为求属性集问题。         判定给定函数依赖X→Y是否蕴涵于函数依赖集F算法实现：         输入：函数依赖集合F,函数依赖X→Y         输出：若X→Y∈F+输出真，否则输出假 算法伪语言描述： number(F,X→Y) { if (Y包含于close(X,F))       return 真   else       return 假 } 　 {A i|i=1,2,…}           称为X对于F的闭包，记为X+。        例

五、关键字

1、通俗定义：              能唯一标识元组的属性或属性组。       2、确切定义：              设R(U)为一关系模式，F为R的函数依赖集，X为属性集U的子集，           (1)如果X→U∈F+,则X是R的超关键字；           (2)满足(1)且不存在任何Y属于X,使得Y→U∈F+则称              X是R的候选关键字；           (3)满足(2)且X由多个属性构成，则称为合成关键字；           (4)被选作操作变量的候选关键字，称为主关键字。              由全部属性构成的关键字，称为全关键字(All-Key)。              侯选关键字中的属性称为主属性；              不在侯选关键字中的属性称为非主属性。       示例：STUDENTS(SNO,SNAME,GRADE,CLASS,BH,BPLACE,SEX)       3、求关键字问题可转化为求属性集闭包问题，              因为X→X+,若U=X+,则X→U，即X为关键字。       例4.3.8：求关系模式R=(ABCD,{A→B,B→C})的关键字             验证：(AD)+=ABCD       例4.3.9：求关系模式R的关键字，已知R=ABCDE,            F={A→D,E→D,D→B,BC→D,DC→A}           验证：(EC)+=ABCDE       4、思考：设计一个求关键字算法

六、函数依赖公理体系

1、Armstrong公理的完备性定理：             凡是被F逻辑蕴涵的函数依赖一定能用公理推导出来，          即Armstrong公理是完备的。          证明：课本P117       2、Armstrong公理体系              由于Armstrong公理的完备性，Armstrong公理及其推论          共同构成了一个完备的逻辑推理体系，我们称之为Armstrong公理体系。          A.一套形式推理规则,          B.利用这些推理规则可以求得给定关系模式的关键字，          C.而且可以从关系模式的一组已知函数依赖出发，            求出它蕴涵的所有函数依赖，          D.或者对于给定的F和X→Y，判断X→Y是否在F+中，          E.是关系规范化理论的依据。

七、函数依赖的等价

1、定义  设F和G是两个函数依赖集，如果G的任一蕴涵必是F的某一蕴涵,               则称F蕴涵G。如果F蕴涵G且G蕴涵F,则称F等价于G,记为F≡G,也称F为G。      2、定理4.3.3 若F和G是两个函数依赖集，则               F蕴涵G的充分必要条件是G≤F+ (表G包含于F+）。      3、定理4.3.4 若F和G是两个函数依赖集，则               F+=G+的充分必要条件是G≤F+ (表G包含于F+）且F≤G+ (表F包含于G+）。      4、定理4.3.5 若F和G是两个函数依赖集，则                F≡G的充分必要条件是F+=G+。      5、定理4.3.6 若F和G是两个函数依赖集，则                F≡G的充分必要条件是G≤F + (表G包含于F+）且F≤G+ (表F包含于G+）。      △ 思考：判断F≡G的算法如何实现？

八、函数依赖的最小集

1、冗余覆盖              设F为函数依赖集，如果存在F的真子集F’,使得F’≡F,          则称F是冗余的，否则F为非冗余的。          如果F是G的覆盖，且F为非冗余，则称F为G的非冗余覆盖。        △ 思考：A.如何判定函数依赖集F是否是冗余的                B.如何计算出非冗余覆盖       2、规约函数依赖集         (1)多余属性                设F为函数依赖集，对于任一X→Y∈F，属性A∈R,            如果下列条件之一成立，则称A是X→Y关于F的多余属性：               ① X=AZ,X≠Z,且（F-{X→Y}∪{Z→Y})≡F;               ② Y=AW,Y≠W,且（F-{X→Y}∪{X→W})≡F;           示例：F1={A→BC,B→C} F2={A→B,B→C} F1≡F2               F3={AB→C,B→C} F4={B→C} F3≡F4         (2)规约函数依赖集                给定函数依赖集F，如果F中任一函数依赖X→Y∈F的左边            都不含多余属性，则称F为左规约的；                如果F中任一函数X→Y∈F的右边都不含多余属性，            则称F为右规约的。         △ 思考：A.如何判定函数依赖集F是否是规约函数依赖集                  B.如何计算出规约函数依赖集       3、最小函数依赖集              给定函数依赖集F，如果F中每一函数依赖X→Y∈F满足：          (1) X→Y的右边Y为单个属性（F为右规约的）；          (2) F为左规约；          (3) F为非冗余的；          则称F为最小函数依赖集，或称F为正则的。          如果F是正则的且F≡G, 则称F为G的正则覆盖。       4、定理4.3.7：每一个函数依赖集都等价于一个最小函数依赖集          证：只要能找到一种方法，能求得一个最小函数依赖集，则定理成立。          按照三个条件进行最小化处理，可得到一个求最小函数依赖集的方法。        (1) 为满足3中条件(1)，根据分解性把右侧是属性组的函数依赖            分解为单属性的多个函数依赖；          例：A→BC可分解为A→B，A→C        (2) 为满足3中条件(2)，逐一考察最新F中的函数依赖，消除左侧冗余属性；          例：判断XY→A是否冗余，可在F中求X+,若A≤X+            （表A包含于X+），则X→A，Y为冗余属性。        (3) 为满足3中条件(3)，逐一考察最新F中的函数依赖X→Y，检查X→Y是否            被F-{X→Y}所蕴涵，如果是，则X→Y是冗余的，可以删除          例：F={A→B, B→C, A→C}中A→C        △ 思考：最小函数依赖是否唯一？             答：不唯一，因为                A.(2)、(3)没有先后顺序,               B.函数依赖的考察顺序可以不同。        例证:(3)中 F={A→B, B→A, B→C, A→C, C→A}             若依次考察则删除B→A, A→C；             若先考察则删除B→C结果则不同。         例4.3.10：已知关系模式R中             U={A，B，C，D, E, G},             F={AB→C, C→A, BC→D, ACD→B, D→EG, BE→C, CG→BD, CE→AG},             求F的最小函数依赖集         解：按定理证明中提供的方法：           (1)根据分解性把右侧是属性组的函数依赖分解为单属性：              F={AB→C, C→A, BC→D, ACD→B, D→E, D→G,              BE→C, CG→B,CG→D, CE→A，CE→G}           (2)消除左侧冗余属性              F={AB→C, C→A, BC→D, CD→B, D→E, D→G,              BE→C, CG→B,CG→D, C→A，CE→G}           (3)消除冗余依赖              F={AB→C, C→A, BC→D, CD→B, D→E, D→G,              BE→C, CG→B,CG→D, CE→G}