数据库系统及应用06.ppt

定理6.l：Armstrong推理规则是正确的。 证明： （l）（自反律）设Y?X?U 。对R U，F的任一关系r中的任意两个元组t，s：若t[X]=s[X]，由于Y?X，有t[y]=s[y]，所以X→Y成立，自反律得证。 因此把满足3NF的关系模式STC进一步分解成： ST(S,T)，数据依赖为(S,T)?T，  (S,T)?S TC(T,C)，数据依赖为T?C ST?BCNF，TC?BCNF。 BCNF比3NF又进了一步。因此BCNF是3NF的推广和提高。在函数依赖的范畴中，关系模式的优劣基本到BCNF为止。 一个关系模式属于BCNF，已消除了产生插入异常和删除异常的根源，数据冗余也减少到极小程度。 一般说来，符合BCNF的关系模式就是一个较为理想的关系模式了。 7. 多值依赖（MVD） Multivalued Dependency 前面已在函数依赖的范畴内讨论了关于规范化的问题。但是函数依赖表示的是关系模式中属性间1:1和n:1的联系，而不能表示属性间m:n的联系。因而一些关系模式虽然已是BCNF，仍然存在一些弊端。 例8：非规范化关系CTB(C, T, B)，其含义为，B：参考书，T：教师，C：课程。语义是： 某一门课程由多个教师任教，他们使用相同的一套参考书； 每位教师可以讲授多门课程，每种参考书可供多门课程使用。 该关系用二维表表示如下： 数学分析 计算方法 … 张平 李方 计算数学 数学分析 微分方程 高等代数 李勇 张平 数学 普通物理 光学原理 物理习题集 李勇 王军 物理 参考书B 教师T 课程C 观察到数据间有这样的关系： 一个课程值，能确定一组教师与之对应，与参考书无关； 一个课程值，能确定一套参考书与之对应，与教师无关。 转换成等价的规范化的关系。 数学分析 张平 数学 高等代数 李勇 数学 微分方程 李勇 数学 高等代数 张平 数学 微分方程 张平 数学 … … … 物理习题集 李勇 物理 普通物理 王军 物理 光学原理 王军 物理 物理习题集 王军 物理 光学原理 李勇 物理 普通物理 李勇 物理 数学分析 李勇 数学 参考书B 教师T 课程C 这个关系存在的问题： ① 数据冗余大； ② 插入异常； 若某一门课程（如物理）增加一名任课教师（如周英）时，必须插入多个（此例是三个）元组：(物理，周英，普通物理)，(物理，周英，光学原理)，(物理，周英，物理习题集)。 ③ 删除异常； 若某一门课程（如数学）要去掉一本参考书（如微分方程）时，则必须删除多个（此例是两个）元组：(数学，李勇，微分方程)，(数学，张平，微分方程)。 ④ 修改异常。 分析：CTB的关键字是(C, T, B)，即全关键字，因此，CTB?BCNF。 一个属于BCNF的关系模式还有如此多的弊端。从属性间的联系分析入手，结果发现： 对于表中C的一个具体值，T有多个值与其对应。同样，C与B也有类似的联系。  如C的值为物理，则T有李勇、王军两个值与其对应。 对于表中C的值一经确定之后，其所对应的一组T值与B的值无关。 如对应物理的一组教师与此课程的参考书无关。 CTB表中反映出来的属性C与T之间的联系不是函数依赖关系。产生问题的原因是： 教师与参考书没有直接的联系； 教师与课程、参考书与课程是有直接联系的。 在模式CTB中，一门课程可有多个教师讲授（1:n联系）,一门课程可有多本参考书（1:n联系）,而且教师与参考书之间没有直接联系。这种依赖称为多值依赖（MVD）。 定义10：设有关系模式R(U)，U是属性集合，X、Y、Z是U的子集，且Z=U-X-Y。如果对于R的任一关系r，对于给定的一对(x, z)值有一组Y值与之对应，Y的这组值仅决定于x值而与z值无关，此时称Y多值依赖于X，或X多值决定Y，记为X??Y。 在例8中，对于一个(物理,光学原理)有一组T值{李勇,王军}与之对应，这组值仅仅依赖于课程C上的值(物理)。也就是说，对于另一个(物理,普通物理)，它对应的一组T值仍是{李勇,王军}，尽管这时参考书B的值已经改变了。因此：T值多值依赖于C，即C??T，同理有C??B。 数学分析 张平 数学 高等代数 李勇 数学 微分方程 李勇 数学 高等代数 张平 数学 微分方程 张平 数学 … … … 物理习题集 李勇 物理 普通物理 王军 物理 光学原理 王军 物理 物理习题集 王军 物理 光学原理 李勇 物理 普通物理 李勇 物理