462
правки
Изменения
Нет описания правки
* <tex>T_3=\pi_{G_∗}(T_2)</tex>. Еще один квантор существования, снова проецируем.
* <tex>T=\pi_{G_∗}(\pi_{G_∗,S_∗,C_∗}(\sigma_{P.Points\geq60}((G \bowtie S \times C) \bowtie P)) \bowtie C)</tex>. Можем записать как одно большое выражение в терминах реляционной алгебры.
== Реляционная полнота ==
Любое выражение в терминах реляционной алгебры можно преобразовать в выражение в терминах реляционного исчисления. Также любое выражение реляционного исчисления можно преобразовать в обратную сторону к выражению реляционной алгебры. Таким образом, выразительные мощности исчисления и алгебры равны (алгебра рассматривается без агрегации).
{{Определение
|definition=
'''Реляционно-полные языки''' {{---}} языки, выразительная мощность которых не меньше выразительной мощности реляционной алгебры.
}}
Получаем, что исчисление кортежей реляционно полно.
