关系模式的分解和范式.pptVIP

4.3.2 无损连接分解 ;4.3.3 无损分解的测试算法 ; [例4-11] 设有关系模式R(A，B，C，D)，R分解成ρ={AB，BC，CD}，如果R上成立的函数依赖集F={B→A，C→D}，那么ρ相对于F是否为无损连接分解？ ; 定理4.7 设ρ={R1，R2}是关系模式R的一个分解，F是R上成立的函数依赖集，那么分解ρ相对于F是无损分解的充分必要条件是： (R1∩R2)→(R1-R2)或(R1∩R2)→(R2-R1) 当模式R分解成两个模式R1和R2时，若两个模式的公共属性（?除外）能够函数决定R1（或R2）中的其他属性，这样的分解具有无损连接性。 ;4.3.4 保持函数依赖的分解 ;4.4 关系模式的范式 ;4.4.1 第一范式 ;4.4.2 第二范式 ;2NF规范化 2NF规范化是指把1NF关系模式通过投影分解，转换成2NF关系模式的集合。 [例4-15] 将SCD(SNo，SN，Age，Dept，MN，CNo，Score)规范为2NF。 ;2NF的缺点 ;4.4.3 第三范式 ;3NF规范化 算法4.6 把一个关系模式分解为3NF，使它具有保持函数依赖性。 （1）如果Fmin中有一函数依赖X→A，且XA=R，则输出ρ={R}，转（4）。 （2）如果R中某些属性与Fmin中所有依赖的左部和右部都无关，则将它们构成关系模式，从R中将它们分出去，单独构成一个模式。 （3）对于Fmin中的每一个函数依赖X→A，都单独构成一个关系子模式XA。若Fmin中有X→A1，X→A2，…，X→An，则可以用模式XA1A2…An取代n个模式XA1，XA2，…，XAn。 （4）停止分解，输出ρ。 ;算法4.7 把一个关系模式分解为3NF，使它既具有无损连接性又具有保持函数依赖性。 （1）根据算法4.6求出保持函数依赖的分解：ρ={R1，R2，…，Rk}。 （2）判定ρ是否具有无损连接性，若是，转（4）。 （3）令ρ=ρ∪{X}={R1，R2，…，Rk，X}，其中X是R的候选键。 （4）输出ρ。 [例4-17] 将SD(SNo，SN，Age，Dept，MN)规范到3NF。 （1）根据算法4.6求出保持函数依赖的分解：ρ={S(SNo，SN，Age，Dept)，D(Dept，MN)}。;（2）判定ρ是否具有无损连接性 SD分解为ρ={S(SNo，SN，Age，Dept)，D(Dept，MN)}时，S、D都属于3NF，且既具有无损连接性又具有保持函数依赖性。 3NF解决了2NF中存在的四个问题：;4.4.4 BC范式 ;BCNF规范化 算法4.8 把一个关系模式分解为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）分解结束，输出ρ。 [例4-19] 将SNC(SNo，SN，CNo，Score)规范到BCNF。 候选键：（SNo，CNo）和（SN，CNo） 函数依赖： ;（1）令ρ={SNC(SNo，SN，CNo，Score)}。 （2）经过前面分析可知，ρ中关系模式不属于BCNF。 （3）用分解{S1(SNo，SN)，S2(SNo，CNo，Score)}代替SNC。 （4）分解结果为：S1(SNo，SN)描述学生实体；S2(SNo，CNo，Score)描述学生与课程的联系。 ;4.4.5 多值依赖与第四范式 ;CTB转化成规范化的关系如下图所示： C与T间的联系被称为多值依赖 多个T对应一个C 一个确定的C值，与其所对应的一组T值与B值无关 ;定义4.18 设有关系模式R（U），U是属性全集，X、Y、Z是属性集U的子集，且Z=U－X－Y 如果对于R的任一关系，对于X的一个确定值，存在Y的一组值与之对应，且Y的这组值仅仅决定于X的值而与Z值无关，此时称Y多值依赖于X，或X多值决定Y，记作X→→Y。 若X→→Y且Z=U－X－Y≠Φ，则称X→→Y是非平凡的多值依赖，否则称为平凡的多值依赖 。 ;第四范式（4NF）定义 定义4.19 设有一关系模式R（U），U是其属性全集，X、Y是U的子集，D是R上的数据依赖集。如果对于任一多值依赖X→→Y，此多值依赖是平凡的，或者X包含了R的一个候选关键字，则称R是第四范式的关系模式，记为R∈4NF 。;第四范式（4NF）的分解 （1）令ρ={R}。 （2）如果ρ中所有模式Ri都是4NF，则转（4）。 （3）如果ρ中有一个关系模式S不是4NF，则S中必能找到一个多值依赖X→→Y且X不包含S的候选键，