×
Beame, Paul; Li, Jerry; Roy, Sudeepa; Suciu, Dan

Exact model counting of query expressions. Limitations of propositional methods. (English) Zbl 1474.68076

ACM Trans. Database Syst. 42, No. 1, Article No. 1, 46 p. (2017).

Cited in 3 Documents

MSC:

68P15 Database theory
68P05 Data structures
68Q17 Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)
68W40 Analysis of algorithms

Keywords:

DNNF; FBDD; model counting; knowledge compilation; lower bounds; probabilistic databases; read-once branching programs
Cite Review PDF
Full Text: DOI arXiv