Cálculo relacional basado en dominios
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.
Estructura
editarA 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.
Referencias
editar- ↑ E. F. Codd: Relational Completeness of Data Base Sub-languages. In R. Rustin, editor, Data Base Systems. Prentice Hall, 1972
Véase también
editar