Detail projektu

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

Období řešení: 1. 1. 1997 - 31. 12. 1997

Typ projektu: grant

Kód: FR0631/1997/G

Agentura: Fond rozvoje vysokých škol MŠMT

Program:

Název anglicky
Object-oriented databases - functional semantic data model
Typ
grant
Klíčová slova

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

Abstrakt

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.

Řešitelé
Hruška Tomáš, Prof. Ing., CSc. (UIVT FEI VUT) , hlavní řešitel
Kolář Dušan, Dr. Ing. (UIVT FEI VUT) , hlavní řešitel
Publikace

1997

Nahoru