Реляционное исчисление с переменными на доменах

. В этом варианте РИ используются скалярные переменные, принимающие значения на доменах.