公理，函數依賴關係

Question

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

我試過serval方法仍然無法找到解決方案，這有可能嗎？

Answer 1

你不能證明AC-> BC，因爲F在右邊沒有函數依賴關係。事實上，（AC）+ = ACDE。