函数依赖的推理规则 自反律 Y∈X∈U则Ⅹ→Y Armstrong公理 增广律 Ⅹ→)Y,Z∈U则(X,Z)→(Y,Z) ·传递律 Ⅹ→Y,Y→>Z则ⅹ→Z 合并规则 Ⅹ→)Y,Ⅹ→>Z则Ⅹ→YZ 分解规则 Ⅹ→Y,Z∈Y则X→>Z函数依赖的推理规则 • 自反律 Y ∈ X ∈ U 则 X → Y • 增广律 X → Y , Z ∈ U 则 （X,Z) → (Y,Z) • 传递律 X → Y ，Y → Z 则 X → Z • 合并规则 X → Y ，X → Z 则 X → YZ • 分解规则 X → Y , Z ∈ Y 则 X → Z Armstrong 公理