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[editar]
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.
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]
| Control de autoridades |
|
|---|
Datos: Q5289831