Relaatiolaskenta on muodollisen teorian soveltava haara, jota kutsutaan " ensimmäisen asteen predikaattilaskuksi ". Laskenta perustuu muuttujan käsitteeseen, jolle on määritelty useita sallittuja arvoja, sekä muuttujiin, predikaatteihin ja kvantoreihin perustuvan hyvin muodostetun kaavan käsitteeseen . Relaatioalgebran lisäksi se on tapa saada tuloksena oleva suhde relaatiotietomallissa . Muuttujan laajuudesta riippuen on olemassa: