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