Database Paper Browser

Back to papers

Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width

Summary: Introduce a Robber-and-Marshals game: hypergraph H has hypertree-width ≤ k iff k marshals can trap the robber, extending the cops-and-robbers/treewidth characterization to hypergraphs. Characterize HW[k]=GF_k(L) (k‑guarded fragment of existential-conjunctive FO) and show GF_k(FO) equals nonrecursive stratified datalog of hypertreewidth ≤ k. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID
1236
Venue
PODS
Year
2001
Pagerank
9.7901938e-05
Overall Rank
2,015 | 85.99%
DOI
-

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 15 of 15 citing papers.

Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 0 of 0 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank Cited Paper Year Venue Pagerank
Previous Page 1 / 1 Next

Semantically Similar Papers