Modern Lower Bound Techniques in Database Theory and Constraint Satisfaction.
Dániel MarxPublished in: PODS (2021)
Keyphrases
- database theory
- constraint satisfaction
- lower bound
- upper bound
- open problems
- constraint satisfaction problems
- databases
- russian doll search
- normal form
- branch and bound algorithm
- optimal solution
- np hard
- objective function
- branch and bound
- heuristic search
- constraint relaxation
- constraint propagation
- worst case
- database design
- conjunctive queries
- constraint programming
- arc consistency
- finite model theory
- robust fault detection
- international conference
- database applications
- database
- special case
- evolutionary algorithm
- probabilistic reasoning
- database systems
- relational database management systems