Abstract

The formal specification of spatio-temporal information is essential to the definition of spatio-temporal database systems. The main contribution of this work is to provide a formal specification that uses object-oriented concepts associated not only with objects but also with events as primary classes of a model. The work is based on Event Calculus and C-logic to model objects and events and to provide a language for spatio-temporal queries. This work shows the possibility to combine the snapshot view with the event view of spatio-temporal information using a formal framework that serves for specifying information, checking consistency of specification, and being a reference for query languages. © Springer-Verlag Berlin Heidelberg 2005.