“…∧ α n ), where the x i are variables and where the α i are atomic formulas. These sentences have been approached by researchers possessing a variety of motivations and perspectives [29,32,40,39,34,35,36,9,16,3,4,5,19,18,23,26,25]. In the database literature, they are known as conjunctive queries and are of central interest; the problem of model checking such sentences is also a formulation of the constraint satisfaction problem [40].…”