Cálculo Relacional Albino Quiroz Cercado.

Jonathan Menor More

TEMA: CALCULO RELACIONALI.CALCULO 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.

I. VARIABLES Y CONSTANTES Como se puede observar por su definición, en las fórmulas aparecen variables. A cada una de estas apariciones se les denomina ocurrencia de una variable. En una misma fórmula puede haber más de una ocurrencia de una misma variable o de distintas.  

Variables libres y ligadas. El alcance de ∀x en la fórmula ∀x F es F. Igualmente, el alcance de ∃x en la fórmula ∃x F también es F.

La regla iii) de la definición de fbf permite distinguir dos clases de ocurrencias de las variables: libres y ligadas. Una ocurrencia ligada de una variable en una fbf es una ocurrencia sobre la que actúa un cuantificador, o una ocurrencia dentro del alcance de un cuantificador que actúa sobre la misma variable. Cualquier otra ocurrencia es libre.

Fórmulas abiertas y cerradas. Una fórmula abierta es aquella que tiene ocurrencias libres de variables. Una fórmula cerrada es la que no las posee. Habitualmente, si F es una fórmula que tiene una ocurrencia libre de la variable x, se suele expresar como F(x).

I. TIPOS 

Cálculo relacional basado en tuplas (TRC). Una consulta en TRC es de la forma:

{T | φ(T )}Dónde T es una variable tipo tupla y φ(T) es una fórmula que describe a T. El resultado de esta consulta es el conjunto de todas las tuplas t para las cuales la fórmula es verdadera.

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

Sintáxis de consulta en TRC.La sintáxis 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.

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 q y, donde x e y son variables de dominio y q es un operador de comparación aritmética (>, <, =, ¹). Es necesario que los atributos x e y, tengan dominios cuyos miembros puedan compararse mediante q.

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

Variable de tipo dominio.Conjunto de posibles valores que puede tomar en la relación.

I. EJEMPLOSEJEMPLO 1. Consulta: “Nombres de profesores que imparten BDA” PX : Profesor DX : Docencia {PX.nombre  { Profesor(PX) ∧ ∃DX (Docencia(DX) ∧ DX.cod_pro=PX.cod_pro ∧ DX.cod_asg=‘BDA’)}

I.RESUMEN Subconjunto del cálculo de predicados de primer orden Una consulta básica tiene la forma { t | cond (t) }, donde– t representa una variable de tupla – cond es una expresión condicional – La expresión representa (literalmente) un conjunto de tuplas que cumplen la condición

I.SUMMARY Subset of predicate calculus of first order A basic query has the form { t | cond ( t) } , where- t is a tuple variable - cond is a conditional expression - The expression represents (literally ) a set of tuples that satisfy the condition

I. RECOMENDACIONES

I.CONCLUSIONES 

Las necesidades de información de los usuarios cambian constantemente. No es posible anticiparlas en su totalidad. La combinación de variables junto con sus códigos en todos los proyectos de censos y encuestas de la institución conforma una cifra prácticamente infinita. El modelo relacional de bases de datos con sus relaciones normalizadas es una solución simple y elegante para satisfacer las más diversas condiciones de consulta y extracción de datos e información.

I.APRECIACION DEL EQUIPO El modelo relacional así como el cálculo relacional permiten por medio de la normalización facilitar el acceso a la información de la manera más sencilla a través de consultas por ello la simplicidad es lo que se busca al normalizar BD.

I. LINKOGRAFIA 

https://es.wikipedia.org/wiki/C%C3%A1lculo_relacional

http://users.dsic.upv.es/~emarzal/bda/PDF%20Anteriores/Tema2b_ejer.pdf

http://ocw.univalle.edu.co/ocw/ingenieria-de-sistemas-telematica-y-afines/base-de-datos/material-1/BD-6.pdf

http://es.slideshare.net/albertsinergy/algebra-y-calculo-relacional

http://www.doanalytics.net/Documents/Modelo_Relacional.pdf

http://arantxa.ii.uam.es/~castells/docencia/edat/6-consultas.pdf

Gracias