模式分解补充.pptVIP

一、数据依赖的公理系统 逻辑蕴含 定义1 对于满足一组函数依赖 F 的关系模式R U，F，其任何一个关系r，若函数依赖X→Y都成立, （即r中任意两元组t，s，若t[x]=s[X]，则t[Y]=s[Y]），则称F逻辑蕴含X →Y 1. Armstrong公理系统 关系模式R U，F 来说有以下的推理规则： A1.自反律（Reflexivity）：若Y ? X ? U，则X →Y为F所蕴含。 A2.增广律（Augmentation）：若X→Y为F所蕴含，且Z ? U，则XZ→YZ为F所蕴含。 A3.传递律（Transitivity）：若X→Y及Y→Z为F所蕴含，则X→Z为F所蕴含。 2. 导出规则 1.根据A1，A2，A3这三条推理规则可以得到下面三条推理规则： 合并规则：由X→Y，X→Z，有X→YZ。 伪传递规则：由X→Y，WY→Z，有XW→Z。 分解规则：由X→Y及 Z?Y，有X→Z。 导出规则 2.根据合并规则和分解规则，可得引理1 引理1 X→A1 A2…Ak成立的充分必要条件是X→Ai成立（i=l，2，…，k） Armstrong公理系统 Armstrong公理系统是有效的、完备的 有效性：由F出发根据Armstrong公理推导出来的每一个函数依赖一定在F+中； 完备性：F+中的每一个函数依赖，必定可以由F出发根据Armstrong公理推导出来 3. 函数依赖闭包 定义2 在关系模式RU，F中为F所逻辑蕴含的函数依赖的全体叫作 F的闭包，记为F+。 定义3 设F为属性集U上的一组函数依赖，X ?U， XF+ ={ A|X→A能由F 根据Armstrong公理导出}，XF+称为属性集X关于函数依赖集F 的闭包 F的闭包 F={X?Y, Y?Z} F+={ X?φ, Y?φ, Z?φ, XY?φ, XZ?φ, YZ?φ, XYZ?φ, X?X, Y?Y, Z?Z, XY?X, XZ?X, YZ?Y, XYZ?X, X?Y, Y ?Z, XY?Y, XZ?Y, YZ?Z, XYZ?Y, X?Z, Y?YZ, XY?Z, XZ?Z, YZ?YZ,XYZ?Z, X?XY, XY?XY,XZ?XY, XYZ?XY, X?XZ, XY?YZ,XZ?XZ, XYZ?YZ, X?YZ, XY?XZ,XZ?XY, XYZ?XZ, X?ZYZ, XY?XYZ,XZ?XYZ, XYZ?XYZ } F={X?A1, …… , X?An}的闭包F+计算是一个NP完全问题 关于闭包的引理 引理2 设F为属性集U上的一组函数依赖，X，Y ? U，X→Y能由F 根据Armstrong公理导出的充分必要条件是Y ?XF+ 用途 将判定X→Y是否能由F根据Armstrong公理导出的问题，转化为求出XF+ 、判定Y是否为XF+的子集的问题 求闭包的算法 算法1 求属性集X（X ? U）关于U上的函数依赖集F 的闭包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] 已知关系模式RU，F，其中 U={A，B，C，D，E}； F={AB→C，B→D，C→E，EC→B，AC→B}。 求（AB）F+ 。 解 设X（0）=AB； (1) X（1）=AB∪CD=ABCD。 (2) X（0）≠ X（1） X（2）=X（1）∪BE=ABCDE。 (3) X（2）=U，算法终止 ?（AB）F+ =ABCDE。 5. 函数依赖集等价 定义4 如果G+=F+，就说函数依赖集F覆盖G（F是G的覆盖，或G是F的覆盖），或F与G等价。 引理3 F+ = G+ 的充分必要条件是F ? G+ ，和G ? F+ 6. 最小依赖集 定义5 如果函数依赖集F满足下列条件，则称F为一个极小函数依赖集。亦称为最小依赖集或最小覆盖。 (1) F中任一函数依赖的右部仅含有一个属性。 (2) F中不存在这样的函数依赖X→A，使得F与F-{X→A}等价。 (3) F中不存在这样的函数依赖X→A， X有真子集Z使得F-{X→A}∪{Z→A}与F等价。 最小依赖集 [例2] 关系模式SU，F，其中： U={ Sno，Sdept，Mname，Cno，Grade }，