Modern Lower Bound Techniques in Database Theory and Constraint Satisfaction.

Published 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