Базы данных. Уровни данных. Нормальные формы схем отношений. Аксиома дополнения (добавления). Способы размещения с применением Хэш-функции, страница 7

ЭВМ                    4-80

АСУ                    4-90

Физика                4-70

Преподаватель 1                            Номер   ФИО                    Должность         Кафедра

102        Иванов                доцент                ЭВМ

103        Петров                ассистент           ЭВМ

104        Сидоров                            профессор          АСУ

201        Фёдоров                            ст.преп.               Физика

Рассмотрим отношение «Курсовой проект»:         Состоит из следующих атрибутов:

Преподаватель   Проект                Студент

Пр1                      П1                        Ст1

Пр2                      П2                        Ст2

Пр3                      П3                        Ст3

Пр4                      П4                        Ст4

Пр5                      П5                        Ст5

Пр6                      П6                        Ст6

Пр7                      П7                        Ст7

Курсовые проекты ведут несколько преподавателей и каждый студент закреплён за одним из них. Причём студент выполняет только один проект, а один и тот же проект могут выполнять несколько студентов, но у разных преподавателей.

Между атрибутами отношения существуют функциональные зависимости:

<Преподаватель ® Предмет® Студент>               <Студент® Предмет>

Это отношение находится в III нормальной форме, так как в нём отсутствуют частичные и транзитивные функциональные зависимости. Но здесь есть два факта, когда наблюдается зависимость части «Предмет» составного ключа от неключевого атрибута «Студент». Такая зависимость приводит к следующим аномалиям:

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

2)           Данные о студенте и его проекте не могут быть записаны в БД до тех пор, пока не назначен руководитель проекта.

3)           Если необходимо удалить преподавателя, то будут удалены и данные о руководимом им студенте.

Устранение этих аномалий достигается устранением функциональной зависимости части составного ключа от неключевого атрибута, т.е. зависимости <Студент® Предмет>. Имеем два отношения:

Руководство                     Преподаватель                 Предмет

Пр1                                    П1

Пр2                                    П2

Пр3                                    П3

Пр4                                    П4

Пр5                                    П5

Пр6                                    П6

Пр7                                    П7

Выполнение                     Предмет                                          Студент

П1                                      Ст1

П2                                      Ст2

П3                                      Ст3

П4                                      Ст4

П5                                      Ст5

П6                                      Ст6

П7                                      Ст7

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

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

Полное множество правил вывода состоит из трех аксиом Армстронга, а также трёх следующих из этих аксиом правил объединения, декомпозиции и псевдотранзитивности.

Лекция 6.10

Аксиома дополнения (добавления)                     Если из АВ, то из A,Zявл. корректной, но избыточной функциональной зависимостью, т.е. атрибут Z  был добавлен к А:

 

 избыточная

Другой вариант возникает в случае добавления к обоим частям данной функциональной зависимости одного и того же атрибута с целью формирования новой зависимости. АВ, то A, ZB, Z, является корректной, но избыточной функциональной зависимостью.