SOLUCIONES

Esquema Lógico ALGO

Todas las preguntas están referidas al esquema de BD relacional anterior.

Marca con un círculo la respuesta correcta y justifica esa respuesta.

VERDADERO. La clave ajena a TOMO está dentro de la clave primaria

VERDADERO. No existe en la tabla PROGRAMA clave ajena que la relacione con ARTÍCULO (que es quien, en realidad, tiene la clave ajena hacia PROGRAMA).

VERDADERO. si lo interpretamos como que cada artículo sólo pertenece a un único título (y siempre pertenece al menos a uno); la clave ajena de ARTÍCULO hacia TOMO (que siempre tiene valor por formar parte de la clave primaria), de este último hacia PROPIO y de éste hacia TÍTULO (que por la misma razón siempre tienen valor) así lo refleja.

FALSO, si la interpretación del enunciado es que “todos los ARTÍCULOS pertenecen al mismo artículo”.

VERDADERO, puesto que la relación es de ARTÍCULO a TOMO y de TOMO a PROPIO y no a AJENO.

(Se admite también FALSO, si se tiene en cuenta la tabla PROGRAMA)

VERDADERO, descripción es un atributo que admite nulos.

FALSO, puesto que la clave ajena de TOMO hacia PROPIO admite duplicados al ser sólo parte de la clave primaria.

Especifica en las casillas al lado de cada fórmula los conceptos que se están cubriendo con ella

(se suponen todas las variables declaradas adecuadamente)

Resuelve los siguientes enunciados en Álgebra Relacional

articulo[ntit, tema] " (titulo donde nombre = “Título primero”) [tema]

programa[prog] - (articulo[prog])

"

articulo[prog, ntit, num, numa] ÷ articulo[ntit, num, numa]

T: TOMO; A: ARTÍCULO

{ T.páginas | tomo(T) ! "A(artículo(A) " A.num = T.num " A.ntit = T.ntit ) }

donde G = tomo(T) ! "A(artículo(A) " A.num = T.num " A.ntit = T.ntit )

Supongamos un valor de T " dom(G):

Verdadero

¿cómo has llegado a ese resultado?

Si x " dom(G) entonces tomo(T) es FALSO, y una implicación con FALSO como antecedente siempre se evalúa a VERDADERO.

NO

¿por qué?

Hemos visto que un valor de la variable libre T es capaz de hacer la fórmula cierta sin pertenecer al dominio

En el esquema lógico ALGO todas las claves ajenas se pueden aplicar las estrategias de RECHAZAR o PROPAGAR. ANULAR no se puede utilizar puesto que ninguna clave ajena admite nulos.

PROPIO Y AJENO, TOMO por el borrado en PROPIO, y ARTÍCULO por el borrado en TOMO.

Si aseguramos que para cada valor de C2 le corresponde siempre el valor de C3 tal como aparece en la tabla, ¿qué podemos decir sobre su forma normal?

La clave primaria sólo puede ser (c1, c2) o (c1, c2, c5), bien por la existencia de duplicados, bien de nulos en las columnas o combinaciones de las mismas. En ambos casos, la tabla está en primera y no en segunda forma normal, puesto que c3 depende funcionalmente de forma no completa de la clave primaria.

¿qué anomalía se puede producir al insertar una nueva tupla?

Podríamos crear una inconsistencia puesto que nada nos impide poner distintos valores de c3 para el mismo valor de c2.

O nos obligaría (si no normalizamos) a revisar los valores anteriores de c3 para evitar la inconsistencia.

¿y al borrar?

Podríamos perder información relevante. Si suponemos que c4 y c5 dependen funcionalmente de forma completa de c1, entonces la eliminación de una ocurrencia del objeto representado por c1 nos obliga a borrar los datos correspondientes a (c2, c3): si estos valores no aparecen en ninguna otra tupla de la relación perderemos las características de ese objeto representado por ese valor de c2. Si borráramos las filas con valor de c1=1 y c1=4, perderíamos la información de los objetos c2=C y c2=B.

¿y al modificar?

Sería posible llevar a la BD a un estado inconsistente puesto que, al igual que en la inserción, podríamos tener distintos valores de c3 para el mismo valor de c2, bien por la actualización de c2 o por la de c3. Nuevamente, la solución pasaría por un proceso externo que velara por la integridad de los datos.

3