Функциональная зависимость. Пример отношения и его функциональных зависимостей. Связь функциональных зависимостей и ограничений целостности. Тривиальная FD. Транзитивная FD

Пусть задана переменная отношения R, и X и Y являются произвольными подмножествами заголовка R («составными» атрибутами).

В значении переменной отношения R атрибут Y функционально зависит ( Functional Dependency – FD) от атрибута X в том и только в том случае, если каждому значению X соответствует в точности одно значение Y. В этом случае говорят также, что атрибут X функционально определяет атрибут Y (X является детерминантом (определителем) для Y, а Y является зависимым от X). Будем обозначать это как R.X –> R.Y. В общем случае X, Y – составные.

Пример:

СЛУ_НОМ -> СЛУ_ИМЯ

СЛУ_НОМ -> СЛУ_ЗАРП

СЛУ_НОМ -> ПРО_НОМ

СЛУ_НОМ -> ПРОЕКТ_РУК

ПРО_НОМ –> ПРОЕКТ_РУК

Все вышеперечисленные FD - инварианты, или ограничения целостности этой переменной отношения. Это значит, что FD порождаются не случайными явлениями в данной переменной, а знаниями из предметной области и выполняются всегда, даже при изменении отношения (например, если A — ключ отношения, то для любого B из заголовка этого отношения выполнена функциональная зависимость FD: A->B). Но бывают FD, не являющиеся инвариантами.

Например,

СЛУ_ИМЯ –> СЛУ_НОМ

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

FD A –> B называется тривиальной, если A содержит B. Очевидно, что любая тривиальная FD всегда выполняется.

FD A –> C называется транзитивной, если существует такой атрибут B, что имеются функциональные зависимости A –> B и B –> C и отсутствует функциональная зависимость C –> A.

.

Поиск по сайту: