企源知识库

试证明FD的推理规则中的伪传递性。即已知{X→Y，WY→Z}推出XW→Z。
【正确答案】：已知的X→Y，根据增广性可以推出WX→WY，又已知WY→Z，根据传递性可以得出WX→Z