数据库之函数依赖公理体系.pptVIP

5.2 函数依赖的公理体系（*） 主要内容 阿姆斯特朗公理及推论 X关于F的闭包及其计算 最小函数依赖集 候选键的求解方法 一、阿姆斯特朗公理及推论 是一系列推理规则 最早出现在1974年W.W.Armstrong的论文里 他人与1977年提出改进形式 1、阿姆斯特朗公理 设有关系模式R(U,F)，U={A1,A2,…,An}是R的属性集，F是R的属性集U上的FD集，X、Y、Z、W是U的子集。 阿姆斯特朗公理为： A1 自反律：若Y?X，则X?Y A2 增广律：若X?Y，则XZ?YZ A3 传递律：若X?Y,Y?Z，则X?Z 2、定理5.1 Armstrong公理是正确的。 方法：从函数依赖的定义出发 A1 自反律：若Y?X，则X?Y 证：设u、v为r的任意两个元组。 若u[X]=v[X]，则u和v在X的任何子集上必然相等。 由条件Y?X ，所以有：u[Y]=v[Y]， 由u、v的任意性，并根据函数依赖的定义，可得 X?Y。 3、 阿姆斯特朗公理的推论 合并规则：若X?Y且X?Z，则X?YZ 分解规则：若X?Y，且Z?Y，则X?Z 伪传递规则：若X?Y且WY?Z，则WX?Z 4、定理5.2 如果Ai(i=1,…,n)是关系模式R的属性,则X?A1A2…An成立的充分必要条件