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,448 | Theory of Database Queries (Extended Abstract) | 1988 | PODS | 0.00011938045 |
| 1,712 | Bounds on the Propagation of Selection into Logic Programs | 1987 | PODS | 0.00010804573 |
| 2,310 | Inductive Pebble Games And The Expressive Power Of Datalog | 1989 | PODS | 9.0580784e-05 |
| 3,888 | On the Expressive Power of Datalog: Tools and a Case Study | 1990 | PODS | 6.6634475e-05 |
| 6,031 | On Datalog vs. Polynomial Time | 1991 | PODS | 5.2415551e-05 |
| 6,748 | Can Datalog be approximated? | 1994 | PODS | 4.9401128e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 3,853 | Relational Specifications of Infinite Query Answers | 1989 | SIGMOD | 6.7004022e-05 |
| 1,688 | Automata Theory for Database Theoreticians | 1989 | PODS | 0.00010913301 |
| 6,382 | Finite Queries do not Have Effective Syntax | 1995 | PODS | 5.0890445e-05 |
| 11,326 | Data Path Queries over Embedded Graph Databases | 2022 | PODS | 4.1945683e-05 |
| 12,828 | Tutorial: Languages for Collection Types | 1994 | PODS | 4.1945683e-05 |
| 4,977 | Constraint Satisfaction and Database Theory: a Tutorial | 2000 | PODS | 5.7881576e-05 |
| 1,649 | Finitely Representable Databases | 1994 | PODS | 0.00011017687 |
| 2,310 | Inductive Pebble Games And The Expressive Power Of Datalog | 1989 | PODS | 9.0580784e-05 |
| 1,448 | Theory of Database Queries (Extended Abstract) | 1988 | PODS | 0.00011938045 |
| 12,292 | The Finite Model Theory Toolbox of a Database Theoretician | 2009 | PODS | 4.1945683e-05 |