Основы проектирования баз данных в САПР. Литовка Ю.В - 26 стр.

UptoLike

ВУЗ: 

ТГТУ | Тамбов

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

Рубрика: 

(A times B) where XΘY.
Результатом является отношение с тем же заголовком, что при декартовом произведении отно-
шений А и В и с телом, содержащим множество кортежей t таких, что t принадлежит этому декарто-
ву произведению и выполнение условия X Θ Y дает значение "истина" для этого кортежа.
Деление. Пусть отношения А и В имеют заголовки {X
1
, X
2
, …, X
m
, Y
1
, Y
2
, …, Y
n
} и {Y
1
, Y
2
, …, Y
n
}
соответственно. Пусть соответствующие атрибуты определены на одном и том же домене. Пусть X
и Y – два составных атрибута, где X = {X
1
, X
2
, …, X
m
}, Y = {Y
1
, Y
2
, …, Y
n
}. Тогда делением отноше-
ний А и В (A divide by) называется отношение с заголовком Х и телом, содержащим множество всех
кортежей {X : x} таких, что существует кортеж {X : x, Y : y}, который принадлежит отношению А
для всех кортежей {Y : y}, принадлежащих отношению В. Нестрого это можно сформулировать так:
результат содержит такие Х-значения из отношения А, для которых соответствующие Y-значения из
А включают все Y-значения из отношения В. Пользоваться этой операцией следует осторожно, так
как не исключено возникновение пустых отношений.
Пример операции деления. Пусть есть отношение исходное AP и делители B
i
для i = 1, 2, 3.
K P K P
K1 P1 K2 P1
K1 P2 K2 P2
K1 P3 K3 P2
K1 P4 K4 P3
K1 P5 K4 P4
K1 P6 K4 P5
AP
B
1
P
P1
B
2
P
P2
P4
B
3
P
P1
P2
P3
P4
P5
P6
AP divide by B1
K
K1
K2
AP divide by B2
K
K1
K4
Получить поставщиков,
поставляющих "все"
детали
AP
divide b
y
B3
K
K1
6 ОСНОВЫ ПРОЕКТИРОВАНИЯ БАЗ ДАННЫХ
6.1 НОРМАЛЬНЫЕ ФОРМЫ
Отношение находится в некоторой нормальной форме, если удовлетворяет некоторому задан-
ному условию. Отношение находится в первой нормальной форме (1НФ), тогда и только тогда, ко-
гда оно содержит только скалярные значения.
Коддом были определены три нормальных формы (1НФ, 2НФ, 3НФ). Все нормализованные от-
ношения входят в 1НФ, во 2НФ, в 3НФ и т.д. Вторая НФ более желательна, чем первая, третья –
чем вторая и т.д. При проектировании баз данных следует использовать отношения не только в
1НФ, но и во 2НФ, и в 3НФ. При помощи определенной последовательности действий отношения
преобразуются из одной нормальной формы в другую.
Бойсом и Коддом переработана 3НФ и в более строгом смысле она называется нормальной фор-
мой Бойса-Кодда (НФБК). В ней устранены некоторые неадекватности, возможные в 3НФ.
Фейгином одновременно с введением НФБК была определена 4НФ, они практически одинаковы.
Далее Фейгин предложил 5НФ или проективно-соединительную НФ (рис. 6.1).

Страницы