- 由增广率 可得WY → ZY
- 由伪传递率,因为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。