Modern Lower Bound Techniques in Database Theory and Constraint Satisfaction.
Dániel MarxPublished in: CoRR (2022)
Keyphrases
- constraint satisfaction
- database theory
- lower bound
- upper bound
- open problems
- constraint satisfaction problems
- normal form
- databases
- branch and bound algorithm
- np hard
- heuristic search
- objective function
- optimal solution
- probabilistic reasoning
- branch and bound
- constraint relaxation
- constraint propagation
- constraint programming
- worst case
- database design
- conjunctive queries
- arc consistency
- relational database management systems
- international conference
- robust fault detection
- constraint optimization
- machine learning
- constraint networks
- np complete
- special case
- sat solvers
- data exchange
- evolutionary algorithm