了解函数依赖关系和等价关系

Question

所以我想学习和理解函数依赖关系，在等价关系方面很难找到明确的在线定义。有人能给我一个关于它们如何工作的定义和例子吗？

举例来说，如果我有关系

R(A,B,C,D) 

和一组

{AB->C, AC->B, AB->CD}. 

会像

{AB->C, AC->B, AB->C} 

等同？

我个人会这样认为的，因为AB->CD对我的理解是一样的AB-> C and D。

Answer 1

在这两个组函数依赖的应用所有的推理规则，并得到所有可能的依赖关系，现在如果放大组FDS的是相同的（即它们的倒闭是相同的），那么这两者是等价的

无两者不是等价的，因为你决不能从第二组派生出AB→D