Project detail
Object-oriented databases - functional semantic data model
Duration: 1.1.1997 — 31.12.1997
Funding resources
On the project
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
Mark
FR0631/1997/G
Default language
Czech
People responsible
Hruška Tomáš, prof. Ing., CSc. - principal person responsible
Kolář Dušan, doc. Dr. Ing. - principal person responsible
Units
Department of Information Systems
- responsible department (23.10.2001 - not assigned)
Information and Database Systems Research Group
- internal (23.10.2001 - 31.12.1997)
Faculty of Information Technology
- co-beneficiary (23.10.2001 - 31.12.1997)
Responsibility: Hruška Tomáš, prof. Ing., CSc.