Factorized Databases: A Knowledge Compilation Perspective.
Dan OlteanuPublished in: AAAI Workshop: Beyond NP (2016)
Keyphrases
- knowledge compilation
- databases
- product configuration
- prime implicates
- model counting
- database
- relational databases
- data management
- normal form
- horn formulas
- database applications
- logical inference
- quantified boolean formulae
- decision support
- object oriented
- database systems
- decomposable negation normal form
- expert systems
- polynomial size
- artificial intelligence