公理，功能依赖

Question

我遇到了与阿姆斯特朗公理证明功能依赖性的问题。这个我正在努力。设R（A，B，C，D，E）为关系模式，F = {A→CD，C→E，B→D} 1.证明：F：AC-> BC

我已经尝试了serval方法但仍然无法找到解决方案是否可能？

Answer 1

你不能证明AC-> BC，因为F中没有功能依赖，右边是B.的确，（AC）+ = ACDE。