Combinatorial Games in Database Theory
Summary: Survey of combinatorial games—Ehrenfeucht–Fraïssé, pebble games, and monadic-NP games—as core tools for characterizing the expressive power of rule-based query languages. Shows representative applications to relational calculus, Datalog, and fixpoint logics and pinpoints methodological limitations. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
Incoming Citations (Sorted by Pagerank)
Showing 0 of 0 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 6 of 6 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,450 | Theory of Database Queries (Extended Abstract) | 1988 | PODS | 0.00011926567 |
| 1,636 | Bounds on the Propagation of Selection into Logic Programs | 1987 | PODS | 0.00011058643 |
| 2,317 | Inductive Pebble Games And The Expressive Power Of Datalog | 1989 | PODS | 9.049333e-05 |
| 3,889 | On the Expressive Power of Datalog: Tools and a Case Study | 1990 | PODS | 6.6570358e-05 |
| 6,035 | On Datalog vs. Polynomial Time | 1991 | PODS | 5.2365238e-05 |
| 6,751 | Can Datalog be approximated? | 1994 | PODS | 4.9352222e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,833 | The Expressiveness of a Family of Finite Set Languages | 1991 | PODS | 0.00010365844 |
| 1,687 | Automata Theory for Database Theoreticians | 1989 | PODS | 0.0001090256 |
| 6,380 | Finite Queries do not Have Effective Syntax | 1995 | PODS | 5.0841675e-05 |
| 11,328 | Data Path Queries over Embedded Graph Databases | 2022 | PODS | 4.1905499e-05 |
| 12,837 | Tutorial: Languages for Collection Types | 1994 | PODS | 4.1905499e-05 |
| 4,978 | Constraint Satisfaction and Database Theory: a Tutorial | 2000 | PODS | 5.7833452e-05 |
| 1,648 | Finitely Representable Databases | 1994 | PODS | 0.00011007456 |
| 2,317 | Inductive Pebble Games And The Expressive Power Of Datalog | 1989 | PODS | 9.049333e-05 |
| 1,450 | Theory of Database Queries (Extended Abstract) | 1988 | PODS | 0.00011926567 |
| 12,300 | The Finite Model Theory Toolbox of a Database Theoretician | 2009 | PODS | 4.1905499e-05 |