El cálculo relacional basado en dominios (en inglés Domain relational calculus, DRC) es un cálculo propuesto por Michel Lacroix y Alain Pirotte como lenguaje de consulta declarativo para modelos relacionales de bases de datos.
El cálculo tiene la misma expresividad que el álgebra relacional,[1] y se implementa en el lenguaje SQL.
A pesar de compartir los operadores que el cálculo relacional de tuplas no se usan variables para las tuplas sino para sus dominios.
De esta forma las expresiones tienen la forma { (x, y, z, ...) / P(x, y, z, ...) }, siendo x, y, z variables de dominio y P representa una fórmula compuesta de átomos.