En todas las hojas: Tiempo para la prueba: Puntuación máxima del examen: No presentado: Soluciones: Publicación de calificaciones: Revisión:

DNI, NOMBRE DEL ALUMNO, y CONVOCATORIA (si es 5ª o 6ª) 2 horas 6 puntos Se dispone de 30 minutos desde el comienzo del examen para decidir si se entrega el examen o no (en este último caso no se agotaría convocatoria ni se corrige el test). el viernes 19 de diciembre, a las 16 horas, salvo 5ª y 6ª (a discreción del tribunal) el miércoles 25 de septiembre de 10 a 13 y de 16 a 17:30, laboratorio de 3er ciclo DLSI.

Tribunal 5ª y 6ª • Utiliza las hojas por delante y por detrás, con las respuestas para cada pregunta una a continuación de las otras. • El único color que no se permite utilizar al escribir es el rojo, y se puede contestar a lápiz. • El sistema de evaluación global de la asignatura se halla publicado en Internet. Esquema Lógico 1 Provincia(nombre : domNom, extensión : domReal) CP(nombre) Ciudad(provincia : domNom, nombre : domNom, habitantes : domEnt) CP: (provincia, nombre) CAj: provincia ! PROVINCIA

Carretera(p1 : domNom, c1 : domNom, p2 : domNom, c2 : domNom, distancia : domReal) CP: (p1,c1,p2,c2) CAj: (p1,c1) ! Ciudad CAj: (p2,c2) ! Ciudad VNN: distancia

• (0.5 + 0.5)=1 punto Dado el esquema lógico 1 y el siguiente conjunto de fórmulas: r1:Carretera, r2:Carretera f1) "r1(Carretera(r1) ! ¬"r2(Carretera(r2) " r1.p1 = r2.p2 " r1.c1 = r2.c2 " r2.p1 = r1.p2 " r2.c1 = r1.c2)) p : Provincia, c : Ciudad f2) "c(Ciudad(c) ! "p(Provincia(p) " c.provincia = p.nombre))) • Definir una interpretación que sea modelo para esas fórmulas, y demostrar que efectivamente es modelo. • ¿Hay alguna fórmula, de f1 y f2, que sea innecesaria? ¿Cuál y porqué? • 0.75 puntos

1

Responder BREVEMENTE a las siguientes cuestiones referentes al mismo esquema lógico: • De toda ciudad parte una carretera, ¿cierto o falso? ¿Por qué? • Siempre existe una carretera con la que llegar a cualquier ciudad, ¿cierto o falso? ¿Por qué? • Toda provincia tiene al menos una ciudad ¿cierto o falso? ¿Por qué? • Toda carretera que parte de una provincia llega, obligatoriamente a otra provincia distinta, ¿cierto o falso? ¿Por qué? • Una carretera puede tener como origen y destino la misma ciudad con una distancia de 1000 Km, ¿cierto o falso? ¿Por qué? • (0.5+0.25) = 0.75 puntos A partir del mismo esquema lógico, obtener • en Algebra Relacional: dar el nombre y la extensión de aquellas provincias con al menos 2 carreteras unidas por la misma ciudad (Alicante es destino de Elche−Alicante y origen de Alicante−San Vicente). • en Cálculo Relacional de tuplas: no existen carreteras que partan de una ciudad X y lleguen a la misma ciudad X. • 0.5 puntos Dado el esquema lógico 1, dar los valores correctos de las siguientes expresiones: Card(Ciudad, Provincia) = Card(Ciudad, Carretera) = • 1 punto

2