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

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

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

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