Topological reasoning between complex regions in databases with frequent updates

Reasoning about space has been a considerable field of study both in Artificial Intelligence and in spatial information theory. Many applications benefit from the inference of new knowledge about the spatial relationships between spatial objects on the basis of already available and explicit spatial relationship knowledge that we call spatial (relationship) facts. Hence, the task is to derive new spatial facts from known spatial facts. A considerable amount of work has focused on reasoning about topological relationships (as a special and important subset of spatial relationships) between simple spatial objects like simple regions. There is a common consensus in the GIS and spatial database communities that simple regions are insufficient to model spatial reality and that complex region objects are needed that allow multiple components and holes. Models for topological relationships between complex regions have already been developed. Hence, as the next logical step, the goal of this paper is to develop a reasoning model for them. Further, no reasoning model considers changes of the spatial fact basis stored in a database between consecutive queries. We show that conventional modeling suffers from performance degradation when the database is frequently changing. Our model does not assume any geometric representation model or data structure for the regions. The model is also backward compatible, i.e., it is also applicable to simple regions.

[1]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[2]  Anthony G. Cohn,et al.  Qualitative and Topological Relationships in Spatial Databases , 1993, SSD.

[3]  Terence R. Smith,et al.  Algebraic approach to spatial reasoning , 1992, Int. J. Geogr. Inf. Sci..

[4]  M. Egenhofer Categorizing Binary Topological Relations Between Regions, Lines, and Points in Geographic Databases , 1998 .

[5]  Ralf Hartmut Güting,et al.  Geo-Relational Algebra: A Model and Query Language for Geometric Database Systems , 1988, EDBT.

[6]  Ralf Hartmut Güting,et al.  Realm-based spatial data types: The ROSE algebra , 1995, The VLDB Journal.

[7]  V. Haarslev SBox: A Qualitative Spatial Reasoner {Progress Report{ , 1997 .

[8]  Alfred Tarski,et al.  Relational selves as self-affirmational resources , 2008 .

[9]  R. Maddux Some algebras and algorithms for reasoning about time and space , 1989 .

[10]  David Eppstein,et al.  Finding the k Shortest Paths , 1999, SIAM J. Comput..

[11]  Max J. Egenhofer,et al.  Comparing Relations with a Multi-holed Region , 2009, COSIT.

[12]  Max J. Egenhofer,et al.  Single-Holed Regions: Their Relations and Inferences , 2008, GIScience.

[13]  Peter van Beek,et al.  On the Minimality and Decomposability of Constraint Networks , 1992, AAAI.

[14]  Max J. Egenhofer,et al.  Deriving the Composition of Binary Topological Relations , 1994, J. Vis. Lang. Comput..

[15]  Dimitris Papadias,et al.  Topological Inference , 1995, IJCAI.

[16]  Eugene C. Freuder,et al.  The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems , 1985, Artif. Intell..

[17]  Christophe Lecoutre Constraint Networks , 1992 .

[18]  Eugene C. Freuder,et al.  The Complexity of Constraint Satisfaction Revisited , 1993, Artif. Intell..

[19]  Alia I. Abdelmoty,et al.  A general method for spatial reasoning in spatial databases , 1995, CIKM '95.

[20]  Max J. Egenhofer,et al.  Reasoning about Binary Topological Relations , 1991, SSD.

[21]  Max J. Egenhofer,et al.  Spatial SQL: A Query and Presentation Language , 1994, IEEE Trans. Knowl. Data Eng..

[22]  Markus Schneider,et al.  Spatial Data Types for Database Systems: Finite Resolution Geometry for Geographic Information Systems , 1997 .

[23]  Andrew U. Frank,et al.  A Topological Data Model for Spatial Databases , 1990, SSD.

[24]  Bernhard Nebel,et al.  On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus , 1999, Artif. Intell..

[25]  Thomas Behr,et al.  Topological relationships between complex spatial objects , 2006, TODS.