6.6函数依赖公理与模式分解.ppt

6.6* 函数依赖公理与模式分解; 6.6.1 函数依赖公理 Armstrong公理系统 设有关系模式R（U,F）,X,Y,Z,WU,则对R（U,F）有： · A1（自反律）： 若YX,则X→Y； · A2（增广律）： 若X→Y,则XZ→YZ； · A3（传递律）： 若X→Y,Y→Z,则X→Z。 这些规则是保真的,它们不会产生错误的函数依赖。 说明： XZ表示X∪Z。 ; 引理 6.1 Armstrong公理是正确的。 即如果函数依赖F成立,则由F根据Armstrong公理所推导的函数依赖总是成立的。 证明： 设t1、 t2是关系R中的任意两个元组。 A1： 如果t1［X］=t2［X］,则因为YX,所以有t1［Y］=t2［Y］,故X→Y成立。 A2： 如果t1［XZ］=t2［XZ］,则有t1［X］=t2［X］、 t1［Z］=t2［Z］。 ;又已知X→Y,因此得t1［Y］=t2［Y］。 可知t1［YZ］=t2［YZ］,故XZ→YZ成立。 A3： 如果t1［X］=t2［X］,则t1［Y］=t2［Y］； 如果t1［Y］=t2［Y］,则t1［Z］=t2［Z］。 因此可得： 如果t1［X］=t2［X］,则t1［Z］=t2［Z］,即X→Z成立。 ;定理 6.1 Armstrong公理是正确的、 完备的。 由Armstrong公理系统,可以得到以下三个推论： · 合成规则： 若X→Y,X→Z,则X→YZ； · 分解规则： 若X→YZ,则X→Y,X→Z； · 伪传递规则： 若X→Y,WY→Z,则XW→Z。 ; 引理 6.2 X→A1A2…Ak成立的充分必要条件是X→Ai成立（i=1,2,…,k）。 例 6.3 设关系模式R（A,B,C,G,H,I）,函数依赖集为 F={A→B,A→C,CG→H,CG→I,B→H},利用规则,可以得到关系中存在以下几个函数依赖： (1) A→H。 由于A→B,B→H,使用传递律可得到A→H。 (2) CG→HI。 由于CG→H,CG→I,由合成律可得CG→HI。 (3) AG→I。 由于A→C,CG→I,由伪传递律可推出AG→I。 ; 6.6.2 闭包及其计算 定义 12 设关系模式R（U,F）,U为R的属性集合,F为其函数依赖集,则称所有用Armstrong公理从F推出的函数依赖X→Ai中Ai的属性集合,为X的属性闭包,记作X+,读作X关于函数依赖集F的闭包。 由引理6.2可以推出： 引理6.3 设关系模式R（U,F）,U为R的属性集合,F为其函数依赖集,X,YU,则从F推出X→Y的充要条件是YX+。 ; 如果要判断X→Y是否能由F根据Armstrong公理导出,只需求出X+,判断Y是否为X+的子集。 这可由算法6.1完成。 算法 6.1 求属性集X关于函数依赖F的属性闭包X+。 输入： 关系模式R的全部属性集U,U的子集X,U上的函数依赖集F。 输出： X关于F的属性闭包X+。 ; 步骤： 设i=0,1,2,…。 (1) 初始化： i=0,X(i）= X(0) = X。 (2) 求属性集A。 A是这样的属性： 在F中寻找尚未用过的左边是X(i）子集的函数依赖： Y(i)X(i),并且在F中有Y(i)→Z(i),则A=Z(1)∪Z(2)∪…∪Z(i)； (3) X(i+1) = X(i）∪A。 (4) 判断以下条件之一是否成立,若有条件成立,则转向(5)； 否则,i=i+1,转向(2)。 ; · X(i+1) = X(i）； · X(i）中已包含了R的全部属性； · 在F中的每个函数依赖的右边属性中已没有X(i）中未出现过的属性； · 在F中未用过的函数依赖的左边属性已没有X(i）的子集。 (5) 输出X(i+1）,即为X+。 算法 6 ― 1 实际是系统化寻找满足条件A∈X+的属性的方法。 ; 例 6.4 设关系模式R（U,F）,其中,