通用一致性定理证明

xiu_xiu_1008 2010-03-01 05:16:53
有没有高手能帮我证明一下
FD的推理规则。A8:{X→Y,W→Z} |=X∪(W-Y)→YZ【通用一致性定理】,先谢了!
...全文
645 2 打赏 收藏 转发到动态 举报
AI 作业
写回复
用AI写文章
2 条回复
切换为时间正序
请发表友善的回复…
发表回复
secouc 2010-05-24
  • 打赏
  • 举报
回复 2
Solution:
1.X→Y (given)
2.W→Z (given)
3.X→Y∩W (by joint dependence and 1)
4.W-Y→W-Y (self-determination)
5.X∪(W-Y)→(Y∩W)∪(W-Y) =W
(by composition, 3, 4)
6.X∪(W-Y)→W (simplifying 5)
7.X∪(W-Y)→Z (by transitivity, 6, 2)
8. X∪(W-Y)→Y∪Z (by composition, 1, 7)
ACMAIN_CHM 2010-03-02
  • 打赏
  • 举报
回复
这个要看《离散数学》了。很久不看了。

2,209

社区成员

发帖
与我相关
我的任务
社区描述
其他数据库开发 其他数据库
社区管理员
  • 其他数据库社区
加入社区
  • 近7日
  • 近30日
  • 至今
社区公告
暂无公告

试试用AI创作助手写篇文章吧