Skip to main content
SpringerLink
Log in

Object-Oriented Database as a Dynamic System with Implicit State

  • Conference paper
  • First Online:
Advances in Databases and Information Systems (ADBIS 2001)

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

Abstract

A formalization of object-oriented database concepts in the context of algebraic specifications with implicit state is proposed. An object database schema is represented as a dynamic system and an object database instance as a state algebra. The paper also provides a formalization of binding modes and a rigorous treatment of null value.

The work of the second author is supported in part by Russian Foundation for Basic Research under Grant 01-01-00787.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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.

References

  1. M. Abadi and L. Cardelli. A Theory of Objects. Springer-Verlag, 1996.

    Google Scholar 

  2. C. Beeri. A Formal Approach to Object-Oriented Databases. Database & Knowledge Engeeniring (5), 1990, pp. 353–382.

    Article  Google Scholar 

  3. P. Buneman and S. Naqvi and V. Tannen and Limsoon Wong. Principle of Programming with Complex Objects and Collection types. Theorical computer Science, 149:3–48, 1995.

    Article  MATH  MathSciNet  Google Scholar 

  4. R. Cattel et al. The Object Data Standard: ODMG 3.0. Morgan Kaufmann, 2000.

    Google Scholar 

  5. S. Cluet. Designing OQL: Allowing object to be queried. Information Systems 23(5), pages 279–305, 1998.

    Article  Google Scholar 

  6. S. Cheri, R. Marthey-Chirema. A model and Language for Archive DOOD Systems. Proceedings of 2d international East-West Database Workshop, Klagenfurt, Austria, 25–28 Sept. 1994, Springer-Verlag 1995, pp. 3–16.

    Google Scholar 

  7. L. Fegaras. Query Unnesting in Object-Oriented Databases. Proceedings of the ACM SIGMOD International Conference on Managmenent of data, Seattle, Washington, pages 49–60, 1998.

    Google Scholar 

  8. L. Fegaras and D. Maier. Towards an Effective Calculus for Object query languages. In Proc. of ACM SIGMOD International Conference on Management of Data, pages 47–58, 1995.

    Google Scholar 

  9. J.A. Goguen and R. Diaconescu. Towards an algebraic Semantics for the object paradigm. Recent Trends in Data Type specification, LNCS vol. 785, 1994, pp. 1–29.

    Google Scholar 

  10. M.-C. Gaudel, C. Khoury, A. Zamulin. Dynamic systems with implicit state. Fundamental Approaches to Software Engineering, LNCS, vol. 1577, 1999, pp. 114–128.

    Google Scholar 

  11. M. Grosse-Rhode. Algebra Transformation Systems And Their Composition. Fundamental Approaches to Software Engineering, LNCS, vol. 1382, pp. 107–122, 1998.

    Chapter  Google Scholar 

  12. Y. Gurevich, Evolving Algebras 1993: Lipary Guide, Specification and Validation Methods, Oxford University Press, 1994.

    Google Scholar 

  13. W. Kim. Modern Database Systems. The Object Model, Interoperability, and Beyond, Addison-Wesley, 1995.

    Google Scholar 

  14. G. Lausen and G. Vossen. Models and Languages of Object-Oriented Databases, Addison-Wesley, 1997.

    Google Scholar 

  15. C. Lecluse and P. Richard and V. Velez. The O2 Data Model, In François Bancilhon, Claude Delobel, and Paris Kanellakis, editors, Building an Object-Oriented Database System, The Story of O2 Morgan Kaufmann, 1992.

    Google Scholar 

  16. K. Lellahi. Modeling data and objects: An algebraic viewpoint. Proceeding of the first summer school in theoretical aspects of computer science, Tehran-Iran July 2000 (to appear in LNCS).

    Google Scholar 

  17. K. Lellahi and R. Souah and N. Spyratos. An algebraic query language for Object-Oriented data Models. DEXA97, LNCS N0 1308, pages 519–528, 1997.

    Google Scholar 

  18. K. Lellahi, A. Zamulin. Dynamic Systems Based On Update Sets. Proc. of the 2nd International Conf. Computer Science and Information Technologies (CSIT’99), August 17–22, 1999, Yerevan, Armenia, 1999, pp. 346–349, also in Reserch report No 99-03, LIPN, Univ. Paris 13 (France), 1999.

    Google Scholar 

  19. P. Mosses. CASL: a guided tour of its design. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT’98, Lisbon, Springer LNCS, vol. 1589, 1999.

    Google Scholar 

  20. P. Niemeyer and J. Peck. Exploring Java. O’Reilly & Associates Inc, 1996.

    Google Scholar 

  21. F. Parisi-Presicce and A. Pierantonio. Dynamic Behaviour of Object Systems. Recent Trends in Data Type specification, LNCS vol. 906, 1995, pp. 406–419.

    Chapter  Google Scholar 

  22. Klause-Dieter Schewe. Specification of Data Intensive Application Systems. Habilitationsschrift, T echnischen Universitaet Cottbus, 1995.

    Google Scholar 

  23. B. Stroustrup. The C++ Programming Language, Third Edition. Addison-Wesley, 1996.

    Google Scholar 

  24. R. Souah. Une Sémantique Algébrique pour Bases de données Orientées objet. PhD thesis, Université Paris-sud (Orsay), 1999.

    Google Scholar 

  25. E. Zucca, Fundamental Study from static to dynamic abstract data-type: an instutition transformation, Theorical Computer science 216 (1999), pp 109–157.

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIPN, UPRESA 7030 C.N.R.S Université de Paris 13, Institut Galilée, 99, Av. J.B. Clément, 93430, Villetaneuse, France

    Kazem Lellahi

  2. A.P. Ershov Institute of Informatics Systems, Siberian Division of Russian Academy of Sciences, Novosibirsk, 630090, Russia

    Alexandre Zamulin

Authors
  1. Kazem Lellahi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alexandre Zamulin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Mathematics and Informatics, Akademijos st. 4, 2600, Vilnius, Lithuania

    Albertas Caplinskas

  2. Department of Informatics Systems, University of Klagenfurt, Universitätsstr. 65, 9020, Klagenfurt, Austria

    Johann Eder

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lellahi, K., Zamulin, A. (2001). Object-Oriented Database as a Dynamic System with Implicit State. In: Caplinskas, A., Eder, J. (eds) Advances in Databases and Information Systems. ADBIS 2001. Lecture Notes in Computer Science, vol 2151. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44803-9_19

Download citation

  • DOI: https://doi.org/10.1007/3-540-44803-9_19

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42555-7

  • Online ISBN: 978-3-540-44803-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation