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

Question

我在使用 Armstrong 公理证明函数依赖时遇到问题。我正在为此苦苦挣扎：

令 R(A,B,C,D,E) 为关系模式，F = {A→CD, C→E, B→D}

证明：F: BC-> DE

我有的：

1. 给定 B->D
2. 在 1 上增加 C，BC -> DC
3. 分解 2, BC -> D, BC -> C
4. BC -> C, BC -> E 上的传递性
5. BC -> D 和 4 上的联合，BC -> DE

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

Answer 1

你完全正确，我的朋友。你的证明是完美的。