Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Object identity as a query language primitive
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Logic programming and databases
Logic programming and databases
A theory for rule triggering systems
EDBT '90 Proceedings of the 2nd international conference on extending database technology: Advances in Database Technology
ILOG: declarative creation and manipulation of object identifiers
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
Rule condition testing and action execution in Ariel
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Behavior of database production rules: termination, confluence, and observable determinism
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
A denotational semantics for the Starburst production rule language
ACM SIGMOD Record
Termination and confluence of rule execution
CIKM '93 Proceedings of the second international conference on Information and knowledge management
A structured approach for the definition of the semantics of active databases
ACM Transactions on Database Systems (TODS)
Modularization techniques for active rules design
ACM Transactions on Database Systems (TODS)
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The Integration of Rule Systems and Database Systems
IEEE Transactions on Knowledge and Data Engineering
A Path Removing Technique for Detecting Trigger Termination
EDBT '98 Proceedings of the 6th International Conference on Extending Database Technology: Advances in Database Technology
Active Database Rules with Transaction-Conscious Stable-Model Semantics
DOOD '95 Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases
ICDE '96 Proceedings of the Twelfth International Conference on Data Engineering
An Algebraic Approach to Rule Analysis in Expert Database Systems
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Using the Properties of Datalog to Prove Termination and Confluence in Active Databases
RIDS '97 Proceedings of the Third International Workshop on Rules in Database Systems
On Confluence Property of Active Databases with Meta-Rules
RIDS '97 Proceedings of the Third International Workshop on Rules in Database Systems
Investigating Termination in Active Database Systems with Expressive Rule Languages
RIDS '97 Proceedings of the Third International Workshop on Rules in Database Systems
Expressiveness of Semipositive Logic Programs with Value Invention
LID '96 Proceedings of the International Workshop on Logic in Databases
The PARK Semantics for Active Rules
EDBT '96 Proceedings of the 5th International Conference on Extending Database Technology: Advances in Database Technology
Seamless formal verification of complex event processing applications
Proceedings of the 2007 inaugural international conference on Distributed event-based systems
Data and web management research at Politecnico di Milano
ACM SIGMOD Record
Termination analysis of active rules - a Petri net based approach
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Active rules termination analysis through conditional formula containing updatable variable
APWeb/WAIM'07 Proceedings of the joint 9th Asia-Pacific web and 8th international conference on web-age information management conference on Advances in data and web management
Refined rules termination analysis through activation path
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
Active rules termination analysis based on activation path and enhanced formula
International Journal of Intelligent Information and Database Systems
Hi-index | 0.00 |
An active database system is a DBMS endowed with active rules, i.e., stored procedures activated by the system when specific events occur. The processing of active rules is characterized by two important properties: termination and confluence. We say that the processing of a set of active rules terminates if, given any initial active database state, the execution of the rules does not continue indefinitely; it is confluent if, for any initial database state, the final state is not influenced by the order of execution of the rules. Finding sufficient conditions for these properties to hold is a nontrivial problem, and the lack of a structured theory for the design of a system of active rules makes the analysis of the two properties more difficult. In this work, we translate a set of rules from any of the existing systems into an internal format; then, we translate the active rules into logical clauses, taking into account the system's execution semantics, and transfer to the active process known simple results about termination and determinism available in the literature for deductive rules.