试证明FD的推理规则中的伪传递性。即已知{X→Y，WY→Z}推出XW→Z。
已知的X→Y，根据增广性可以推出WX→WY，又已知WY→Z，根据传递性可以得出WX→Z
◎欢迎参与讨论，请在这里发表您的看法、交流您的观点。
