10.9 Итоговая схема процедуры нормализации
Рассмотренные в предыдущих разделах материалы по нормализации отношений путем их декомпозиции без потерь с целью устранения нежелательных проблем при выполнении операций обновления данных можно свести к последовательности этапов, обеспечивающих пошаговое преобразование отношений в нормальные формы вплоть до пятой нормальной формы.
Эти этапы формулируются следующим образом.
Отношение в первой нормальной форме разбивается на две проекции для исключения всех функциональных зависимостей, ключевых атрибутов от первичного ключа, которые не являются неприводимыми. В результате получаются отношения во второй нормальной форме.
Отношение во второй нормальной форме разбивается на две проекции для исключения всех транзитивных функциональных зависимостей. Этот этап приводит к отношениям в третьей нормальной форме.
Отношение в третьей нормальной форме разбивается на две проекции для исключения детерминантов, не являющихся первичными ключами. Получаем отношения в нормальной форме Бойса – Кодда.
Отношение в нормальной форме Бойса – Кодда разбивается на две проекции для исключения многозначных зависимостей для приведения в четвертую нормальную форму.
Отношение в четвертой нормальной форме разбивается на n проекций для исключения любых зависимостей проекции-соединения, которые не являются функциональными зависимостями от потенциальных ключей.
При этом важно то, что декомпозиция отношений на проекции должна осуществляться без потерь и с сохранением зависимостей.
Можно обратить внимание на предложенные Фейгином интересные альтернативные определения нормальной формы Бойса – Кодда, четвертой нормальной формы и пятой нормальной формы.
Отношение R находится в нормальной форме Бойса – Кодда тогда и только тогда, когда каждая функциональная зависимость подразумевается потенциальными ключами отношения R.
Отношение R находится в четвертой нормальной форме тогда и только тогда, когда каждая многозначная зависимость подразумевается потенциальными ключами отношения R.
Отношение R находится в пятой нормальной форме тогда и только тогда, когда каждая зависимость соединения подразумевается потенциальными ключами отношения R.