En ciencias de la computación , el cálculo relacional de dominio ( DRC ) es un cálculo que fue introducido por Michel Lacroix y Alain Pirotte como un lenguaje de consulta de base de datos declarativo para el modelo de datos relacionales . [1]
En la República Democrática del Congo, las consultas tienen la forma:
donde cada X i es una variable de dominio o una constante, ydenota una fórmula DRC . El resultado de la consulta es el conjunto de tuplas X 1 a X n que hacen que la fórmula DRC sea verdadera.
Este lenguaje utiliza los mismos operadores que el cálculo de tuplas , las conectivas lógicas ∧ (y), ∨ (o) y ¬ (no). El cuantificador existencial (∃) y el cuantificador universal (∀) se pueden utilizar para vincular las variables.
Su expresividad computacional es equivalente a la del álgebra relacional . [2]
Ejemplos de
Deje que (A, B, C) signifique (Rango, Nombre, ID) en la relación Enterprise
y deje que (D, E, F) signifique (Nombre, DeptName, ID) en la relación Departamento
Todos los capitanes de la nave espacial USS Enterprise :
En este ejemplo, A, B, C denota tanto el conjunto de resultados como un conjunto en la tabla Enterprise.
Nombres de los miembros de la tripulación de Enterprise que están en la cartografía estelar:
En este ejemplo, solo buscamos el nombre, y ese es B. La condición F = C es un requisito que describe la intersección de los miembros de la tripulación de Enterprise Y los miembros del Departamento de Cartografía Stellar.
Una representación alternativa del ejemplo anterior sería:
En este ejemplo, el valor del dominio F solicitado se coloca directamente en la fórmula y la variable de dominio C se reutiliza en la consulta de la existencia de un departamento, ya que ya contiene la identificación de un miembro de la tripulación.
Ver también
Referencias
- ^ Michel Lacroix, Alain Pirotte: lenguajes relacionales orientados al dominio . VLDB 1977: 370-378
- ^ EF Codd : Integridad relacional de los sub-lenguajes de la base de datos . En R. Rustin, editor, Data Base Systems. Prentice Hall, 1972