Càlcul relacional basat en dominis
El càlcul relacional basat en dominis (en anglés Domain relational calculus, DRC) és un càlcul propost per Michel Lacroix i Alain Pirotte com llenguage de consulta declarativo per a models relacionals de bases de senyes.
El càlcul té la mateixa expressivitat que l'àlgebra relacional,[1] i s'implementa en el llenguage SQL.
Estructura
A pesar de compartir els operadors que el càlcul relacional de tuplas no s'usen variables per a les tuplas sino per als seus dominis. D'esta forma les expressions tenen la forma { (x, i, z, ...) / P(x, i, z, ...) }, sent x, i, z variables de domini i P representa una fòrmula composta d'àtoms.
Referències
- ↑ E. F. Codd: Relational Completeness of Data Base Sub-languages. In R. Rustin, editor, Data Base Systems. Prentice Hall, 1972
- Este artícul conté una traducció derivada de «Cálculo relacional basado en dominios» de Wikipedia en castellà publicada baix la Llicència de documentació lliure de GNU i la Llicència Creative Commons Reconeiximent-CompartirIgual 4.0 Internacional.