自反率 If Y∈X∈U then X → Y
· 传递率（Transitivity）
If X → Y and Y→ Z then X → Z
· 增广率（Augmentation
If X → Y then XY→YZ
· 合并规则Union Rule
If X → Y and X → Z then X→YZ
· 分解规则Decomposition Rule
If X→YZ then X → Y and X → Z
· 伪传递规则Pseudotransitivity Rule
If X→Y and WY→Z then X→Z
· 积累规则Set Accumulation Rule
If X→Y and Z→W then X→YW2100433B
