Skip to main content
SpringerLink
Log in

Denotational semantics for an active rule execution model

  • 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

In the last few years, many active database models have been proposed. Some of them have been implemented as research prototypes. The use and study of these prototypes shows that it is difficult to get a clear idea of the proposed approaches and to compare them. More generally there are some unquestionable difficulties in understanding, reasoning about and teaching behavior of active database systems. We think there is a need for formal descriptions of the semantics of such systems in order to describe and to understand them with less ambiguities, to compare them and to come up with some progress in defining standard concepts and functionalities for active databases.

This paper presents an informal and then a formal semantics of the execution model of an active system we developed at the University of Grenoble, France. We show that such a formal description is adequate for comparing our proposal with existing ones and for identifying and classifying functions of an active database system.

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. F. Bancilhon, C. Delobel, and P. Kanellakis. Building an Object-Oriented Database — The story of O 2. Morgan Kaufmann, 1992.

    Google Scholar 

  2. H. Behrends. ADL-Activity Description Language. Technical Report 3-93, Rostock university, 1993.

    Google Scholar 

  3. H. Behrends. An Operational Semantics for the Activity Description Language ADL. Technical Report 4-94, Oldenburg university, 1994. To be published.

    Google Scholar 

  4. C. Beeri and T. Milo. A Model for Active Object Oriented Database. In Proc. of the 17th International Conference on Very Large Data Base, pages 337–349, Barcelona, Spain, September 1991.

    Google Scholar 

  5. C. Collet, T. Coupaye, and T. Svensen. NAOS Efficient and modular reactive capabilities in an Object-Oriented Database System. In Proc. of the 20th International Conference on Very Large Data Bases, Santiago, Chile, September 1994.

    Google Scholar 

  6. C. Collet, P. Habraken, T. Coupaye, and M. Adiba. Active rules for the Software engineering platform GOODSTEP. In Proc. of the 2nd International Workshop on Database and Software engineering — 16th international conference on Software Engineering, Sorrento, Italy, May 1994.

    Google Scholar 

  7. S. Gatziu. A. Geppert, and K.R. Dittrich. Integrating Active Concepts into an Object-Oriented Database System. In Proc. of the 3rd International Workshop on Database Programming Languages: Bulk Types & Persistent Data. pages 399–415, Nafplion, 1991. Morgan Kaufmann.

    Google Scholar 

  8. GOODSTEP Team. The GOODSTEP Project: General Object-Oriented Database for Software Engineering Processes. In Proc. of the Asia-Pacific Software Engineering Conference, Tokyo. Japan, pages 410–420. IEEE Computer Society Press. 1994.

    Google Scholar 

  9. J. R. Hindley. Introduction to Combinators and λ-Calculus. Cambridge University Press, Cambridge, England, 1986.

    Google Scholar 

  10. R. Hull and D. Jacobs. Language Constructs for Programming Active Databases. In Proc. of the 17th International Conference on Very Large Data Bases, pages 455–467, Barcelona, Spain, 1991.

    Google Scholar 

  11. M. Hsu, R. Ladin, and D. McCarthy. An Execution Model for Active Database Management Systems. In Proc. 3rd International Conference on Data and Knowledge Bases, pages 171–179, June 1988.

    Google Scholar 

  12. C. Lecluse, P. Richard, and P. Velez. O2, an Object-Oriented Data Model. In Building an Object-Oriented Database — The story of O 2, chapter 4, pages 77–97. Morgan Kaufmann, 1992.

    Google Scholar 

  13. R. Hull S. Ghandeharizadeh and D. Jacobs. On implementing a language for specifying active database execution models. In Proc. of the 19th International Conference on Very Large Data Bases, pages 441–454, Dublin, Ireland. 1993.

    Google Scholar 

  14. M. Stonebraker. A. Jhingran, and J. Goh and S. Potamianos. On rules, procedures, caching and views in data base systems. In Proc. of the ACM SIGMOD, pages 281–290. Atlantic City, USA, May 1990. ACM Press.

    Google Scholar 

  15. J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. The MIT Press, Cambridge, Massachussets, 1977.

    Google Scholar 

  16. O2 Technology. The O2 User Manual. Technical Documentation — Version 4.5, O2 Technology, March 1995.

    Google Scholar 

  17. R. D. Tennent. The Denotational Semantics of Programming Languages. Communications of the ACM, 19(8):437–453, August 1976.

    Google Scholar 

  18. J. Widom. A Denotational Semantics for the Starburst Production Rule Language. SIGMOD Record, 21(3):4–9, September 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LGI-IMAG, University of Grenoble, BP 54 38041, Cedex 9, France

    Thierry Coupaye & Christine Collet

Authors
  1. Thierry Coupaye
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Christine Collet
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Timos Sellis

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Coupaye, T., Collet, C. (1995). Denotational semantics for an active rule execution model. 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_118

Download citation

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

  • 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

Search

Navigation