Помогает проверить атрибуты, первичный ключ и функциональные зависимости на подсказки по 1NF, 2NF и 3NF.
-1NF
-2NF
-3NF
-FD
Проверка эвристическая: она помогает найти зависимости, но не доказывает полную нормализацию схемы.
Что делает database normalization helper
Инструмент принимает список атрибутов отношения, первичный ключ и функциональные зависимости в формате A -> B. На основе этих данных он подсвечивает повторяющиеся группы для 1NF, частичные зависимости от составного ключа для 2NF и зависимости, похожие на нарушение 3NF.
Когда полезен калькулятор
Калькулятор удобен при проектировании учебной схемы, разборе таблицы перед декомпозицией или быстрой ревизии черновой модели базы данных. Отчет показывает замыкания левых частей зависимостей и объясняет, какие атрибуты стоит вынести в отдельные таблицы.
Ограничения
Это эвристическая проверка, а не формальное доказательство нормальной формы. Для точного вывода нужны все кандидатные ключи, полный набор функциональных зависимостей и понимание предметной области.