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
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
The Ode Active Database: Trigger Semantics and Implementation
ICDE '96 Proceedings of the Twelfth International Conference on Data Engineering
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
Abstract Interpretation of Active Rules and its Use in Termination Analysis
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Investigating Termination in Active Database Systems with ExpressiveRule Languages
Investigating Termination in Active Database Systems with ExpressiveRule Languages
Analysis and optimization of active databases
Data & Knowledge Engineering
TriGS Debugger - A Tool for Debugging Active Database Behavior
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
Refined rules termination analysis through transactions
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 |
We introduce a method for rule termination analysis within active databases which relies on evolution graphs simulating rule processing statically and considering both rule activation and deactivation. The evolution graph provides a more detailed analysis than traditional graph based approaches. We show that several termination analysis methods are captured by evolution graphs. The algorithm testing rules termination is presented and its correctness shown. The proposed approach turns out to be practical and general with respect to the various rule languages and thus it may be applied to several database systems.