2202
社区成员
通用一致性定理证明
有没有高手能帮我证明一下
FD的推理规则。A8：{X→Y，W→Z} |=X∪（W-Y）→YZ【通用一致性定理】，先谢了！
FD的推理规则。A8：{X→Y，W→Z} |=X∪（W-Y）→YZ【通用一致性定理】，先谢了！
...全文
当前发帖距今超过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)
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
- 打赏
- 举报
这个要看《离散数学》了。很久不看了。