数据库系统概论PT课件第六章 关系数据理论.ppt

多值依赖（续） An Introduction to Database System 普通物理学 光学原理 物理习题集 普通物理学 光学原理 物理习题集 数学分析 微分方程 高等代数 数学分析 微分方程 高等代数 … 李 勇 李 勇 李 勇 王 军 王 军 王 军 李 勇 李 勇 李 勇 张 平 张 平 张 平 … 物 理 物 理 物 理 物 理 物 理 物 理 数 学 数 学 数 学 数 学 数 学 数 学 … 参考书B 教员T 课程C 用二维表表示Teaching 多值依赖（续） Teaching∈BCNF Teaching具有唯一候选码(C，T，B)， 即全码 An Introduction to Database System 多值依赖（续） Teaching模式中存在的问题 (1)数据冗余度大 (2)插入操作复杂 (3) 删除操作复杂 (4) 修改操作复杂 An Introduction to Database System 存在 多值依赖 多值依赖（续） 定义6.9 设R(U)是一个属性集U上的一个关系模式， X、 Y和Z是U的子集，并且Z＝U－X－Y。关系模式R(U)中多值依赖 X→→Y成立，当且仅当对R(U)的任一关系r，给定的一对（x，z）值，有一组Y的值，这组值仅仅决定于x值而与z值无关 例 Teaching（C, T, B） An Introduction to Database System 多值依赖（续） 多值依赖的另一个等价的形式化的定义： 在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。 An Introduction to Database System 多值依赖（续） 平凡多值依赖和非平凡的多值依赖 若X→→Y，而Z＝φ，则称 X→→Y为平凡的多值依赖 否则称X→→Y为非平凡的多值依赖 An Introduction to Database System 多值依赖（续） ［例10］关系模式WSC（W，S，C） W表示仓库，S表示保管员，C表示商品 假设每个仓库有若干个保管员，有若干种商品 每个保管员保管所在的仓库的所有商品 每种商品被所有保管员保管 An Introduction to Database System 多值依赖（续） An Introduction to Database System W S C W1 S1 C1 W1 S1 C2 W1 S1 C3 W1 S2 C1 W1 S2 C2 W1 S2 C3 W2 S3 C4 W2 S3 C5 W2 S4 C4 W2 S4 C5 多值依赖（续） An Introduction to Database System W→→S且W→→C 用下图表示这种对应 多值依赖的性质 （1）多值依赖具有对称性 若X→→Y，则X→→Z，其中Z＝U－X－Y （2）多值依赖具有传递性 若X→→Y，Y→→Z， 则X→→Z –Y （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。 An Introduction to Database System 多值依赖与函数依赖的区别 (1) 多值依赖的有效性与属性集的范围有关 (2) 若函数依赖X→Y在R（U）上成立，则对于任何Y ? Y均有X→Y 成立 多值依赖X→→Y若在R(U)上成立，不能断言对于任何Y ? Y有X→→Y 成立 An Introduction to Database System 6.2 规范化 6.2.1 函数依赖 6.2.2 码 6.2.3 范式 6.2.4 2NF 6.2.5 3NF 6.2.6 BCNF 6.2.7 多值依赖 6.2.8 4NF 6.2.9 规范化小结 An Introduction to Database System 6.2.8 4NF 定义6.10 关系模式RU，F∈1NF，如果对于R的每个非平凡多值依赖X→→Y（Y ? X），X都含有码，则R∈4NF。 如果R ∈ 4NF， 则R ∈ BCNF 不允许有非平凡且