Postulates for Provenance: Instance-based provenance for first-order logic-Reference-Cited by-同舟云学术

Postulates for Provenance: Instance-based provenance for first-order logic

Published:2024-05-10 Issue:2 Volume:2 Page:1-16
ISSN:2836-6573
Container-title:Proceedings of the ACM on Management of Data
language:en
Short-container-title:Proc. ACM Manag. Data

Author:

Bogaerts Bart¹^ORCID,Jakubowski Maxime²^ORCID,Van den Bussche Jan²^ORCID

Affiliation:

1. Vrije Universiteit Brussel, Brussels, Belgium

2. Universiteit Hasselt, Hasselt, Belgium

Abstract

Instance-based provenance is an explanation for a query result in the form of a subinstance of the database. We investigate different desiderata one may want to impose on these subinstances. Concretely we consider seven basic postulates for provenance. Six of them relate subinstances to provenance polynomials, three-valued semantics, and Halpern-Pearl causality. Determinism of the provenance mechanism is the seventh basic postulate. Moreover, we consider the postulate of minimality, which can be imposed with respect to any set of basic postulates. Our main technical contribution is an analysis and characterisation of which combinations of postulates are jointly satisfiable. Our main conceptual contribution is an approach to instance-based provenance through three-valued instances, which makes it applicable to first-order logic queries involving negation.

Funder

Flanders AI Research programme

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/3651596

Reference32 articles.

1. S. Abiteboul R. Hull and V. Vianu. 1995. Foundations of Databases. Addison-Wesley.

2. G. Aleksandrowicz, H. Chockler, J.Y. Halpern, and A. Ivrii. 2014. The computational complexity of structure-based causality. In Proceedings 28th AAAI Conference, , C.E. Brodley and P. Stone (Eds.). 974--980.

3. Putting lipstick on pig

4. C. Bourgaux, P. Bourhis, L. Peterfreund, and M. Thomazo. 2022. Revisiting semiring provenance for Datalog. In Proceedings 19th International Conference on Principles of Knowledge Representation and Reasoning, , G. Kern-Isberner, G. Lakemeyer, and T. Meyer (Eds.). IJACI Organization, 91--101.

5. P. Buneman, S. Khanna, and W.C. Tan. 2001. Why and where: A characterization of data provenance. In Database Theory--ICDT 2001 (Lecture Notes in Computer Science, Vol. 1973), J. Van den Bussche and V. Vianu (Eds.). Springer, 316--330.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. What’s in a Neighborhood? Describing Nodes in RDF Graphs Using Shapes;Lecture Notes in Computer Science;2024