第三章 关系模式设计理论

1.函数依赖(FD) 的推理规则

自反性： Y<= x <=u  ---> x -> y在R上成立

增广性： 如果x->y 在R上成立且z<=U,则xz -> yz 在R上也成立。

传递性： 如果X->Y 和Y->Z在R成立，则X->Z在R上成立

复合性： 如果X->Y 和W->Z成立，那么XW->YZ成立

和并性： 如果X->Y 和X->Z成立，那么x->yz成立

伪传递性： 如果x->y 和wy-> z 成立，那么WZ->Z 成立。

分解性： 如果x->y 和z<=y成立，那么 x->z 成立

通用一致性： 如果X->Y和W->Z成立，那么XU（W-Y）->YZ成立。