第06章-关系数据库理论-1.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 多值依赖 平凡多值依赖和非平凡的多值依赖 若X→→Y，而Z＝φ，则称 X→→Y为平凡的多值依赖 否则称X→→Y为非平凡的多值依赖 多值依赖的性质 （1）多值依赖具有对称性 若X→→Y，则X→→Z，其中Z＝U－X－Y 多值依赖的对称性可以用完全二分图直观地表示出来。 （2）多值依赖具有传递性 若X→→Y，Y→→Z， 则X→→Z -Y 多值依赖的对称性 Xi Zi1 Zi2 … Zim Yi1 Yi2 … Yin 多值依赖的对称性 物 理 普通物理学 光学原理 物理习题集 李勇 王军 多值依赖 （3）函数依赖是多值依赖的特殊情况。 若X→Y，则X→→Y。 （4）若X→→Y，X→→Z，则X→→Y? Z。 （5）若X→→Y，X→→Z，则X→→Y∩Z。 （6）若X→→Y，X→→Z，则X→→Y-Z， X→→Z -Y。 多值依赖与函数依赖的区别 (1) 有效性 多值依赖的有效性与属性集的范围有关 若X→→Y在U上成立，则在W（X Y ? W ? U）上一定成立；反之则不然，即X→→Y在W（W ? U）上成立，在U上并不一定成立 多值依赖的定义中不仅涉及属性组 X和 Y，而且涉及U中其余属性Z。 一般地，在R（U）上若有X→→Y在W（W ? U）上成立，则称X→→Y为R（U）的嵌入型多值依赖 多值依赖与函数依赖的区别 （1） 只要在R（U）的任何一个关系r中，元组在X和Y上的值满足定义6.l（函数依赖），则函数依赖X→Y在任何属性集W（X Y ? W ?U）上成立。 (2) 若函数依赖X→Y在R（U）上成立，则对于任何Y ? Y均有X→Y 成立 多值依赖X→→Y若在R(U)上成立，不能断言对于任何Y ? Y有X→→Y 成立 二、第四范式（4NF） 定义6.10 关系模式RU，F∈1NF，如果对于R的每个非平凡多值依赖X→→Y（Y ? X），X都含有候选码，则R∈4NF。 如果R ∈ 4NF， 则R ∈ BCNF 不允许有非平凡且非函数依赖的多值依赖 允许的是函数依赖（是非平凡多值依赖） 第四范式 例： Teach(C,T,B) ∈ 4NF 存在非平凡的多值依赖C→→T，且C不是候选码 用投影分解法把Teach分解为如下两个关系模式： CT(C, T) ∈ 4NF CB(C, B) ∈ 4NF C→→T， C→→B是平凡多值依赖 6.2.6 规范化 关系数据库的规范化理论是数据库逻辑设计的工具。 一个关系只要其分量都是不可分的数据项，它就是规范化的关系，但这只是最基本的规范化。 规范化程度可以有多个不同的级别 规范化 规范化程度过低的关系不一定能够很好地描述现实世界，可能会存在插入异常、删除异常、修改复杂、数据冗余等问题 一个低一级范式的关系模式，通过模式分解可以转换为若干个高一级范式的关系模式集合，这种过程就叫关系模式的规范化 规范化 关系模式规范化的基本步骤 1NF ↓ 消除非主属性对码的部分函数依赖 消除决定属性 2NF 集非码的非平 ↓ 消除非主属性对码的传递函数依赖 凡函数依赖 3NF ↓ 消除主属性对码的部分和传递函数依赖 BCNF ↓ 消除非平凡且非函数依赖的多值依赖 4NF 规范化的基本思想 消除不合适的数据依赖 的各关系模式达到某种程度的“分离” 采用“一事一地”的模式设计原则 让一个关系描述一个概念、一个实体或者实体间的一种联系。若多于一个概念就把它“分离”出去 所谓规范化实质上是概念的单一化 规范化 不能说规范化程度越高的关系模式就越好 在设计数据库模式结构时，必须对现实世界的实际情况和用户应用需求作进一步分析，确定一个合适的、能够反映现实世界的模式 上面的规范化步骤可以在其中任何一步终止 下课。。。 * * * * * * * * * * * * * * * * * 6.2.3 范式 各种范式