A logical approach for modeling spatio-temporal objects and events

Authors:
Cristian Vidal;Andrea Rodríguez
Affiliations:
Department of Computer Science, University of Concepción, Concepción, Chile;Department of Computer Science, University of Concepción, Concepción, Chile
Venue:
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
Year:
2005

Citing 12
Cited 1

A logic-based calculus of events

New Generation Computing
C-logic of complex objects

PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Object orientation: concepts, languages, databases, user interfaces

Object orientation: concepts, languages, databases, user interfaces
Database updates in the event calculus

Journal of Logic Programming
A data model and data structures for moving objects databases

SIGMOD '00 Proceedings of the 2000 ACM SIGMOD international conference on Management of data
Survey of Spatio-Temporal Databases

Geoinformatica
OMT-G: An Object-Oriented Data Model for Geographic Applications

Geoinformatica
The power of languages for the manipulation of complex values

The VLDB Journal — The International Journal on Very Large Data Bases
A Logic Programming Framework for Modeling Temporal Objects

IEEE Transactions on Knowledge and Data Engineering
A Database Perspective on Geospatial Data Modeling

IEEE Transactions on Knowledge and Data Engineering
Geographic Data Handling in a Deductive Object-Oriented Database

DEXA '94 Proceedings of the 5th International Conference on Database and Expert Systems Applications
The Tripod spatio-historical data model

Data & Knowledge Engineering

Modeling and querying fuzzy spatiotemporal databases

Information Sciences: an International Journal

Quantified Score

Hi-index	0.00

Visualization

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.