第六章关系数据库理论解析.ppt

普通物理学 光学原理 物理习题集 普通物理学 光学原理 物理习题集 数学分析 微分方程 高等代数 数学分析 微分方程 高等代数 数学分析 … 李 勇 李 勇 李 勇 王 军 王 军 王 军 李 勇 李 勇 李 勇 张 平 张 平 张 平 张平 … 物 理 物 理 物 理 物 理 物 理 物 理 数 学 数 学 数 学 数 学 数 学 数 学 计算数学 … 参考书B 教员T 课程C * 多值依赖 此时，对于一组（物理，光学原理）有一组T值{李勇、王军}，这组值仅仅决定于课程C上的值（物理）。对于另一个（物理，普通物理学），虽然参考书B值改变了，它对应的一组T值仍是{李勇，王军}。此时就称T多值依赖于C，即C →→T 多值依赖 多值依赖的另一个等价的形式化的定义： 在R（U）的任一关系r中，如果存在元组t，s 使得t[X]=s[X]，那么就必然存在元组 w，v? r，（w，v可以与s，t相同），使得w[X]=v[X]=t[X]，而w[Y]=t[Y]，w[Z]=s[Z]，v[Y]=s[Y]，v[Z]=t[Z]（即交换s，t元组的Y值所得的两个新元组必在r中），则Y多值依赖于X，记为X→→Y。 这里，X，Y是U的子集，Z=U-X-Y。 ?平凡多值依赖和非平凡的多值依赖 ?若X→→Y，而Z＝φ，则称 X→→Y为平凡的多值依赖 ?否则称X→→Y为非平凡的多值依赖 * 多值依赖 ?多值依赖的性质 ?多值依赖具有对称性。即： 若X→→Y，则X→→Z，其中Z＝U－X－Y ?多值依赖具有传递性 若X→→Y，Y→→Z， 则X→→Z –Y ?函数依赖是多值依赖的特殊情况。 若X→Y，则X→→Y。 ?若X→→Y，X→→Z，则X→→Y? Z。 ?若X→→Y，X→→Z，则X→→Y∩Z。 ?若X→→Y，X→→Z，则X→→Y-Z，X→→Z -Y。 * 多值依赖 ?多值依赖与函数依赖的区别 ?多值依赖的有效性与属性集的范围有关； ?若函数依赖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 ?不允许有非平凡且非函数依赖的多值依赖 ?允许的非平凡多值依赖是函数依赖 例如：前例中Teaching(C,T,B) 存在非平凡的多值依赖C→→T，且C不是码。此时可以用投影分解法把Teaching分解为如下两个关系模式：CT(C, T) ∈ 4NF和 CB(C, B) ∈ 4NF。 C→→T， C→→B是平凡多值依赖。 * 规范化小结 关系数据库的规范化理论是数据库逻辑设计的工具。基本思想是采用“一事一地”的设计原则，逐步消除数据依赖中不合适的部分。目的是尽量消除插入、删除异常，修改复杂，数据冗余等问题。实质是使概念单一化，即让一个关系描述一个概念、一个实体或者实体间的一种联系。 关系模式规范化的基本步骤如下： * 1NF ↓ 消除非主属性对码的部分函数依赖 消除决定属性 2NF 集非码的非平 ↓ 消除非主属性对码的传递函数依赖 凡函数依赖 3NF ↓ 消除主属性对码的部分和传递函数依赖 BCNF ↓ 消除非平凡且非函数依赖的多值依赖 4NF 规范化小结 注意： 不能说规范化程度越高的关系模式就越好。在设计数据库模式结构时，必须对现实世界的实际情况和用户应用需求作进一步分析，确定一个合适的、能够反映现实世界的模式。上面的规范化步骤可以在其中任何一步终止。 * 数据依赖的公理系统 关系模式的规范化过程是通过对关系模式的分解来实现的。通常是将低一级的关系模式分解为若干个高一级的关