A characterization of first-order topological properties of planar spatial data

Planar spatial datasets can be modeled by closed semi-algebraic sets in the plane. We establish a characterization of the topological properties of such datasets expressible in the relational calculus with real polynomial constraints. The characterization is in the form of a query language that can only point that can only talk about points in the set and the “cones” around these points.

[1]  Jan Paredaens,et al.  Towards a theory of spatial database queries (extended abstract) , 1994, PODS.

[2]  Marie-Françoise Roy,et al.  Witt Rings in Real Algebraic Geometry , 1998 .

[3]  Robert McNaughton,et al.  Counter-Free Automata (M.I.T. research monograph no. 65) , 1971 .

[4]  守屋 悦朗,et al.  J.E.Hopcroft, J.D. Ullman 著, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley, A5変形版, X+418, \6,670, 1979 , 1980 .

[5]  Jan Van den Bussche,et al.  Topological elementary equivalence of closed semi-algebraic sets in the real plane , 2000, Journal of Symbolic Logic.

[6]  Leonid Libkin,et al.  Elements of Finite Model Theory , 2004, Texts in Theoretical Computer Science.

[7]  Gabriel M. Kuper,et al.  Constraint Query Languages , 1995, J. Comput. Syst. Sci..

[8]  Marie-Françoise Roy,et al.  Real algebraic geometry , 1992 .

[9]  Robert Laurini,et al.  9 – Design for Information Systems: Methodologies, issues , 1992 .

[10]  Martin Grohe,et al.  On first-order topological queries , 2002, TOCL.

[11]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[12]  MAX J. EGENHOFER,et al.  Point Set Topological Relations , 1991, Int. J. Geogr. Inf. Sci..

[13]  Jan Van den Bussche,et al.  On Capturing First-Order Topological Properties of Planar Spatial Databases , 1999, ICDT.

[14]  Wolfgang Thomas,et al.  Languages, Automata, and Logic , 1997, Handbook of Formal Languages.

[15]  Christof Löding,et al.  A characterization of first-order topological properties of planar spatial data , 2004, JACM.

[16]  Jörg Flum,et al.  Finite model theory , 1995, Perspectives in Mathematical Logic.

[17]  R. McNaughton,et al.  Counter-Free Automata , 1971 .

[18]  Jan Van den Bussche,et al.  First-Order Queries on Databases Embedded in an Infinite Structure , 1996, Inf. Process. Lett..

[19]  Gabriel M. Kuper,et al.  Constraint Databases , 2010, Springer Berlin Heidelberg.

[20]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[21]  Dan Suciu,et al.  Topological Queries in Spatial Databases , 1999, J. Comput. Syst. Sci..

[22]  Jianwen Su,et al.  Queries with Arithmetical Constraints , 1997, Theor. Comput. Sci..

[23]  Jan Van den Bussche,et al.  Towards a theory of spatial database queries (extended abstract) , 1994, PODS '94.

[24]  L. van den Dries,et al.  Tame Topology and O-minimal Structures , 1998 .

[25]  David M. Mark,et al.  Modelling Conceptual Neighbourhoods of Toplogical Line-Region Relations , 1995, Int. J. Geogr. Inf. Sci..

[26]  Victor Vianu,et al.  Querying spatial databases via topological invariants , 1998, J. Comput. Syst. Sci..

[27]  Max J. Egenhofer,et al.  On the Equivalence of Topological Relations , 1995, Int. J. Geogr. Inf. Sci..