Blog Ciencia
Cálculo relacional
Cálculo relacional
De Wikipedia, la enciclopedia libre
Uno o más wikipedistas están trabajando actualmente en extender este artículo.
Es posible que, a causa de ello, haya lagunas de contenido o deficiencias de formato. Por favor, antes de realizar correcciones mayores o reescrituras, contacta con ellos en su página de usuario o la página de discusión del artículo para poder coordinar la redacción.
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.
Tabla de contenidos |
[editar] Relación con la lógica de primer orden
- Podemos definir una formula en 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.
[editar] Clases de Cálculo Relacional
Podemos distinguir, a lo menos, dos Clases de Cálculo Relacional:
[editar] 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.
[editar] 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).
[editar] 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 unica variable libre.
