一.基本概念及其术语
1,一般把X函数决定Y,或Y函数依赖于X表示为:XY
2,如果XY,但Y不包含于X,则称X
Y是非平凡的函数依赖;反之,X
Y是平凡函数依赖
3,如果XY,则称X为决定因子。
4,如果XY,并且对于X的任意一个真子集都不能决定Y,则称Y完全函数依赖于X,f;反之,则称Y部分函数依赖于X,p。
5,如果XY,并且Y
X,则记作X
Y。
二.Armstrong公理及其推论
1,公理:
自反律:一组属性函数决定它的所有子集
增广律 传递律
2,推论
合并规则 分解规则 伪传递规则 复合规则