Различают: исчисление кортежей и исчисление доменов. Исчисление кортежей — направление реляционного исчисления, где областями определения переменных являются тела отношений базы данных, то есть допустимым значением каждой переменной является кортеж тела некоторого отношения. Различие исчисления от алгебры: в реляционной алгебре должен быть определен порядок действий, которые нужно произвести для получения результатов. В реляционном исчислении – мы описываем то, какой результат хотим получить, и система должна сама определить действие.
Для определения кортежей используется оператор range.Например, RANGE ИмяПеременной IS ИмяОтношения
Ссылка на значение атрибута аналогична ссылке на значение поля структурной переменной в Си: например,
ИмяПеременной. ИмяАтрибута
Правильно построенная формула (Well-Formed Formula, WFF) служит для выражения условий, накладываемых на кортежные переменные.
Простые условия представляют собой операции сравнения скалярных значений. Примеры:
ИмяПеременной. ИмяАтрибута = СкалярноеЗначение
ИмяПеременнойА.ИмяАтрибутаБ = ИмяПеременнойВ.ИмяАтрибутаГ
Сложные условия строятся с помощью логических связок NOT, AND, OR и IF … THEN с учётом обычных приоритетов операций (NOT > AND > OR) и возможности расстановки скобок.
