WikiSort.ru - Не сортированное

Отношения, совместимые по объединению

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

Отношения называются совместимыми по объединению, если

• они имеют одно и то же множество имен атрибутов, то есть для любого атрибута в одном отношении найдется атрибут с таким же наименованием в другом отношении,
• атрибуты с одинаковыми именами определены на одних и тех же типах данных (доменах).

Некоторые отношения не являются совместимыми по объединению, но становятся таковыми после переименования некоторых атрибутов.

Отношения, совместимые по взятию расширенного декартова произведения

Реляционный операции расширенного декартова произведения требует, чтобы отношения-операнды не обладали одноименными атрибутами. Отношения называются совместимыми по взятию расширенного декартова произведения, если пересечение множеств имен атрибутов, взятых из их схем отношений, пусто.

Объединение

Отношение с тем же заголовком, что и у совместимых по типу отношений A и B, и телом, состоящим из кортежей, принадлежащих или A, или B, или обоим отношениям.
Синтаксис:
A UNION B

Пересечение

Отношение с тем же заголовком, что и у совместимых по типу отношений A и B, и телом, состоящим из кортежей, принадлежащих одновременно обоим отношениям A и B.
Синтаксис:
A INTERSECT B

Вычитание

Отношение с тем же заголовком, что и у совместимых по типу отношений A и B, и телом, состоящим из кортежей, принадлежащих отношению A и не принадлежащих отношению B.
Синтаксис:
A MINUS B

Декартово произведение

Отношение (A₁, A₂, …, A_m, B₁, B₂, …, B_m), заголовок которого является сцеплением (конкатенацией) заголовков отношений A(A₁, A₂, …, A_m) и B(B₁, B₂, …, B_m), а тело состоит из кортежей, являющихся сцеплением кортежей отношений A и B:

таких, что (a₁, a₂, …, a_m)∈ A, (b₁, b₂, …, b_m)∈ B.

Синтаксис:

A TIMES B

Выборка (ограничение)

Отношение с тем же заголовком, что и у отношения A, и телом, состоящим из кортежей, значения атрибутов которых при подстановке в условие c дают значение ИСТИНА. c представляет собой логическое выражение, в которое могут входить атрибуты отношения A и/или скалярные выражения.
Синтаксис:
A WHERE c

Проекция

Проекция в реляционной алгебре — унарная операция, которая позволяет получить «вертикальное» подмножество данного отношения, или таблицы, то есть такое подмножество, которое получается выбором специфицированных атрибутов с последующим исключением, если это необходимо, избыточных дубликатов кортежей. Пусть дана таблица ${\displaystyle T}$ с именами атрибутов ${\displaystyle A_{1},\;A_{2},\;\ldots ,\;A_{n}}$ , то есть ${\displaystyle T(A_{1},\;A_{2},\;\ldots ,\;A_{n})}$ и некоторое подмножество множества имен атрибутов ${\displaystyle \{A_{i_{1}},\;A_{i_{2}},\;\ldots ,\;A_{i_{k}}\}}$ . Результатом проекции таблицы по выбранным именам атрибутов называется новая таблица ${\displaystyle T(A_{i_{1}},\;A_{i_{2}},\;\ldots ,\;A_{i_{k}})}$ , полученная из исходной таблицы вычеркиванием атрибутов, не входящих в выбранное множество, с последующим возможным удалением избыточных дубликатов кортежей.

При осуществлении проекции необходимо задать проецируемое отношение и некий набор его атрибутов, который станет заголовком результирующего.

Соединение

Операция соединения есть результат последовательного применения операций декартового произведения и выборки. Если в отношениях и имеются атрибуты с одинаковыми наименованиями, то перед выполнением соединения такие атрибуты необходимо переименовать.
Синтаксис:
(A TIMES B) WHERE c

Деление

Отношение с заголовком (X₁, X₂, …, X_n) и телом, содержащим множество кортежей (x₁, x₂, …, x_n), таких, что для всех кортежей (y₁, y₂, …, y_m) ∈ B в отношении A(X₁, X₂, …, X_n, Y₁, Y₂, …, Y_m) найдется кортеж (x₁, x₂, …, x_n, y₁, y₂, …, y_m).
Синтаксис:
A DIVIDEBY B