Enhancing ECA Rules for Distributed Active Database Systems
نویسندگان
چکیده
ECA (event/condition/action) rules have been developed for central active database systems. In distributed active database systems the problem of inaccessibility of partial systems raises and thus the undecidability of ECA conditions referring to remote systems. This work proposes an enhancement of ECA rules for distributed active database systems to react also in the case of inaccessibility and undecidability. Therefore, the ECA evaluation will be enhanced to a strict function with the inaccessibility state Ω and a new alternative action AA enriches the classical ECA rules. The advantages and the usage of this approach are shown by an example of maintaining data consistency in distributed active database systems.
منابع مشابه
Behavior of Active Rules within Multi-Database Systems
This paper focuses on dimensions characterizing the execution of global ECA rules within multi-database systems (MDBS). The MDBS speci cities that a ect rule execution are identi ed and integrated in the dimensions currently used to characterize the active rule behavior. As a result, we propose a rule execution taxonomy for global rules. It is composed of dimensions structured in three levels t...
متن کاملAn Agent-Based Approach to Extending the Native Active Capability of Relational Database Systems
Event-condition-action (or ECA) rules are used to capture active capability. While a number of research prototypes of active database systems have been built, ECA rule capability in Relational DBMSs is still very limited. In this paper, we address the problem of turning a traditional database management system into a full-fledged active database system without changing the underlying system. Th...
متن کاملAn Active Rule Base Simulator based on Petri Nets
Event-condition-action rules, in active database systems, should be performed carefully, because their firings can produce inconsistent states in database systems. In this paper, an ECA rule base simulator is described, named ECAPNSim, which uses a Conditional Colored Petri Net model to depict ECA rules. It can model ECA rules, simulate their behavior, and perform a static analysis.
متن کاملSymbolic verification of ECA rules
Event-condition-action (ECA) rules specify a decision making process and are widely used in reactive systems and active database systems. Applying formal verification techniques to guarantee properties of the designed ECA rules is essential to help the error-prone procedure of collecting and translating expert knowledge. The nondeterministic and concurrent semantics of ECA rule execution enhanc...
متن کاملConcurrency control of nested cooperative transactions in active DBMS
Active database management systems(ADBMS) uses Event-Condition-Action rules (ECA rules). Each ECA rule speciies what action to be taken when an event occurs and the speciied condition is satissed. In this paper, we introduce a concurrency control scheme for handling nested cooperative transactions using detached mode ECA rules of an ADBMS. A state transition model has been proposed to specify d...
متن کامل