安璐-数据库原理（理论）第9章-规范化理论.pptVIP

(3)逐一取出F中各函数依赖FDi：X→A， 设X=B1B2…Bm， 逐一考查Bi （i=l，2，…，m）， 若A ?（X-Bi ）F+ ， 则以X-Bi 取代X。 由于F与F-{X→A}∪{Z→A}等价的充要条件是A?ZF+ ，其中Z=X-Bi 因此F变换前后是等价的。 * * 由定义，最后剩下的F就一定是极小依赖集。 因为对F的每一次“改造”都保证了改造前后的两个函数依赖集等价，因此剩下的F与原来的F等价。 证毕。 定理9.3的证明过程也是求F 极小依赖集的过程。 * * [例3] F = {A→B，B→A，B→C， A→C，C→A} Fm1、Fm2都是F的最小依赖集： Fm1= {A→B，B→C，C→A} ? Fm2= {A→B，B→A，A→C，C→A} F的最小依赖集Fm不一定是唯一的,它与对各函数依赖FDi 及X→A中X各属性的处置顺序有关。 * * 极小化过程(定理9.3的证明 )也是检验F是否为极小依赖集的一个算法。 若改造后的F与原来的F相同，说明F本身就是一个最小依赖集。 * * 在RU，F中可以用与F等价的依赖集G来取代F 原因：两个关系模式R1 U，F，R2U，G，如果F与G等价，那么R1的关系一定是R2的关系。反过来，R2的关系也一定是R1的关系。 * * 9.1 数据依赖对关系模式的影响 9.2 函数依赖 9.3 范式 9.4 多值依赖与第4范式（4NF） 9.5 关系模式的规范化 9.6 数据依赖的公理系统 9.7 模式分解 小结 * * 本章着重介绍了函数依赖、多值依赖、范式、Armstrong公理系统和模式分解算法。 BC范式是在函数依赖范畴中的最高范式。 规范化理论为数据库设计提供了理论的指南和工具。 也仅仅是指南和工具。 并不是规范化程度越高，模式就越好。 必须结合应用环境和现实世界的具体情况合理地选择数据库模式。 * * 1.请简述满足1NF、2NF和3NF的基本条件。并完成下题：某信息一览表如下，其是否满足3NF，若不满足请将其化为符合3NF的关系。 * * 考生编号 姓名 性别 考生学校 考场号 考场地点 成绩 考试成绩 学分 第一范式的关系应满足的基本条件是元组中的每一个分量都必须是不可分割的数据项。 第二范式，指的是这种关系不仅满足第一范式，而且所有非主属性完全依赖于其主码。 第三范式，指的是这种关系不仅满足第二范式，而且它的任何一个非主属性都不传递依赖于任何主关键字。 ? 考生情况（考生编号，姓名，性别，考生学校） 考场情况（考场号，考场地点） 考场分配（考生编号，考场号） 成绩（考生编号，考试成绩，学分） ? * * 2. 某信息一览表如下，其是否满足3NF，若不满足请将其化为符合3NF的关系。 * * 配件编号 配件名称 型号规格 供应商名称 供应商地址 单价 库存量 配件关系（配件编号，配件名称，型号规格） 供应商关系（供应商名称，供应商地址） 配件库存关系（配件编号，供应商名称，单价，库存量） * * 在关系模式STC（ 学生，教师，课程）中，约定：每一教师只教一门课，每门课由若干教师教。 （1） 请问该关系模式是否满足BC范式? （2） 某同学给出了STC模式的一个分解：（教师，课程）、（学生，课程）。该同学认为这是一个合适的符合BC范式的分解，请对此进行评判. * * * * 教师联系信箱：anlu97@163.com 课件将上传至whu_imis@163.com 密码:db2014 (2) 若函数依赖X→Y在R（U）上成立，则对于任何Y’? Y均有X→Y’ 成立。 而多值依赖X→→Y若在R(U)上成立，不能断言对于任何Y‘ ? Y有X→→Y’ 成立。 * * 定义9.9 关系模式RU，F∈1NF，如果对于R的每个非平凡多值依赖X→→Y（Y ? X），X都含有候选码，则R∈4NF。 根据定义，对于每一个非平凡的多值依赖X→→Y,X都含有候选码，于是就有X→Y. 因此，4NF所允许的非平凡多值依赖实际上是函数依赖,而不允许的是非平凡且非函数依赖的多值依赖。 如果R ∈ 4NF， 则R ∈ BCNF. * * Z ≠ φ 例： Teach(C,T,B) ∈ 4NF 存在非平凡的多值依赖C→→T，且C不是候选码。这正是Teach存在数据冗余度大、插入和删除操作复杂等弊病的根源。 用投影分解法把Teach分解为如下两个关系模式： CT(C, T) ∈ 4NF 　 CB(C, B) ∈ 4NF C→→T， C→→B是平凡多值