Introduccin al Uso de WinRDBI

versin 2.0.5

Introduccin:
WinRDBI es una herramienta educativa, desarrollada por la Arizona State University, para
aprender los lenguajes relacionales formales practicndolos. Para ello, funciona con un interfaz
de usuario amigable en entorno Windows que posibilita la creacin de bases de datos
relacionales, la insercin de contenidos en dichas bases de datos, y la formulacin de consultas
en los siguientes lenguajes relacionales:
- lgebra Relacional (AR),
- Clculo Relacional de Tuplas (CRT),
- Clculo Relacional de Dominios (CRD),
- SQL (versin simplificada de SQL-92).
La versin actual (2.0.5) est desarrollada en Java (es necesario haber instalado antes el Java
Runtime Enviroment 1.3) y utiliza Amzi! Prolog para interpretar las consultas declarativas.
La pgina oficial de esta herramienta est en http://www.eas.asu.edu/~cse412/winrdbi.html.
Se recomienda a los alumnos de la asignatura Bases de Datos, de 3 curso, que utilicen esta
herramienta para resolver los ejercicios propuestos en el tema 4 (Lenguajes Relacionales).
Resumen de la sintaxis:
WinRDBI utiliza una sintaxis para los lenguajes formales relacionales (AR, CRT y CRD) muy
parecida a la explicada en el tema 4, pero los operadores matemticos estn cambiados por
palabras clave y la escritura es lineal (no existen subndices y superndices en las expresiones).
A continuacin presentamos un resumen de estas diferencias (leer la User Guide para
informacin ms detallada):
1) Consultas y asignaciones:
En cualquiera de los cuatro lenguajes permitidos, una consulta acaba un punto y coma ;.
Las asignaciones tienen la forma:
<relacin> := <consulta>
ejemplo:
em := empleados;
Se pueden renombrar atributos mediante:
<relacin>(<lista de atributos>) := <consulta>
ejemplo:
em(dni,nom,edad) := empleados;
2) Operadores del lgebra relacional:
En la tabla siguiente se resume la sintaxis de los operadores algebraicos:

UCLM-ESI (F.Ruiz)

BDa-wrdbi: WinRDBI. 1

lgebra Relacional (apuntes)

WinRDBI

p (R)

Select p (R)

x (R)

Project x (R)

R1 R2

R1 union R2

R1 R2

R1 difference R2

R1 x R2

R1 product R2

no incorporado

R1

condicin

R2

R1 * R2

R1 njoin R2

R1 R2

R1 intersect R2

R1 : R2

no incorporado

Tabla 1. Operadores del lgebra Relacional

3) Sintaxis del Clculo Relacional:

WinRDBI

FG

F or G

FG

F and G

not (F)

FG

no incorporado

xF

(exists X) (F)

xF

(forall X) (F)

Tabla 2. Operadores y Cuantificadores del Clculo Relacional

UCLM-ESI (F.Ruiz)

BDa-wrdbi: WinRDBI. 2

Ejemplos de consultas:
A continuacin se muestran varios ejemplos de consultas, formuladas en cada uno de los cuatro
lenguajes. Estas consultas estn basadas en el siguiente esquema:
empleados (dni, apel1, apel2, nombre, fechanac, direccin, sexo, salario, supervisor, dep)
departamentos (dnumero, dnombre, jefe, jefefecha)
dep_ciudades (dep, dciudad)
proyectos (pnumero, pnombre, pciudad, dep)
trabaja_en (emp, pro, horas)
parientes (emp, par_nombre, sexo, fechanac, parentesco)
con las siguientes integridades referenciales:
empleados.supervisor empleados
departamentos.jefe empleados
dep_ciudades.dep departamentos
proyectos.dep departamentos
trabaja_en.emp empleados
parientes.emp empleados

empleados.dep departamentos

trabaja_en.pro proyectos

Consulta 1
Recuperar el nombre y direccin de todos los empleados que trabajan para el departamento de
'Investigacion' :
alg1 := project nombre, direccion (select dnumero=dep ((select dnombre='Investigacion' (de)) product
em));
crt1 := {E.nombre, E.direccion | em(E) and
(exists D) ( de(D) and D.dnombre='Investigacion' and D.dnumero=E.dep )};
crd1 := {Nombre, Direccion | (exists Dnumero)
( de(Dnumero,'Investigacion',_,_) and em(_,_,_,Nombre,_,Direccion,_,_,_,Dnumero) )};
sql1 := select nombre, direccion
from empleados E, departamentos D
where D.dnombre = 'Investigacion' and E.dep = D.dnumero;

Consulta 2
Para cada proyecto localizado en 'Ciudad Real', listar el numero del proyecto, el numero del departamento
que lo controla, y los apellidos, nombre y direccion del jefe del departamento:
% proyectos localizados en 'Ciudad Real'
v21 := project pnumero,dep (select pciudad='Ciudad Real' (pr));
% departamentos que los controlan
v22(pnumero, depart, jefe) := project pnumero, dep, jefe (select dep=dnumero (v21 product de));
% jefes de dichos departamentos
alg2 := project pnumero, depart, apel1, apel2, nombre, direccion (select jefe=dni (v22 product em));
crt2 := {P.pnumero, P.dep, E.apel1, E.apel2, E.nombre, E.direccion |
pr(P) and em(E) and P.pciudad='Ciudad Real' and
(exists D) (de(D) and P.dep=D.dnumero and D.jefe=E.dni)};
crd2 := {Pnumero, Dep, Apel1, Apel2, Nombre, Direccion | (exists Jefe)
( pr(Pnumero,_,'Ciudad Real',Dep) and de(Dep,_,Jefe,_) and
em(Jefe,Apel1,Apel2,Nombre,_,Direccion,_,_,_,_) )};

UCLM-ESI (F.Ruiz)

BDa-wrdbi: WinRDBI. 3

sql2 := select pnumero, P.dep, apel1, apel2, nombre, direccion

Consulta 3
Encontrar los nombres de empleados que trabajan en todos los proyectos controlados por el
departamento 5 :
% proyectos del departamento 5
v31(pn) := project pnumero (select dep=5 (pr));
% empleados que trabajan en algun proyecto
v32(dni, pn) := project emp, pro (te);
v33 := project dni (v32);
% todas las posibles combinaciones de empleados (que trabajan en proyectos) y
% de proyectos del departamento 5
v34 := v31 product v33;
% empleados que NO trabajan en TODOS los proyectos del departamento 5
v35 := project dni (v34 difference v32);
v36 := v33 difference v35;
alg3 := project apel1, apel2, nombre (v36 njoin em);
crt3 := {E.apel1, E.apel2, E.nombre |
em(E) and (forall P) (not (pr(P)) or (not (P.dep=5) or (exists T)
(te(T) and T.emp=E.dni and P.pnumero=T.pro)))};
% F implica G = (not F) or G
crd3 := {Apel1, Apel2, Nombre | (exists Dni)
( em(Dni,Apel1,Apel2,Nombre,_,_,_,_,_,_) and not(exists Pnumero)
( pr(Pnumero,_,_,5) and not( te(Dni,Pnumero,_) )))};
sql3 := select apel1, apel2, nombre
from empleados E
where not exists ( select *
from proyectos P
where P.dep=5 and not exists ( select *
from trabaja_en T
where T.emp=E.dni and T.pro=P.pnumero));

En la pgina web de la asignatura se incluyen ficheros con estos ejemplos y otros ms.

UCLM-ESI (F.Ruiz)

BDa-wrdbi: WinRDBI. 4