[工学]第6章 关系规范化理论2.pptVIP

逻辑蕴含 Armstrong公理系统 属性集闭包 一、逻辑蕴含 定义：对于R(U,F)，如果X→Y不在F中，但是对于其任何一个关系r，X→Y都成立，则称F逻辑蕴含X→Y。 [或者说： X→Y可以由F导出] 二、Armstrong公理系统 对于关系模式R(U，F)，有 公理1：自反律(Reflexivity) 若Y? X ? U，则X→Y为F所蕴含。 公理2：增广律(Augmenttation) 若X→Y为F所蕴含，且Z?U，则XZ→YZ为F所蕴含。 公理3：传递律(Transitivity) 若X→Y，Y→Z为F所蕴含，则X→Z为F所蕴含。 公理4：合并规则 由X→Y，X→Z，有X→YZ。 公理5：伪传递规则 由X→Y，WY→Z，有XW→Z 公理6：分解规则 由X→Y及 Z ? Y，有X→Z。 三、属性集闭包 1、F的闭包 定义：在关系模式R(U，F)中为F所逻辑蕴含的函数依赖的全体叫做F的闭包。记为F+。 F +={X → Y|能由F根据Armstrong公理导出} 2、X关于函数依赖集F的闭包 定义：设F为属性集U上的一组函数依赖，X? U， XF +={A|X→A能由F根据Armstrong公理导出}，XF+称为属性集X关于函数依赖集F的闭包。 【例】设关系模式R（A、B、C）的函数依赖集为F={A → B,B → C}，分别求A、B、C的闭包。 3、求XF+的算法 算法：输入：X，F 输出：XF+ (1)令X(0)=X，i=0 (2)求B, B={A|(?V)(?W)(V→W∈F?V?X(i) ? A∈W)} (3) X(i+1)=B∪X(i) (4)判断X(i+1)= X(i)吗？ (5)若相等或X(i)=U则X(i)就是XF+ ，算法终止。 (6)若否，则i=i+1，返回第(2)步。 例1：已知关系模式R(U，F)，其中 U={A，B，C，D，E}； F={AB→C，B→D，C→E，EC→B，AC→B} 求(AB)F+。 解：1：X(0)=AB 2：计算X(1) = X(0)∪ C ∪ D = ABCD 3：求X(2) = X(1)∪ E ∪ B = ABCDE 4：由于X(2) 已经等于全部属性集合所以 (AB)F+ = ABCDE 例2：已知关系模式R(U，F)，其中 U={A，B，C，D，E，F，G，H}； F={A→D，AB→E，BH→E，CD→H，E→C} 令X=AE，求X+。 解：1：X(0)=AE 2：X(1) = X(0)∪ D ∪ C = ACDE 3：X(2) = X(1)∪ D ∪H ∪ C = ACDEH 4：X(3) = ACDEH不变，即X(3) = X(2) 所以 X+ = (AE)+= ACDEH 对于属性闭包算法的终止条件，下列四种方法是等价的： 1 X(i+1) = X(i) 2 当发现X(i) 包含了全部属性时； 3 在F中的函数依赖的右部属性中，再也找不到X(i) 中未出现过的属性。 4 在F中未用过的函数依赖的左部属性中已没有X(i) 的子集。 定理：Armstrong公理系统是有效的(正确性）、完备的。 正确性：指公理1、2、3是正确的。 有效性：指由F出发根据Armstrong公理推导出来的每一个函数依赖一定在F+。 完备性：指F+中的每一个函数依赖，必定可以由F出发根据Armstrong公理推导出来。 第四节 函数依赖集的等价和覆盖 等价定义：如果G+=F+，则称F与G等价，记为F=G。 例：R(U) U=ABC F={A→B，B→C，A→C，AB→C,A → BC} 可以写成： G={A→B，B→C} 证明： 1：A→B，B→C 传递规则 A→C 2： A→B，扩展AB→BB 即 AB → B 再由B→C 所以 AB→C 3： A→B，B→C 扩展 B→BC 所以 A → BC 最小依赖集定义：如果函数依赖集F满足下列条件，则称F为一个极小函数依赖集，也称最小依赖集或最小覆盖。 1)F中任一函数依赖的右部仅含有一个属性。 2)F中不存在这样的函数依赖X→A，使得 F与F-{X →A}等价。[不存在冗余FD] 3) F中不存在这样的函数依赖X→A，X有真子集Z使得F-{X →A}∪{Z→A}与F等价。[决定因素不存在冗余] 例：U={SNO，SDEPT，MN，CNAME，G} F={SNO → SDEPT，SDEPT → MN，{SNO，CNAME} → G} 设F’ ={SNO