Tesis doctoral de María Ribera Sancho Samso
La finalidad de las especificaciones conceptuales de un sistema de informacion (si) es la representacion de la realidad organizacional, o del conocimiento abstracto sobre el universo de discurso, considerado desde el punto de vista estatico, de su estructura, y tambien desde el punto de vista dinamico, de su comportamiento. Existen, basicamente, dos enfoques para especificar conceptualmente los aspectos estatico y dinamico de un sistema de informacion, que se denominan operacional y deductivo. por lo que respecta a la modelizacion conceptual, el enfoque deductivo presenta numerosas ventajas respecto al operacional pero, como contrapartida, los modelos conceptuales deductivos (mcd) son mucho mucho mas dificiles de implementar que los operacionales. las principales decisiones de diseño necesarias para implementar un si a partir de un mcd son el diseño de la base de datos y el diseño de las transacciones. En esta tesis hemos demostrado que, a partir de una posible estructura de la base de datos, la especificacion de las transacciones a partir del mcd puede ser completamente automatizada: las precondiciones de cada transaccion se determinan a partir de las restricciones de integridad, y las actualizaciones de la base de datos se obtienen a partir de un analisis de las reglas de deduccion. El metodo que proponemos obtiene, automaticamente, a partir del mcd, un conjunto de reglas llamadas reglas de eventos internos, que definen explicitamente los cambios en los predicados derivados inducidos por la ocurrencia de un determinado evento externo. Usamos estas reglas para el diseño de las transacciones basandonos, fundamentalmente, en un procedimiento de evaluacion parcial. para aumentar la potencia del metodo de especificacion de transacciones, proponemos un procedimiento de simplificacion de las reglas de eventos internos. Este procedimiento usa el conjunto completo de las restricciones de integridad y tambien las propias regla
Datos académicos de la tesis doctoral «Disseny de transaccions a partir de models conceptuals deductius«
- Título de la tesis: Disseny de transaccions a partir de models conceptuals deductius
- Autor: María Ribera Sancho Samso
- Universidad: Politécnica de catalunya
- Fecha de lectura de la tesis: 01/01/1994
Dirección y tribunal
- Director de la tesis
- Antoni Olivé Ramon
- Tribunal
- Presidente del tribunal: Felix Saltor Soler
- Colette Roland (vocal)
- A. Bubenko Janis (vocal)
- Isidre Ramos (vocal)