A számítás egy változó fogalmán alapul, amelynek megengedett értékeinek tartománya van definiálva, valamint egy jól formált , változókon, predikátumokon és kvantorokon alapuló formula koncepcióján . A relációs algebra mellett egy módja annak, hogy a kapott összefüggést relációs adatmodellben kapjuk meg . Attól függően, hogy mi a változó hatóköre, vannak: