Relační počet je aplikovaná větev formální teorie nazývaná " predikátový počet prvního řádu ". Počet je založen na konceptu proměnné s rozsahem pro ni definovaných přípustných hodnot a konceptu dobře vytvořeného vzorce založeného na proměnných, predikátech a kvantifikátorech . Spolu s relační algebrou je způsob, jak získat výsledný vztah v relačním datovém modelu . V závislosti na tom, jaký je rozsah proměnné, existují: