Relationskalkyl är en tillämpad gren av den formella teorin som kallas " första ordningens predikatkalkyl ". Kalkylen är baserad på konceptet med en variabel med en rad tillåtna värden definierade för den och konceptet med en välformad formel baserad på variabler, predikat och kvantifierare . Tillsammans med relationalgebra finns ett sätt att få fram det resulterande sambandet i en relationsdatamodell . Beroende på omfattningen av variabeln finns det: