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). MSC: 68P15 68P05 68Q17 68W40 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Jha, Abhay; Suciu, Dan Knowledge compilation meets database theory: compiling queries to decision diagrams. (English) Zbl 1270.68297 Theory Comput. Syst. 52, No. 3, 403-440 (2013). MSC: 68T30 68P15 68Q87 × Cite Format Result Cite Review PDF Full Text: DOI