Реляционное исчисление

Реляционное исчисление состоит из двух исчислений, реляционного исчисления кортежа и реляционного исчисления домена , которые являются частью реляционной модели для баз данных и предоставляют декларативный способ задания запросов к базам данных. Это в отличие от реляционной алгебры, которая также является частью реляционной модели, но обеспечивает более процедурный способ [ в соответствии с кем?] для указания запросов.

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

• 1 Присоединитесь к книжным магазинам и названиям через BookstoreID.
• 2 Ограничьте результат этого соединения кортежами для книги некоторого образца книги .
• 3 Спроецируйте результат этого ограничения на StoreName и StorePhone.

Реляционное исчисление сформулирует описательный, декларативный способ:

• Получить StoreName и StorePhone для книжных магазинов таким образом, что существует заголовок BK с тем же значением BookstoreID и со значением BookTitle некоторого образца книги .

Реляционная алгебра и реляционное исчисление по существу логически эквивалентны: для любого алгебраического выражения существует эквивалентное выражение в исчислении, и наоборот. Этот результат известен как теорема Кодда .