Properties definable in first-order logic are algorithmically<lb>interesting for both theoretical and pragmatic reasons.<lb>Many of the most studied algorithmic problems, such<lb>as Hitting Set and Orthogonal Vectors, are first-order,<lb>and the first-order properties naturally arise as relational<lb>database queries. A relatively straight-forward determin… (More)