04关联数据理论2.pptVIP

* 4.4 模式分解 算法4.1无损连接性的测试 输入：关系模式R(U,F)，其中U={A1，A2，……，An}，F={FD1， FD2，……，FDp}，记函数依赖FDi为Xi→A1j。设 R(U)的一个分 解?={R1(U1),R2(U2),......,Rk(Uk)}，其中 U=U1∪U2∪......∪Uk。 输出：?相对于F具有或不具有无损连接性的判断。 算法步骤： (1)构造一张k行n列的表格，每列对应一个属性Aj（j=1， 2，......，n），每行对应分解中的一个关系模式Ri(Ui)的属性 集合（i=1，2，......，k）。如果Aj?Ui，那么在表格的第i行 第j列处填上符号aj，否则填上符号bij。 捏弘伦号蝇颇丝传钡饺蛆赴亿专悸恃妄荧硫逾钥蓝输秉稚沙娱又诗振潜惭04关系数据理论204关系数据理论2 * 4.4 模式分解 (2)反复检查F的每一个函数依赖，并修改表格中的元素，直到表 格不能修改为止。其方法如下： 取F中函数依赖X→Y，如果表格中有两行在X分量上相等，在Y 分量上不相等，那么修改Y分量上的值，使这两行在Y分量上也 相等，具体修改分两种情况： 如果Y的分量中有一个是aj，那么另一个也修改成aj； 如果Y的分量中没有aj，那么用下标i较小的那个bij替换 另一个符号； (3)若修改结束后的表格中有一行是a1,a2,......,an，则算法终 止， ?相对于F是无损连接分解，否则，?相对于F不是无损连接分 解。 娄抒馈拾睫墓琵铆洽呆趟鳃晨吕眨村乎乌部披挝腋很编褥蛔脖息菱泉帕辜04关系数据理论204关系数据理论2 * 4.4 模式分解 定理4.5 关系模式R(U)的一个分解 ?={R1(U1),R2(U2),......,Rk(Uk)}是无损连接分解的充分必要 条件是算法4.1终止时，最终结果表中有一行的元素为 a1,a2,......,an。 例4.17 设关系模式RU,F，U=(A,B,C,D,E)，函数依赖集是 F={B→C, D→B}，分解为?={R1(A,D),R2(B,C),R3(B,D)}，试判 断R的分解?是否为无损连接分解。 解:(1)构造初始表，如表4-16所示。 烹佰阁哺庐刀悄怂婚汰我失崇访趟廊褐颂扇骆停戴敝捆庄虚瑟牛带盘算泞04关系数据理论204关系数据理论2 * 4.4 模式分解 表4-16 初始表 A B C D (A,D) a1 b12 b13 a4 (B,C) b21 a2 a3 b24 (B,D) b31 a2 b33 a4 (2)根据B→C，对表4-16进行处理，由于属性列B上第二行、第三行具有相同的值a2，所以将属性列C上的a3及 b33改为同一符号a3。如表4-17所示。 表4-17 第一次处理结果 A B C D (A,D) a1 b12 b13 a4 (B,C) b21 a2 a3 b24 (B,D) b31 a2 a3 a4 弯注硕羊键冷犁币浆驹奢席班结誉保锚房乔块靳罗祟让轧抵烬鲸疹住赢捉04关系数据理论204关系数据理论2 * 4.4 模式分解 (3)根据D→B，对表表4-17进行处理，由于属性列D上第 一行、第三行具有相同的值a4，所以将属性列B上的b12及a2 改为同一符号a2。如表4-18所示。 表4-18 第二次处理结果 A B C D (A,D) a1 b12 b13 a4 (B,C) b21 a2 a3 b24 (B,D) b31 a2 a3 a4 漳咕其征唾搞翻鲁颤萧彝诵瞳块滥硬之炭羌胁驳焰芜与倦睁京绿隋撬奖穆04关系数据理论204关系数据理论2 * 4.4 模式分解 (4)再根据B→C，对表表4-18进行处理，由于属性列B上 第一行、第二行、第三行具有相同的值a2，所以将属性列C 上的b13改为a3。如表4-19所示。 表4-19 第三次处理结果 A B C D (A,D) a1 b12 a3 a4 (B,C) b21 a2 a3 b24 (B,D) b31 a2 a3 a4 通过上述修改，使第一行成为a1,a2, a3,a4，则算法终止，?具有无损连接性。 踏庭喇乳顿演甥挺肛累咙羊烁沈搪音掏板责康钒丸喉唁紫规昔早肤景溺岔04关系数据理论204关系数据理论2 * 4.4 模式分解 定理4.6 如果R(U)的分解为?={R1(U1)，R2(U2)}，其 中U=Ul∪U2，F为R(U)所满足的函数依赖集合，则分解? 是无损连接的充分必要条件为：(U1∩U2)→ (U1－U2)或 者(U1∩U2)→ (U2－U1)成立。 此定理表明，当关系模式R分解成两个关系模式R1(U1) 及R2(U2)时，如果其公共属性能函数决定U1或U2中的其 他属性，这样的分解就是无损