Функциональные зависимости. Для устранения указанных аномалий (а на самом деле для правильного проектирования структуры данных!) приведем структуру БД к нормальной форме более высокого

Для устранения указанных аномалий (а на самом деле для правильного проектирования структуры данных!) приведем структуру БД к нормальной форме более высокого порядка, для чего введем понятие функциональной зависимости атрибутов отношения.

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

.

Другими словами:

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

При этом X и Y могут быть составными, то есть составленные из нескольких атрибутов одного отношения.

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

Множество атрибутов называется детерминантом функциональной зависимости, а множество атрибутов называется зависимой частью.

Замечание. Если атрибуты составляют потенциальный ключ отношения , то любой атрибут отношения функционально зависит от .

В основе процесса нормализации лежит понятие декомпозиции отношения на два или более отношений.

Декомпозицией схемы отношения R называется замена ее совокупностью r = {R₁,…,R_m} подмножеств R, таких, что R₁ È…È R_m = R. При этом не требуется, чтобы R_i были непересекающимися, т.е. R_i Ç R_j = Æ.

При “правильном” проектировании схемы БД необходимо, чтобы декомпозиция обладала свойством соединения без потерь, то есть должно выполняться условие:

R = p_R1(R) >< p_R2(R) >< … >< p_Rn(R)

То есть R является естественным соединение его проекций на все R_i.

Дата добавления: 2014-01-07