Detail projektu

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

Období řešení: 1. 1. 1997 - 31. 12. 1997

Typ projektu: grant

Agentura: Fakulta elektrotechniky a informatiky VUT

Program:

Název anglicky
Inheritance modelling using limits
Typ
grant
Klíčová slova

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

Abstrakt

Objektově orientovaný databázový model stále postrádá formální teoretickou podporu. Existují již některé výsledky týkající se formální specifikace objektově relačního modelu. Ty však nepodporují plně vícenásobnou dědičnost. Cílem navrhovaného projekt

Řešitelé
Kolenčík Petr, Ing. (FEI VUT) , hlavní řešitel
Publikace

1997

  • HRUŠKA Tomáš a 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, roč. 1341. Montreaux: Springer Verlag, 1997, s. 302-319. ISBN 3-540-63792-3. ISSN 0302-9743. Detail
  • HRUŠKA Tomáš a 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, roč. 1331. Los Angeles, California: Springer Verlag, 1997, s. 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í: MARQ, 1997, s. 83-88. ISBN 80-85988-17-8. Detail

1996

  • HRUŠKA Tomáš a KOLENČÍK Petr. Semantics of Object Identification in Object-oriented Database Model. In: Proceedings of Scientific Conference Electronic Computers and Informatics. Košice: neznámá, 1996, s. 243-249. Detail
Nahoru