Cálculo Relacional

1. CONTENIDO

• Definició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.

Tipos:

Cálculo Relacional de Dominios

Es un lenguaje de consulta formal que permite expresar las consultas a partir de fórmulas
bien formadas, donde cada variable se interpreta como variante sobre el dominio del
atributo de una relación. Al igual que el anterior, éste se deduce del cálculo de predicados,
pero en este caso:
1. las variables están asociadas a los dominios de los atributos y se denota como  relación (atributo1: variable1, atributo2: variable2, ... ). Ejm: ModeloCarro(modelo: m, marca: c).
2. los predicados utilizados se construyen igual que para el cálculo relacional de tuplas.

Calculo Relacional de Tuplas

Tuplas

Una tupla se define como una función finita que asocia unívocamente los nombres de los atributos de una relación con los valores de una instanciación de la misma. En términos simplistas, es una fila de una tabla relacional.

Cálculo Relacional Basado En Tuplas. 

Está basado en el cálculo de predicados utilizando variables-tupla que representan tuplas, esto obliga a introducir algunos cambios en las definiciones comentadas anteriormente, y que pasamos a exponer.

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 es el conjunto de 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:

Profesores(cod-p, nomb, categoria, facultad)

Asignaturas(cod-a, nombre, creditos) Matricula(cod-e, cod-a, grupo, calificación) Programación (cod-a, cod-p, cod-s ,grupo, horario,

aula)

Estudiante(cod-e, nombre, sexo, programa, promedio)

   Encuentre estudiantes con promedio mayor 4

       {e |e    Estudiante    e.promedio > 4}

   Encontrar nombres de profesores de Ingeniería que sean titulares o asociados

{p | p   Profesor    p.facultad=“ingenieria”

p.categoría = (“titular”    “asociado”)}

Listar las asignaturas que ofrece el profesor

“Pedro Pérez”

{a | a  Asignatura

c(c  Programación   c.cod-a=a.cod-a p (p   Profesor

p.nombre = “Pedro Pérez”

p.cod-p= c.cod-p)}

2. RESUMEN  

Lenguaje de Consulta para bases de datos relacionales Ø Se utiliza para manipulación de datos a partir de las relaciones Ø Basado en el Cálculo de Predicados de Primer Orden (refleja las relaciones que existen entre los elementos de un dominio) Ø Variantes: de tuplas y de dominio

 ·         Podemos definir una formula con base a combinaciones de fórmulas 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.

3.SUMMARY:

Query language for relational databases or used for data manipulation from relationships or based on the calculation of first-order predicate (reflects the relationship between the elements of a domain) or variants: tuples and domain

  · We can define a formula based on combinations of atomic formulas.

· An atomic formula is a combination of variables constant (tuple type or domain type, as appropriate) and attributes or by using operators such as <,>, =,! =, <=,> =.

· It is also a variable ratio ∈ atomic formula.

· The combinations of atomic formulas are generated from the use of operators such as NOT (¬) AND (∧), OR (∨), →.

· The ∃, ∀ quantifiers limit a variable.

4.RECOMENDACIONES:

5.CONCLUSIONES:

6.APRECIACION CRITICA

 Para este trabajo de investigación fue sencillo ya que conté con material específicamente sobre el tema e investigue un poco mas en Internet, espero te ayude.

7.GLOSARIO O TÉRMINOS

• Tupla: Es na secuencia de valores agrupados. Una tupla sirve para agrupar, como si fueran un único valor, varios valores que, por su naturaleza, deben ir juntos

8.BIBLIOGRAFIA O LINCOGRAFIA 

Ver aqui Diapositivas

https://www.slideshare.net/secret/mkYyiNTXFPPHI5