VASA: An algebra for vague spatial data in databases

Many geographical applications deal with objects in space that cannot be adequately described by determinate, crisp spatial concepts because of their intrinsically indeterminate and vague nature. Geographical information systems and spatial database systems are currently unable to cope with this kind of data. To support the efficient representation, querying, and manipulation of vague spatial data in a database context, we present a formal data model called vague spatial algebra (VASA). This algebra comprises a set of vague spatial data types for vague points, vague lines, and vague regions together with a comprehensive collection of vague spatial operations and vague topological predicates. One of VASA's main benefits is that its formal framework is based on well known, general, and exact models of crisp spatial data types. This enables an exact definition of the vague spatial model since we can build upon an already existing theory of spatial data types. In particular, crisp spatial data types turn out to be a special case of their vague counterparts. In addition, our approach enables executable specifications for the operations, which can be immediately used as implementations. The article offers a precise and conceptually clean foundation for implementing a DBMS extension for vague spatial data and demonstrates the embedding of these new data types as attribute data types in a database schema as well as the incorporation of vague spatial operations and predicates into queries formulated in an SQL-like query language. All concepts have been verified in a prototype implementation.

[1]  Michael F. Worboys,et al.  A Canonical Model for a Class of Areal Spatial Objects , 1993, SSD.

[2]  M. Egenhofer,et al.  Point-Set Topological Spatial Relations , 2001 .

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

[4]  Michael Gertz,et al.  Modeling and Querying Vague Spatial Objects Using Shapelets , 2007, VLDB.

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

[6]  Ugo Montanari,et al.  Networks of constraints: Fundamental properties and applications to picture processing , 1974, Inf. Sci..

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

[8]  Keith Ryden,et al.  OpenGIS ® Implementation Specification for Geographic information - Simple feature access - Part 1:Common architecture , 2005 .

[9]  Markus Schneider,et al.  Topological Reasoning for Identifying a Complete Set of Topological Predicates between Vague Spatial Objects , 2006, FLAIRS.

[10]  Markus Schneider,et al.  Vague Spatial Data Types, Set Operations, and Predicates , 2004, ADBIS.

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

[12]  Julius T. Tou,et al.  Information Systems , 1973, GI Jahrestagung.

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

[14]  M. Worboys Computation with imprecise geospatial data , 1998 .

[15]  John T. Finn,et al.  Use of the Average Mutual Information Index in Evaluating Classification Error and Consistency , 1993, Int. J. Geogr. Inf. Sci..

[16]  Fangju Wang,et al.  Fuzzy Representation of Geographical Boundaries in GIS , 1996, Int. J. Geogr. Inf. Sci..

[17]  Peter A. Burrough,et al.  Natural Objects with Indeterminate Boundaries , 2020 .

[18]  Fangju Wang,et al.  Fuzzy information representation and processing in conventional GIS software: database design and application , 1990, Int. J. Geogr. Inf. Sci..

[19]  Vassiliki J. Kollias,et al.  Fuzzy reasoning in the development of geographical information systems FRSIS: a prototype soil information system with fuzzy retrieval capabilities , 1991, Int. J. Geogr. Inf. Sci..

[20]  T. Mexia,et al.  Author ' s personal copy , 2009 .

[21]  Eliseo Clementini,et al.  A Model for Representing Topological Relationships between Complex Geometric Features in Spatial Databases , 1996, Inf. Sci..

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

[23]  Markus Schneider,et al.  Vague Regions , 1997, SSD.

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

[25]  Frank Manola,et al.  PROBE Spatial Data Modeling and Query Processing in an Image Database Application , 1988, IEEE Trans. Software Eng..

[26]  David Altman,et al.  Fuzzy Set Theoretic Approaches for Handling Imprecision in Spatial Analysis , 1994, Int. J. Geogr. Inf. Sci..

[27]  Anthony G. Cohn,et al.  The ‘Egg-Yolk’ Representation of Regions with Indeterminate Boundaries , 2020 .

[28]  P. Burrough,et al.  Geographic Objects with Indeterminate Boundaries , 1996 .

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

[30]  Eliseo Clementini,et al.  A spatial model for complex objects with a broad boundary supporting queries on uncertain data , 2001, Data Knowl. Eng..

[31]  Alfred Stein,et al.  A system of types and operators for handling vague spatial objects , 2007, Int. J. Geogr. Inf. Sci..

[32]  Uniuersita di L'Aquila An Algebraic Model for Spatial Objects with Indeterminate Boundaries , 2012 .

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

[34]  Markus Schneider,et al.  Efficient Implementation Techniques for Topological Predicates on Complex Spatial Objects , 2008, GeoInformatica.

[35]  Markus Schneider,et al.  Topological Predicates Between Vague Spatial Objects , 2005, SSTD.

[36]  Markus Schneider,et al.  Identifying topological predicates for vague spatial objects , 2005, SAC '05.

[37]  Philippe Lagacherie,et al.  Fuzziness and Uncertainty of Soil Boundaries: From Reality to Coding in GIS , 2020 .

[38]  Markus Schneider,et al.  Uncertainty Management for Spatial Data in Databases: Fuzzy Spatial Data Types , 1999, SSD.

[39]  Alan K. Mackworth Consistency in Networks of Relations , 1977, Artif. Intell..