Базы данных. Учебное пособие


Функциональные зависимости и детерминанты


Функциональные  зависимости  (ФЗ)  позволяют  накладывать  дополнительные  ограничения  на  реляционную  схему.  Основная  идея  состоит  в  том,  что  значение  одного  атрибута  в  кортеже  однозначно  определяет  значение  другого  атрибута.  Например,  в  каждом  кортеже  таблицы 3.1  №  работника  однозначно  определяет  фамилию; №  работника  однозначно  определяет специальность.  Записываются  эти  две  функциональные  зависимости  следующим  образом:

 

ФЗ : №  работника ¾> фамилия,

ФЗ : №  работника ¾>

специальность.

 

Функциональная зависимость – значение атрибута в кортеже однозначно определяет значение другого атрибута в кортеже.

Более  формально  мы  можем  определить функциональную  зависимость  следующим  образом:  если  А  и  В – атрибуты  в  таблице  R,  то  запись

ФЗ :  A¾>

В

обозначает,  что  если  два  кортежа  в  таблице  R  имеют  одно  и  то  же  значение  атрибута  А,  то  они  имеют  одно  и  то  же  значение  атрибута  В.  Это  определение  также  применимо,  если А  и  В – множества  столбцов,  а  не  просто  отдельные  столбцы.

Обозначение ¾>  читается  «функционально  определяет». 

Атрибут  в  левой  части  ФЗ  называется  детерминантом,  так  как  его  значение  однозначно определяет  значение  атрибута  в  правой  части.  Ключ  таблицы  всегда является  детерминантом,  так  как  его  значение  однозначно  определяет  значение  каждого  атрибута  таблицы.




Начало  Назад  Вперед



Книжный магазин