Highly Acyclic Groups, Hypergraph Covers and the Guarded Fragment.

Published in: LICS (2010)

Keyphrases

first order logic
np hard
guarded fragment
higher order
database
data structure
artificial intelligence
relational databases
np complete
conjunctive queries