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.

Description in English
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.

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

Key words in English
Multiple Inheritance - Category Theory - Object-Oriented Data Model - Formal Foundations

FR0630/1997/G

Czech

Hruška Tomáš, prof. Ing., CSc. - principal person responsible
Kolenčík Petr, Ing. - principal person responsible

Department of Information Systems
- responsible department (23.10.2001 - not assigned)
Information and Database Systems Research Group
- internal (23.10.2001 - 31.12.1997)
Faculty of Information Technology
- co-beneficiary (23.10.2001 - 31.12.1997)

Responsibility: Hruška Tomáš, prof. Ing., CSc.