Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Object-Oriented Methodologies and Systems

ISOOMS 1994: Object-Oriented Methodologies and Systems pp 171–188Cite as

A rewriting technique for implementing active object systems

  • Conference paper
  • First Online:

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

Abstract

We propose a novel approach to active rule processing based on a rewriting technique in the context of object database systems. A user defined transaction, which is viewed here as a sequence of basic update operations on objects forming an atomic unit, is transformed by means of active rules into induced one(s). These transactions embody the active rule semantics which can be either immediate or deferred. Then, rule semantics, confluence, equivalence and optimization are investigated in a solid framework that naturally extends a well known setting for relational database transactions.

The work of this author has been partially supported by the ERCIM fellowship Information and Knowledge Systems.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Abiteboul and V. Vianu. Equivalence and Optimization of Relational Transactions. Journal of the ACM, 35(1):70–120, January 1988.

    Article  MATH  MathSciNet  Google Scholar 

  2. A. Aiken, J. Widom, and J. M. Hellerstein. Behavior od Database Production Rules: Termination, Confluence, and Observable Determinism. In M. Stonebraker, editor, Proc. Int'l Conf. ACM on Management of Data, pages 59–68, 1992.

    Google Scholar 

  3. C. Beeri and T. Milo. A model for active object-oriented database. In Seventeenth International Conf. on Very Large Data Bases, Barcelona, pages 337–349, 1991.

    Google Scholar 

  4. E. Bertino, B. Catania, G. Guerrini and D. Montesi. Transaction Optimization in Rule Databases. In Fourth IEEE Research Issues in Data Engineering: Active Database Systems (RIDE-ADS'94), IEEE Computer Society Press, 1994.

    Google Scholar 

  5. E. Bertino, G. Guerrini and D. Montesi. Deductive Object Databases. To appear In Proc. European Conference on Object-Oriented Programming, Bologna, 1994.

    Google Scholar 

  6. S. Ceri, G. Gottlob, and L. Tanca. Logic Programming and Data Bases. Springer-Verlag, 1989.

    Google Scholar 

  7. S. Ceri and R. Manthey. First Specification of Chimera, the Conceptual Interface of Idea. Technical report, Eprit project 6333 IDEA.

    Google Scholar 

  8. S. Ceri and J. Widom. Deriving production rules for constraint maintenance. In Sixteenth International Conf. on Very Large Data Bases, Brisbane, pages 566–577, 1990.

    Google Scholar 

  9. S. Ceri and J. Widom. Deriving production rules for incremental view maintenance. In Seventeenth International Conf. on Very Large Data Bases, Barcelona, pages 577–589, 1991.

    Google Scholar 

  10. C. de Maindreville and E. Simon. A Production Rule based approach to Deductive databases. In Proc. Fourth Int'l Conf. on Data Engineering. IEEE Computer Society Press, 1988.

    Google Scholar 

  11. P. Fraternali, D. Montesi, and L. Tanca. Active Database Semantics. In Australasian Database Conference, 1994.

    Google Scholar 

  12. N. Gehani and H. V. Jagadish. ODE as an active database: constraints and triggers. In Proc. Seventeenth International Conf. on Very Large Data Bases, Barcelona, pages 327–336, 1991.

    Google Scholar 

  13. G. Guerrini, D. Montesi, and G. Rodriguez. Specification of the Run-Time Support for Chimera (algres tested). Technical Report IDEA.DE.3P.007.02, Eprit project 6333 IDEA, December 1993.

    Google Scholar 

  14. E. N. Hanson and J. Widom. Rule Processing in Active Database Systems. In L. Delcambre and F. Petry, editors, Advances in Databases and Artificial Intelligence. JAI Press, 1992.

    Google Scholar 

  15. R. Jungclaus, G. Saake and C. Sernadas. Formal Specification of Object Systems. In Proc. TAPSOFT'91, pages 60–82, 1991.

    Google Scholar 

  16. A. Karabeg, D. Karabeg, K Papakonstantinou and V. Vianu. Axiomatization and Simplification for Relational Transactions. In ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, pages 254–259, 1987.

    Google Scholar 

  17. D. Karabeg and V. Vianu. Simplification rules and complete axiomatization for relational update transactions. In ACM Transactions on Database Systems, 16(3):439–475, September 1991.

    Article  MathSciNet  Google Scholar 

  18. A. Karadimce, S. Urban. Conditional Term Rewriting as a Formal Basis for Active Database Rules. In Fourth IEEE Research Issues in Data Engineering: Active Database Systems (RIDE-ADS'94), IEEE Computer Society Press, 1994.

    Google Scholar 

  19. S. Khoshafian and G. Copeland. Object identity. In ACM Symp. on Object Oriented Programming Systems, Languages and Applications, pages 406–416, 1986.

    Google Scholar 

  20. D.R. McCarthy and U. Dayal. The architecture of an Active Data Base Management System. In Proc. Int'l Conf. ACM on Management of Data.

    Google Scholar 

  21. L. Palopoli, R. Torlone. Modeling Database Application Using Generalized Production Rules. In Fourth IEEE Research Issues in Data Engineering: Active Database Systems (RIDE-ADS'94), IEEE Computer Society Press, 1994.

    Google Scholar 

  22. T. Sellis, C.C. Lin, and Raschid L. Implementing large production systems in a DBMS environment: concepts and algorithms. In ACM SIGMOD International Conf. on Management of Data, pages 404–412, 1988.

    Google Scholar 

  23. M. Stonebraker. The integration of rule systems and database systems. IEEE Trans. on Knowledge and Data Eng., 4(5):415–423, October 1992.

    Article  Google Scholar 

  24. M. Stonebraker, A. Jhingran, J. Goh, and S. Potamianos. On rules, procedures, caching, and views in data base systems. In Proc, ACM SIGMOD International Conf. on Management of Data, pages 281–290, 1990.

    Google Scholar 

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

    Article  Google Scholar 

  26. J. Widom and S. J. Finkelstein. Set-Oriented Production Rule in Relational Databases Systems. In H. Garcia-Molina and H.V. Jagadish, editors, Proc. Int'l Conf. ACM on Management of Data, pages 259–270, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departamento de Informatica, Universidade de Lisboa, Campo Grande C5, 1700, Lisboa, Portugal

    Danilo Montesi

  2. IASI-CNR, Viale Manzoni 30, 00185, Roma, Italy

    Riccardo Torlone

Authors
  1. Danilo Montesi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Riccardo Torlone
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Elisa Bertino Susan Urban

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Montesi, D., Torlone, R. (1994). A rewriting technique for implementing active object systems. In: Bertino, E., Urban, S. (eds) Object-Oriented Methodologies and Systems. ISOOMS 1994. Lecture Notes in Computer Science, vol 858. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014024

Download citation

  • DOI: https://doi.org/10.1007/BFb0014024

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58451-3

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation