Реляционное исчисление состоит из двух исчислений, реляционного исчисления кортежей и реляционного исчисления предметной области, которые являются частью реляционной модели для баз данных и обеспечивают декларативный способ задания запросов к базе данных.
реляционное исчисление аналогично реляционной алгебре, которая также является частью реляционной модели: в то время как реляционное исчисление подразумевается как декларативный язык, который не предписывает порядок выполнения для подвыражений выражения реляционного исчисления, реляционная алгебра подразумевается как императивный язык: подвыражения реляционных алгебраических выражений предназначены для выполнения слева- направо и наизнанку после их вложения. Выражение
A реляционной алгебры может предписывать следующие шаги для получения телефонных номеров и названий книжных магазинов, которые предоставляют Some Sample Book:
Выражение реляционного исчисления сформулирует этот запрос следующим описательным или декларативным образом:
Реляционная алгебра и реляционное исчисление логически эквивалентны : для любого алгебраического выражения существует эквивалентное выражение в исчислении, и наоборот. Этот результат известен как теорема Кодда.
Смысл существования реляционного исчисления - формализация оптимизации запросов. Оптимизация запроса заключается в определении на основе запроса наиболее эффективного способа (или способов) его выполнения. Оптимизацию запросов можно формализовать как перевод выражения реляционного исчисления, доставляющего ответ A, в эффективные реляционные алгебраические выражения, дающие тот же ответ A.