Querying Spatial Databases via Topological Invariants - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal of Computer and System Sciences Year : 2000

Querying Spatial Databases via Topological Invariants

Luc Segoufin

Abstract

The paper investigates the use of topological annotations (called topological invariants) to answer topological queries in spatial databases. The focus is on the translation of topological queries against the spatial database into queries against the topological invariant. The languages considered are first-order on the spatial database side, and fixpoint + counting, fixpoint, and first-order on the topological invariant side. In particular, it is shown that fixpoint + counting expresses precisely all the ptime queries on topological invariants; if the regions are connected, fixpoint expresses all ptime queries on topological invariants.
Fichier principal
Vignette du fichier
topo-inv.pdf (365.9 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01128308 , version 1 (09-03-2015)

Identifiers

  • HAL Id : hal-01128308 , version 1

Cite

Luc Segoufin, Victor Vianu. Querying Spatial Databases via Topological Invariants. Journal of Computer and System Sciences, 2000, 61 (2), pp.32. ⟨hal-01128308⟩
21 View
75 Download

Share

Gmail Facebook X LinkedIn More