Esquema Lógico EXAMENES AULA ASIGNATURA EXAMEN

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? 1

• 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

2