Итак, у меня есть R = {A, B, C, D, E, F} и его функциональные зависимости: C → EF, AB → CDF, BCD → AE. Я узнал, что единственный кандидатный ключ - это AB, потому что AB + = ABCDEF (пожалуйста, поправьте меня, если я ошибаюсь). Оттуда может кто-нибудь объяснить мне пошаговый процесс вычисления канонического покрытия из заданных функциональных зависимостей? Я знаю, что должен применять правила аксиомы, объединять, удалять лишние и посторонние атрибуты, и это действительно сбивает с толку, что делать первым и как. Спасибо!