首页    期刊浏览 2025年06月16日 星期一
登录注册

文章基本信息

  • 标题:Asymptotic Determinacy of Path Queries using Union-of-Paths Views
  • 本地全文:下载
  • 作者:Nadime Francis
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2015
  • 卷号:31
  • 页码:44-59
  • DOI:10.4230/LIPIcs.ICDT.2015.44
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:We consider the view determinacy problem over graph databases for queries defined as (possibly infinite) 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.
  • 关键词:Graph databases; Views; Determinacy; Rewriting; Path queries
国家哲学社会科学文献中心版权所有