Извиняюсь, если это нелепый вопрос;
Я искал ответ безрезультатно.
Я знаю, как рассчитать минимальное покрытие;
т.е. убедитесь, что каждая функциональная зависимость имеет только один атрибут в RHS, удалите лишние / избыточные атрибуты lhs, рассчитав закрытие каждого исследующего все FD, проверяя, можно ли их удалить (снова путем вычисления закрытия)
Is 'canonical 'просто еще одно слово для обозначения того же?