Формальный метод анализа отношений на основе их первичного и существующих функциональных зависимостей называется нормализацией.

Нормализация - это процесс организации данных в базе данных для уменьшения избыточности и улучшения целостности данных. Этот процесс включает в себя разбиение больших таблиц на меньшие и определение отношений между ними. Основная цель нормализации - добиться того, чтобы каждая таблица представляла собой только одну сущность.

Нормализация обычно проходит через несколько этапов, которые называются нормальными формами. Рассмотрим основные шаги нормализации:

1. Первая нормальная форма (1НФ): Таблица должна содержать только атомарные (неделимые) значения. Это означает, что каждый столбец должен содержать только одно значение, а не набор значений.
2. Вторая нормальная форма (2НФ): Таблица должна быть в первой нормальной форме и все неключевые атрибты должны быть полностью функционально зависимы от первичного ключа. Это устраняет частичные зависимости.
3. Третья нормальная форма (3НФ): Таблица должна быть во второй нормальной форме и не должно быть транзитивных зависимостей между неключевыми атрибутами. Это означает, что неключевые атрибты не должны зависеть друг от друга.

Существуют и более высокие нормальные формы, такие как Бойс-Кодд нормальная форма (BCNF) и четвертая нормальная форма (4НФ), которые решают более сложные зависимости и обеспечивают еще большую целостность данных.

Таким образом, нормализация является важным инструментом для проектирования эффективных и надежных баз данных. Она помогает избежать аномалий вставки, обновления и удаления, что в свою очередь улучшает качество данных в базе.