-
函數(shù)依賴(lài)
關(guān)系模式的所有屬性集合U埃跷， X,Y是U的子集蕊玷。對(duì)任意元組t1、t2弥雹，如果它們?cè)赬上的屬性值相等垃帅，則它們?cè)赮上的屬性值也相等。此時(shí)稱(chēng)Y依賴(lài)于X, X->Y
-
(1) 完全函數(shù)依賴(lài)
若 X->Y剪勿，對(duì)任意X的子集X', X'->Y均不成立贸诚，則X->Y是完全函數(shù)依賴(lài)
(2) 部分函數(shù)依賴(lài)
若 X->Y，存在X的真子集X', X'->Y成立厕吉，則X->Y是部分函數(shù)依賴(lài)
-
傳遞函數(shù)依賴(lài)
X->Y成立,且Y->X不成立酱固，且Y->Z成立，則必有X->Z赴涵，稱(chēng)X->Z為傳遞函數(shù)依賴(lài)
注：
__若 X<->Y媒怯，Y->Z订讼，那么X->Z不是傳遞函數(shù)依賴(lài)__
-
Armstrong公理的重要推論
關(guān)系模式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
