第十二章 数据库教案关系数据理论(续1).pptVIP

数据依赖的公理系统 数据依赖的公理系统是模式分解算法的理论基础 Armstrong公理系统: 函数依赖的一个有效而完备的公理系统 逻辑蕴含: 对于满足一组函数依赖F的关系模RU, F, 其中任何一个关系r, 若函数依赖X?Y都成立, 则称F逻辑蕴含X?Y 一套推理规则(Armstrong公理系统): 可以求得给定关系模式的码, 可以从一组函数依赖求得蕴含的函数依赖 数据依赖的公理系统 Armstrong公理系统: 设U为属性集总体, F是U上的一组函数依赖, 于是有关系模式RU, F, 对RU, F来说有以下的推理规则 A1 自反律: 若Y?X?U, 则X?Y为F所蕴含 A2 增广律: 若X?Y为F所蕴含, 且Z?U, 则XZ?YZ 为F所蕴含 A3 传递律: 若X?Y和Y?Z为F所蕴含, 则X?Z为F所蕴含 定理1: Armstrong推理规则是正确的, 即如果F成立, 则由F出发, 根据Armstrong公理导出的函数依赖总是正确的 数据依赖的公理系统 证明1: 设Y?X?U 对RU, F的任一关系r中的任意两个元组t, s 若t[X]=s[X], 由Y?X 可得t[Y]=s[Y] 所以X?Y成立 证明2: 设X?Y为F所蕴含, 且Z?U 对RU, F的任一关系r中的任意两个元组t, s 若t[XZ]=s[XZ], 则有t[X]=s[X]和t[Z]=s[Z] 又X?Y成立, 则有t[X]=s[X]和 t[Y]=s[Y] 所以t[YZ]=s[YZ], 所以XZ?YZ为F所蕴含 数据依赖的公理系统 证明3: 设X?Y及Y?Z为F所蕴含 对RU, F的任一关系r中的任意两个元组t, s 若t[X]=s[X], 由X?Y可得t[Y]=s[Y] 又Y?Z成立, 则有t[Z]=s[Z] 所以X?Z为F所蕴含 根据上述推理规则得到另外的推理规则 1合并规则: 若X?Y 和X?Z, 则有X?YZ 2伪传递规则: 若X?Y和 WY?Z, 则有XW?Z 3分解规则: 若X?Y及Z?Y, 则有X?Z 数据依赖的公理系统 引理1: X?A1 A2... Ak成立的充分必要条件是X? Ai成立(由合并规则和分解规则可以证明) 定义2: F的闭包 在关系模式RU, F中为F所蕴含的函数依赖的全体, 记作F+ 定理2: Armstrong公理系统是有效的、完备的 有效的: 指由F出发, 根据Armstrong公理导出的每个函数依赖一定在F+中(由定理1可证明) 完备的: 指F+中的每个函数依赖必定可由F出发, 根据Armstrong公理推导出来 数据依赖的公理系统 由定理2可知, 理论上是可以求得F+的, 如果有F+, 判断X?Y是否属于F+是非常容易的, 但实际上由F求F+有时几乎是不可能做到的, 例如从 F={X?A1 , X?A2 ,…, X?An} 出发可以推导出2n个函数依赖 定义3: 设F为属性集U上的一组函数依赖, X ?U, XF+={A|X ?A能由F根据Armstrong公理导出}, XF+称为属性集X关于函数依赖集F的闭包 引理2(由引理1得出):设F为属性集U上的一组函数依赖, X,Y ?U, X?Y能由F根据Armstrong公理导出的充分必要条件是Y ? XF+ 数据依赖的公理系统 判断X?Y是否能由F根据Armstrong问题, 转化为求XF+, 判断Y是否为XF+的子集问题 求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)若不等, i=i+1, 返回(2) (6)若相等或X(i)=U, XF+ =X(i),结束 数据依赖的公理系统 例子: 已知关系模式RU, F, U={A, B, C, D, E}, F={AB ?C, B ?D, C ?E, EC ?B, AC ?B} 求(AB)F+ (1)X(0)=AB, i=0 (2)求B, B={CD} (3) X(1)=B?X(0)={ABCD} (4)因为X(1)?X(0), 所以再找出左部为ABCD子集的那些函数依赖 (5)B={CDBE} (6) X(2)=B?X(1)={ABCDE} (AB)F+ ={ABCDE} 数据依赖的公理系统 定义4: 设F, G为两个函数依赖集, 如果F+=G+, 则称F和G是等价的, 也称F覆盖G, 或称G覆盖F, 也可以说F和G互相覆盖 引理3: F+=G+的充分必要条件为F