Исчисление кортежей
Исчисление кортежей — направление реляционного исчисления, где областями определения переменных являются тела отношений базы данных, то есть допустимым значением каждой переменной является кортеж тела некоторого отношения.
Операторы исчисления кортежей (в синтаксисе языка QUEL)[править | править код]
Определение кортежной переменной[править | править код]
RANGE ИмяПеременной IS ИмяОтношения
Ссылка на значение атрибута аналогична ссылке на значение поля структурной переменной в Си:
ИмяПеременной. ИмяАтрибута
Правильно построенные формулы[править | править код]
Правильно построенная формула (Well-Formed Formula, WFF) служит для выражения условий, накладываемых на кортежные переменные.
Простые условия[править | править код]
Простые условия представляют собой операции сравнения скалярных значений. Примеры:
ИмяПеременной. ИмяАтрибута = СкалярноеЗначение ИмяПеременнойА.ИмяАтрибутаБ = ИмяПеременнойВ.ИмяАтрибутаГ ИмяПеременной. ИмяАтрибута <> СкалярноеЗначение ИмяПеременнойА.ИмяАтрибутаБ < ИмяПеременнойВ.ИмяАтрибутаГ
Сложные условия[править | править код]
Сложные условия строятся с помощью логических связок NOT, AND, OR и IF … THEN с учётом обычных приоритетов операций (NOT > AND > OR) и возможности расстановки скобок. Так, если Формула — правильно построенная формула, а Условие — простое сравнение, то
NOT Формула Условие AND Формула Условие OR Формула IF Условие THEN Формула
являются правильно построенными формулами.
Это заготовка статьи по информатике. Помогите Википедии, дополнив её. |
Это заготовка статьи по математике. Помогите Википедии, дополнив её. |
Для улучшения этой статьи по информационным технологиям желательно:
|
В другом языковом разделе есть более полная статья Tuple relational calculus (англ.). |