第三章 关系模式设计理论
<br />1.函数依赖(FD) 的推理规则<br />自反性: Y<= x <=u ---> x -> y在R上成立<br />增广性: 如果x->y 在R上成立且z<=U,则xz -> yz 在R上也成立。<br />传递性: 如果X->Y 和Y->Z在R成立,则X->Z在R上成立<br />复合性: 如果X->Y 和W->Z成立,那么XW->YZ成立<br />和并性: 如果X->Y 和X->Z成立,那么x->yz成立<br />伪传递性: 如果x->y 和wy-> z 成立,那么WZ->Z 成立。
原创
2011-03-19 15:30:00 ·
687 阅读 ·
0 评论