Esquema Lógico EXAMENES
AULA(aulario:dom_ario, planta:dom_plan, aula:dom_aula, capacidad:dom_capa)
CP(aulario, planta, aula)
ASIGNATURA(cod:dom_cod, nombre:dom_nom, curso:dom_curso, tipo:dom_tipo)
CP: (cod)
EXAMEN(convocatoria:dom_conv, cod:dom_cod, fecha:dom_fecha, hora:dom_hora)
CP: (convocatoria, cod)
CAj: cod ! ASIGNATURA
SEREALIZAEN(aulario:dom_ario, planta:dom_plan, aula:dom_aula, convocatoria:dom_conv, cod:dom_cod)
CP: (aulario, planta, aula, convocatoria, cod)
CAj: (aulario, planta, aula) ! AULA
CAj: (convocatoria, cod) ! EXAMEN
c:dom_conv, a:dom_cod
f1) "c"a(EXAMEN(convocatoria:c, cod:a) ! CELEBRA(convocatoria:c, cod:a))
e, e1: examen; a1,a2:asignatura
f2) "e(EXAMEN(e) ! ¬"e2(examen(e2) " e2.fecha = e.fecha " "a1(asignatura(a1) " a1.cod=e.cod " "a2(asignatura(a2) "a2.cod <> a1.cod " a2.curso = a1.curso " (a1.tipo = obligatoria " a1.tipo = troncal) " (a2.tipo = obligatoria " a2.tipo = troncal)))))
((0.25+0.5) + 0.5)=1.25 puntos
Dado el esquema lógico de Exámenes,
¿Qué significan las fórmulas f1 y f2? Dar el enunciado que se resolvería con cada una de esas expresiones.
Definir una interpretación que sea modelo para esas fórmulas, y demostrar que efectivamente es modelo.
1 punto
Responder brevemente a las siguientes cuestiones referentes al mismo esquema lógico:
Insertar una tupla en EXAMEN implica insertar obligatoriamente una nueva tupla en SEREALIZAEN, ¿cierto o falso? ¿Por qué?
Si dom_conv = { junio, septiembre, diciembre }, ¿cuál es el valor de Card(cod, EXAMEN)?
Los exámenes se realizan en un único aulario; ¿cierto o falso?
Si queremos borrar una tupla de SEREALIZAEN, ¿qué información adicional necesita el SGBD? ¿Necesita alguna?
Si queremos insertar una tupla en EXAMEN, ¿qué hará el SGBD antes de la inserción?
1 punto
A partir del mismo esquema lógico, obtener en Algebra Relacional: “nombre de las asignaturas que tienen algún examen que se realiza en mas de un aula del aulario II”.
0.75 puntos
Dado el siguiente diagrama de dependencias funcionales
Fundamentos de las Bases de Datos
Fundamentos de las Bases de Datos
Fundamentos de las Bases de Datos
