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

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. (DIFS) – research leader
Kolář Dušan, doc. Dr. Ing. (DIFS) – research leader