Cálculo relacional de dominios

En informática , 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 el formato:

${\displaystyle \{\langle X_{1},X_{2},....,X_{n}\rangle \mid p(\langle X_{1},X_{2},....,X_{n}\rangle )\}}$

donde cada X _i es una variable o constante de dominio y denota una fórmula DRC . El resultado de la consulta es el conjunto de tuplas X ₁ a X _n que hacen que la fórmula DRC sea verdadera. ${\displaystyle p(\langle X_{1},X_{2},....,X_{n}\rangle )}$

Este lenguaje utiliza los mismos operadores que el cálculo de tuplas , los conectivos lógicos ∧ (y), ∨ (o) y ¬ (no). Se pueden utilizar el cuantificador existencial (∃) y el cuantificador universal (∀) para vincular las variables.

Su expresividad computacional es equivalente a la del álgebra relacional . ^[2]

Ejemplos

Sea (A, B, C) (Rango, Nombre, ID) en la relación Empresa

y sea (D, E, F) (Nombre, NombreDept, ID) en la relación Departamento

Todos los capitanes de la nave espacial USS Enterprise : $${\displaystyle \left\{\ {\left\langle A,B,C\right\rangle }\mid {\left\langle A,B,C\right\rangle \in \mathrm {Enterprise} \ \land \ A=\mathrm {'Captain'} }\ \right\}}$$

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 del Enterprise que están en Cartografía Estelar: $${\displaystyle {\begin{aligned}\{{\left\langle B\right\rangle }&\mid {\exists A,C\ \left\langle A,B,C\right\rangle \in \mathrm {Enterprise} }\\&\land \ {\exists D,E,F\ \left\langle D,E,F\right\rangle \in \mathrm {Departments} }\\&\land \ F=C\\&\land \ E=\mathrm {'Stellar\ Cartography'} \}\\\end{aligned}}}$$

En este ejemplo, solo buscamos el nombre, que es B. La condición F = C es un requisito que describe la intersección de los miembros de la tripulación del Enterprise Y los miembros del Departamento de Cartografía Estelar.

Una representación alternativa del ejemplo anterior sería: $${\displaystyle {\begin{aligned}\{{\left\langle B\right\rangle }&\mid {\exists A,C\ \left\langle A,B,C\right\rangle \in \mathrm {Enterprise} }\\&\land \ {\exists D\ \left\langle D,\mathrm {'Stellar\ Cartography'} ,C\right\rangle \in \mathrm {Departments} }\}\\\end{aligned}}}$$

En este ejemplo, el valor del dominio F solicitado se coloca directamente en la fórmula y la variable del dominio C se reutiliza en la consulta de la existencia de un departamento, ya que ya contiene el ID de un miembro de la tripulación.

Ambos escritos en SQL serán así:

SELECCIONAR B DE Empresa UNIR Departamento EN F = C Y E = 'Cartografía estelar' ;           

Véase también

• Cálculo relacional

Referencias

1. Michel Lacroix, Alain Pirotte: Lenguajes relacionales orientados al dominio. VLDB 1977: 370-378
2. EF Codd : Completitud relacional de los sublenguajes de bases de datos. En R. Rustin, editor, Data Base Systems. Prentice Hall, 1972

Enlaces externos

• DES – Una herramienta educativa para trabajar con cálculo relacional de dominio y otros lenguajes formales
• WinRDBI: una herramienta educativa para trabajar con cálculo relacional de dominios y otros lenguajes formales