3NF、BCNF和4NF基本概念和分解
https://blog.csdn.net/yuyang_z/article/details/79115991
一、第三范式（3NF）——相对于BCNF，允许存在主属性对候选码的传递依赖和部分依赖
定义：如果关系模式R∈2NF，且每个非主属性都不传递函数依赖于R的主关系键，则称R属于第三范式，简称3NF。
1、把一个关系模式分解成3NF，使它具有保持函数依赖性
算法如下：
其中提到了最小函数依赖集，那么最小函数依赖集怎么求呢？方法如下：
举个例子：在R（U，F）中，U=ABCDEG，F={B→D，DG→C，BD→E，AG→B，ADG→BC}
1.1首先求最小依赖集
（1）右部属性单一化，F={B→D，DG→C，BD→E，AG→B，ADG→B，ADG→C}
（2）去掉左边多余属性，只针对非单属性
DG→C，若去掉D，则（G）+=G不包含C，D保留（不冗余），若去掉G，（D）+=D不包含C，G保留
BD→E，（D）+=D，（B）+=BDE包含E，则可以B→E代替此函数依赖
AG→B，（G）+=G，（A）+=A
ADG→B，（DG）+=DGC，（AG）+=AGB包含B，则可以由AG→B代替
ADG→C，（DG）+=DGC包含C，则可以由DG→C代替
所以最小依赖集F={B→D，DG→C，B→E，AG→B}
（3）去掉多余的依赖
去掉B→D，（B）+=BE，不包含D，则不冗余，不去掉
去掉DG→C，（DG）+=DG，不包含C
去掉B→E，（B）+=BD，不包含E
去掉AG→B，（AG）+=AG，不包含B
所以最小依赖集F={B→D，DG→C，B→E，AG→B}
1.2R中所有属性都在最小依赖集中出现，转下一步
1.3按照具有相同左部的原则分为：
R1=BDE，R2=DGC，R3=AGB
所以最终分解为ρ={R1（BDE），R2（DGC），R3（AGB）}
2、把一个关系模式分解成为3NF，使它具有保持函数依赖且无损
算法：step1，求F的规范覆盖Fc
step2，初始化，置ρ={ }
step3，逐个考察Fc中的每一个FD：X→Y，如果ρ中的每一个关系模式都不包含XY，则将XY加入ρ中
step4，考察R的候选码，如果ρ中所有关系模式都不包含R的候选码，则将R的某个候选码加入ρ中
2.1其中用到了规范覆盖，那么规范覆盖怎么求呢？如下：
步骤1，合并函数依赖，将Fc中如α1→β1和α1→β2转换成α1→β1β2，得到新函数依赖集F1
步骤2，去除无关属性，找出F1中α或β中含有无关属性的函数依赖α→β，去除无关属性后，代替原依赖集
其中步骤2中的无关属性定义:
有了无关属性的定义后，步骤2比较好解决了。
举个例子：r（R）=r（A，B，C）和F={A→BC，B→C，A→B，AB→C}计算Fc
合并：A→BC与A→B合并为A→BC，F1={A→BC，B→C，AB→C}
去除无关属性（单属性不存在无关属性）：
对于AB→C，多属性在左边，去除AB中的A，r={AB}-{A}=B，（B）+=BC包含C，所以A无关，变为B→C，已存在，F1={B→C，A→BC}
对于A→BC，多属性在右边，去除BC中的B，F2={B→C，A→C}，计算（A）+=AC，不包含B，不无关
去除BC中的C，F2={B→C，A→B}，计算（A）+=AC，包含C，则BC中的C是无关属性
变为F={B→C，A→B}
最终规范覆盖Fc={B→C，A→B}
继续以此题为例，求出候选码，为A，所以依次考察Fc中的BC，初始ρ={}，将BC加入ρ中，ρ={R1（BC）}。再考虑AB，ρ中的关系模式不包含AB，则将AB加入ρ中，ρ={R1（BC），R2（AB）}因为候选码A已经在R2中，所以分解结束，最终分解为ρ={R1（BC），R2（AB）}。如果这里最终只有ρ={BC}，那么要把候选码A加入进去，则ρ={R1(BC），R2（A）}。这里附上候选码的计算方法：
二、BC范式——排除了任何属性（主、非主属性）对候选码的部分依赖和传递依赖，主属性之间的传递依赖
定义：如果关系模式R∈1NF，且所有的函数依赖XY，决定因素X都包含了R的一个候选键，则称R属于BC范式。
算法：将一个关系模式分解成BCNF
（1）令ρ={R}
（2）如果ρ中所有模式都是BCNF，则转（4）
（3）如果ρ中有一个关系模式S不是BCNF，则S中必能找到一个函数依赖X→A且X不是S的候选键，且A不属于X，设S1=XA，S2=S-A，用分解{S1，S2}代替S，转（2）
（4）分解结束，输出ρ
举个例子：将R(A，B，C，D)规范到BCNF，候选键为AC和BC，F={A→B，B→A，AC→D，BC→D}
令ρ={R（A，B，C，D）}，分解为S1（AB），S2（ACD）
三、第4范式（4NF）
定义：
其中涉及到多值依赖的定义，
最终4NF的分解算法如下：
————————————————
版权声明：本文为CSDN博主「星星，就酱」的原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接及本声明。
原文链接：https://blog.csdn.net/yuyang_z/article/details/79115991
