Abstract interpretation of declarative languages
Abstract interpretation of declarative languages
Rule condition testing and action execution in Ariel
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Abstract interpretation and application to logic programs
Journal of Logic Programming
Partial evaluation and automatic program generation
Partial evaluation and automatic program generation
Denotational abstract interpretation of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
An introduction to partial evaluation
ACM Computing Surveys (CSUR)
Eliminating costly redundant computations from SQL trigger executions
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Active Rules in Database Systems
Active Rules in Database Systems
Principles of Program Analysis
Principles of Program Analysis
Operational and abstract semantics of the query language G-Log
Theoretical Computer Science
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
Using Partial Differencing for Efficient Monitoring of Deferred Complex Rule Conditions
ICDE '96 Proceedings of the Twelfth International Conference on Data Engineering
An Adaptive Algorithm for Incremental Evaluation of Production Rules in Databases
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Using Delta Relations to Optimize Condition Evaluation in Active Databases
RIDS '95 Proceedings of the Second International Workshop on Rules in Database Systems
A Dynamic Approach to Termination Analysis for Active Database Rules
CL '00 Proceedings of the First International Conference on Computational Logic
An Abstract Interpretation Framework for Termination Analysis of Active Rules
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
ICDE '99 Proceedings of the 15th International Conference on Data Engineering
The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)
On the Termination Problem for Declarative XML Message Processing
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
| Hi-index | 0.00 |
A key issue for active databases is optimising the execution event-condition-action rules. In this paper we show how partial evaluation provides a formal and general route to optimising such rules. We produce a specialised version of the rule execution semantics for each possible sequence of actions that may execute from the current database state. This gives the opportunity to optimise rule execution for each particular sequence of actions. We obtain information about possible sequences of rule executions actions by applying abstract interpretation to the rule execution semantics. Our techniques are applicable both statically, i.e. at rule compilation time, and dynamically, during rule execution.