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

Question

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

提前致谢！

Answer 1

任何形式的依赖：

X → Y

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