The Format Model: A Theory of database Organization
Journal of the ACM (JACM)
Geometric reasoning with logic and algebra
Artificial Intelligence - Special issue on geometric reasoning
Proceedings of the first symposium on Design and implementation of large spatial databases
SSD '90 Proceedings of the first symposium on Design and implementation of large spatial databases
Proceedings of the 2nd symposium on Advances in spatial databases
SSD '91 Proceedings of the 2nd symposium on Advances in spatial databases
Temporal databases: theory, design, and implementation
Temporal databases: theory, design, and implementation
Finitely representable databases (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Universality of data retrieval languages
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Proceedings of the Third International Symposium on Advances in Spatial Databases
SSD '93 Proceedings of the Third International Symposium on Advances in Spatial Databases
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
Database querying and constraint programming
ACM SIGACT News
Constraint programming and database languages: a tutorial
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Dense-order constraint databases (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Relational expressive power of constraint query languages
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Towards practical constraint databases (extended abstract)
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Variable independence and aggregation closure
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Topological queries in spatial databases
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On genericity and parametricity (extended abstract)
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Strategic directions in constraint programming
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Constraint databases: promising technology or just intellectual exercise?
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Complete geometrical query languages (extended abstract)
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Relational expressive power of constraint query languages
Journal of the ACM (JACM)
Querying spatial databases via topological invariants
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An expressive language for linear spatial database queries
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Typed query languages for databases containing queries
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The DEDALE system for complex spatial queries
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Safe query languages for constraint databases
ACM Transactions on Database Systems (TODS)
Spatio-temporal data handling with constraints
Proceedings of the 6th ACM international symposium on Advances in geographic information systems
Updating and Querying Databases that Track Mobile Units
Distributed and Parallel Databases - Special issue on mobile data management and applications
Uniform generation in spatial constraint databases and applications (Extended abstract)
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On first-order topological queries
ACM Transactions on Computational Logic (TOCL)
Constraint Programming: Strategic Directions
Constraints
Spatio-Temporal Data Handling with Constraints
Geoinformatica
A general strategy for decomposing topological invariants of spatial databases and an application
Data & Knowledge Engineering
ACM SIGMOD Record
An Extended Algebra for Constraint Databases
IEEE Transactions on Knowledge and Data Engineering
On the Orthographic Dimension of Constraint Databases
ICDT '99 Proceedings of the 7th International Conference on Database Theory
Databases for Tracking Mobile Units in Real Time
ICDT '99 Proceedings of the 7th International Conference on Database Theory
The 3W Model and Algebra for Unified Data Mining
VLDB '00 Proceedings of the 26th International Conference on Very Large Data Bases
MuTACLP: A Language for Temporal Reasoning with Multiple Theories
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Introducing External Functions in Constraint Query Languages
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
ISD '99 Selected Papers from the International Workshop on Integrated Spatial Databases, Digital Inages and GIS
Expressing Topological Connectivity of Spatial Databases
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
A Theory of Spatio-Temporal Database Queries
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
On the Structure of Queries in Constraint Query Languages
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
On First-Order Topological Queries
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Variable Independence in Constraint Databases
IEEE Transactions on Knowledge and Data Engineering
A characterization of first-order topological properties of planar spatial data
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Efficient constraint processing for location-aware computing
Proceedings of the 6th international conference on Mobile data management
A characterization of first-order topological properties of planar spatial data
Journal of the ACM (JACM)
Uniform generation in spatial constraint databases and applications
Journal of Computer and System Sciences
Expressive power of an algebra for data mining
ACM Transactions on Database Systems (TODS)
An Ehrenfeucht-Fraïssé game approach to collapse results in database theory
Information and Computation
First-order complete and computationally complete query languages for spatio-temporal databases
ACM Transactions on Computational Logic (TOCL)
Spatial aggregation: Data model and implementation
Information Systems
Spatial-yap: a logic-based geographic information system
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Formalization and reasoning about spatial semantic integrity constraints
Data & Knowledge Engineering
Inconsistency issues in spatial databases
Inconsistency Tolerance
Consistent query answering under spatial semantic constraints
Information Systems
Hi-index | 0.00 |
A general model for spatial databases is considered, which extends the relational model by allowing as tuple components not only atomic values but also geometrical figures. The model, which is inspired by the work of Kanellakis, Kuper and Revesz on constraint query languages, includes a calculus and an algebra which are equivalent. Given this framework, the concept of spatial database query is investigated. Thereto, Chandra and Harel's well-known consistency criterion for classical relational queries is adapted. Various adaptations are proposed, depending on the kinds of geometry in which the spatial information in the database is to be interpreted. The consistency problem for calculus queries is studied. Expressiveness issues are examined. The main purpose of the paper is to open up new grounds for theoretical research in the area of spatial database systems. Consequently, many open problems are indicated.