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.