A Characterization of First-Order Topological Properties of Planar Spatial Data

d abstract) Michael Benedikt Bell Labs Jan Van den Bussche Limburgs Universitair Centrum Christof L?oding Lehrstuhl Informatik VII RWTH Aachen Thomas Wilke Institut f?ur Informatik und Praktische Mathematik Christian-Albrechts-Universit?at zu Kiel Closed semi-algebraic sets in the plane form a powerful model of planar spatial datasets. 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 talk about points in the set and the "cones" around these points.

• Type: Conference
• Year: 2004
• Where: PODS
• Authors: Christof Löding, Jan Van den Bussche, Michael Benedikt, Thomas Wilke
• Keywords: Database, Lehrstuhl Informatik VII, Limburgs Universitair Centrum, Planar Spatial Datasets, PODS 2004