Cálculo relacional

Cálculo relacional

El Cálculo relacional es un lenguaje de consulta que describe la respuesta deseada sobre una Base de datos sin especificar como obtenerla, a diferencia del Álgebra relacional que es de tipo procedural, el cálculo relacional es de tipo declarativo; pero siempre ambos métodos logran los mismos resultados.

Contenido

Relación con la lógica de primer orden

  • Podemos definir una formula con base a combinaciones de formulas atómicas.
  • Una formula atómica es una combinación de variables (tipo tupla o tipo dominio, según corresponda) y atributos o constantes, gracias al uso de operadores como <, >, =, !=, <=, >=.
  • También es una formula atómica variable ∈ Relación.
  • Las combinaciones de fórmulas atómicas se generan a partir del uso de operadores como NOT (¬), AND (∧), OR (∨), →.
  • Los cuantificadores ∃, ∀ limitan una variable.

Clases de Cálculo Relacional

Podemos distinguir, a lo menos, dos Clases de Cálculo Relacional:

Cálculo Relacional basado en Tuplas. (TRC)

Una consulta en TRC es de la forma:

{T | φ(T )}

donde T es una variable tipo tupla y φ(T ) es una fórmula que describe a T. El resultado de esta consulta, son todas las tuplas t para las cuales la fórmula es verdadera.

Variable de tipo tupla

Una variable tipo tupla T es una variable capaz de tomar cualquier valor tupla que pertenece a una relación (o tabla).

Sintaxis de consulta en TRC

La sintaxis es definida a partir de la lógica de primer orden. Donde la variable a utilizar son de tipo tupla. Una variable es libre en una fórmula (o subfórmula) si la (sub) fórmula no contiene ninguna ocurrencia de cuantificadores que la limiten. En una consulta en TRC de la forma: {T | φ(T )}, T es la única variable libre.

Ejemplos

Cálculo Relacional basado en Dominios (DRC)

Está constituido con los mismos operadores que el calculo relacional de tuplas pero no hay tuplas sino variables dominio. Las expresiones del cálculo relacional de dominios son de la forma { (x,y,z.....) / P(x, y, z...) }. Donde x, y,z representan las variables de dominio, P representa una fórmula compuesta de átomos (igual que en el CRT). Los átomos del cálculo relacional de dominios tienen una de las siguientes formas:

1. (x, y, z )  r, donde r es una relación con n atributos y x , y, z .son variables de dominio o constantes.

2. x  y, donde x e y son variables de dominio y  es un operador de comparación aritmética (>, <, =, ). Es necesario que los atributos x e y, tengan dominios cuyos miembros puedan compararse mediante .

3. x  c, donde x es una variable de dominio,  es un operador de comparación y c es una constante en el dominio del atributo x.

Variable de tipo dominio

Sintaxis de consulta en DRC

Ejemplos

pi euler = 3,1416

Véase también

Obtenido de "C%C3%A1lculo relacional"

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Cálculo infinitesimal — Saltar a navegación, búsqueda El cálculo infinitesimal o cálculo de infinitesimales constituye una parte muy importante de la matemática moderna. Es normal en el contexto matemático, por simplificación, simplemente llamarlo cálculo. El cálculo,… …   Wikipedia Español

  • Cálculo (desambiguación) — Saltar a navegación, búsqueda Cálculo puede referirse a: En Matemática: Cálculo infinitesimal es la rama base del análisis matemático. Se divide a su vez en: Cálculo diferencial Cálculo integral Cálculo, algoritmo mediante el cual se conocen las… …   Wikipedia Español

  • Modelo relacional — El modelo relacional para la gestión de una base de datos es un modelo de datos basado en la lógica de predicados y en la teoría de conjuntos. Es el modelo más utilizado en la actualidad para modelar problemas reales y administrar datos… …   Wikipedia Español

  • Base de datos relacional — Saltar a navegación, búsqueda Una base de datos relacional es una base de datos que cumple con el modelo relacional, el cual es el modelo más utilizado en la actualidad para modelar problemas reales y administrar datos dinámicamente. Permiten… …   Wikipedia Español

  • Álgebra relacional — El álgebra relacional es un conjunto de operaciones que describen paso a paso como computar una respuesta sobre las relaciones, tal y como éstas son definidas en el modelo relacional. Denominada de tipo procedimental, a diferencia del Cálculo… …   Wikipedia Español

  • Tupla — Una tupla, en matemáticas, es una secuencia ordenada de objetos, esto es, una lista con un número limitado de objetos (una secuencia infinita se denomina en matemática como una familia). Las tuplas se emplean para describir objetos matemáticos… …   Wikipedia Español

  • SQL — Desarrollador(es) IBM ISO/IEC 9075 1:2008 Información general Paradigma Multiparadigma …   Wikipedia Español

  • Normalización de bases de datos — Para otros usos de este término, véase Normalización (desambiguación). El proceso de normalización de bases de datos consiste en aplicar una serie de reglas a las relaciones obtenidas tras el paso del modelo entidad relación al modelo relacional …   Wikipedia Español

  • Clave primaria — En el diseño de bases de datos relacionales, se llama clave primaria a un campo o a una combinación de campos que identifica de forma única a cada fila de una tabla. Una clave primaria comprende de esta manera una columna o conjunto de columnas.… …   Wikipedia Español

  • Optimización de consultas — Se ha sugerido que este artículo o sección sea fusionado con Optimizador de consultas (discusión). Una vez que hayas realizado la fusión de artículos, pide la fusión de historiales aquí. Cuando hablamos de optimización de consultas nos referimos… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”