Функциональная зависимость

Лекция 67. Нормализация данных. 1-я, 2-я, 3-я нормальные формы

Цель нормализации – устранение избыточности, связанной с хранением неключевых атрибутов.

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

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

В теории реляционных баз данных обычно выделяется следующая последовательность нормальных форм:

Лекция 68. первая нормальная форма (1NF);

Лекция 69. вторая нормальная форма (2NF);

Лекция 70. третья нормальная форма (3NF);

Лекция 71. нормальная форма Бойса-Кодда (BCNF);

Лекция 72. четвертая нормальная форма (4NF);

Лекция 73. пятая нормальная форма, или нормальная форма проекции-соединения (5NF или PJ/NF).

Основные свойства нормальных форм:

Лекция 74. каждая следующая нормальная форма в некотором смысле лучше предыдущей;

Лекция 75. при переходе к следующей нормальной форме свойства предыдущих нормальных свойств сохраняются.

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

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

Определение 1. Функциональная зависимость

В отношении R атрибут Y функционально зависит от атрибута X (X и Y могут быть составными) в том и только в том случае, если каждому значению X соответствует в точности одно значение Y: R.X à R.Y.

Определение 2. Полная функциональная зависимость

Функциональная зависимость R.X à R.Y называется полной, если атрибут Y не зависит функционально от любого точного подмножества X.

Определение 3. Транзитивная функциональная зависимость

Функциональная зависимость R.X à R.Y называется транзитивной, если существует такой атрибут Z, что имеются функциональные зависимости R.X à R.Z и R.Z à R.Y и отсутствует функциональная зависимость R.Z à R.X. (При отсутствии последнего требования мы имели бы "неинтересные" транзитивные зависимости в любом отношении, обладающем несколькими ключами.)

Определение 4. Неключевой атрибут

Неключевым атрибутом называется любой атрибут отношения, не входящий в состав первичного ключа (в частности, первичного).

Определение 2~. Полная функциональная зависимость

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

Определение 5. Взаимно независимые атрибуты

Два или более атрибута взаимно независимы, если ни один из этих атрибутов не является функционально зависимым от других.

Дата добавления: 2015-05-09