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]

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 {Empresa} \ \land \ A=\mathrm {'Capitán'} }\ \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 {Empresa} }\\&\land \ {\exists D,E,F\ \left\langle D,E,F\right\rangle \in \mathrm {Departamentos} }\\&\land \ F=C\\&\land \ E=\mathrm {'Cartografía\ estelar'} \}\\\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 {Empresa} }\\&\land \ {\exists D\ \left\langle D,\mathrm {'Cartografía\ estelar'} ,C\right\rangle \in \mathrm {Departamentos} }\}\\\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' ; 
 
 
     
    

• Cálculo relacional

• 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