试证明：如果X→Y，W→Z ，则 XW→YZ。

1. 由增广率 可得WY → ZY
2. 由伪传递率，因为X→Y, WY → ZY
   所以XW→ ZY

（内容为数据依赖）
附Armstrong 公理的推理规则三条：
1：反射率：

• 若属性集Y 包含于属性集X，属性集X 包含于U，则X→Y 在R 上成立。(此 处X→Y是平凡函数依赖)

2：增广律：

• 若X→Y 在R 上成立，且属性集Z 包含于属性集U，则XZ→YZ 在R 上成立

3：传递律：

• 若X→Y 和 Y→Z在R 上成立，则X →Z 在R 上成立。

公理推论三条：
1：合并规则：若X→Y，X→Z同时在R上成立，则X→YZ在R上也成立。
2：分解规则：若X→W在R上成立，且属性集Z包含于W，则X→Z在R上也成立。
3：伪传递规则：若X→Y在R上成立，且WY→Z，则XW→Z。