The HiPAC project: combining active databases and timing constraints
ACM SIGMOD Record - Special Issue on Real-Time Database Systems
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
Termination and confluence of rule execution
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Static analysis techniques for predicting the behavior of active database rules
ACM Transactions on Database Systems (TODS)
Decidability and undecidability results for the termination problem of active database rules
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Informix guide to SQL
An algebraic approach to static analysis of active database rules
ACM Transactions on Database Systems (TODS)
Active Rules in Database Systems
Active Rules in Database Systems
Active Database Systems: Triggers and Rules for Advanced Database Processing
Active Database Systems: Triggers and Rules for Advanced Database Processing
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
ICDE '96 Proceedings of the Twelfth International Conference on Data Engineering
A Transaction Transformation Approach to Active Rule Processing
ICDE '95 Proceedings of the Eleventh International Conference on Data Engineering
The Ode Active Database: Trigger Semantics and Implementation
ICDE '96 Proceedings of the Twelfth International Conference on Data Engineering
Rules Termination Analysis investigating the interaction between transactions and triggers
IDEAS '02 Proceedings of the 2002 International Symposium on Database Engineering & Applications
Improving Rule Analysis by Means of Triggering and Activation Graphs
RIDS '95 Proceedings of the Second International Workshop on Rules in Database Systems
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
Abstract Interpretation of Active Rules and its Use in Termination Analysis
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Termination Analysis in Active Databases
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
A fuzzy Petri net model for intelligent databases
Data & Knowledge Engineering
Implementing Business Processes: A Database Trigger Approach
International Journal of Knowledge-Based Organizations
| Hi-index | 0.00 |
We propose two methods for rule termination analysis within active databases. The first method relies on evolution graphs simulating rule processing statically and considering both rule activation and deactivation. The evolution graphs provide a more accurate analysis than traditional graph-based approaches. The second method refines the former one considering the updates forming transactions that trigger active rules. We show that several termination analysis methods are captured with our approaches. The algorithms testing rules termination (with and without transactions) are presented considering both event-preserving and event-consuming policies and immediate rule execution. The proposed approaches turn out to be practical and general with respect to the various rule languages and thus they may be applied to several database systems.