试证明FD的推理规则中的伪传递性。即已知{X→Y，WY→Z}推出XW→Z。

2024-07-27 13:01:10
数据库系统原理(04735)

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

上一篇：设关系模式R(A，B，C，D，E)，F是R上成立的函数依赖集，F={AB→C，CD→E)，试写出R的关键码，并说明理由。

下一篇：在关系数据库中是否可以使用无损分解的方法来解决存在的数据冗余现象，并说明原因。