NAVIGATION CHECK

Integrantes:
Nigel Davila Maturano
Rosimar Panozo Villarroel
Jorge Rocha Vidaurre
Navigation check
¿Que es navigation check?

Es un tipo especial de verificación cruzada en la cual

verificamos si todas las transacciones pueden ser realizadas
por un sistema que implementa el modelo ER.

Esto esta hecho para cada transacción relevante, dibujando

una ruta de navegación a través del diagrama ER, que
representa la ruta que un sistema seguiría a través de los
datos para ejecutar la transacción.

2
La ruta de navegación se dibuja mediante
el siguiente procedimiento:

Dibuje una flecha doble que apunte a los tipos de entidad donde
comienza la ruta (o puede comenzar).

Escriba un C, R, U o D en cada entidad una relación a la que se

accede en el camino, correspondiente al tipo de acceso realizado.

Indique cómo se recorre el diagrama dibujando flechas a lo largo de

las flechas dibujadas en el diagrama, anotado con condiciones de
acceso.

Compruebe para cada entidad y relación si los atributos leídos o

actualizados cuando recorriendo el camino están presentes.

3
Por ejemplo, supongamos que
queremos verificar si el siguiente
diagrama es suficiente para
responder la consulta:

● Obtener los nombres y direcciones

de todos los miembros que deben
devolver uno o más documentos.

4
La ruta de navegación sería la siguiente:

5
un sistema que implementa el diagrama puede responder la consulta, ya que el nombre y la
dirección de los miembros están representados en el diagrama. Como ejemplo de una
corrección que se puede hacer de esta manera, supongamos que la consulta hubiera requerido
que el sistema clasificará a los miembros de su familia nombre. Entonces el diagrama debería
haber sido cambiado reemplazando el nombre:

MIEMBRO →STRING por apellido: MIEMBRO → STRING e iniciales: MIEMBRO →STRING.

6
Método para transformar un modelo ER en un esquema relacional. el
resultado es un esquema que debe estar optimizado para el
rendimiento.

1. Transforma todas las relaciones de muchos en su representación

de diamante.
2. Escriba las declaraciones de los atributos de todos los tipos de
entidades y relaciones.
3. Indique un atributo identificador externo para cada tipo de entidad.
4. Agregue identificadores compuestos a cada declaración de
relación.
5. Indique la clave principal de cada declaración.
6. Agregar relaciones muchos a uno como claves referenciales.