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，MN，C#，G} F={S#?SD，S#?MN，SD?MN，(S#,C#)?G} ⒈FC={S#?SD，SD?MN ，(S#,C#)?G} ⒉分组 {(S#，SD)，S#?SD} {(SD，MN)，SD?MN} {(S#，C#，G)， (S#,C#)?G} 关系模式的分解算法 示例：R（ABC；A?C，B?C） ⒈按保持无损连接分解 码为AB，分解为{AC；A?C}，{AB}。 丢失了函数依赖B?C ⒉按保持函数依赖分解 进行分组，{AC；A?C}，{BC；B?C} 分解是有损的 A B C 1 1 1 2 1 1 2 2 1 A C 1 1 2 1 B C 1 1 2 1 A B C 1 1 1 1 2 1 2 1 1 2 2 1 关系模式的分解算法 算法：（达到3NF且同时保持无损连接与函数依赖的分解） 设? = {R1U1 , F1 , … , RkUk , Fk}是RU , F的一个保持函数依赖的3NF分解 设X为RU , F的码， 若有某个Ui，X ? Ui，则?即为所求， 否则令τ = ?∪{X，FX}，τ即为所求 Comparison of BCNF and 3NF It is always possible to decompose a relation into a set of relations that are in 3NF such that: the decomposition is lossless the dependencies are preserved It is always possible to decompose a relation into a set of relations that are in BCNF such that: the decomposition is lossless it may not be possible to preserve dependencies. Design Goals Goal for a relational database design is: BCNF. Lossless join. Dependency preservation. If we cannot achieve this, we accept one of Lack of dependency preservation Redundancy due to use of 3NF 主要内容 关系模式的设计问题 信息的冗余和信息的不可表示 函数依赖 完全函数依赖，部分函数依赖，传递函数依赖 范式 4NF ? BCNF ? 3NF ? 2NF ? 1NF 函数依赖的推理规则 正确性，完备性 模式分解 分解的无损连接性和保持依赖性，分解算法 学生应掌握的内容 如何进行数据库的逻辑设计，怎样找出所有的数据依赖并确定范式和码？怎样消除不合适的数据依赖？ 本章总结 HomeWork P72 5 6 7 8 9 11 P118 8 9 10 11 12 P256 1 2 4 P307 6 22 多值依赖 关系模式TEACH（C#，T#，B#），一门课程由多个教师讲授，一门课程使用相同的一套参考书。它的码是（C#，T#，B#），所以属于BCN