Research Group Geoinformation

Home | Research | Publications | Download | Projects | Teaching | Staff

... to the Cartography Group

Medak Damir

Formal modeling of entity's life in GIS
by Damir Medak

There is strong demand on modern GIS for managing changes of objects through time. These changes were usually expressed in databases as creation and deletion of records and with time-stamps. Some recent experiences show that the problem is more complex. One particular proposal for classification of temporal constructs (Al Taha and Barrera 1994) deserves attention. The goal of my research is to check if proposed constructs can be formalized in a functional programming environment. This simple task raises challenging questions already in the beginning.


Powered by CMSimple