The Complexity of Why-Provenance for Datalog Queries.

Marco Calautti Ester Livshits Andreas Pieris Markus Schneider

Published in: Proc. ACM Manag. Data (2024)

Keyphrases

datalog queries
transitive closure
cardinality constraints
metadata
data quality
computational complexity
relational databases
datalog programs