Ačkoli existují již některé výsledky týkající se formální specifikace objektově relačního modelu, většinou nepodporují plně vícenásobnou dědičnost. Cílem navrhovaného projektu je vytvořit formální model dědičnosti pomocí teorie kategorií a tak připravit prostředky pro formální popis objektově orientovaného modelu jako celku. Jde především o popis vícenásobné dědičnosti, prostoru jmen, virtuálních bázových tříd a polymorfismu.

Popis anglicky
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.

Klíčová slova
Násobná dědičnost - Teorie kategorií - Objektově-orientovaný datový model - Formální základy

Klíčová slova anglicky
Multiple Inheritance - Category Theory - Object-Oriented Data Model - Formal Foundations

FR0630/1997/G

čeština

Hruška Tomáš, prof. Ing., CSc. - hlavní řešitel
Kolenčík Petr, Ing. - hlavní řešitel

Ústav informačních systémů
- odpovědné pracoviště (23.10.2001 - nezadáno)
Výzkumná skupina informačních a databázových systémů
- interní (23.10.2001 - 31.12.1997)
Fakulta informačních technologií
- spolupříjemce (23.10.2001 - 31.12.1997)

Odpovědnost: Hruška Tomáš, prof. Ing., CSc.