jm数据库原理课件-专升本DB05.PPTVIP

5.3 数据依赖的公理系统 定义5.11 对于满足一组函数依赖F的关系模式RU,F,其任何一个关系r,若函数依赖X →Y都成立，（即r中任意两个元组t,s,若t[X]=s[X],则t[Y]=s[Y]),则称F逻辑蕴涵X →Y。 设F是关系模式R的一个函数依赖集，X,Y是R的属性子集，如果从F中的函数依赖能够推出X→Y，则称F逻辑蕴涵X→Y 例：关系模式 R=(A,B,C),函数依赖集F={A→B,B→C}, F逻辑蕴涵A→C Armstrong公理系统 设有关系模式R（U），X，Y，Z，W均属于U，则有： 1）自反律：若Y属于X，则X→Y； 2）增广律：若X→Y，则 XZ→YZ； 3）传递律：若X→Y， Y→Z，则X→Z。 定理5.1:Armstrong推理规则是正确的。 证明：见184页 由公理可推出推论： 1）合成规则：若X→Y， X→Z， 有X→YZ； 2）分解规则：若X→Y及Z属于Y ，则 X→Z； 3）伪传递规则：若X→Y， YW→Z，则XW→Z。 引理5.1:X →A1A2A…AK成立的充分必要条件是X →Ai成立（i=1,2,…k). 定义5.12:在关系模式R U,F中为F所逻辑蕴涵的函数依赖的全体叫做F的闭包，记为F+。 （函数依赖的闭包） 定义：若F为关系模式R(U)的函数依赖集，我们把F以及所有被F逻辑蕴涵的函数依赖的集合称为F的闭包，记为F+。