-
函数依赖
关系模式的所有属性集合U， X,Y是U的子集。对任意元组t1、t2，如果它们在X上的属性值相等，则它们在Y上的属性值也相等。此时称Y依赖于X, X->Y
-
(1) 完全函数依赖
若 X->Y，对任意X的子集X', X'->Y均不成立，则X->Y是完全函数依赖
(2) 部分函数依赖
若 X->Y，存在X的真子集X', X'->Y成立，则X->Y是部分函数依赖
-
传递函数依赖
X->Y成立,且Y->X不成立，且Y->Z成立，则必有X->Z，称X->Z为传递函数依赖
注：
__若 X<->Y，Y->Z，那么X->Z不是传递函数依赖__
-
Armstrong公理的重要推论
关系模式R(U)，U是全部属性集合，X,Y,Z,W是U的子集
(1) 若 X->Y 且 X->Z，则 X->YZ
(2) 若 X->Y 且 Z是Y的子集，则X->Z
(3) 若 X->Y, YZ->W，则XZ->W
