Las bases de datos activas (BDA) son extensiones de bases de datos (BD) tradicionales, las cuales además de tener un comportamiento pasivo (modificar ú obtener datos solicitados por el usuario) reaccionan ante la presencia de uno ó más eventos en la BD. El comportamiento activo de una BD se modela con las reglas Evento-Acción-Condición (reglas ECA). La mayoría de las BDA comerciales utilizan el enfoque de las reglas ECA y ofrecen su propio lenguaje de definición de reglas ECA. Sin embargo, los administradores de BDA no pueden llevar a cabo una simulación la simulación del comportamiento de las reglas ECA antes de implementarlas en la BDA. Además, la sintaxis de definición varía entre un sistema y otro, y no existe una manera general adecuada para todos los sistemas. La red de Petri (PN) es una herramienta de modelación y simulación gráfica y matemática, la cual puede extenderse fácilmente con conceptos de PN orientadas a objetos, híbridas, coloreadas, etc. Además, puede utilizar en un rango amplio de aplicaciones. Las BDA son un área nueva y prometedora de la aplicación de PN. En esta tesis se propone, una PN extendida, la Red de Petri Coloreada Condicional (CCPN). Los elementos de la regla ECA (evento, condición y acción) pueden modelarse como lugares y transiciones de una CCPN. Entonces, la base de reglas ECA se modela con una CCPN y la ejecución de la CCPN simula el comportamiento de la BDA. Además, se desarrolló una interfaz gráfica basada en el concepto de CCPN. Bajo el ambiente de ECAPNSim, automáticamente se genera una CCPN a partir de un conjunto de reglas ECA, además, el comportamiento de la base de reglas ECA es simulado con la CCPN obtenida. ECAPNSim se conecta fácilmente a una BD para detectar eventos y ejecutar acciones especi- ficadas en la base de reglas. Tres ejemplos pequeños de bases de reglas ECA se tomaron de la literatura para demostrar la factibilidad del modelo CCPN y del software ECAPNSim.
Abstract
Active data bases (ADB) are database (DB) extensions, which, besides to have a passive behavior (to modify or to obtain data asked for by the user), react with the presence of one or more events in the DB. The active behavior of a DB can be modeled with the event-condition-action (ECA) rules. Most of the commercial ADB use ECA rule approach and they provide to their own syntax of active rule language. Nevertheless, ADB administrators cannot carry out a simulation of the ECA rules behavior before its implementation in ADB. Also the syntaxes vary with databases, there doesn’t exist a general one which suitable for any database. Petri net (PN) is a graphical and mathematical tool of modeling and simulation, it can be extended easily with many concepts such as object oriented, hybrid, colored, etc. On the other hand, it can be used in a variety of application field; Active database is a new and promising application area of PN. In this thesis, an extended PN is proposed, named Conditional Colored Petri Net (CCPN). ECA rule elements event, condition and action can be modeled as places and transitions in a CCPN. Then, an ECA rule base may be modeled as a CCPN model, and the execution of the CCPN simulates the active behavior of the active database. Furthermore, we develop a graphical interface CAPNSim based on CCPN concept. Under ECAPNSim environment, a CCPN model can be automatically generated from an ECA rules set, therefore the ECA rule base behavior will be simulated with this produced CCPN model. Additionally, ECAPNSim can be easily connected to a database to detect events and execute the actions specified in the rule base. For case study, Postgres database is adopted as a passive database to connect with ECAPNSim. Three small ECA rule bases from literatures are illustrated to demonstrate the feasibility of CCPN model and ECAPNSim software.
