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

Функциональная зависимость A->В это такое соотношение между А и В, что по значению А однозначно определено и В. Понятие многозначной зависимости также является видом ФЗ. В современных СУБД понятие ФЗ является основополагающим. При проектировании БД определяются не только ключи, но и виды ФЗ. Сохранение ФЗ при изменении данных – целостность, нарушение целостности – аномалия. Основной инструмент приведения к целостности – расщепление.

Минимизация числа функциональных зависимостей

Пример: Рассмотрим следующее множество зависимостей, построим матрицу:

· A->B

· B->C

· B->H

· E->A

· EC->B

· H->C

	A	B	C	F	H

Ставим 1, если данный атрибут выпил в данной зависимости.

Если столбец полностью нулевой, то его нельзя вычислить никакой зависимостью. Зависимости 4,5 войдут в наш набор. Выбрасываем из матрицы столбцы определённые этими зависимостями. Удаляем из левых частей выбранные атрибуты. Первые 3 зависимости потеряли смысл, удаляем их и получаем сокращённую матрицу:

· E->A

· EC->B

· H->C

	C	F	H

Мы получили минимальное покрытие матрицы, минимально необходимое число ФЗ это <4,5,6>.

ER диаграммы