PUG: a framework and practical implementation for why and why-not provenance
PUG: a framework and practical implementation for why and why-not provenance
复制标题
PUG：为什么和为什么不起源的框架和实际实施
DOI：
10.1007/s00778-018-0518-5
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Glavic, Boris
中科院分区：
文献类型：
--
作者：
Lee, Seokki;Ludäscher, Bertram;Glavic, Boris
解释为什么查询返回（或不返回）答案对于许多应用程序都很重要，包括审计、调试数据和查询以及回答关于数据的假设问题。在这项工作中，我们提出了第一个实用的方法来回答带有否定的查询（一阶查询）的此类问题。具体来说，我们介绍了一个基于图的出处模型，而在本质上的语法，支持反向推理，并证明编码广泛的出处模型从文献。该模型在我们的PUG（通过图形的起源统一）系统中的实现将起源问题和数据库查询作为输入，并生成计算解释的数据库程序，即，与回答问题相关的出处部分。此外，我们演示了如何一个理想的分解出处可以通过重写输入查询。我们实验评估我们的方法，证明其效率。
Explaining why an answer is (or is not) returned by a query is important for many applications including auditing, debugging data and queries, and answering hypothetical questions about data. In this work, we present the firstpracticalapproach for answering such questions for queries with negation (first-order queries). Specifically, we introduce a graph-based provenance model that, while syntactic in nature, supports reverse reasoning and is proven to encode a wide range of provenance models from the literature. The implementation of this model in our PUG (Provenance Unification through Graphs) system takes a provenance question and Datalog query as an input and generates a Datalog program that computes anexplanation, i.e., the part of the provenance that is relevant to answer the question. Furthermore, we demonstrate how a desirable factorization of provenance can be achieved by rewriting an input query. We experimentally evaluate our approach demonstrating its efficiency.
登录
查看更多内容
查询结果的因式分解表示：大小范围和可读性
DOI：
--
发表时间：
2012
期刊：
International Conference on Database Theory
影响因子：
--
作者：
Dan Olteanu;Jakub Závodný
通讯作者：
Jakub Závodný
语言集成的出处
DOI：
10.1145/2967973.2968604
发表时间：
2016
期刊：
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming
影响因子：
--
作者：
Stefan Fehrenbach;J. Cheney
通讯作者：
J. Cheney
全部和部分有根据的数据记录一致
DOI：
--
发表时间：
1997
期刊：
International Conference on Database Theory
影响因子：
--
作者：
J. Flum;Max Kubierschky;Bertram Ludäscher
通讯作者：
Bertram Ludäscher
Tiresias：用于操作查询的数据库预言机
DOI：
--
发表时间：
2012
期刊：
SIGMOD Conference
影响因子：
--
作者：
A. Meliou;Dan Suciu
通讯作者：
Dan Suciu
LogicBlox、平台和语言：教程
DOI：
10.1007/978-3-642-32925-8_1
发表时间：
2012
期刊：
ACM Trans. Database Syst.
影响因子：
--
作者：
Todd J. Green;M. Aref;Gregory Karvounarakis
通讯作者：
Gregory Karvounarakis