Диаграммы функциональных зависимостей

СЛУЖАЩИЕ_ОТДЕЛЫ_ПРОЕКТЫ

СЛУ_НОМ	СЛУ_ОТД	ПРО_НОМ

Декомпозиция. Отношения СЛУЖ_ОТДЕЛЫ и СЛУЖ_ПРОЕКТЫ

СЛУ_НОМ	СЛУ_ОТД

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

Рис. 6.5. Декомпозиция без потерь по теореме Хита

В отношении СЛУЖАЩИЕ_ОТДЕЛЫ_ПРОЕКТЫ атрибут СЛУ_НОМ не является возможным ключом, но, как показывает рис. 6.5, наличия FD СЛУ_НОМ ® СЛУ_ОТД оказывается достаточным для декомпозиции этого отношения без потерь.

Для дальнейшего изложения нам потребуется ввести еще одно определение и сделать пару замечаний.

Определение 6.10. Минимально зависимые атрибуты

Атрибут B минимально зависит от атрибута A, если выполняется минимальная слева FD A ® B. Конец определения.

Например, в отношении СЛУЖАЩИЕ_ПРОЕКТЫвыполняются FD СЛУ_НОМ® СЛУ_ЗАРПи {СЛУ_НОМ, СЛУ_ИМЯ} ® СЛУ_ЗАРП. Первая FD является минимальной слева, а вторая – нет. Поэтому СЛУ_ЗАРПминимально зависит от СЛУ_НОМ, а для {СЛУ_НОМ, СЛУ_ИМЯ} свойство минимальной зависимости не выполняется.

Далее, для иллюстраций в следующей лекции нам будут полезны диаграммы FD, с помощью которых можно наглядно представлять минимальные множества FD. Например, на рис. 6.5 приведена диаграмма минимального множества FD отношения СЛУЖАЩИЕ_ПРОЕКТЫ.

Рис. 6.5. Диаграмма минимального множества FD отношения СЛУЖАЩИЕ_ПРОЕКТЫ

В левой части диаграммы все стрелки начинаются с атрибута СЛУ_НОМ, являющегося единственным возможным (и, следовательно, первичным) ключом отношения СЛУЖАЩИЕ_ПРОЕКТЫ. Обратите внимание на отсутствие стрелки от СЛУ_НОМк ПРОЕКТ_РУК. Конечно, поскольку СЛУ_НОМявляется возможным ключом, должна выполняться и FD СЛУ_НОМ® ПРОЕКТ_РУК. Но эта FD является транзитивной (через ПРО_НОМ) и поэтому не входит в минимальное множество FD. Заметим, что в процессе нормализации из диаграмм множества FD удаляются стрелки, начинающиеся не от возможных ключей.

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