Править]Применение

[ править ] Проектирование БД

Функциональные зависимости являются ограничениями целостности и определяют семантику хранящихся в БД данных. При каждом обновлении СУБД должна проверять их соблюдение. Следовательно, наличие большого количества функциональных зависимостей нежелательно, иначе происходит замедление работы. Для упрощения задачи необходимо сократить набор функциональных зависимостей до минимально необходимого.

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

[ править ] Декомпозиция отношений

[ править ] Теорема Хита

Пусть дано отношение .

Если удовлетворяет функциональной зависимости , то оно равно соединению его проекций и .