在一组关系上证明FD-需要解决方案检查 [英] Proving FD's on a set of relations- Need solution checked
本文介绍了在一组关系上证明FD-需要解决方案检查的处理方法,对大家解决问题具有一定的参考价值,需要的朋友们下面随着小编来一起学习吧!
问题描述
我在证明与阿姆斯特朗公理的功能相关性时遇到问题.我为此感到挣扎:
I am having issues proving functional dependencies with Armstrong's Axioms. I am struggling with this:
让R(A,B,C,D,E)是一个关系模式,并且F = {A→CD,C→E,B→D}
Let R(A,B,C,D,E) be a relation schema and F = {A→CD, C→E, B→D}
证明:F:BC->DE
Prove: F: BC-> DE
我所拥有的:
- 给出B-> D
- 公元前1月的C号->DC
- 在BC 2分解->D,BC->C
- BC的传递性->C,BC->E
- BC省的联盟->D和4,BC->DE
不确定这是否是正确的解决方案.
Unsure if this is a proper solution.
推荐答案
您绝对是我的朋友.您的证明是完美的.
You are absolutely right my friend. Your Proof is flawless.
这篇关于在一组关系上证明FD-需要解决方案检查的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持IT屋!
查看全文