Изменения
→Простые условия
Разделяют три вида условий: простые, составные и условия с кванторами.
=== Простые условия ===
==== Cравнение атрибутов с константами ====
К простым условиям относится сравнение атрибутов с константами. Например, можно найти студентов с именем Иван:
S<font color = grey>.</font>Name <font color = grey>=</font> <font color = green>'Иван'</font>
S<font color = grey>.</font>Id <font color = grey><</font> <font color = #056967>5</font>
==== Cравнение атрибутов между собой ====
Также можно сравнивать атрибуты между собой, в том числе и на неравенство. Например найти студентов, имеющих идентификатор не меньше, чем идентификатор их группы:
S<font color = grey>.</font>Id <font color = blue>$\geq$</font> G<font color = grey>.</font>Id
==== Cравнение атрибутов с применением формул ====
В качестве расширения можно использовать произвольные формулы ровно так же, как были устроены расширения в [[Реляционная алгебра|реляционной алгебре]]. Можно использовать любые формулы, зависящие от значений кортежных переменных. Например, найти студентов, у которых имя на 3 символа длиннее фамилии:
length<font color = grey>(</font>S<font color = grey>.</font>FirstName<font color = grey>)</font> <font color = grey>=</font> length<font color = grey>(</font>S<font color = grey>.</font>LastName<font color = grey>)</font> <font color = grey>+</font> <font color = #056967>3</font>