Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width

  • Authors:

  • Georg Gottlob;Nicola Leone;Francesco Scarcello

  • Affiliations:

  • Inst. für Informationssysteme, Technische Universität Wien, A-1040 Vienna, Austria;Department of Mathematics, University of Calabria, I-87030 Rende (CS);University of Calabria, I-87030 Rende (CS)

  • Venue:
  • PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

In a previous paper [10], the authors introduced the notion of hypertree decomposition and the corresponding concept of hypertree width and showed that the conjunctive queries whose hypergraphs have bounded hypertree-width can be evaluated in polynomial time. Bounded hypertree-width generalizes the notions of acyclicity and bounded treewidth and corresponds to larger classes of tractable queries. In the present paper, we provide natural characterizations of hypergraphs and queries having bounded hypertree-width in terms of game-theory and logic.First we define the Robber and Marshals game, and prove that a hypergraph H has hypertree-width at most k iff k marshals have a winning strategy on H, allowing them to trap a robber who moves along the hyperedges. This game is akin the well-known Robber and Cops game (which characterizes bounded treewidth), except that marshals are more powerful than cops: They can control entire hyperedges instead of just vertices.Kolaitis and Vardi [17] recently gave an elegant characterization of the conjunctive queries having treewidth k in terms of the k-variable fragment of a certain logic L ( = existential-conjunctive fragment of positive FO). We use the Robber and Marshals game to derive a surprisingly simple and equally elegant characterization of the class HW[k] of queries of hypertree-width at most k in terms of guarded logic. In particular, we show that HW[k] = GFk (L), where GFk(L) denotes the k-guarded fragment of L. In this fragment, conjunctions of k atoms rather than just single atoms are allowed to act as guards. Note that, for the particular case k = 1, our results provide new characterizations of the class of acyclic queries.We extend the notion of bounded hypertreewidth to nonrecursive stratified datalog and show that the k-guarded fragment GFk(FO) of first order logic has the same expressive power as nonrecursive stratified datalog of hypertreewidth ⪇ k.