Detail projektu
Modelování dědičnosti v objektově-orientovaném modelu
Období řešení: 1. 1. 1997 – 31. 12. 1997
Typ projektu: grant
Kód: FR0630/1997/G
Násobná dědičnost - Teorie kategorií - Objektově-orientovaný datový model -
Formální základy
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.
Kolenčík Petr, Ing. – hlavní řešitel