On first-order topological queries

One important class of spatial database queries is the class of topological queries, that is, queries invariant under homeomorphisms. Westudy topological queries expressible in the standard querylanguage on spatial databases, rst-order logic with various amounts of arithmetic. Our main technical result is a combinatorial characterization of the expressive power of topological rst-order logic on regular spatial databases.

• Type: Journal
• Year: 2002
• Where: TOCL
• Authors: Martin Grohe, Luc Segoufin
• Keywords: Spatial Databases, TOCL 2002, Topological Queries, Westudy Topological Queries