РЕЛЯЦИОННАЯ АЛГЕБРА. ( ДОПОЛНИТЕЛЬНЫЕ ОПЕРАЦИИ)

Дополнительные операции:

1)	соединение;
2)	пересечение;

деление.

Ниже определенные операции называются дополнительными, так как каждую из этих операций можно выразить через основную.

1)	Операция соединения (R join S)- является основной операцией реляционной алгебры и производной от операции декартовое произведение.

Различают следующие 5 типов операций соединения:

1)	тета-соединение Θ-join;
2)	соединение по эквивалентности equal-join;

3)	естественное соединение natural-join;
4)	внешнее соединение outer-join;

5)	полусоединение semi-join;

Операция тета-соединение (Θ-join). Определяет новое отношение, содержащее кортежи из декартового произведения R × S, которые удовлетворяют предикату F. При написании предиката можно использовать операции отношения и логические операции. Степенью нового отношения, полученного в результат, будет сумма степеней операндов отношений R и S. Если предикат в своём определении содержит только оператор равенства, то такое соединение называют соединением по эквивалентности.

Естественное соединение (natural join). Это соединение по эквивалентности двух отношений R и S, выполненное по всем общим атрибутам, причём из результата исключается по одному экземпляру каждого общего атрибута. Степенью отношения является сумма степеней R и S за вычетом количества общих атрибутов.

Внешнее соединение (outer-join). Это соединение отношений R и S по общим атрибутам, при котором в результат включаются и кортежи отношения R, не имеющих совпадающих значений в общих столбцах отношения S.

Полусоединение (semi-join).Операция полусоединения определяет отношение, содержащее те кортежи отношения R, которые входят в соединение отношений R и S.

Объект_недв (№объекта, Адрес, Тип, Число_комнат);

Осмотр (№объекта, №арендатора, №сотруд, Дата);

(R Θ-join S)_F;

(Объект_недв Θ-join Осмотр) _{Объект_недв.№объекта = Осмотр.№объекта ^ Дата = x}

σ_дата=x(Объект_недв natural-join Осмотр)

σ_{дата=null}(Объект_недв outer-join Осмотр)

(Объект_недв semi-join Осмотр) _{Объект_недв.№объекта = Осмотр.№объекта}

2)	Операция пересечения (R З S). Операция пересечения является операцией производной от операции разности R – (R - S). Результатом операции будут те кортежи, которые присутствуют как в отношении R, так и в S.
3)	Операция деления (RёS). Результатом операции является набор кортежей отношения R, определенных на множестве атрибутов S, которые соответствуют комбинациям всех кортежей отношения S.

(RёS);

T=T₁- T₂;

T₁= П_с(R);

T₂= П_с((S× T₁)-R).

Например,имеются отношения Осмотр (№объекта, №арендатора, №сотрудника, Дата) и Объекты_недвижимости( №объекта, Тип, Число_комнат, Адрес, Аренда), необходимо создать список всех арендаторов, которые рассматривали объекты недвижимости с 3-мя комнатами.

П_{№объекта, №арендатора}(Осмотр) ё П_{№объекта}(σ_{число_комнат=3}(Объект_недв))

В начало

РЕЛЯЦИОННОЕ ИСЧИСЛЕНИЕ ДОМЕНОВ.

Использует переменные, значения которых берутся из доменов отношений. Если P(d₁, d₂, …., d_n) – предикат, то множество переменных, для которых значение предиката является истинным, записывается – {d₁, d₂, d₃| P(d₁, d₂, d₃)}.

В реляционном исчислении доменов проверяется условие принадлежности заданного значения указанному отношению.

Например: необходимо отыскать типы объектов недвижимости, имеющих число комнат, равных трём.

{Тип | $ Тип (Объекты_недв (Тип, Чило_комнат) ^ Число_комнат =3)}

Определить типы объектов недвижимости, которые осматривались вчера:

{Тип | $ Тип (Объекты_недв (№объекта, Тип) ^ Осмотр (№объекта, Дата) ^ Объект_недв. №объекта = Осмотр. №объекта ^ Дата = ‘11/03/13’)}

Язык реляционного исчисления является непроцедурным языком и теоритической основой для разработки более современных языков БД.

Языки SEQUEL, SQUARE, SQL основаны на реляционном исчислении кортежей.

Язык QBE (Query-By-Example) основан на реляционном исчислении доменов.

В начало