Skip to main content
SpringerLink
Log in

Abstract interpretation of active rules and its use in termination analysis

  • Contributed Papers
  • Conference paper
  • First Online:
Book cover Database Theory — ICDT '97 (ICDT 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1186))

Included in the following conference series:

Abstract

The behaviour of rules in an active database system can be difficult to predict, and much work has been devoted to the development of automatic support for reasoning about properties such as confluence and termination. We show how abstract interpretation can provide a generic framework for analysis of active rules. Abstract interpretation is a well-understood, semantics-based method for static analysis. Its advantage, apart from generality, lies in the separation of concerns: Once the underlying semantics has been captured formally, a variety of analyses can be derived, almost for free, as approximations to the semantics. Powerful general theorems enable simple proofs of global correctness and uniform termination of specific analyses. We outline these ideas and show, as an example application, a new method for termination analysis. In terms of precision, the method compares favourably with previous solutions to the problem. This is because the method investigates the flow of data rather than just the syntax of conditions and actions.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Abramsky and C. Hankin, editors. Abstract Interpretation of Declarative Languages. Ellis Horwood, 1987.

    Google Scholar 

  2. A. Aiken, J. Widom, and J. M. Hellerstein. Behavior of database production rules: Termination, confluence and observable determinism. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 59–68. ACM Press, 1992.

    Google Scholar 

  3. E. Baralis, S. Ceri, and S. Paraboschi. Improved rule analysis by means of triggering and activation graphs. In T. Sellis, editor, Rules in Database Systems, Lecture Notes in Computer Science 985, pages 165–181. Springer-Verlag, 1995.

    Google Scholar 

  4. E. Baralis, S. Ceri, and S. Paraboschi. Run-time detection of non terminating active rule systems. In Proceedings of the Fourth International Conference on Deductive and Object Oriented Databases, pages 38–54, Singapore, 1995.

    Google Scholar 

  5. E. Baralis and J. Widom. An algebraic approach to rule analysis in expert database systems. In Proceedings of the 20th International Conference on Very Large Databases, pages 475–486, Santiago, Chile, 1994.

    Google Scholar 

  6. T. Coupaye and C. Collet. Denotational semantics for an active rule execution model. In Proceedings of the Second International Workshop on Rules in Database Systems, pages 36–50, Athens, Greece, 1995.

    Google Scholar 

  7. P. Cousot and R. Cousot. Abstract interpretation and application to logic programs. Journal of Logic Programming, 13(2&3):103–179, 1992.

    Article  Google Scholar 

  8. A. Karadimce and S. Urban. Conditional term rewriting as a formal basis for analysis of active database rules. In Proceedings of the Fourth International Workshop on Research Issues in Data Engineering, pages 156–162, Houston, Texas, 1994.

    Google Scholar 

  9. A. Karadimce and S. Urban. Refined triggering graphs: A logic based approach to termination analysis in an active object-oriented database. In Proceedings of the 12th International Conference on Data Engineering, New Orleans, Louisiana, 1996.

    Google Scholar 

  10. K. Marriott, H. Søndergaard, and N. D. Jones. Denotational abstract interpretation of logic programs. ACM Transactions on Programming Languages and Systems, 16(3):607–648, 1994.

    Google Scholar 

  11. L. Van der Voort and A. Siebes. Termination and confluence of rule execution. In Proceedings of the Second International Conference on Information and Knowledge Management, Washington DC, 1993.

    Google Scholar 

  12. J. Widom. A denotational semantics for Starburst production rule language. ACM SIGMOD Record, 21:4–9, 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Science, University of Melbourne, 3052, Parkville, Vic., Australia

    James Bailey, Lobel Crnogorac, Kotagiri Ramamohanarao & Harald Søndergaard

Authors
  1. James Bailey
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Lobel Crnogorac
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Kotagiri Ramamohanarao
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Harald Søndergaard
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Foto Afrati Phokion Kolaitis

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bailey, J., Crnogorac, L., Ramamohanarao, K., Søndergaard, H. (1996). Abstract interpretation of active rules and its use in termination analysis. In: Afrati, F., Kolaitis, P. (eds) Database Theory — ICDT '97. ICDT 1997. Lecture Notes in Computer Science, vol 1186. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-62222-5_45

Download citation

  • DOI: https://doi.org/10.1007/3-540-62222-5_45

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-62222-2

  • Online ISBN: 978-3-540-49682-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation