Computing the Why-Provenance for Datalog Queries via SAT Solvers.

Marco Calautti Ester Livshits Andreas Pieris Markus Schneider

Published in: AAAI (2024)

Keyphrases

sat solvers
datalog queries
orders of magnitude
max sat
search space
propositional satisfiability
constraint satisfaction
sat problem
search strategies
sat instances
clause learning
metadata
datalog programs
cardinality constraints
recursive queries
special case
answer sets
transitive closure