Реляционное исчисление (relational calculus), или исчисление отношений, не обладает такой степенью математической сложности, как реляционная алгебра, и позволяет фокусировать внимание только на том, какие данные запрашивать у базы, а не на том, как проводить запрос. Другими словами, оно позволяет использовать декларативный язык, т.е. фокусироваться на ожидаемых результатах и условиях, которые должны быть удовлетворены в ходе процесса, и не беспокоится об упорядочении концепций реляционной алгебры.
В его основе лежит область математической логики, называемая исчислением высказываний (propositional calculus) или, точнее, исчислением предикатов первого порядка (first-predicate calculus). Что касается операций, то в реляционном исчислении для манипулирования отношениями в логических выражениях применяются операции наподобие AND (И) и OR (ИЛИ).
