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

UptoLike

Р1 Протон Москва
Р2 СПб.
Р3 Зелено-
град
Р4 Москва
Р5 Тамбов
Тогда очередную выборку можно провести для поиска, например, всех поставщиков из города
"Москва":
P where Город = "Москва" или
P where Город = "Тамбов" AND улица = "Ленинградская".
На основании свойства замкнутости можно расширить условие в выражении where до произ-
вольного числа логических сочетаний или простых сравнений, применяя следующие тождества:
1) A where X and Y (A where X) intersect (A where Y);
2) A where X or Y (A where X) union (A where Y);
3) A where not X A minus (A where X).
Проекцией отношения А по атрибутам X, Y,, Z где каждый из атрибутов принадлежит отноше-
нию A (A[X, Y, …, Z]), называется отношение с заголовками {X, Y,, Z} и телом, содержащим мно-
жество всех кортежей {X : x, Y : y, …, Z : z} таких, что в отношении А значение атрибута Х равно х,
атрибута Y равно y, атрибута Z равно z. Результат операции проекции подмножество указанных в
списке атрибутов из множества имеющихся атрибутов с последующим исключением дублирующих
кортежей.
Операция проекции допускает тождественную R и нулевую R[ ] проекцию. В первом случае ре-
зультат – то же отношение, во втором нет ни одного кортежа.
Например, необходимо найти проекцию отношения Р по атрибуту "Город":
Город
Москва
СПб.
Зелено-
град
Москва
Тамбов
или (P where Город = "Москва")
N_пост
Р1
Р4
Операция соединения имеет несколько вариантов: это наиболее важное естественное соедине-
ние и Θ-соединение. Для обозначения естественного соединения применим термин join. Пусть от-
ношения А и В имеют заголовки {X
1
, X
2
, …, X
m
, Y
1
, Y
2
, …, Y
n
} и {Y
1
, Y
2
, …, Y
n
, Z
1
, Z
2
, …, Z
p
} соответ-
ственно. Предположим, что соответствующие атрибуты одинаковыми именами) определены на
одном и том же домене. Рассмотрим выражения {X
1
, X
2
, …, X
m
}, {Y
1
, Y
2
, …, Y
n
} и {Z
1
, Z
2
, …, Z
p
} как
три составных атрибута X, Y, Z. Тогда естественным соединением отношений А и В (A join B) назы-
вается отношение с заголовком {X, Y, Z}и телом, содержащим множество всех кортежей {X : x, Y : y,
Z : z}, таких, что в отношении А значение атрибута Х равно х, а атрибута Y равно y, и в отношении В
значение атрибута Y равно y, а атрибута Z равно z.