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

editar

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

editar
  1. E. F. Codd: Relational Completeness of Data Base Sub-languages. In R. Rustin, editor, Data Base Systems. Prentice Hall, 1972