Skip to main content
SpringerLink
Log in

Investigating termination in active database systems with expressive rule languages

  • Conference paper
  • First Online:
Rules in Database Systems (RIDS 1997)

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

Included in the following conference series:

Abstract

The powerful functionality that active mechanisms add to database management systems presents, besides many advantages, a number of problems related to the control of their behavior. This paper deals with one of these problems: the termination of rule execution. We explain the termination aspect and the aim of termination analysis. Then, we present our approach to investigating the termination of rule execution. In contrast to others, this approach also addresses expressive rule languages as they have been proposed for various recent active database management system prototypes.

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. Aiken A., Widom J., Hellerstein J.M.; Behaviour of Database Production Rules: Termination, Confluence and Observable Determinism; Proc. of the ACM SIG-MOD Intl. Conf. on Management of Data, San Diego, June 92.

    Google Scholar 

  2. Baralis E., Widom J.; An Algebraic Approach to Rule Analysis in Expert Database Systems; Proc. of the 20th VLDB Conf., Santiago, Chile 94.

    Google Scholar 

  3. Baralis E., Ceri S., Paraboschi S.; Improved Rule Analysis by Means of Triggering and Activation Graphs; Proc. of 2nd Intl. Workshop on Rules in Database Systems, RIDS `95, Athens, Greece, September 95.

    Google Scholar 

  4. Baralis E., Ceri S., Paraboschi S.; Run-Time Detection of Non-Terminating Active Rule Systems; Proc. of the 4th Intl. Conf on Deductive and Object-Oriented Databases, DOOD'95, Singapore, December 95.

    Google Scholar 

  5. Buchmann A.P, Blakeley J., Zimmermann J.A., Wells D.L.: Building an Integrated Active OODBMS: Requirements, Architecture, and Design Decisions; Proc. of the 11th Intl. Conf. on Data Engineering, Taipei, Taiwan, March 95.

    Google Scholar 

  6. Chakravarthy S., Krishnaprasad V, Tamizuddin Z., Badani R.H.; ECA Rule Integration into an OODBMS: Architecture and Implementation; Proc. of the 11th Intl. Conf. on Data Engineering, Taipei, Taiwan, March 95.

    Google Scholar 

  7. Collet C., Coupaye T., Svensen T.; NAOS: Efficient and Modular Reactive Capabilities in an Object-Oriented Database System; Proc. of the 20th VLDB Conf., Santiago, Chile, September 94.

    Google Scholar 

  8. Dayal U.; Active Database Management Systems; Proc. of the 3rd Intl. Conf. on Data and Knowledge Bases, Jerusalem, 88.

    Google Scholar 

  9. Gatziu S., Dittrich K.R; Events in an Active Object-Oriented Database System; Proc. of the 1st Intl. Workshop on Rules in Database Systems, Edinburgh, 93.

    Google Scholar 

  10. Gehani N.H., Jagadish H.V; Ode as an Active Database: Constraints and Triggers; Proc. 17th Intl. Conf. on Very Large Data Bases, Barcelona, September 91.

    Google Scholar 

  11. Karadimce A.P, Urban S.D.; Refined Triggering Graphs: A Logic Based Approach to Termination Analysis in an Active Object-Oriented Database; Proc. of the 12th Intl. Conf, on Data Engineering, ICDE 96, New Orleans, Louisiana, February 96.

    Google Scholar 

  12. Stonebraker M.L., Kemnithz G.; The POSTGRES Next-Generation Database Management System; Communications of the ACM, 34(10), October 91.

    Google Scholar 

  13. Tschudi M., Urban S., Dietrich S., Karadimce A.; An Implementation and Evaluation of the Refined Triggering Graph Method for Active Rule Termination Analysis; Proc. of the 3rd Intl. Workshop on Rules in Database Systems, Skoevde, Sweden, June 97.

    Google Scholar 

  14. Van Assche F., Moulin B., Rolland C.; Object Oriented Approach in Information Systems; Proc. of the IFIP TC81WG8.1 Conf. on the Object Oriented Approach in Information Systems, Quebec City, Canada, October 91.

    Google Scholar 

  15. Widom J., Ceri S.; Active Database Systems: Triggers and Rules for Advanced Database Processing, Morgan-Kaufmann, San Francisco, California, 96.

    Google Scholar 

  16. Weik, T., Heuer, A.; An Algorithm for the Analysis of Termination of Large Trigger Sets in an OODBMS; Proc. of the 1st Intl. Workshop on Active and Real-Time Database Systems, Skoevde, Sweden, June 95.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Universität Zürich, Germany

    Anca Vaduva, Stella Gatziu & Klaus R. Dittrich

Authors
  1. Anca Vaduva
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stella Gatziu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Klaus R. Dittrich
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Andreas Geppert Mikael Berndtsson

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Vaduva, A., Gatziu, S., Dittrich, K.R. (1997). Investigating termination in active database systems with expressive rule languages. In: Geppert, A., Berndtsson, M. (eds) Rules in Database Systems. RIDS 1997. Lecture Notes in Computer Science, vol 1312. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63516-5_23

Download citation

  • DOI: https://doi.org/10.1007/3-540-63516-5_23

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63516-1

  • Online ISBN: 978-3-540-69588-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation