Избыточные функциональные зависимости

Процесс декомпозиции может быть осложнен из-за наличия в исходном проекте избыточных функциональных зависимостей.

Определение 2.3

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

Определение 2.4

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

Минимальное покрытие может быть неединственным.

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

Транзитивные зависимости. Если и , то является избыточной транзитивной зависимостью.

Добавление 1. Если , то является корректной, но избыточной функциональной зависимостью.

Добавление 2. Если , то является корректной, но избыточной функциональной зависимостью.

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

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

Объединение. Если и , то .

Разложение. Если , то и .