通用一致性定理证明

xiu_xiu_1008 2010-03-01 05:16:53
有没有高手能帮我证明一下
FD的推理规则。A8:{X→Y,W→Z} |=X∪(W-Y)→YZ【通用一致性定理】,先谢了!
...全文
424 2 打赏 收藏 举报
写回复
2 条回复
切换为时间正序
当前发帖距今超过3年,不再开放新的回复
发表回复
secouc 2010-05-24
  • 打赏
  • 举报
回复
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
  • 打赏
  • 举报
回复
这个要看《离散数学》了。很久不看了。
发帖
其他数据库

2202

社区成员

其他数据库开发 其他数据库
社区管理员
  • 其他数据库社区
加入社区
帖子事件
创建了帖子
2010-03-01 05:16
社区公告
暂无公告