Knowledge compilation meets database theory: compiling queries to decision diagrams.
Abhay Kumar JhaDan SuciuPublished in: ICDT (2011)
Keyphrases
- database theory
- knowledge compilation
- normal form
- binary decision diagrams
- decision diagrams
- decomposable negation normal form
- product configuration
- open problems
- databases
- query evaluation
- relational database management systems
- query language
- conjunctive queries
- query processing
- multi valued
- database design
- relational databases
- constraint satisfaction problems
- database
- range queries
- functional dependencies
- markov decision processes
- data sources
- international conference
- decision support
- search algorithm
- boolean functions
- relational database systems
- efficient computation
- constraint satisfaction
- data integration
- data model
- database systems
- management system