Querying Spatial Databases via Topological Invariants - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Journal of Computer and System Sciences Année : 2000

Querying Spatial Databases via Topological Invariants

Luc Segoufin

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-01128308 , version 1

Citer

Luc Segoufin, Victor Vianu. Querying Spatial Databases via Topological Invariants. Journal of Computer and System Sciences, 2000, 61 (2), pp.32. ⟨hal-01128308⟩
21 Consultations
77 Téléchargements

Partager

Gmail Facebook X LinkedIn More