Project Details
Modelování dědičnosti v objektově-orientovaném modelu
Project Period: 1. 1. 1997 - 31. 12. 1997
Project Type: grant
Code: FR0630/1997/G
Agency: Fond rozvoje vysokých škol MŠMT
Program:
Multiple Inheritance - Category Theory - Object-Oriented Data Model - Formal Foundations
Even if there are some results concerning formal specification of object-relational model, poor support exists for inheritance. The aim of the proposed project is to create a formal model of inheritance based on category theory and thus prepare material suitable for further development of the concept into formal description applicable to complete object-oriented model. We focus especially on multiple inheritance, name space, virtual base classes and polymorphism.
Kolenčík Petr, Ing. (FEI VUT) , research leader
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