Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
S. Abramsky and C. Hankin, editors. Abstract Interpretation of Declarative Languages. Ellis Horwood, 1987.
J. Bailey and A. Poulovassilis. An abstract interpretation framework for termination analysis of active rules. In Proc. 7th Int. Workshop on Database Programming Languages LNCS 1949, pages 249–266, Scotland, 1999.
J. Bailey, A. Poulovassilis, and P. Newson. A dynamic approach to termination analysis for active database rules. In Proc. 1st Int. Conf. on Computational Logic (DOOD’2000 stream), LNCS 1861, pages 1106–1120, London, 2000.
E. Baralis and J. Widom. Using delta relations to optimize condition evaluation in active databases. In Proc. 2nd Int. Workshop on Rules in Database Systems (RIDS-95), LNCS 985, pages 292–308, Athens, 1995.
A. Cortesi, A. Dovier, E. Quintarelli, and L. Tanca. Operational and abstract semantics of a query language for semi-structured information. In Proc. 6th Int. Workshop on Deductive Databases and Logic Programming (DDLP’98), pages 127–140 GMD Report 22, ISSN 1435-2702, 1998.
P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of Logic Programming, 13(2&3):103–179, 1992.
A. Dinn, N. W. Paton, and M. Howard Williams. Active rule analysis and optimisation in the Rock and Roll deductive object oriented database. Information Systems, 24(4):327–352, 1999.
Eric N. Hanson et al. Scalable trigger processing. In Proc. 15th ICDE, pages 266–275, Sydney, 1999.
F. Fabret, M. Regnier, and E. Simon. An adaptive algorit hm for increment al evaluation of production rules in databases. In Proc. 19th VLDB, pages 455–467, Dublin, Ireland, 1993.
T. Griffin, L. Libkin, and H. Trickey. A correction to Incremental recomputation of active relational expressions by Qian and Wiederhold. IEEE Trans. on Knowledge and Data Engineering, 9(3):508–511, 1997.
E. Hanson. Rule condition testing and action execution in Ariel. In Proc. SIGMOD 1992, pages 49–58, San Diego, 1992.
N Jones. An introduction to partial evaluation. ACM Computing Surveys, 28(3):480–503, 1996.
N. Jones, C. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall, 1993.
A. Kotz-Dittrich and E. Simon. Active database Systems: Expectations, Commerical Experience and Beyond. In Paton [19], pages 367–404.
K. Kulkarni, N. Mattos, and R. Cochrane. Active database features in SQL3. In Paton [19], pages 197–219.
F. Llirbat, F. Fabret, and E. Simon. Eliminating costly redundant computations from SQL trigger executions. In Proc. SIGMOD 1997, pages 428–439, 1997.
K. Marriott, H. Søndergaard, and N. D. Jones. Denotational abstract interpretation of logic programs. ACM TOPLAS, 16(3):607–648, 1994.
F. Nielson, H.R. Nielson, and C. Hankin. Principles of Program Analysis. Springer-Verlag, 1999.
N. Paton, editor. Active Rules in Database Systems. Springer-Verlag, 1999.
S. Peyton Jones. The implementation of functional programming languages. Prentice-Hall, 1987.
X. Qian and G. Wiederhold. Incremental recomputation of active relational expressions. IEEE Trans. on Knowledge and Data Engineering, 3(3):337–341, 1991.
S. Reddi, A. Poulovassilis, and C. Small. PFL: An active functional DBPL. In Paton [19], pages 297–308.
Martin Sköld and Tore Risch. Using partial differencing for efficient monitoring of deferred complex rule conditions. In Stanley Y. W. Su, editor, Proc. 12th ICDE, pages 392–401, 1996.
J. Widom and S. Ceri. Active Database Systems. Morgan-Kaufmann, San Mateo, California, 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bailey, J., Poulovassilis, A., Courtenage, S. (2002). Optimising Active Database Rules by Partial Evaluation and Abstract Interpretation. In: Ghelli, G., Grahne, G. (eds) Database Programming Languages. DBPL 2001. Lecture Notes in Computer Science, vol 2397. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46093-4_18
Download citation
DOI: https://doi.org/10.1007/3-540-46093-4_18
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44080-2
Online ISBN: 978-3-540-46093-0
eBook Packages: Springer Book Archive