Реляционное деление
Реляционное деление. Пусть X и Y – подмножества атрибутов, R1
и R2 - отношения со схемами R1(X, Y), R2
(Y). Реляционным частным называется отношение R со схемой R(X), тело которого составляют все такие кортежи {X:x}, что {X:x, Y:y} Î R1 для каждого {Y:y} Î R2
.
R = R1
¸ R2 = {SR : SR Î
R(X), SR È SR2 Î
R1, "SR2 Î R2}.
Пример:
A
| B | C | D | ||||||||||||||||||||
+ | a | b | c | d | |||||||||||||||||||
+ | a | b | e | f | С | D | A | B | |||||||||||||||
R1 = | b | c | e | f | , R2 = | c | d | , R1 ¸ R2 = | a | b | . | ||||||||||||
+ | e | d | c | d | e | f | e | d | |||||||||||||||
a | b | d | e | ||||||||||||||||||||
+ | e | d | e | f |
Здесь символом ‘+’ помечены кортежи R1, подкортежи которых войдут в реляционное частное.
Это неэлементарная операция. Она выражается через операции проекции, прямого произведения и разности.