在一組關係上證明FD - 需要解決方案檢查

Question

我遇到了證明與阿姆斯壯的公理存在函數依賴關係的問題。這一個我正在努力。設R（A，B，C，D，E）爲關係模式，並且F = {A→CD，C→E，B→D} 1.證明：F：BC-> DE

我有：

1鑑於B-> d 1. 增大C於1，BC-> DC

2. 分解月2日，BC-> d BC->ç

3. 在BC→C，BC→E上的傳遞性

4. BC上的聯合 - > D an d和4，BC-> DE

不確定這是否是一個適當的解決方案。

Answer 1

你是完全正確的我的朋友。你的證明是完美無瑕的。