Ejemplos de Clculo Relacional

Fuentes http://www-db.stanford.edu/~ullman/fcdb.html Fundamentals of Database Systems, Elmasri y Navathe Database System Concepts,Silberschatz, Korth, Sudarshan

Clculo Relacional
Lenguaje de consulta equivalente Algebra Declarativo Dos enfoques:
Orientado a Tuplas: variables toman valores sobre tuplas (SQL) Orientado a Dominios: variables toman valores sobre Dominios (QBE)

Elementos del lenguaje: variables, constantes, operadores de comparacin, cuantificadores y conectivos lgicos

Clculo Relacional
Subconjuntos de la Lgica de Primer Orden Expresiones en clculo son frmulas Respuestas son asignaciones a las variables que hacen verdadera la frmula

Clculo Orientado a Tuplas

Consulta {T | p(T)}
p(T) es una frmula en la que aparece la variable de tupla variable T

Respuesta conjunto de todas las tuplas T que hacen verdadera la frmula p(T)

Clculo Orientado a Tuplas

Frmula
atmicas : para recuperar tuplas de las relaciones o comparar valores Compuestas: combinacin de frmulas y conectivos lgicos Ejemplos:
pq r (q(r)) r.a s.a

Ejemplos
Profesores(cod-p, nomb, categoria, facultad) Asignaturas(cod-a, nombre, creditos) Matricula(cod-e, cod-a, grupo, calificacin) Programacin (cod-a, cod-p, cod-s ,grupo, horario, aula) Estudiante(cod-e, nombre, sexo, programa, promedio)

Seleccin y Proyeccin
Encuentre estudiantes con promedio mayor 4

{e |e Estudiante e.promedio > 4}

Encontrar nombres de profesores de Ingeniera que sean titulares o asociados

{p | p Profesor p.facultad=ingenieria p.categora = (titular asociado)}

Joins
Listar las asignaturas que ofrece el profesor Pedro Prez {a | aAsignatura c(cProgramacin c.cod-a=a.cod-a p (p Profesor p.nombre = Pedro Prez p.cod-p= c.cod-p)}