Реляционное исчисление — прикладная ветвь формальной теории, носящей название « исчисления предикатов первого порядка ». В основе исчисления лежит понятие переменной с определенной для неё областью допустимых значений и понятие правильно построенной формулы , опирающейся на переменные, предикаты и кванторы . Наряду с реляционной алгеброй является способом получения результирующего отношения в реляционной модели данных . В зависимости от того, что является областью определения переменной, различают:

• Исчисление кортежей

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

В статье не хватает ссылок на источники (см. рекомендации по поиску ). Информация должна быть проверяема , иначе она может быть удалена. Вы можете статью, добавив ссылки на авторитетные источники в виде сносок . ( 7 июня 2019 )