Temporal databases: theory, design, and implementation
Temporal databases: theory, design, and implementation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Temporal annotated constraint logic programming
Journal of Symbolic Computation - Special issue: executable temporal logics
The DEDALE system for complex spatial queries
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Spatio-temporal data handling with constraints
Proceedings of the 6th ACM international symposium on Advances in geographic information systems
An Extended Algebra for Constraint Databases
IEEE Transactions on Knowledge and Data Engineering
Proceedings of the International Workshop on Spatio-Temporal Database Management
STDBM '99 Proceedings of the International Workshop on Spatio-Temporal Database Management
Spatial Databases, The Final Frontier
ICDT '95 Proceedings of the 5th International Conference on Database Theory
Temporal Query Languages: A Survey
ICTL '94 Proceedings of the First International Conference on Temporal Logic
DEDALE, A Spatial Constraint Database
DBLP-6 Proceedings of the 6th International Workshop on Database Programming Languages
Geographic Data Handling in a Deductive Object-Oriented Database
DEXA '94 Proceedings of the 5th International Conference on Database and Expert Systems Applications
Temporal Annotated Constraint Logic Programming with Multiple Theories
DEXA '99 Proceedings of the 10th International Workshop on Database & Expert Systems Applications
MuTACLP: A Language for Temporal Reasoning with Multiple Theories
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Programming spatio-temporal data streaming applications with high-level specifications
Proceedings of the Third ACM SIGSPATIAL International Workshop on Querying and Mining Uncertain Spatio-Temporal Data
| Hi-index | 0.00 |
This paper proposes an integration between Geographical Information System (GIS) technology and constraint logic programming in order to supply the user with a declarative language that supports and improves GIS analysis. We present the language MuTACLP, where spatio-temporal and thematic information can be represented in a uniform way, and the features of constraint logic programming, such as recursion and constraint handling, can be exploited to perform sophisticated spatio-temporal reasoning. This unifying language seems also promising to address the key problem of interoperability among different GISs.