Calculul relațional este o ramură aplicată a teoriei formale numită „ calcul de predicate de ordinul întâi ”. Calculul se bazează pe conceptul unei variabile cu o gamă de valori admisibile definite pentru aceasta și pe conceptul unei formule bine formate bazate pe variabile, predicate și cuantificatori . Împreună cu algebra relațională este o modalitate de a obține relația rezultată într-un model de date relaționale . În funcție de domeniul de aplicare al variabilei, există: