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.

Description in English
The project was oriented to the research of functional technology applied to object-oriented databases. Based on the study of existing systems, a new language with new properties was designed. The formal specification of both automatic type inference and language semantics were defined for minimal version of the language. The language declarativity and object paradigm were strictly adhered, especially the independence of objects existence on the manipulation system.

Keywords
Funkcionální jazyk - Objektově-orientovaná databáze - Typová inference

Key words in English
Functional languages - Object-oriented database - Type inference