Project Details

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

Project Period: 1. 1. 1997 - 31. 12. 1997

Project Type: grant

Code: FR0631/1997/G

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

Program:

English title

Object-oriented databases - functional semantic data model

Type

grant

Keywords

Functional languages - Object-oriented database - Type inference

Abstract

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.

Team members

Hruška Tomáš, Prof. Ing., CSc. (UIVT FEI VUT) , research leader
Kolář Dušan, Dr. Ing. (UIVT FEI VUT) , research leader

Publications

1997

KOLÁŘ Dušan. Overloading in Object-Oriented Data Models. In: Proceedings of 31st International Conference MOSIS'97. Hradec nad Moravici, 1997, pp. 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: unknown, 1997, pp. 136-138. ISBN 80-214-0637-2. Detail