Programming expert systems in OPS5: an introduction to rule-based programming
Programming expert systems in OPS5: an introduction to rule-based programming
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Conflict resolution of rules assigning values to virtual attributes
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
The architecture of an active database management system
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Deriving production rules for constraint maintenance
Proceedings of the sixteenth international conference on Very large databases
Set-oriented production rules in relational database systems
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
On rules, procedure, caching and views in data base systems
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Generic Computation and its complexity
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Rule condition testing and action execution in Ariel
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Event specification in an active object-oriented database
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Integrating active concepts into an object-oriented database system
DBPL3 Proceedings of the third international workshop on Database programming languages : bulk types & persistent data: bulk types & persistent data
A denotational semantics for the Starburst production rule language
ACM SIGMOD Record
A new perspective on rule support for object-oriented databases
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Automatic generation of production rules for integrity maintenance
ACM Transactions on Database Systems (TODS)
Semantics and expressiveness issues in active databases (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Informix guide to SQL
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
The Integration of Rule Systems and Database Systems
IEEE Transactions on Knowledge and Data Engineering
The Implementation and Evaluation of Integrity Maintenance Rules in an Object-Oriented Database
Proceedings of the Eighth International Conference on Data Engineering
Building an Integrated Active OODBMS: Requirements, Architecture, and Design Decisions
ICDE '95 Proceedings of the Eleventh International Conference on Data Engineering
A Model for Active Object Oriented Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Language Constructs for Programming Active Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
On Maintaining Priorities in a Production Rule System
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Ode as an Active Database: Constraints and Triggers
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Deriving Production Rules for Incremental View Maintenance
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Implementing Set-Oriented Production Rules as an Extension to Starburst
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Composite Event Specification in Active Databases: Model & Implementation
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
NAOS - Efficient and Modular Reactive Capabilities in an Object-Oriented Database System
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Database Programming in Transaction Logic
DBLP-4 Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages
Modularization techniques for active rules design
ACM Transactions on Database Systems (TODS)
Eliminating costly redundant computations from SQL trigger executions
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Exploiting an event-based infrastructure to develop complex distributed systems
Proceedings of the 20th international conference on Software engineering
ACM Computing Surveys (CSUR)
The coordination infrastructure of the ARCA framework
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
On observation as a coordination paradigm: an ontology and a formal framework
Proceedings of the 2001 ACM symposium on Applied computing
The JEDI Event-Based Infrastructure and Its Application to the Development of the OPSS WFMS
IEEE Transactions on Software Engineering
On the event coordination in multi-component systems
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Analysis and optimization of active databases
Data & Knowledge Engineering
Trigger Inheritance and Overriding in an Active Object Database System
IEEE Transactions on Knowledge and Data Engineering
Termination and Confluence by Rule Prioritization
IEEE Transactions on Knowledge and Data Engineering
On Observing and Constraining Active Systems
ESAW '00 Proceedings of the First International Workshop on Engineering Societies in the Agent World: Revised Papers
DASFAA '99 Proceedings of the Sixth International Conference on Database Systems for Advanced Applications
M-net Calculus Based Semantics for Triggers
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Analysis of Active Database Rules Behavior Using Rewriting Logic
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Extending the ODMG Object Model with Triggers
IEEE Transactions on Knowledge and Data Engineering
Reactive maintenance of continuous queries
ACM SIGMOBILE Mobile Computing and Communications Review
Dynamic topological predicates and notifications in moving objects databases
Proceedings of the 6th international conference on Mobile data management
Efficient Maintenance of Continuous Queries for Trajectories
Geoinformatica
Specifying active databases as non-Markovian theories of actions
Journal of Intelligent Information Systems
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Adaptive and context-aware reconciliation of reactive and pro-active behavior in evolving systems
Active conceptual modeling of learning
Evolving triggers for dynamic environments
EDBT'06 Proceedings of the 10th international conference on Advances in Database Technology
The cause-effect rules of ROSES
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Fuzzy colored time Petri net and termination analysis for fuzzy Event-Condition-Action rules
Information Sciences: an International Journal
| Hi-index | 0.00 |
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.