The Complexity of Why-Provenance for Datalog Queries.

Marco Calautti Ester Livshits Andreas Pieris Markus Schneider

Published in: CoRR (2023)

Keyphrases

datalog queries
transitive closure
cardinality constraints
metadata
computational complexity
database
database systems
data integration
conjunctive queries