En todas las hojas Tiempo 2 horas Puntuación

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