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

DOI10.1145/1131342.1131346MaRDI QIDQ3546315zbMATH OpenOpenAlexFDO

Authors Michael Benedikt, Bart Kuijpers, Christof Löding, Jan Van den Bussche, Thomas Wilke

Publication date 21 December 2008

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/1942/649

Mathematics Subject Classification ID

Logic in computer science (03B70) Semialgebraic sets and related spaces (14P10) Database theory (68P15) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Recommendations

• On first-order topological queries
• Topological queries in spatial databases
• The expressive power of first-order topological languages
• Publication:4508943
• scientific article; zbMATH DE number 2080410

Cited in

(2)

• Topological elementary equivalence of regular semi-algebraic sets in three-dimensional space
• The past and future of embedded finite model theory

This page was built for publication: A characterization of first-order topological properties of planar spatial data

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3546315)