Modern Lower Bound Techniques in Database Theory and Constraint Satisfaction.

Published 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