Exact model counting of query expressions. Limitations of propositional methods. (English) Zbl 1474.68076
MSC:
68P15 | Database theory |
68P05 | Data structures |
68Q17 | Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) |
68W40 | Analysis of algorithms |