根据推理规则导出的规则 1根据A1,A2,A3这三条推理规则可以得到下面三条推理规则: 合并规则:由X→y,X→z,有X→Yz。 (A2,A3) 伪传递规则:由X→Y,WY→z,有ⅩW→z (A2,A3) 分解规则:由Ⅹ→Y及zY,有X→z。 (A1,A3) 2根据合并规则和分解规则,可得引理6.1; 引理6.X→A1A2A成立的充分必要条件是X→A成立(i=,2,… k)
根据推理规则导出的规则 1.根据A1，A2，A3这三条推理规则可以得到下面三条推理规则： • 合并规则：由X→Y，X→Z，有X→YZ。 （A2， A3） • 伪传递规则：由X→Y，WY→Z，有XW→Z。 （A2， A3） • 分解规则：由X→Y及 Z Y，有X→Z。 （A1， A3） 2.根据合并规则和分解规则，可得引理6.1； 引理6.l X→A1 A2…Ak成立的充分必要条件是X→Ai成立（i=l，2，…， k）
3、函数依赖集的闭包 定义62 在关系模式R<U,F>中为逻辑蕴含的函数依赖的全体叫作F的 闭包( closure),记为F+,即F+={X→Y记为F|=X→Y}。 F+={F从阿氏公理中导出的所有函数依赖的集合} 一般情况下,FF+,如果F=F+,则称F为一个函数依赖的完备 集;
3、函数依赖集的闭包 定义6.l2 在关系模式R<U，F>中为F所逻辑蕴含的函数依赖的全体叫作F的 闭包（closure），记为F +，即F +=｛X→Y|记为F|=X→Y｝。 F +={Fi |从阿氏公理中导出的所有函数依赖的集合} 一般情况下，F F +，如果F =F +，则称F为一个函数依赖的完备 集；