A characterization of first-order topological properties of planar spatial data-Reference-Cited by-同舟云学术

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

Published:2006-03 Issue:2 Volume:53 Page:273-305
ISSN:0004-5411
Container-title:Journal of the ACM
language:en
Short-container-title:J. ACM

Author:

Benedikt Michael¹,Kuijpers Bart²,Löding Christof³,Bussche Jan Van den²,Wilke Thomas⁴

Affiliation:

1. Bell Laboratories, Murray Hill, New Jersey

2. Hasselt University, Diepenbeek, Belgium, and Transnationale Universiteit Limburg

3. RWTH Aachen, Aachen Germany

4. University of Kiel, Kiel, Germany

Abstract

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.

Publisher

Association for Computing Machinery (ACM)

Subject

Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software

Link

https://dl.acm.org/doi/pdf/10.1145/1131342.1131346

Reference27 articles.

1. Abiteboul S. Hull R. and Vianu V. 1995. Foundations of Databases. Addison-Wesley Reading MA.]] Abiteboul S. Hull R. and Vianu V. 1995. Foundations of Databases. Addison-Wesley Reading MA.]]

2. Relational expressive power of constraint query languages

3. Bochnak J. Coste M. and Roy M.-F. 1998. Real Algebraic Geometry. Springer-Verlag New York.]] Bochnak J. Coste M. and Roy M.-F. 1998. Real Algebraic Geometry. Springer-Verlag New York.]]

4. Ebbinghaus H.-D. and Flum J. 1995. Finite Model Theory. Springer-Verlag New York.]] Ebbinghaus H.-D. and Flum J. 1995. Finite Model Theory. Springer-Verlag New York.]]

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The Past and Future of Embedded Finite Model Theory;Lecture Notes in Computer Science;2022

2. Topological elementary equivalence of regular semi-algebraic sets in three-dimensional space;Mathematical Logic Quarterly;2018-12

3. Constraint Query Languages;Encyclopedia of Database Systems;2018

4. Constraint Query Languages;Encyclopedia of Database Systems;2017

5. Constraint Query Languages;Encyclopedia of Database Systems;2009