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.
References
BARR, M., WELLS, C.: Category Theory for Computing Science. Prentice Hall, 1995.
CATTELL, R.: The Object Database Standard ODMG-93, Release 1.2. Morgan Kaufmann Publishers, 1996.
COSTA, J., SERNADAS, A., SERNADAS, C.: Object Inheritance Beyond Subtyping. Acta Informatica, 1994.
DISKIN, Z., CADISH, B.: Algebraic Graph-Oriented = Category Theory Based. Manifesto of categorizing database theory. Tech. Rep. 9406, Frame Inform Systems, Riga, Latvia, 1994.
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.
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.
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.
GOGOLLA, M.: An Extended Entity-Relationship Model, Fundamentals and Pragmatics. Springer-Verlag, LNCS 767, 1994.
GOGUEN, J.: A Categorical Manifesto. Mathematical Structures in Computer Science, 1(1):49–67, 1991.
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.
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.
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.
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.
KIFER, M., LAUSEN, G., WU, J.: Logical Foundations of Object-Oriented and Frame-Based Languages. Journal of the ACM, 42(4):741–843, 1995.
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.
KOLENČÍK, P.: Methods in The Object-Oriented Model as Sums of Morphisms. In Preceeding of International Conference MOSIS'97, 1997, pp. 83–88.
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.
PIESSENS, F., STEEGMANS, E.: Categorical data-specifications. Theory and Applications of Categories, 1:156–173, 1995. Available at http://www.tac.mta.ca/tac/.
SIEBES, A.: On Complex Objects. PhD thesis, University of Twente, 1990.
STROUSTRUP, E.: The annotated C++ reference manual. Addison We 1992.
TUIJN, C.: Data Modeling from a Categorical Perspective. PhD thesis, Antwerpen University, 1994.
Author information
Authors and Affiliations
Editor information
Rights 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