Реляционная модель данных. Карепова Е.Д. - 13 стр.

UptoLike

ВУЗ: 

СФУ | Красноярск

Составители: 

Рубрика: 

25
DEF. Зависимость, не заключающая в себе такой информации, которая
не могла бы быть получена на основе других зависимостей из числа исполь-
зованных при проектировании БД, называется избыточной ФЗ.
Поскольку избыточная ФЗ не содержит уникальной информации, она
может быть удалена из набора ФЗ без отрицательного воздействия на резуль-
таты. Избыточные ФЗ удаляются на начальном этапе проектирования до
применения алгоритма декомпозиции.
Транзитивные зависимости. Одним из примеров избыточных ФЗ яв-
ляются транзитивные. Если A → B, B → С и A → C входят в набор ФЗ, сле-
довательно, A → C является избыточной и ее использование в процессе про-
ектирования не требуется, ее следует исключить из набора перед началом
проектирования.
Рисунок 9 демонстрирует, как может быть упрощен набор ФЗ при по-
мощи исключения транзитивных зависимостей. Используя процедуру деком-
позиции, упрощенный набор ФЗ можно привести к нормальной форме Бойса
– Кодда (НФБК) R(A, B, C, E):
R1(C, E); R2(B, C); R3(A, B).
A
B
C E A
B
C E
Рис. 9
Добавления. Второй путь возникновения избыточных ФЗ связан с
концепцией добавления. Рассмотрим два случая избыточности этого вида
(A,B,Z – атрибуты, каждый из которых может быть составным).
⇒ Если A → B, то A,Z → B является корректной, но избыточной
ФЗ. Иллюстрация дана на рис. 10.
⇒ Если A → B, то A,Z → B,Z является корректной, но избыточной
ФЗ. Иллюстрация дана на рис. 11.
A
Z
B
Добавление
(избыточная ФЗ)
Рис. 10
26
A
Z
B
Добавление
(избыточная ФЗ)
Рис. 11
Правила вывода
Определения транзитивности и концепция добавления касаются трех
правил вывода из шести. Эти правила используются для упрощения исходно-
го набора ФЗ. Рассмотрим еще три правила:
1. Объединение ФЗ: Если A → B и A → C, то A → B,C.
2. Декомпозиция ФЗ: Если A → B,C, то A → B и A → C.
3. Псевдотранзитивность: Если A → B и B,C → Z, то A,C → Z.
Приведем пример применения правил вывода. Отметим, что последо-
вательность применения неоднозначна.
A B D
K C
A B D
K C
A B D
K C
A B D
K C
а) б)
в)
г)
Рис. 12
а) Исходный набор ФЗ.
б) B, C → D удалена (добавление B → C)
в) A → B, C замещена A → B & A → C (декомпозиция)
г) A → C и A → D заменяются на A → K & K → C и A → B & B → D
(транзитивность)

Страницы