Fundamentos de las Bases de Datos

Lógica Proposicional. Algebra Relacional. Calculo Relacional. Dependencias Funcionales. Esquema Lógico

  • Enviado por: Rogelio Moreno
  • Idioma: castellano
  • País: España España
  • 2 páginas
publicidad

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