Relationsregning er en anvendt gren af den formelle teori kaldet " førsteordens prædikatregning ". Regnestykket er baseret på begrebet en variabel med en række tilladte værdier defineret for den og begrebet en velformet formel baseret på variabler, prædikater og kvantifikatorer . Sammen med relationel algebra er en måde at opnå det resulterende forhold i en relationel datamodel . Afhængigt af hvad omfanget af variablen er, er der: