Процесс нормализации

Лекция 10. Первые нормальные формы

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

Цель: ввести определения первых трех нормальных форм и обосновать необходимость их применения.

Процесс нормализации основывается на концепции нормальных форм. Говорят, что отношение находится в определенной нормальной форме, если оно удовлетворяет заданному набору условий.

На рис. 10.1 показано несколько нормальных форм, которые определены к настоящему времени. Первые три были описаны Э. Коддом, следующую формулу вывели Р. Бойс и Э. Кодд (НФБК – нормальная форма Бойса-Кодда), а четвёртую и пятую нормальные формы определил Р. Фейгин.

Рис. 10.1. Уровни нормализации

Из рис. 10.1 видно, что отношение в некоторой нормальной форме предусматривает приведение его к предыдущей нормальной форме.

Понятия первых нормальных форм основано на функциональных зависимостях (ФЗ) и процессе декомпозиции. Поэтому прежде всего требуется дать определение функциональных зависимостей, рассмотреть правила их вывода, а также возможность и необходимость декомпозиции некоторых отношений.