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

Вторая часть алгоритма выполняется, значит x → y.

            Проверим зависимость: Время вылета → Рейс.

Пилот	Рейс	Дата	Время вылета
2 4 4	281 281 281	8Августа 9 Августа 13 Августа	5:50 5:50 5:50
1 2 3	83 83 83	9 Августа 11 Августа 13 Августа	10:15 10:15 10:15
1 3 4		10 Августа 12 Августа 15 Августа	13:25 13:25 13:25
2	301	12 Августа	18:35

Для времени 13:25 второе условие алгоритма не выполняется, следовательно зависимость Время вылета → Рейс не существует.

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

 

Пример получения F⁺ из F.

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

            Множество F⁺ будет состоять из следующих элементов:

F⁺= {  A→A      B→B             C→C

        AB→A   AB→B          AC→C

        AC→A   BC→B          BC→C

     ABC→A  ABC→B       ABC→C

AB→AB        AC→AC        BC→BC         ABC→ABC

ABC→AB     ABC→AC     ABC→BC

1          ABC→C        2          C→B              AC→B

            AB→AC                    C→BC           AC→AB}

            AB→BC

            AB→ABC

3.36. Множество X⁺.

            Множество F⁺ даже для небольшого числа зависимостей в F может быть очень большим и его вычисление трудоемко. Однако принадлежность функциональной зависимости в множестве F⁺ нам необходимо всегда проверять, так как правильность отношения R проверяется по двум условиям:

                        R1

1. R                     на условие естественного соединения R1 и R2,