A Dichotomy for the Generalized Model Counting Problem for Unions of Conjunctive Queries.

Batya Kenig Dan Suciu

Published in: CoRR (2020)

Keyphrases

model counting
unions of conjunctive queries
data exchange
conjunctive queries
probabilistic databases
query answering
knowledge compilation
data complexity
transitive closure
decision procedures
np complete
data streams
special case
satisfiability testing