chapter10_关系数据库设计理论_2_函数依赖

• 函数依赖

  关系模式的所有属性集合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