Замыкание множества заданных функциональных зависимостей, страница 5

            Вторая формулировка:

Если x→yz, то x→y и x→z

Или

Овал: YОвал: XОвал: XОвал: ZОвал: YЕсли

 


Овал: ZОвал: X                                   То

П6. Правило псевдотранзитивности.

Если x≤U, y≤U, w≤U, z≤U и заданы функциональные зависимости x→y и yUw→z (U- объединение), то имеет место функциональная зависимость xUw→z.

Т.к. задано x→y, то используя правило F2 запишем: xUw→yUw, т.к. xUw→yUw и yUw→z то xUw→z.

В графическом виде:

Овал: ZОвал: YОвал: WОвал: X                       

Если имеются зависимости x→y, yUw→z и xUw→z , то зависимость xUw→z избыточная.

3.8 Минимальное покрытие множества функциональных зависимостей.

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

Избыточная Функциональная зависимость(определение)

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

Минимальное покрытие(определение)

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

Пример:

            Дано: R(A,B,C,D,K) и F={A→BC, A→D, A→K, K→C, B→D, BC→D}

Запишем F  в графическом виде:

Овал: KОвал: CОвал: DОвал: BОвал: A           

 


1.Рассмотрим BC→D ,B→D.

            По правилу 1 BC→D – избыточная зависимость. Убираем ее из набора.

В графическом виде: