Project Details

Modelování dědičnosti pomocí limit

Project Period: 1. 1. 1997 - 31. 12. 1997

Project Type: grant

Agency: Faculty of Electrical Engineering and Computer Science BUT

Program:

English title
Inheritance modelling using limits
Type
grant
Keywords

Multiple Inheritance - Category Theory - Object-Oriented Data Model - Formal Foundations

Abstract

Object-oriented database model is still lacking some theoretical support. There have been reported some results concerning formal specification of object-relational model but with poor support of inheritance. The aim of the proposed project is to cre

Team members
Kolenčík Petr, Ing. (FEI VUT) , research leader
Publications

1997

  • HRUŠKA Tomáš and KOLENČÍK Petr. Comparison of Categorical Foundations of Object-Oriented Database Model. In: Proceedings of 5th International Conference on Deductive and. Lecture Notes in Computer Science, vol. 1341. Montreaux: Springer Verlag, 1997, pp. 302-319. ISBN 3-540-63792-3. ISSN 0302-9743. Detail
  • HRUŠKA Tomáš and KOLENČÍK Petr. Extending an Object-Oriented Model: Multiple Class Objects. In: Proceedings of 16th International Conference ER'97 on Conceptual Modelling. Lecture Notes in Computer Science, vol. 1331. Los Angeles, California: Springer Verlag, 1997, pp. 229-242. ISBN 3-540-63699-4. ISSN 0302-9743. Detail
  • KOLENČÍK Petr. Methods in The Object-Oriented Model as Sums of Morphisms. In: Preceeding of International Conference MOSIS'97, Volume 2. Hradec nad Moravicí, 1997, pp. 83-88. ISBN 80-85988-17-8. Detail

1996

  • HRUŠKA Tomáš and KOLENČÍK Petr. Semantics of Object Identification in Object-oriented Database Model. In: Proceedings of Scientific Conference Electronic Computers and Informatics. Košice: unknown, 1996, pp. 243-249. Detail
Back to top