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
标签:依赖,函数,关系数据库,子集,chapter10,成立,属性,传递函数 来源: https://blog.csdn.net/captxb/article/details/88084842