一、基本概念及其术语
1、一般把X函数决定Y,或Y函数依赖于X表示为:X→Y。
2、如果X→Y,但Y不包含于X,则称X→Y是非平凡的函数依赖;反之,X→Y是平凡函数依赖。
3、如果X→Y,则称X为决定因子。
4、如果X→Y,并且对于X的任意一个真子集X都不能决定Y,则称Y完全函数依赖于X,记作X Y;反之,则称Y部分函数依赖于X,记作X Y。
5、如果X→Y,并且Y→X,则记作X←→Y。
二、Armstrong公理及其推论
1、公理:
自反律:若Y⊆X⊆U,则X→Y在R成立。即一组属性函数决定它的所有子集。
增广律:若X→Y和Y→Z在R上成立,且Z⊆R,则XZ→在YZ上也成立。
传递律:若X→Y和Y→Z在R上成立,则X→Z在R上也成立。
2、推论
合并规则:若X→Y和X→Z在R上成立,则X→YZ在R上也成立。
分解规则:若X→Y和Z⊆Y在R上成立,则X→Z在R上也成立。
伪传递规则:若X→Y和YW→Z在R上成立,则XW→Z在R上也成立。
复合规则:若X→Y和W→Z在R上成立,则XW→YZ在R上也成立。
注:候选键为全部属性的表称为全键表!!!