Связь алгебры и исчисления — различия между версиями
Sashapff (обсуждение | вклад) |
Sashapff (обсуждение | вклад) |
||
Строка 1: | Строка 1: | ||
== Алгебра через исчисление == | == Алгебра через исчисление == | ||
=== Проекция <tex>\pi_{A_1,\ldots,A_n}(R)</tex> === | === Проекция <tex>\pi_{A_1,\ldots,A_n}(R)</tex> === | ||
− | <font color = blue>select</font> | + | <font color = blue>select</font> A1<font color = gray>$,\ldots,$</font>An <font color = blue>from</font> R |
=== Фильтр <tex>\sigma_\theta(R)</tex> === | === Фильтр <tex>\sigma_\theta(R)</tex> === | ||
Строка 9: | Строка 9: | ||
<font color = blue>select</font> R<font color = grey>.*,</font> expr <font color = blue>as</font> A <font color = blue>from</font> R | <font color = blue>select</font> R<font color = grey>.*,</font> expr <font color = blue>as</font> A <font color = blue>from</font> R | ||
− | === Объединение <tex> | + | === Объединение <tex>R_1 \cup R_2</tex> === |
R <font color = grey>::</font> R1<font color = grey>,</font> R2 | R <font color = grey>::</font> R1<font color = grey>,</font> R2 | ||
+ | |||
+ | === Разность <text>R1 \setminus R2</tex> === | ||
+ | R <font color = grey>::</font> R1 <font color = blue>where ¬∃</font>R2 <font color = grey>(</font>R1 <font color = grey>=</font> R2<font color = grey>)</font> |
Версия 01:50, 20 декабря 2021
Содержание
Алгебра через исчисление
Проекция
select A1$,\ldots,$An from R
Фильтр
from R where $\theta$
Дополнительный столбец
select R.*, expr as A from R
Объединение
R :: R1, R2
Разность <text>R1 \setminus R2</tex>
R :: R1 where ¬∃R2 (R1 = R2)