Исчисление доменов и его реляционная полнота — различия между версиями
| Строка 42: | Строка 42: | ||
====Естественное соединение $R_1 ⋈ R_2$==== | ====Естественное соединение $R_1 ⋈ R_2$==== | ||
| − | $A_1$, ..., $A_n$, $B_1$, ..., $B_m$, $C_1$, ..., $C_l$ where $R_1$<font color=red>{</font>$A_i$ = $A_i$, $B_j$ = $B_j$<font color=red>}</font> ∧ $R_2$<font color=red>{</font>$C_k$ = $C_k$, $B_j$ = $B_j$<font color=red>}</font> | + | $A_1$, ..., $A_n$, $B_1$, ..., $B_m$, $C_1$, ..., $C_l$ <font color=blue>where</font> $R_1$<font color=red>{</font>$A_i$ = $A_i$, $B_j$ = $B_j$<font color=red>}</font> ∧ $R_2$<font color=red>{</font>$C_k$ = $C_k$, $B_j$ = $B_j$<font color=red>}</font> |
Версия 02:12, 13 декабря 2021
Содержание
Исчисление доменов и его реляционная полнота
Исчисление доменов
Синтаксис
Переменная :: Тип -- Переменная может принимать значения из какого-то типа. Тип == набор значений
-- Условие принадлежности отношению
Отношение {
Атрибут1 = Значение1,
Атрибут2 = Значение2,
...
}
Условие принадлежности
Предикат, значение которого истина тогда, когда в отношении есть кортеж с совпадающими значениями атрибутов.
Пример:
S{FirstName = 'Иван', LastName = 'Иванов'}
Примеры запросов
Реляционная полнота исчисления доменов
Проекция $\pi_{A_1, ..., A_n}(R)$
$A_1$, ..., $A_n$ from $R$ where $R${$A_1$ = $A_1$, ..., $A_n$ = $A_n$}
Фильтр $σ_θ(R)$
$A_1$, ..., $A_n$ from $R$ where $R${$A_1$ = $A_1$, ..., $A_n$ = $A_n$} ∧ $θ$
Переименовывание $ε_{A=expr}(R_1)$
expr as A from $R$ where $R${$A_1$ = $A_1$, ..., $A_n$ = $A_n$}
Объединение $R_1 ∪ R_2$
$A_1$, ..., $A_n$ where $R_1${$A_i$ = $A_i$} ∨ $R_2${$A_i$ = $A_i$}
Разность $R_1 ∖ R_2$
$A_1$, ..., $A_n$ where $R_1${$A_i$ = $A_i$} ∧ $¬R_2${$A_i$ = $A_i$}
Декартово произведение $R_1 × R_2$
$A_1$, ..., $A_n$, $B_1$, ..., $B_m$ where $R_1${$A_i$ = $A_i$} ∧ $R_2${$B_j$ = $B_j$}
Естественное соединение $R_1 ⋈ R_2$
$A_1$, ..., $A_n$, $B_1$, ..., $B_m$, $C_1$, ..., $C_l$ where $R_1${$A_i$ = $A_i$, $B_j$ = $B_j$} ∧ $R_2${$C_k$ = $C_k$, $B_j$ = $B_j$}
