Исчисление кортежей — Википедия

Исчисление кортежей — направление реляционного исчисления, где областями определения переменных являются тела отношений базы данных, то есть допустимым значением каждой переменной является кортеж тела некоторого отношения.

RANGE ИмяПеременной IS ИмяОтношения 

Ссылка на значение атрибута аналогична ссылке на значение поля структурной переменной в Си:

ИмяПеременной. ИмяАтрибута 

Правильно построенная формула (Well-Formed Formula, WFF) служит для выражения условий, накладываемых на кортежные переменные.

Простые условия представляют собой операции сравнения скалярных значений. Примеры:

ИмяПеременной. ИмяАтрибута = СкалярноеЗначение ИмяПеременнойА.ИмяАтрибутаБ = ИмяПеременнойВ.ИмяАтрибутаГ ИмяПеременной. ИмяАтрибута <> СкалярноеЗначение ИмяПеременнойА.ИмяАтрибутаБ < ИмяПеременнойВ.ИмяАтрибутаГ 

Сложные условия строятся с помощью логических связок NOT, AND, OR и IF … THEN с учётом обычных приоритетов операций (NOT > AND > OR) и возможности расстановки скобок. Так, если Формула — правильно построенная формула, а Условие — простое сравнение, то

NOT Формула Условие AND Формула Условие OR Формула IF Условие THEN Формула 

являются правильно построенными формулами.

Это заготовка статьи по информатике. Помогите Википедии, дополнив её.

Это заготовка статьи по математике. Помогите Википедии, дополнив её.

Для улучшения этой статьи по информационным технологиям желательно: Найти и оформить в виде сносок ссылки на независимые авторитетные источники, подтверждающие написанное. Проставить сноски, внести более точные указания на источники. Оформить статью по правилам. После исправления проблемы исключите её из списка. Удалите шаблон, если устранены все недостатки.

В другом языковом разделе есть более полная статья Tuple relational calculus (англ.). Вы можете помочь проекту, расширив текущую статью с помощью перевода