Оптимизация множества функциональных зависимостей базы данных
Наличие функциональной зависимости определяется экспериментально (проверяется по таблице данных) или теоретически – на основании требований к разрабатываемой БД или по результатам анализа предметной области.
Приложение БД должно контролировать отношения БД на соответствие всем определенным на этапе проектирования БД функциональным зависимостям. В соответствии с этим, важным вопросом проектирования БД является повышение эффективности будущей процедуры проверки выполнения функциональных зависимостей, что может быть достигнуто за счет изменения исходного множества зависимостей на эквивалентное, но меньшее по количеству и/или сложности множество функциональных зависимостей (оптимальное множество F-зависимостей).
Преобразование множества зависимостей выполняется в соответствии с аксиомами вывода, представляющими собой правила получения новых зависимостей (с точки зрения их формальной записи) на основе существующих. При этом сохраняется эквивалентность нового множества функциональных зависимостей и исходных закономерностей в данных (новые зависимости являются просто еще одним вариантом их записи).
Мы рассмотрим также алгоритм преобразования множества зависимостей, который позволяет получить оптимальное множество F-зависимостей - набор зависимостей, обеспечивающий минимальное количество проверок при модификации базы данных.
