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.
CITATION STYLE
Vidal, C., & Rodríguez, A. (2005). A logical approach for modeling spatio-temporal objects and events. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3770 LNCS, pp. 218–227). https://doi.org/10.1007/11568346_24
Mendeley helps you to discover research relevant for your work.