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

Nadime Francis

Research output: Contribution to journalArticlepeer-review


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.
Original languageEnglish
Pages (from-to)156-190
Number of pages27
JournalTheory of Computing Systems
Issue number1
Publication statusPublished - 14 Jul 2016


Dive into the research topics of 'Asymptotic Determinacy of Path Queries using Union-of-Paths Views'. Together they form a unique fingerprint.

Cite this