Rule-Based Implementation of Transaction Model Specifications

We propose an active-mechanism based approach for the construction of database management systems (DBMS). We conceive a DBMS to be composed out of brokers (which realize subsystems), where a broker is defined by a set of production rules. In this setting, we show how specifications of transaction models can be realized. To that end, we apply a rule-based approach for the transformation of (logical) specification rules into production rules, which in turn describe the behaviour of the transaction management broker.

[1]  Umeshwar Dayal,et al.  Organizing long-running activities with triggers and transactions , 1990, SIGMOD '90.

[2]  Amit P. Sheth,et al.  Specifying and Enforcing Intertask Dependencies , 1993, VLDB.

[3]  Laura M. Haas,et al.  Extensible database management systems , 1990, SGMD.

[4]  Umeshwar Dayal,et al.  Active Database Management Systems , 1988, JCDKB.

[5]  Alejandro P. Buchmann,et al.  Rules in an Open System: The REACH Rule System , 1993, Rules in Database Systems.

[6]  A. Elmagarmid.  Database transaction models for advanced applications , 1992 .

[7]  Gunter Schlageter,et al.  A transaction manager development facility for non standard database systems , 1992 .

[8]  Alejandro P. Buchmann,et al.  REACH: a REal-time, ACtive and Heterogeneous mediator system , 1992, IEEE Data Eng. Bull..

[9]  Jennifer Widom,et al.  Deriving Production Rules for Constraint Maintainance , 1990, VLDB.

[10]  Klaus R. Dittrich,et al.  Supporting Semantic Rules by a Generalized Event/Trigger Mechanism , 1988, EDBT.

[11]  T. Biggerstaff,et al.  Reusability Framework, Assessment, and Directions , 1987, IEEE Software.

[12]  Alejandro P. Buchmann,et al.  A Transaction Model for Active Distributed Object Systems , 1992, Database Transaction Models for Advanced Applications.

[13]  Panos K. Chrysanthis,et al.  ACTA: The SAGA Continues , 1992, Database Transaction Models for Advanced Applications.

[14]  Irving L. Traiger,et al.  The notions of consistency and predicate locks in a database system , 1976, CACM.