Изменения

Перейти к: навигация, поиск

Исчисление кортежей

874 байта добавлено, 23:56, 26 декабря 2021
→‎Условия
== Условия ==
Разделяют три вида условий: простые, составные и условия с кванторами.
=== Простые условия ===
Сравнение К простым условиям относится сравнение атрибутов с константами. Можно найти студентов с именем Иван:
S<font color = grey>.</font>Name <font color = grey>=</font> <font color = green>'Иван'</font>
Или выделить студентов с идентификатором меньше 5:
S<font color = grey>.</font>Id <font color = grey><</font> <font color = #056967>5</font>
Сравнение атрибутов Также можно сравнивать атрибуты между собой (, в том числе и на неравенство). Например найти студентов, имеющих идентификатор не меньше, чем идентификатор их группы:
S<font color = grey>.</font>Id <font color = blue>$\geq$</font> G<font color = grey>.</font>Id
Сравнение с применением формулВ качестве расширения можно использовать произвольные формулы ровно так же, как были устроены расширения в [[Реляционная алгебра|реляционной алгебре]]. Можно использовать любые формулы, зависящие от значений кортежных переменных. Например, найти студентов, у которых имя на 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>
Можно использовать любые формулы, зависящие от значений кортежных переменных.
=== Составные условия ===
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/81957»

Навигация