Reachability and connectivity queries in constraint databases - 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 : 2003

Reachability and connectivity queries in constraint databases

Michael Benedikt
  • Fonction : Auteur
  • PersonId : 882923
Martin Grohe
  • Fonction : Auteur
  • PersonId : 857863

Résumé

It is known that standard query languages for constraint databases lack the power to express connectivity properties. Such properties are important in the context of geographical databases, where one naturally wishes to ask queries about connectivity (what are the connected components of a given set?) or reachability (is there a path from A to B that lies entirely in a given region?). No existing constraint query languages that allow closed form evaluation can express these properties. In the first part of the paper, we show that in principle there is no obstacle to getting closed languages that can express connectivity and reachability queries. In fact, we show that adding any topological property to standard languages like FO+Lin and FO+Poly results in a closed language. In the second part of the paper, we look for tractable closed languages for expressing reachability and connectivity queries. We introduce path logic, which allows one to state properties of paths with respect to given regions. We show that it is closed, has polynomial time data complexity for linear and polynomial constraints, and can express a large number of reachability properties beyond simple connectivity. Query evaluation in the logic involves obtaining a discrete abstraction of a continuous path, and model-checking of temporal formulae on the discrete structure.
Fichier principal
Vignette du fichier
jcss.pdf (418.92 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02796363 , version 1 (05-06-2020)

Identifiants

Citer

Michael Benedikt, Martin Grohe, Leonid Libkin, Luc Segoufin. Reachability and connectivity queries in constraint databases. Journal of Computer and System Sciences, 2003, 66 (1), pp.169-206. ⟨10.1016/S0022-0000(02)00034-X⟩. ⟨hal-02796363⟩
18 Consultations
88 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More