| En todas las hojas: | DNI, NOMBRE DEL ALUMNO, y CONVOCATORIA (si es 5ª o 6ª) |
| Tiempo para la prueba: | 2 horas |
| Puntuación máxima del examen: | 6 puntos |
| No presentado: | 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). |
| Soluciones: | |
| Publicación de calificaciones: | el viernes 19 de diciembre, a las 16 horas, salvo 5ª y 6ª (a discreción del tribunal) |
| Revisión: | 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
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