Сохраняем ли мы функциональную зависимость рефлексивности в минимальном покрытии

Question

Предположим, мне нужно придумать минимальное покрытие набора функциональных зависимостей. У меня есть эта функциональная зависимость {A,B,C} -> {C}, Мы бы знали, что {A,B} является избыточным, и мы должны удалить эти два атрибута, чтобы получить минимальное покрытие. Это оставит нас с {C} -> {C}, но это тривиально из-за рефлексивности. Мы все еще сохраняем {C} -> {C} или тоже убрать?

Заранее спасибо!

Answer 1

Любая зависимость от формы:

X → Y

где Y ⊆ X (Y является подмножеством X), называется "тривиальной зависимостью" и всегда верно по определению. Итак, его следует снять с минимальной крышки. Формально это удаляется на третьем шаге алгоритма, который создает минимальное покрытие, где устраняются избыточные зависимости.