Skip to Main content Skip to Navigation
Journal articles

Asymptotic Determinacy of Path Queries using Union-of-Paths Views

Nadime Francis 1
1 DAHU - Verification in databases
LSV - Laboratoire Spécification et Vérification [Cachan], Inria Saclay - Ile de France
Abstract : We consider the view-based query determinacy problem over graph databases for queries defined as unions of path queries. These queries select pairs of nodes in a graph that are connected through a path whose length falls in a given set. A view specification is a set of such queries. We say that a view specification V determines a query Q if, for all databases D, the answers to V on D contain enough information to answer Q. Our main result states that, given a view V, there exists an explicit bound that depends on V such that we can decide the determinacy problem for all queries that ask for a path longer than this bound, and provide first-order rewritings for the queries that are determined. We call this notion asymptotic determinacy. As a corollary, we can also compute the set of almost all path queries that are determined by V.
Document type :
Journal articles
Complete list of metadata

Cited literature [10 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01803445
Contributor : Nadime Francis <>
Submitted on : Wednesday, May 30, 2018 - 1:26:00 PM
Last modification on : Friday, April 30, 2021 - 9:53:26 AM
Long-term archiving on: : Friday, August 31, 2018 - 3:50:37 PM

File

tocs-asy.pdf
Files produced by the author(s)

Identifiers

Citation

Nadime Francis. Asymptotic Determinacy of Path Queries using Union-of-Paths Views. Theory of Computing Systems, Springer Verlag, 2017, 61 (1), pp.156-190. ⟨10.1007/s00224-016-9697-x⟩. ⟨hal-01803445⟩

Share

Metrics

Record views

132

Files downloads

214