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.