|
|
| Строка 1: |
Строка 1: |
| − | == Алгебра через исчисление ==
| |
| − | Выразим операции реляционной алгебры через операции реляционного исчисления.
| |
| − | === Проекция <tex>\pi_{A_1,\ldots,A_n}(R)</tex> ===
| |
| − | <font color = blue>select</font> A1<font color = gray>$,\ldots,$</font>An <font color = blue>from</font> R
| |
| | | | |
| − | === Фильтр <tex>\sigma_\theta(R)</tex> ===
| |
| − | <font color = blue>from</font> R <font color = blue>where</font> <font color = red>$\theta$</font>
| |
| − |
| |
| − | === Дополнительный столбец <tex>\varepsilon_{A=expr}(R)</tex> ===
| |
| − | <font color = blue>select</font> R<font color = grey>.*,</font> expr <font color = blue>as</font> A <font color = blue>from</font> R
| |
| − |
| |
| − | === Объединение <tex>R_1 \cup R_2</tex> ===
| |
| − | R <font color = grey>::</font> R1<font color = grey>,</font> R2
| |
| − |
| |
| − | === Разность <tex>R1 \smallsetminus R2</tex> ===
| |
| − | R <font color = grey>::</font> R1 <font color = blue>where $\lnot\exists$</font>R2 <font color = grey>(</font>R1 <font color = grey>=</font> R2<font color = grey>)</font>
| |
| − |
| |
| − | === Декартово произведение <tex>R_1 \times R_2</tex> ===
| |
| − | R1<font color = grey>.*,</font> R2<font color = grey>.*</font> <font color = blue>from</font> R1<font color = grey>,</font> R2
| |
| − |
| |
| − | === Естественное соединение <tex>R_1 \bowtie R_2</tex> ===
| |
| − | R1<font color = grey>.*,</font> R2<font color = grey>.*</font> <font color = blue>from</font> R1<font color = grey>,</font> R2 <font color = blue>where</font>
| |
| − | R1<font color = grey>.</font><font color = red>Атрибуты</font> <font color = grey>=</font> R2<font color = grey>.</font><font color = red>Атрибуты</font>
| |
| − |
| |
| − | Набор перечисленных операций составляет базис операций реляционной алгебры. Все операции этого набора можно эмулировать в терминах реляционного исчисления. Из этого следует, что выразительна мощность реляционного исчисления не меньше выразительной мощности реляционной алгебры.
| |
