El cálculo relacional de dominio es un lenguaje de consulta no procedimental equivalente en poder al cálculo relacional de tuplas. Domain Relational Calculus proporciona solo la descripción de la consulta, pero no proporciona los métodos para resolverla. En el cálculo relacional de dominios, una consulta se expresa como,
{ < x1, x2, x3, ..., xn > | P (x1, x2, x3, ..., xn ) }
donde, < x 1 , x 2 , x 3 , …, x n > representa las variables de los dominios resultantes y P (x 1 , x 2 , x 3 , …, x n ) representa la condición o fórmula equivalente al cálculo de predicados.
Fórmula de cálculo de predicados:
- Conjunto de todos los operadores de comparación
- Conjunto de conectores como and, or, not
- Conjunto de cuantificadores
Ejemplo:
Tabla-1: Cliente
| Nombre del cliente | Calle | Ciudad |
|---|---|---|
| Débito | Kadamtala | Alipurduar |
| Sayantán | Udaypur | Balurghat |
| Soumya | nutanchati | Bankura |
| Ritu | Juhú | Bombay |
Tabla-2: Préstamo
| número de préstamo | Nombre de la sucursal | Monto |
|---|---|---|
| L01 | Principal | 200 |
| L03 | Principal | 150 |
| L10 | Sub | 90 |
| L08 | Principal | 60 |
Tabla-3: Prestatario
| Nombre del cliente | número de préstamo |
|---|---|
| Ritu | L01 |
| Débito | L08 |
| Soumya | L03 |
Consulta-1: Encuentre el número de préstamo, sucursal, monto de préstamos de monto mayor o igual a 100.
{≺l, b, a≻ | ≺l, b, a≻ ∈ loan ∧ (a ≥ 100)}
Relación resultante:
| número de préstamo | Nombre de la sucursal | Monto |
|---|---|---|
| L01 | Principal | 200 |
| L03 | Principal | 150 |
Consulta-2: Encuentra el número de préstamo para cada préstamo de una cantidad mayor o igual a 150.
{≺l≻ | ∃ b, a (≺l, b, a≻ ∈ loan ∧ (a ≥ 150)}
Relación resultante:
| número de préstamo |
|---|
| L01 |
| L03 |
Consulta-3: Encuentre los nombres de todos los clientes que tienen un préstamo en la sucursal «Principal» y encuentre el monto del préstamo.
{≺c, a≻ | ∃ l (≺c, l≻ ∈ borrower ∧ ∃ b (≺l, b, a≻ ∈ loan ∧ (b = “Main”)))}
Relación resultante:
| Nombre del cliente | Monto |
|---|---|
| Ritu | 200 |
| Débito | 60 |
| Soumya | 150 |
Nota:
Las variables de dominio que estarán en la relación resultante deben aparecer antes de | dentro de ≺ y ≻ y todas las variables de dominio deben aparecer en el orden en que están en la relación o tabla original.