Skip to main content
SpringerLink
Log in

Analysis of Active Database Rules Behaviour Using Rewriting Logic

  • Conference paper
  • First Online:
Book cover Database and Expert Systems Applications (DEXA 1999)

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

Included in the following conference series:

  • 430 Accesses

Abstract

Integration of activity in object-oriented database systems, through the support of active rules, requires to guarantee certain properties such as termination and confluence. It is necessary in particular to be able to take into account various dimensions of the execution model since these dimensions directly influence termination and confluence. Few studies relating to termination and confluence consider these dimensions. In this paper, we suggest using a formalism based on the rewriting logic to describe an active object-oriented system. We show that the main dimensions of the active rule execution model can be expressed by adding three strategies: activate all the solutions of a subset, choice at more one solution of a subset, reiterate a solution as many times as possible. The problem is then to model the behaviour of a whole system. We suggest distributing the rules into strata. The interest of such a process is that the global strategy which models the behaviour of the system is the concatenation of the local strategies which model the behaviour of the different strata. Three different stratification algorithms are given. The analysis of termination and confluence then rests on the simulation of the global strategy.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. Aiken A., Hellerstein J.M. and Widom J. Static Analysis Techniques for Predicting the Behaviour of Active Database Rules. ACM Transaction on Database Systems, Vol. 20, No 1, March 1995, pp. 3–41.

    Article  Google Scholar 

  2. Baralis E., Ceri S., and Paraboschi S. Improved Rule Analysis by Means of Triggering and Activation Graphs. In Proc. of RIDS’95, Sep. 25-27 1995, Athens, Greece, pp. 165–181.

    Google Scholar 

  3. Baralis E., Ceri S., and Paraboschi S. Compile-Time and Runtime Analysis of Active Behaviors. IEEE Transactions on Knowledge and Data Engineering, Vol. 10, No. 3, May/June 1998, pp. 353–370.

    Article  Google Scholar 

  4. Baralis E. and Widom J. An Algebraic Approach to Rules Analysis in Expert Database Systems. In Proc. of VLDB’94, Sep. 12-15 1994, Santiago de Chile, Chile, pp. 475–486.

    Google Scholar 

  5. Behrends H. Simulation-based Debugging of Active Databases. In Proc. of RIDE-ADS’94, Houston, Texas, February 14-15 1994, pp. 172–180.

    Google Scholar 

  6. Benazet E., Guehl H. and Bouzeghoub M. VITAL: a Visual Tool for Analysis of Rules Behaviour in Active Databases. In Proc. of RIDS’95, Sep. 25-27 1995, Athens, Greece, pp. 182–196.

    Google Scholar 

  7. Chakravarthy S., Tamizuddin Z., and Zhou J. A Visualisation and Explanation Tool for Debugging ECA Rules in Active Databases. Technical Report UF-CIS-TR-95-028, 448 Y. Rabih and M. Schneider University of Florida, November 1995.

    Google Scholar 

  8. Diaz O., Jaine A. and Paton N. DEAR: a DEbugger for Active Rules in an object-oriented context. In Proc. of RIDS’93, August 30-Sep. 1 1993, Edinburgh, Scotland, pp. 180–193.

    Google Scholar 

  9. Fors T. Visualisation of rule behaviour in active databases. In Proc. of VDB’95, March 27-29 1995, Lausanne, Switzerland, pp. 215–231.

    Google Scholar 

  10. Fraternali P. and Tanca L. A Structured Approach for the Definition of the Semantics of Active Databases. ACM Transactions on Database Systems, Vol. 20, No.4, December 1995, pp. 414–471.

    Article  Google Scholar 

  11. Karadimce A.P. and Urban S.D. Conditional Term Rewriting as a Formal Basis for Analysis of Active Databases Rules. In Proc. of RIDE-ADS’94, IEEE-CS 1994, February 14-15 1994, Houston, Texas, USA, pp. 156–162.

    Google Scholar 

  12. Karadimce A.P. and Urban S. D. Refined Triggering Graphs: A Logic-Based Approach to Termination Analysis in an Active Object-oriented Database. In Proc. of ICDE’96, February 26-March 1 1996, New Orleans, Louisiana, USA, pp. 384–391.

    Google Scholar 

  13. Kirchner C., Kirchner H., and Vittek M. ELAN: user manual. Novembre 1995.

    Google Scholar 

  14. Kokkinaki A.I. On Using Multiple Abstractions Models to Analyze Active Database Behavior. In Proc. of IDPT-IADT’98, July 6-9 1998, Berlin, Germany, pp. 136–143.

    Google Scholar 

  15. Lee J. and Davison A. The BeBOP System. Department of Computer Science, University of Melbourne, August 1993, Australia.

    Google Scholar 

  16. Lee S.Y. and Ling T. W. A Path Removing Technique for Detecting Trigger Termination. In Proc. of EDBT’98, March 23-27 1998, Valencia, Spain, pp. 341–355.

    Google Scholar 

  17. Meseguer J. A Logical Theory of Concurrent Objects. In Proc. of ECOOP-OOPSLA’90, Ottawa, Canada, October 1990, pp. 101–115.

    Google Scholar 

  18. Montesi D. and Torlone R. A Transaction Transformation Approach to Active Rule Processing. In Proc. ICDE’95, March 1995, Taipei, Taiwan, pp. 109–116.

    Google Scholar 

  19. Paton N.W., Diaz, O., Williams M.H., Campin J., Dinn A. and Jaime A. Dimensions of Active Behaviour. In Proc. of RIDS’93, August 30-September 1 1993, Edinburgh, Scotland, pp. 40–57.

    Google Scholar 

  20. Rabih Y. La Logique de Réécriture: un formalisme pour modéliser les bases de données actives. INFORSID’96, Bordeaux, France, Juin 1996, pp. 351–367.

    Google Scholar 

  21. Rabih Y. and Schneider M. Influence of the dimensions of active rule execution model on the termination property. Technical Report, LIMOS-98-06, Université Clermont II, June 1998.

    Google Scholar 

  22. Rabih Y. and Schneider M. Specification of an object-oriented system with ELAN. Technical Report, LIMOS-98-07, Université Clermont II, July 1998.

    Google Scholar 

  23. Rabih Y., Schneider M.: The strategies: a support for model the dimensions of the active rules execution model. Technical Report, LIMOS-98-08, Université Clermont II, August 1998, France.

    Google Scholar 

  24. Rabih Y., Schneider M.: Behaviour study of active object-oriented systems. Technical Report, LIMOS-99-01, Université Clermont II, January 1999, France.

    Google Scholar 

  25. Tomas I.S. and Jones A.C. OLAF: The GOAD Active Database Event/Rule Tracer. In Proc. of DEXA’ 96, September 9-13 1996, Zurich, Switzerland, pp. 436–445.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIMOS - Université Clermont-Ferrand II, 63177, Aubière, France

    Yahia Rabih & Michel Schneider

Authors
  1. Yahia Rabih
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michel Schneider
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Liverpool, P.O. Box 147, Liverpool, L49 3BX, UK

    Trevor J.M. Bench-Capon

  2. Department of Systems and Computers, University of Florence, Via S. Marta, 3, I-50139, Florence, Italy

    Giovanni Soda

  3. IFS, Technical University of Vienna, Resselgasse 3, A-1040, Vienna, Austria

    A Min Tjoa

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Rabih, Y., Schneider, M. (1999). Analysis of Active Database Rules Behaviour Using Rewriting Logic. In: Bench-Capon, T.J., Soda, G., Tjoa, A.M. (eds) Database and Expert Systems Applications. DEXA 1999. Lecture Notes in Computer Science, vol 1677. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48309-8_41

Download citation

  • DOI: https://doi.org/10.1007/3-540-48309-8_41

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-48309-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation