0ch07关系数据理论.ppt

?? * 都ok 2014jieshu * HR HRC HRCT HS HSR HSRC HSRCT * 有了该定理上述判定方法还要了干嘛？ * 2014-结束 * 结束 * 关系模式的分解算法 示例 U=(S#，T#，C#)， F={(S#，C#)?T#, T#?C#} 不属于BCNF，分解为 U1=(S#，T#)， U2=(T#，C#)，F2={T#?C#} 丢失了函数依赖(S#，C#)?T#，原来一个学生选修一门课程时，只能对应一个老师；在新的关系模式下现在一个学生选修一门课程时，可能会对应多个老师。 关系模式的分解算法 结论：若要求分解保持函数依赖，那么分解后的模式总可以达到3NF，但不一定能达到BCNF 算法：（达到3NF且保持函数依赖的分解） ⒈求F的最小覆盖FC ⒉找出不在FC中出现的属性，将它们构成一个关系模式，并从U中去掉它们(剩余属性仍记为U) ⒊若有X?A? FC ，且XA=U，则={R}，算法终止 关系模式的分解算法 ⒋对FC按具有相同左部的原则进行分组（设为k组），每一组函数依赖所涉及的属性全体为Ui，令Fi为FC在Ui上的投影，则? = {R1U1 ,F1 ,… , RkUk , Fk}是RU , F的一个保持函数依赖的分解，并且每个RiUi , Fi ?3NF 关系模式的分解算法 示例 U={S#，SD，M