 |
АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомДругоеЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция
Фактически, берем таблицу, меняем название столбца, получаем результат
4) Реляционная конъюнкция. Пусть s обозначает результат операции r 1 <AND> r 2. Для обеспечения возможности выполнения операции требуется, чтобы если <A, T1> 
H r 1 и <A, T2> H r 2, то T1=T2. Другими словами, если в двух отношениях-операндах имеются одноименные атрибуты, то они должны быть определены на одном и том же типе (домене). Тогда:
· H s = H r 1 union H r 2, т. е. заголовок результата получается путем объединения заголовков отношений-операндов, как в операциях TIMES и JOIN из предыдущей лекции;
· B s = { t s: exists t r 1 exists t r 2 ((t r 1 B r 1 and t r 2 B r 2) and t s = t r 1 union t r 2)}; обратите внимание на то, что кортеж результата определяется как объединение кортежей операндов; поэтому:
o если схемы отношений-операндов имеют непустое пересечение, то операция <AND> работает как естественное соединение;
o если пересечение схем операндов пусто, то <AND> работает как расширенное декартово произведение;
o если схемы отношений полностью совпадают, то результатом операции является пересечение двух отношений-операндов.
Заголовок r s является объединением заголовков r 1 и r 2. Тело s включает каждый кортеж, соответствующий заголовку s и являющийся надмножеством некоторого кортежа из тела r 1 и некоторого кортежа из тела r 2. Смотрите лучше пример =)
5) Реляционная дизъюнкция. Пусть s обозначает результат операции r 1 <OR> r 2. Для обеспечения возможности выполнения операции требуется, чтобы если <A, T1> H r 1 и <A, T2> H r 2, то должно быть T1 = T2 (одноименные атрибуты должны быть определены на одном и том же типе). Тогда:
- H s = H r 1 union H r 2 (из схемы результата удаляются атрибуты-дубликаты);
- B s = { t s: exists t r 1 exists t r 2 ((t r 1 B r 1 or t r 2 B r 2) and t s = t r 1 union t r 2)}; очевидно, что при этом:
- если у операндов нет общих атрибутов, то в тело результирующего отношения входят все такие кортежи t s, которые являются объединением кортежей t r 1 иt r 2, соответствующих заголовкам отношений-операндов, и хотя бы один из этих кортежей принадлежит телу одного из операндов;
- если у операндов имеются общие атрибуты, то в тело результирующего отношения входят все такие кортежи t s, которые являются объединением кортежей t r 1 и t r 2, соответствующих заголовкам отношений-операндов, если хотя бы один из этих кортежей принадлежит телу одного из операндов, и значения общих атрибутов t r 1 и t r 2 совпадают;
- если же схемы отношений-операндов совпадают, то тело отношения-результата является объединением тел операндов.
Заголовок s есть объединение заголовков r 1 и r 2. Тело s состоит из всех кортежей, соответствующих заголовку s и являющихся надмножеством либо некоторого кортежа из тела r 1, либо некоторого кортежа из тела r 2. Смотрите лучше пример =)
Поиск по сайту: