Abstract interpretation of declarative languages
Abstract interpretation of declarative languages
A theory for rule triggering systems
EDBT '90 Proceedings of the 2nd international conference on extending database technology: Advances in Database Technology
Abstract interpretation and application to logic programs
Journal of Logic Programming
Denotational abstract interpretation of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Static analysis techniques for predicting the behavior of active database rules
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
A formal semantics for an active functional DBPL
Journal of Intelligent Information Systems - Special issue on active database systems
Journal of Computer and System Sciences - Special issue on principles of database systems
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
Equivalences Among Relational Expressions with the Union and Difference Operators
Journal of the ACM (JACM)
Abstract Interpretation for Termination Analysis in Functional Active Databases
Journal of Intelligent Information Systems - Special issue on functional approach to intelligent information systems
Active Rules in Database Systems
Active Rules in Database Systems
Incremental Recomputation of Active Relational Expressions
IEEE Transactions on Knowledge and Data Engineering
An Improved Algorithm for the Incremental Recomputation of Active Relational Expressions
IEEE Transactions on Knowledge and Data Engineering
Compile-Time and Runtime Analysis of Active Behaviors
IEEE Transactions on Knowledge and Data Engineering
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
ICDT '95 Proceedings of the 5th International Conference on Database Theory
Structural Issues in Active Rule Systems
ICDT '97 Proceedings of the 6th International Conference on Database Theory
An Algebraic Approach to Rule Analysis in Expert Database Systems
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Extending a Functional DBPL with ECA-rules
RIDS '95 Proceedings of the Second 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
Improving the Refined Triggering Graph Method for Active Rules Termination Analysis
BNCOD 19 Proceedings of the 19th British National Conference on Databases: Advances in Databases
Optimising Active Database Rules by Partial Evaluation and Abstract Interpretation
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
| Hi-index | 0.00 |
A crucial requirement for active databases is the ability to analyse the behaviour of the active rules. A particularly important type of analysis is termination analysis. We define a framework for modelling the execution of active rules, based on abstract interpretation. Specific methods for termination analysis are modelled as specific approximations within the framework. The correctness of a method can be established by proving two generic requirements provided by the framework. This affords the opportunity to compare and verify existing methods for termination analysis of active rules, and also to develop new ones.