Skip to main content
SpringerLink
Log in
Book cover

International Conference on Deductive and Object-Oriented Databases

DOOD 1997: Deductive and Object-Oriented Databases pp 302–319Cite as

Comparison of categorical foundations of object-oriented database model

  • Formal Semantics
  • Conference paper
  • First Online:

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

Abstract

The present development in the database area is highly influenced by the object-oriented principles of data modeling. On the contrary to the previously successful relational approach, it lacks rigorous theoretical support. This problem is mainly due to the fact that the semantics description of such features as generalization, specialization, encapsulation, and inheritance is not trivial by using just the means of the set theory. Therefore, many researchers focused on finding suitable theoretical means for the modeling of complex objects. This paper is concerned with the comparison of categorical modeling in the database area and proposes a limit data model that enables to represent the objects, relationships, multiple inheritance, class polymorphism and virtual methods in the categorical setting. The aim to formalize these notions arose from the actual need. We would like to use it to support the development of an object-oriented database model closely following the standard ODMG'93. This model proposes several useful features to the database modeling concerning the object hierarchies and modeling roles [13] that require a specific approach and it seems that the category theoretical framework fulfills these objectives.

Supported by the grant of the Czech Grant Agency No. 102/96/0986 Object-Oriented Database Model and by the grant of the Czech Ministry of Education No. 0630 Modeling of Inheritance in the Object-Oriented Database Model.

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. BARR, M., WELLS, C.: Category Theory for Computing Science. Prentice Hall, 1995.

    Google Scholar 

  2. CATTELL, R.: The Object Database Standard ODMG-93, Release 1.2. Morgan Kaufmann Publishers, 1996.

    Google Scholar 

  3. COSTA, J., SERNADAS, A., SERNADAS, C.: Object Inheritance Beyond Subtyping. Acta Informatica, 1994.

    Google Scholar 

  4. DISKIN, Z., CADISH, B.: Algebraic Graph-Oriented = Category Theory Based. Manifesto of categorizing database theory. Tech. Rep. 9406, Frame Inform Systems, Riga, Latvia, 1994.

    Google Scholar 

  5. DISKIN, Z., CADISH, B.: Databases as graphical algebras: Algebraic graph-based approach to data modeling and database design. Tech. rep., Frame Inform Systems, Riga, Latvia, 1996.

    Google Scholar 

  6. DISKIN, Z., CADISH, B.: Variable Sets and Functions Framework for Conceptual Modeling: Integrating ER and OO via Sketches with Dynamic Markers. In Proceedings of 14th International Conference OOER'95 on Object-Oriented and Entity-Relationship Modelling, M. P. Papazoglou, Ed., vol. 1021 of LNCS, Springer, 1995, pp. 226–237.

    Google Scholar 

  7. FIADEIRO, J., SERNADAS, C., MAIBAUM, T, SAAKE, G.: Proof-theoretic semantics of object-oriented specification constructs. In Object-oriented Databases: Analysis, Design and Construction. North-Holland, 1990.

    Google Scholar 

  8. GOGOLLA, M.: An Extended Entity-Relationship Model, Fundamentals and Pragmatics. Springer-Verlag, LNCS 767, 1994.

    Google Scholar 

  9. GOGUEN, J.: A Categorical Manifesto. Mathematical Structures in Computer Science, 1(1):49–67, 1991.

    Google Scholar 

  10. GOGUEN, J. A., MALCOLM, G.: Extended Abstract of a Hidden Agenda. In Proceedings, Conference on Intelligent Systems: a Semiotic Perspective, J. Meystel, A. Meystel, and R. Quintero, Eds., 1996.

    Google Scholar 

  11. GUERRINI, G., BERTINO, E., BAL, R.: A Formal Definition of The Chimera Object-Oriented Database Model. Tech. Rep. IDEA.DE.2p.011.01, ESPRIP project 633, 1994.

    Google Scholar 

  12. HRUŠKA, T., KOLENČÍK, P.: Semantics of Object Identification in Object-oriented Database Model. In Proceedings of Scientific Conference Electronic Computers and Informatics, Faculty of Electrical Engineering and Informatics of Technical University Košice, 1996, pp. 243–249.

    Google Scholar 

  13. HRUŠKA, T., KOLENČÍK, P.: Extending an Object-Oriented Model: Multiple Class Objects. In Proceedings of 16th International Conference ER'97 on Conceptual Modelling. Accepted to publication.

    Google Scholar 

  14. KIFER, M., LAUSEN, G., WU, J.: Logical Foundations of Object-Oriented and Frame-Based Languages. Journal of the ACM, 42(4):741–843, 1995.

    Article  Google Scholar 

  15. KOLENČÍK, P.: Classes in Object-Oriented Model as Categorical Objects. In Proceeding of the works of PhD students, FEECS TU of Brno, 1996, pp. 75–77.

    Google Scholar 

  16. KOLENČÍK, P.: Methods in The Object-Oriented Model as Sums of Morphisms. In Preceeding of International Conference MOSIS'97, 1997, pp. 83–88.

    Google Scholar 

  17. NELSON, D., ROSSITER, B.:Prototyping a categorical database in P/FDM. In Second International Workshop on Advances in Databases and Information Systems ADBIS'95, 1995.

    Google Scholar 

  18. PIESSENS, F., STEEGMANS, E.: Categorical data-specifications. Theory and Applications of Categories, 1:156–173, 1995. Available at http://www.tac.mta.ca/tac/.

    Google Scholar 

  19. SIEBES, A.: On Complex Objects. PhD thesis, University of Twente, 1990.

    Google Scholar 

  20. STROUSTRUP, E.: The annotated C++ reference manual. Addison We 1992.

    Google Scholar 

  21. TUIJN, C.: Data Modeling from a Categorical Perspective. PhD thesis, Antwerpen University, 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering Faculty of Electrical Engineering and Computer Science, Technical University of Brno, Božetěchova 2, 612 66, Brno, Czech Republic

    Tomáš Hruška & Petr Kolenčík

Authors
  1. Tomáš Hruška
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Petr Kolenčík
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

François Bry Raghu Ramakrishnan Kotagiri Ramamohanarao

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hruška, T., Kolenčík, P. (1997). Comparison of categorical foundations of object-oriented database model. In: Bry, F., Ramakrishnan, R., Ramamohanarao, K. (eds) Deductive and Object-Oriented Databases. DOOD 1997. Lecture Notes in Computer Science, vol 1341. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63792-3_22

Download citation

  • DOI: https://doi.org/10.1007/3-540-63792-3_22

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63792-9

  • Online ISBN: 978-3-540-69647-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation