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