![]() |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
|
Определение
Объединением двух отношений r1(R1) и r2(R2), совместимых по объединению, называется отношение s = r1 È r2, для которого
a) схема отношения совпадает с R1 или R2,
b) реализация отношения представляет множество кортежей, принадлежащих реализации r1 и/или r2.
Формальная запись:
Даны r1(R1), r2(R2), r1 = {t1i}, r2 = {t2i}, R1 º R, R2 º R.
s = r1 È r2 = s(R), s = {ti | ti Î r1 и/или ti Î r2}
Пример:
r1 | (A | B | C) | r2 | (A | B | C) | s = r1 È r2 | (A | B | C) | ||
a1 | b1 | c1 | a1 | b2 | c1 | a1 | b1 | c1 | |||||
a1 | b2 | c1 | a2 | b2 | c1 | a1 | b2 | c1 | |||||
a2 | b1 | c2 | a2 | b2 | c2 | a2 | b1 | c2 | |||||
a2 | b2 | c1 | |||||||||||
a2 | b2 | c2 |
Свойства операции:
- коммутативна – r1 È r2 º r2 È r1
- ассоциативна – r1 È (r2 È r3) = (r1 È r2) È r3 = r1 È r2 È r3
Вычитание отношений
Определение
Вычитанием двух отношений r1(R1) и r2(R2), совместимых по объединению, называется отношение s = r1 – r2, для которого
a) схема отношения совпадает с R1 или R2,
b) реализация отношения представляет множество кортежей, принадлежащих реализации r1, за исключением тех, которые имеются в r2.
Формальная запись:
Даны r1(R1), r2(R2), r1 = {t1i}, r2 = {t2i}, R1 º R, R2 º R.
s = r1 – r2 = s(R), s = {ti | ti Î r1 и ti Ï r2}
Пример:
r1 | (A | B | C) | r2 | (A | B | C) | s = r1 – r2 | (A | B | C) | ||
a1 | b1 | c1 | a1 | b2 | c1 | a1 | b1 | c1 | |||||
a1 | b2 | c1 | a2 | b2 | c1 | a2 | b1 | c2 | |||||
a2 | b1 | c2 | a2 | b2 | c2 |
Свойства операции:
- не коммутативна
- не ассоциативна
Дата публикования: 2014-11-26; Прочитано: 1115 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!