数据关系设计

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成立。

范式：

一、关系中的每一个属性必须是不可再分的原子值。

二、每个非主属性完全函数依赖于R的任何键

三、非主属性都不传递依赖于R的任何键

BCNF,每个决定因素都是候选键。每个函数依赖的左部都包含R的候选键。

四、如果D中每个非平凡的多值依赖X->->Y的左部都是R的超建。

多值依赖： xyz是U的子集，并且U-x-y，多值依赖x->->Y成立，当且对R(U)的任意关系R，给定的一对（x,z）值，有一组Y的值。这组值

仅仅决定于x值而于Z 无关。