А INTERSECT В


А UNION В

Элементы реляционной алгебры

Манипуляционная часть реляционной модели утверждает, что доступ к реляционным данным осуществляется при помощи реляционной алгебры или эквивалентного ей реляционного исчисления.

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

Каждое отношение должно иметь уникальное имя в пределах базы данных. Имя отношения, полученного в результате выполнения реляционной операции, определяется в левой части равенства. Но можно не требовать наличия имен от отношений, полученных в результате выполнения реляционных операторов, если эти отношения подставляются в качестве аргументов в другие реляционные выражения. Такие отношения называются неименованными отношениями. Они реально не существуют, а только вычисляется во время выполнения действий, заданных реляционным выражением.

Определяют восемь реляционных операторов, разделяемых на две группы:

· теоретико-множественные операторы: объединение, пересечение, вычитание и декартово произведение;

· специальные реляционные операторы: выборка, проекция, соединение и деление.

Некоторые реляционные операторы требуют, чтобы отношения были совместимыми по типу. Совместимыми по типу называются отношения, имеющие идентичные заголовки, а именно:

· отношения имеют одно и то же множество имен атрибутов, то есть для любого атрибута в одном отношении обязательно найдется атрибут с таким же именем в другом отношении;

· атрибуты с одинаковыми именами определены на одних и тех же доменах.

Объединением двух совместимых по типу отношений А и В называется отношение с тем же заголовком и телом, состоящим из кортежей, принадлежащих или А, или В, или обоим отношениям.

Операция объединения записывается:

Объединение отношений, также как любое отношение, не может содержать одинаковых кортежей. Поэтому, если некоторый кортеж входит и в отношение А, и в отношение В, то в объединение он входит один раз.

Пересечением двух совместимых по типу отношений А и В называется отношение с тем же заголовком и телом, состоящим из кортежей, принадлежащих одновременно обоим отношениям.

Операция пересечения записывается:

Вычитанием двух совместимых по типу отношений А и В называется отношение с тем же заголовком и телом, состоящим из кортежей, принадлежащих отношению А и не принадлежащих отношению В.

Операция вычитания записывается: