Исчисление кортежей: различия между версиями

'''Исчисление кортежей''' — направление [[Реляционное исчисление|реляционного исчисления]], где [[Функция (математика)#Определение|областями определения]] [[Переменная|переменных]] являются тела [[Отношение (реляционная модель)|отношений]] [[База данных|базы данных]], то есть допустимым значением каждой переменной является [[Кортеж (информатика)|кортеж]] тела некоторого отношения.

<source lang=""> RANGE ИмяПеременной IS ИмяОтношения</source>
Ссылка на значение атрибута аналогична ссылке на значение поля структурной переменной в Си: <source lang="">
ИмяПеременной. ИмяАтрибута</source>

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

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

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

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

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

<source lang=""> NOT Формула

Условие AND Формула

Условие OR Формула

IF Условие THEN Формула</source>

{{rq|sources|refless|stub|wikify|topic=IT}}

[[Категория:РеляционнаяРеляционное модель данныхисчисление]]