A structured approach for the definition of the semantics of active databases
- 1 December 1995
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Database Systems
- Vol. 20 (4) , 414-471
- https://doi.org/10.1145/219035.219042
Abstract
Active DBMSs couple database technology with rule-based programming to achieve the capability of reaction to database (and possibly external) stimuli, called events . The reactive capabilities of active databases are useful for a wide spectrum of applications, including security, view materialization, integrity checking and enforcement, or heterogeneous database integration, which makes this technology very promising for the near future. An active database system consists of a (passive) database and a set of active rules ; the most popular form of active rule is the so-called event-condition-action (ECA) rule, which specifies an action to be executed upon the occurrence of one or more events, provided that a condition holds. Several active database systems and prototypes have been designed and partially or completely implemented. Unfortunately, they have been designed in a totally independent way, without the support of a common theory dictating the semantics of ECA rules, and thus often show different behaviors for rules with a similar form. In this article we consider a number of different possible options in the behavior of an active DBMS, based on a broad analysis of some of the best known implemented systems and prototypes. We encode these options in a user-readable form, called Extended ECA . A rule from any existing system can be rewritten in this formalism making all the semantic choices apparent. Then an EECA rule can be automatically translated into an internal (less readable) format, based on a logical style, which is called core format: the execution semantics of core rules is specified as the fixpoint of a simple transformation involving core rules. As an important premise to this research, a semantics for database updates and transactions has also been established, with respect to a notion of state that comprises both data and events. The article also presents an extensive bibliography on the subject of active databases.Keywords
This publication has 18 references indexed in Scilit:
- Automatic generation of production rules for integrity maintenanceACM Transactions on Database Systems, 1994
- An intelligent database system application: The design of EMSPublished by Springer Nature ,1994
- Database Programming in Transaction LogicPublished by Springer Nature ,1994
- Beyond coupling modesPublished by Springer Nature ,1994
- A new perspective on rule support for object-oriented databasesPublished by Association for Computing Machinery (ACM) ,1993
- An overview of production rules in database systemsThe Knowledge Engineering Review, 1993
- The integration of rule systems and database systemsIEEE Transactions on Knowledge and Data Engineering, 1992
- A denotational semantics for the Starburst production rule languageACM SIGMOD Record, 1992
- Generic Computation and its complexityPublished by Association for Computing Machinery (ACM) ,1991
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987