Relational calculus

Relational calculus terdiri dari dua bate, yang Relational calculus dan domain relational calculus , yang merupakan bagian dari model relasional untuk database dan menyediakan cara deklaratif untuk menentukan query database. Hal ini berbeda dengan aljabar relasional yang juga merupakan bagian dari model relasional tetapi menyediakan cara yang lebih prosedural untuk menentukan query.
Aljabar relasional mungkin menyarankan langkah-langkah untuk mengambil nomor telepon dan nama toko buku yang menyediakan Beberapa Contoh Buku:

1. Bergabunglah toko buku dan judul di atas BookstoreID tersebut.
2. Membatasi hasil yang bergabung ke tupel untuk buku Beberapa Contoh Book.
3. Proyek hasil bahwa pembatasan atas StoreName dan StorePhone.

Kalkulus relasional akan merumuskan deskriptif, cara deklaratif:

Dapatkan StoreName dan StorePhone untuk persediaan sedemikian rupa sehingga terdapat judul BK dengan nilai BookstoreID yang sama dan dengan nilai BookTitle Beberapa Contoh Buku.

Aljabar relasional dan kalkulus relasional pada dasarnya logis setara : untuk setiap ekspresi aljabar, ada ekspresi setara dalam kalkulus, dan sebaliknya. Hasil ini dikenal sebagai teorema Codd .