公理，函数依赖关系

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。