2015 第十一章节 关系数据理论.ppt

模式分解 (2) 对F中的每个函数依赖Xi?Ai反复进行下面 的检查和处理, 直到矩阵M无变化为止 检查Xi中的属性所对应的列, 找出Xi的取值相等的那些行, 如果找到X相等的两行(或多行), 把相应的Ai属性对应的分量取值改为一致, 即如果其中之一为aj, 则其他也改成aj, 如果这两个符号为bij和blj, 将它们统一成bij或blj (3)当M无变化时, 如果M中有一行变成了 a1,a2...,an, 则?是无损分解, 否则不是 模式分解 例子: 关系模式R(ABCDE) ?={R1(AD), R2(AB), R3(BE), R4(CDE), R5(AE) } 是R的一个分解, 在R上有下列函数依赖 F={A ?C, B ?C, C ?D, DE ?C, CE ?A}, 判别?是否是无损分解 解: (1)建M 模式分解 A B C D E R1 a1 b12 b13 a4 b15 R2 a1 a2 b23 b24 b25 R3 b31 a2 b33 b34 a5 R4 b41 b42 a3 a4 a5 R5 a1 b52 b53 b54 a5 A B C D E R1 a1 b12 b13 a4 b15 R2 a1 a2 b13 b24 b25 R3 b31 a2 b33 b34 a5 R4 b41 b42 a3 a4 a5 R5 a1 b52 b13 b54 a5 ?={R1(AD), R2(AB), R3(BE), R4(CDE), R5(AE) } (2)对A ?C检查 b13, b23, b53 ?b13 对B ?C检查 b13, b33 ?b13 模式分解 对C ?D检查 对DE ?C检查 A B C D E R1 a1 b12 b13 a4 b15 R2 a1 a2 b13 b24 b25 R3 b31 a2 b13 b34 a5 R4 b41 b42 a3 a4 a5 R5 a1 b52 b13 b54 a5 A B C D E R1 a1 b12 b13 a4 b15 R2 a1 a2 b13 a4 b25 R3 b31 a2 b13 a4 a5 R4 b41 b42 a3 a4 a5 R5 a1 b52 b13 a4 a5 模式分解 对CE ?A检查 再进行下去, M无任何变动, 由于第三行已是全a, 所以?是无损分解 A B C D E R1 a1 b12 a3 a4 b15 R2 a1 a2 a3 a4 b25 R3 b31 a2