The Community for Technology Leaders
RSS Icon
Subscribe
Santa Barbara, California
June 26, 2000 to June 29, 2000
ISBN: 0-7695-0725-5
pp: 349
Martin Grohe , Institut fur Mathematische Logik
Luc Segoufin , INRIA
ABSTRACT
One important class of spatial database queries is the class of topological queries, i.e. queries invariant under homeomorphisms. We study topological queries expressible in the standard query language on spatial databases, first-order logic with various amounts of arithmetic. Our main technical result is a combinatorial characterization of the expressive power of topological first-order logic on regular spatial databases.
INDEX TERMS
First-order, topology, invariance, spatial database
CITATION
Martin Grohe, Luc Segoufin, "On First-Order Topological Queries", LICS, 2000, Logic in Computer Science, Symposium on, Logic in Computer Science, Symposium on 2000, pp. 349, doi:10.1109/LICS.2000.855783
16 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool