Функциональные зависимости и детерминанты
Функциональные зависимости (ФЗ) позволяют накладывать дополнительные ограничения на реляционную схему. Основная идея состоит в том, что значение одного атрибута в кортеже однозначно определяет значение другого атрибута. Например, в каждом кортеже таблицы 3.1 № работника однозначно определяет фамилию; № работника однозначно определяет специальность. Записываются эти две функциональные зависимости следующим образом:
ФЗ : № работника ¾> фамилия,
ФЗ : № работника ¾>
специальность.
Функциональная зависимость – значение атрибута в кортеже однозначно определяет значение другого атрибута в кортеже.
Более формально мы можем определить функциональную зависимость следующим образом: если А и В – атрибуты в таблице R, то запись
ФЗ : A¾>
В
обозначает, что если два кортежа в таблице R имеют одно и то же значение атрибута А, то они имеют одно и то же значение атрибута В. Это определение также применимо, если А и В – множества столбцов, а не просто отдельные столбцы.
Обозначение ¾> читается «функционально определяет».
Атрибут в левой части ФЗ называется детерминантом, так как его значение однозначно определяет значение атрибута в правой части. Ключ таблицы всегда является детерминантом, так как его значение однозначно определяет значение каждого атрибута таблицы.
