Knowledge Compilation Meets Database Theory: Compiling Queries to Decision Diagrams.
Abhay Kumar JhaDan SuciuPublished in: Theory Comput. Syst. (2013)
Keyphrases
- database theory
- knowledge compilation
- normal form
- decision diagrams
- binary decision diagrams
- decomposable negation normal form
- open problems
- product configuration
- multi valued
- databases
- query language
- relational database management systems
- query processing
- database design
- conjunctive queries
- query evaluation
- database
- relational databases
- functional dependencies
- markov decision processes
- range queries
- relational database systems
- database management systems
- efficient computation
- boolean functions
- reinforcement learning
- database applications
- digital circuits
- metadata
- dynamic programming