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

KOLÁŘ Dušan. Overloading in Object-Oriented Data Models. In: Proceedings of 31st International Conference MOSIS'97. Hradec nad Moravici: MARQ, 1997, s. 86-91. ISBN 80-85988-16-X. Detail
KOLÁŘ Dušan. Přetěžování funkcí a operátorů, Vlastnosti typů bez překrytí. Sborník prací studentů a doktorandů 1997. Brno: neznámá, 1997, s. 136-138. ISBN 80-214-0637-2. Detail