Objektově orientované databáze - funkcionální sémantický datový model

Projekt byl určen pro výstavbu funkcionální technologie v přístupu k objektově orientovaným databázím. Na základě zjištěných skutečnostech o existenci podobných systémů ve světě byla provedena konstrukce jazyka s novými vlastnostmi. Pro jeho minimální verzi byla definována formální specifikace jak automatické typové inference, tak sémantiky jazyka. Přitom byla důsledně dodržena deklarativita jazyka a objektové paradigma, zejména potom nezávislost existence objektů na manipulačních prostředcích.