数据库上课第十讲关系数据理论与范式汇编.pptVIP

* 问题：例4.1(参考教材 p175) 关系模式 S-L-C(Sno, Cno, Sdept, Sloc, Score)，Sloc为学生住处 假设：，假设每个系的学生住在同一个地方。 关系 S-L-C 的码为(Sno, Cno) 关系 S-L-C 满足第一范式。 * * 非主属性Sdept和Sloc部分函数依赖于码(Sno, Cno) * * 函数依赖包括： (Sno, Cno) F Score Sno → Sdept (Sno, Cno) P Sdept Sno → Sloc (Sno, Cno) P Sloc Sdept → Sloc ... 出现的问题： (1) 插入异常：未选课的学生无法加入。 (2) 删除异常：只选一门课的学生取消选择时，该学生信息（元组）被删除。 (3) 数据冗余度大：多选课时，学生信息多次录入。 (4) 修改复杂：学生转系时，需多处修改Sloc。 * * 原因: Sdept、 Sloc部分依赖于码 4.2 第二范式(2NF) ——全部码 定义5.18 若R∈1NF，且每一个非主属性完全函数依赖于码，则R∈2NF。 第二范式的目标是：将只部分依赖于主码（即依赖于主码的部分属性）的数据移到其他表中。 在满足第一范式的实体中，如果有复合主码（即多个属性共同构成主码），那么所有非主属性必须依赖于全部的主码，而不能只是依赖于部分的主码属性。 违背了2NF的模式，即存在非主属性对候选码的部分依赖，则可能导致例5.1所述的数据冗余及异常问题 * * 修改例4.1 * * Sno Cno Score SC S-L Sno Sdept Sloc S-L-C分解为两个关系模式，以消除这些部分函数依赖 SC（Sno， Cno， Score） S-L（Sno， Sdept， Sloc） 关系模式SC的码为（Sno，Cno） 关系模式S-L的码为Sno 非主属性对码都是完全函数依赖; SC∈2NF、S-L∈2NF 函数依赖图 问题： 如果学生转系，或某系更换住处，会发生什么情况？ * * S-L Sno Sdept Sloc 函数依赖： Sno→Sdept Sdept→Sloc Sno→Sloc，即S-L中存在 非主属性对码的传递函数依赖 4.3 第三范式(3NF) ——仅仅是码 定义 关系模式R（U，F） 中若不存在这样的码X、属性组Y及非主属性Z（Z ? Y）, 使得X→Y，Y→Z成立， Y → X，则称R（U，F） ∈ 3NF。 若R∈3NF，则每一个非主属性既不部分依赖于码也不传递依赖于码。 * * 第三范式的目标是：去掉表中不依赖于主码的数据。 在满足第二范式的实体中，非主属性不能依赖于另一个非主属性，即所有的非主属性应该直接依赖于全部的主属性（即必须完全依赖，这是2NF的要求），并且彼此之间无相互依赖关系（即不能存在部分依赖，这是3NF的要求）。 换一句话说，非主属性不能包括它们自己的属性，如果属性不包括属性，则它们就是真正的实体。 * * 例 3NF解决办法 采用投影分解法（以决定性的非主属性为码），把S-L分解为两个关系模式，以消除传递函数依赖： S-D（Sno， Sdept） D-L（Sdept，Sloc） S-D的码为Sno， D-L的码为Sdept。 分解后的关系模式S-D与D-L中不再存在传递依赖 * * Sno Sdept S-D Sdept Sloc D-L 问题： 在关系模式STJ（S，T，J）中，S表示学生，T表示教师，J表示课程。每个教师只教一门课。每门课有若干教师，某一学生选定某门课，就对应一个固定的教师。 函数依赖： (S，J)→T，(S，T)→J，T→J (S，J)和(S，T)是候选码 ∵一个非主属性都没有　∴R∈3NF * * S J T S T J 问题： 插入异常：（无法存放没有选的课和老师） 删除异常：（删除选课信息时，丢失课程和老师的对应信息） 修改复杂：（如修改课程对应的老师） * * BCNF BCNF是由Boyce和Codd提出的,比3NF又进了一步,通常认为是修正的第三范式. 定义5.19 给定关系模式r(R)及函数依赖集F，若F+中的所有函数依赖??? (??R，??R)至少满足下列条件之一： ???是平凡函数依赖(即???)； ?是r(R)的一个超码( ?+ 包含R的全部属性，起决定作用的属性必须是超码)。 则称r(R)属于Boyce-Codd范式， 记为 r(R)?BCNF。 即： * * 推论 在关系模式r(R)中，如果F+中的每一个非平凡函数依赖的决定属性集?都包含候选码，则r(R