Project detail

Modelling inheritance in object-oriented model

Duration: 01.01.1997 — 31.12.1997

On the project

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

Mark

FR0630/1997/G

Default language

Czech

People responsible

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