Es

una herramienta formal utilizada como lenguaje de consulta a base de datos relacionales(BDR). Formula la relacin resultante en trminos de la relaciones originales, es decir el CR es descriptivo. Esta basado en una rama de la lgica matemtica, llamado Lgica de Predicados o Clculos de Predicados de Primer Orden.

 Es

un lenguaje de consulta formal que permite expresar las consultas a partir de formulas bien formadas, donde las variables son interpretadas como variantes sobre las tuplas de las tablas. Se procesan tuplas de una o mas relaciones. Especificamos la informacin deseada sin dar un procedimiento para obtenerla

Podemos escribir consultas a una base de datos relacional utilizando expresiones del tipo: { t,e,x | P(t,e,x) } t,e,x: variables de tuplas P: predicado(expresin condicional) En una condicin solo pueden aparecer 2 tipos de variables: - Variables propias de la consulta. - Variables cuantificadas con o dentro de la condicin. El resultado de la consulta es el conjunto de todas las tuplas que satisfacen la condicin P(t,e,x)

Ejemplo 1: Obtener la fecha de nacimiento y la direccion del empleado (o empleados) cuyo nombre es 'Pedro Perez' Empleado(Cdula, Nombre, Apellido FechaN, Direccin) {e.FechaN, e.Direccion | Empleado(e) and e.Nombre = 'Pedro' and e.Apellido = 'Perez'}
-

Ejemplo 2: Obtener el nombre y la direccion de todos los empleados que trabajan para el departamento 'Investigacion Empleado(Cdula, Nombre, Apellido FechaN, Direccin, NumDpto) Dpto(NumDpto, NomDpto) {e.Nombre, e.Direccion | Empleado(e) and (d) (Dpto(d) and e.NumDpto = d.NumDpto and d.NomDpto = 'Investigacion')}
-

Ejemplo 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)}

 Ejemplo 2

Consulta: Obtener los nombres de departamentos que no tienen adscritas asignaturas AX : Asignatura DX : Departamento {DX.nombre | Departamento(PX) AX (Asignatura(AX) AX.cod_dep = DX.cod_dep)}