Constraint satisfaction

Conjunctive queries

Hypertree decomposition