462
правки
Изменения
Нет описания правки
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>
=== Реляционная полнота исчисления кортежей ===
Набор перечисленных операций составляет базис операций реляционной алгебры. Все операции этого набора можно эмулировать в терминах реляционного исчисления. Из этого следует, что выразительна мощность реляционного исчисления не меньше выразительной мощности реляционной алгебры.
== Исчисление через алгебру ==
{{Определение
|definition=
'''Предваренная нормальная форма''' {{---}} выражение, в начале которого записаны все кванторы, а затем глобальное условие.
}}
Для того, чтобы преобразовать выражение реляционного исчисления в выражение реляционной алгебры необходимо выполнить последовательность действий:
* Построить выражения для каждой переменной;
* Взять декартово произведение;
* Отфильтровать по условию в предваренной нормальной форме;
* Применить кванторы.
