关系数据理论资料讲解.ppt

* * 【定理6.5 】关系模式R(U)的一个分解， = {R1U1 , F1 , R2U2 , F2, 如果U1∩U2?U1?U2∈F+，或U1∩U2?U2?U1∈F+，则?具有无损连接性。 * 【例3】U={S#，SD，MN，C#，G} F={S#?SD，S#?MN，SD?MN，(S#,C#)?G} U1={S#，SD} , F1={S#?SD} U2={S#, MN, C#, G}, F2={S#?MN, (S#,C#)?G} 解： U1∩U2= {S#} U1-U2= {SD} ∴ U1∩U2?U1?U2∈F+ ∴该分解?具有无损连接性。 如果两个关系模式之间的公共属性集至少包含其中一个关系模式的码，则此分解具有无损连接性。 * 【例4】U={A，B，C} F={A?B，C?B} U1={A，B} , F1={A?B} U2={B, C}, F2={C?B} 解： U1∩U2= {B} U1-U2= {A} , U2-U1= {C} ∵ B?A, B?C ? F+ ∴该分解?不具有无损连接性。 * 6.4.3 保持函数依赖的模式分解 【定义6.19】设关系模式RU,F被分解为若干个关系模式R1U1,F1，R2U2,F2，…，RnUn,Fn 若F+ = (∪ Fi)+， 则称R U , F 的分解 ? = {R1U1 , F1 , … , RnUn , Fn} 保持函数依赖。 即F所逻辑蕴含的函数依赖一定也由分解得到的某个关系模式中的函数依赖Fi所逻辑蕴含，则称关系模式R的这个分解是保持函数依赖的（Preserve dependency）。 * 【例1】 SL（Sno， Sdept， Sloc） F={ Sno→Sdept,Sdept→Sloc,Sno→Sloc} 分解： ND(Sno, Sdept) F1={Sno→ Sdept } NL(Sdept, Sloc) F2={Sdept→ Sloc} F+={ Sno→Sdept,Sdept→Sloc,Sno→Sloc} (F1∪F2)+={Sno→Sdept, Sdept→Sloc,Sno→Sloc} (F1∪F2)+ = F+ ，说明分解后，函数依赖没有丢失。 * 【例2】 R(A,B,C), F={A－B, C － B} 分解1={(A,B) {A－B}, (A,C) } 分解2={(A,B) {A－B}), (B,C) {C－B}} 分析两种分解的依赖保持性？ 分解1：只有A－B，显然，分解1不具有依赖保持性 分解2：保留了所有函数依赖，具有依赖保持性 * 【例如】 SL（Sno， Sdept， Sloc） 第一种分解方法既不具有无损连接性，也未保持函数依赖，它不是原关系模式的一个等价分解；SN(Sno)，SD(Sdept)，SO(Sloc) 第二种分解方法没有保持函数依赖，也不具有无损连接性；NL(Sno, Sloc)，DL(Sdept, Sloc) 第三种分解方法具有无损连接性，但未保持函数依赖；ND(Sno, Sdept)，NL(Sno, Sloc) 第四种分解方法既具有无损连接性，又保持了函数依赖；ND(Sno, Sdept) ，NL(Sdept, Sloc) * 【例3】U={A，B，C} F={A?B，C?B} U1={A，B} , F1={A?B} U2={A, C}, F2={A?C} 解： U1∩U2= {A} U1-U2= {B} , U2-U1= {C} U1∩U2- U1-U2∈ F+ 即：A?B∈ F+ ∴该分解?具有无损连接性。 (F1∪F2)+={A?B ,A?C} (F1∪F2)+≠ F+ ，说明分解后，不具有依赖保持性。 * 【例4】U={A，B，C，D} R1={A，B}， R2={B，C}， R3={C，D} F1={B?C，C?D} F2={A?B，C?D} 试问：分解相对于F1和F2是否无损分解？ * 几个命题 （1）一个无损连接的分解不一定具有依赖保持性，反之亦然。 （2）若要求模式分解保持函数依赖，则模式分离总能达到3NF，但不一定能达到BCNF。 （3）若要求分解既保持函数依赖，又具有无损连接性，则模式分离可以达到3NF，但不一定能达到BCNF。 （4）若要求分解具有无损连接性，则模式分离一定可以达到4NF。 * 补充：求解关系模式的候选码 属性分类： L类：只出现在函数依赖的左边的属