-
函数依赖
关系模式的所有属性集合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
chapter10_关系数据库设计理论_2_函数依赖
最新推荐文章于 2020-08-14 22:26:50 发布