Está constituido con los mismos operadores que el cálculo relacional de tuplas pero no hay tuplas sino variables dominio.