On First-Order Topological Queries - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles ACM Transactions on Computational Logic Year : 2002

On First-Order Topological Queries

Luc Segoufin

Abstract

One important class of spatial database queries is the class of topological queries, that is, queries invariant under homeomorphisms. We study topological queries expressible in the standard query language on spatial databases, rst-order logic with various amounts of arithmetic. Our main technical result is a combinato-rial characterization of the expressive power of topological rst-order logic on regular spatial databases.
Fichier principal
Vignette du fichier
topo-FO.pdf (349.88 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01223388 , version 1 (02-11-2015)

Identifiers

Cite

Martin Grohe, Luc Segoufin. On First-Order Topological Queries. ACM Transactions on Computational Logic, 2002, 3 (3), ⟨10.1145/507382.507384⟩. ⟨hal-01223388⟩

Collections

CNRS INRIA INRIA2
62 View
121 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More