functional-dependencies - 我们是否在最小覆盖范围内保持反射函数依赖

Question

假设我必须提出一组函数依赖项的最小覆盖。我有这个功能依赖{A,B,C} -> {C}。我们知道这{A,B}是多余的，我们应该删除这两个属性以获得最小覆盖。这会给我们留下{C} -> {C}，但由于反射性，这是微不足道的。我们是否仍然保留{C} -> {C}或删除它？

提前致谢！

Answer 1

任何形式的依赖：

X → Y

其中 Y ⊆ X（Y 是 X 的子集），称为“平凡依赖”，并且根据定义始终为真。所以，它应该从最小的封面上移除。形式上，它在产生最小覆盖的算法的第三步中被删除，其中消除了冗余依赖关系。