在一组关系上证明FD-需要检查解决方案

Question

我遇到了与阿姆斯特朗公理证明功能依赖性的问题。这个我正在努力。设R（A，B，C，D，E）为关系模式，F = {A→CD，C→E，B→D} 1.证明：F：BC-> DE

我有什么：

1给定B-> D  1。 增加C on 1，BC-> DC

2。 分解在2，BC-> D BC-> C

3。 对BC-> C的传递性，BC-> E

4。 BC上的联盟 - ＆gt; D和4，BC-＆gt; DE

不确定这是否是正确的解决方案。

Answer 1

你绝对是我的朋友。你的证明是完美的。