Skip to main content

Reasoning about the behavior of active databases applications

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

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

Included in the following conference series:

Abstract

One of the most difficult issues in the design of active database applications is the issue of predicting an application's behavior. In this paper we propose a knowledge based representation of an active database application's meta-data. This representation facilitates reasoning about important dimensions of an application's behavior such as: detecting the consequences of an event, data dependencies, termination and confluence and transactions control flow. This paper describes the meta-data level and some of the reasoning results.

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. E. Baralis, S. Ceri, and J. Widom. Better termination analysis for active databases. In Proceedings of the 1st International Workshop on Rules in Database Systems, pages 163–179, August 1993.

    Google Scholar 

  2. H. Behrends. Simulation-based debugging of active databases. In Proceedings of the 4th International workshop on Research Issues in Data Engineering, pages 172–180, February 1994.

    Google Scholar 

  3. S. Chakravarthy and D. Mishra. An expressive event specification language for active databases. Data and Knowledge Engineering, 13(3), October 1994.

    Google Scholar 

  4. O. Diaz, A. Jaime, and N. Paton. Dear: a debugger for active rules in an objectoriented context. In Proceedings of the 1st International Workshop on Rules in Database Systems, pages 180–193, 1993.

    Google Scholar 

  5. O. Etzion. Pardes-a data-driven oriented active database model. SIGMOD RECORD, 22(1):7–14, Mar 1993.

    Google Scholar 

  6. O. Etzion. The reflective approach for data-driven rules. International Journal of Intelligent and Cooperative Information Systems, 2(4):399–424, December 1993.

    Google Scholar 

  7. O. Etzion. Tapuz: An information repository approach to active database applications. Technical Report ISE-TR-94-2, Technion-Israel Institute of Technology, Dec 1994.

    Google Scholar 

  8. O. Etzion and B. Dahav. Self stabilization in database consistency maintenance. Technical Report ISE-TR-95-1, Technion-Israel Institute of Technology, Feb 1995.

    Google Scholar 

  9. S. Koenig and R. Paige. A transformational framework for the automatic control of derived data. In Proceedings of the VLDB, pages 306–318, 1981.

    Google Scholar 

  10. J. Widom. Research issues in active database systems: Report from the closing panel at ride-ads' 94. ACM Sigmod Record, 22(3), 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Timos Sellis

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Etzion, O. (1995). Reasoning about the behavior of active databases applications. In: Sellis, T. (eds) Rules in Database Systems. RIDS 1995. Lecture Notes in Computer Science, vol 985. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60365-4_121

Download citation

  • DOI: https://doi.org/10.1007/3-540-60365-4_121

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60365-8

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics