第6单元关系规范化理论.pptVIP

6.3.3 多值依赖与4NF BCNF是基于函数依赖的最高范式，但不是数据库模式设计的最高范式。如果一个数据库模式中的每个关系模式都属于BCNF，那么在函数依赖范畴内，它已实现了彻底的分离，消除了插入和删除异常；但属性之间可能还存在多值依赖，多值依赖会导致不必要的数据冗余和操作异常。 一个例子 【例】 设有一个课程安排关系CTB(CName，TName，Book)，各属性表示的含义为：CName—课程名，TName—教师姓名，Book—参考书。关系CTB的语义如下： ① 每位教师可讲授多门课程。 ② 每门课程可采用多种参考书。 设CTB有关的数据如下表所示 ： 数据库系统概论 数据库教程 数据库技术与应用 张林 周静 数据库系统 数据结构教程 数据结构 张林 李平 赵红 数据结构 Book TName CName 一个例子(续) 将上表1所示的数据整理为一张规范化的二维表 ： 数据库技术与应用 周静 数据库系统 数据结构 赵红 数据结构 数据库教程 周静 数据库系统 数据结构教程 赵红 数据结构 数据库系统概论 周静 数据库系统 数据结构 李平 数据结构 数据库技术与应用 张林 数据库系统 数据结构教程 李平 数据结构 数据库教程 张林 数据库系统 数据结构 张林 数据结构 数据库系统概论 张林 数据库系统 数据结构教程 张林 数据结构 Book TName CName Book TName CName 一个例子(续) 关系模式CTB(CName，TName，Book)的码为(CName，TName，Book)，即CTB是全码的，所以CTB∈BCNF； 但从表中数据看，该关系是高度数据冗余的。 这种数据冗余同样会带来更新操作的问题。例如： 若“数据库系统”课程增加一名授课教师王荣，则必须插入三个元组(数据库系统，王荣，数据库系统概论)、(数据库系统，王荣，数据库教程)、(数据库系统，王荣，数据库技术与应用)。同样，某门课程要去掉一位授课教师，或去掉一本参考书，都必须删除多个元组。 一个例子(续) 分析CTB模式，可发现其中属性集{CName}与{TName}、{CName}与{Book}之间存在着一定的数据依赖关系： 当{CName}的一个值确定以后，{TName}就有一组值与之对应；{Book}也有一组值与之对应。 并且，属性集{TName}与{Book}也有联系，这种联系是通过{CName}建立起来的间接联系。 表现为：当{CName}的一个值确定以后，它所对应的一组{TName}值与{Book}(=U?{CName }?{TName}) 无关。 例如，当取定{CName}的一个值为“数据结构”时，它对应的一组{TName}值为{张林，李平，赵红}，而与“数据结构”课程选用的参考书(即U?{CName }?{TName})无关。 定义6.10 设R(U)是属性集U上的一个关系模式，X、Y、Z是U的子集，且Z=U?X?Y。对于R的任何关系r，如果存在两个元组s、t，则必然存在两个元组u、v，使得 u[X]= v[X]，s[X] = t[X]， u[Y] = t[Y]，且u[Z] = s[Z]， v[Y] = s[Y]，且v[Z] = t[Z]， 即交换元组s、t在属性组Y上的值，得到的两个新元组u、v必在关系r中，则称Y多值依赖（Multivalued Dependency）于X，记为X→→Y。 多值依赖 平凡多值依赖 定义6.11 设R(U)是属性集U上的一个关系模式，X、Y、Z是U的子集，如果或 X∪Y = U，则称X→→Y为平凡多值依赖。 ① 传递性 如果X→→Y且Y→→Z，则X→→Z?Y。 ② 对称性 如果X→→Y且Z=U?X?Y，则 X→→Z。 ③ 扩展律 如果X→→Y且，则WX→→VY。 ④ 如果X→Y ，则X→→Y。该性质说明：函数依赖是多值依赖的特例。 多值依赖性质 第4范式(4NF) 定义6.12 设FD、MVD分别为定义在关系模式RU，D上的函数依赖集和多值依赖集，D = FD∪MVD，若RU，D∈1NF，且所有非平凡的多值依赖X→→Y，其决定因素X都含有码，则称RU，D是第四范式的，记为RU，D∈4NF。 示例 【例】 将前面示例中的CTB关系模式分解为4NF。 分析：CTB模式中存在多值依赖CName→→TName，CName→→Book，它们是非平凡的多值依赖，但决定因素不包含码，所以CTB不属于4NF。 将CTB分解为如下两个模式： CT(CName，Tname) TB(CName，Book) 关系模式CT和TB中分别只有CName→→TName和CName→→Book，它们都是平凡的多值依赖。 因此，分解后的每个关系