Inductive Pebble Games And The Expressive Power Of Datalog

Summary: Develops inductive pebble games and a DATALOG normal form tied to Alternating Turing Machine computations as a tool to prove inexpressibility. Applies this framework to sketch that the directed simple even-length path query is not expressible in DATALOG. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: h8a8ef46d5123afef
Venue: PODS
Year: 1989
Pagerank: 7.9707629e-05
Overall Rank: 2,822 | 81.03%
DOI: 10.1145/73721.73751

Incoming Non-self Citations Over Time

Authors

1. V.S. Lakshmanan (University of Toronto)
2. A.O. Mendelzon (University of Toronto)

BibTeX Citation

@inproceedings{lakshmanan_pods89,
        address = {New York, NY, USA},
        series = {{PODS} '89},
        title = {{INDUCTIVE PEBBLE GAMES AND THE EXPRESSIVE POWER OF DATALOG}},
        url = {https://dl.acm.org/doi/10.1145/73721.73751},
        doi = {10.1145/73721.73751},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Lakshmanan, V.S. and Mendelzon, A.O.},
        year = {1989}
}

Incoming Citations (Sorted by Pagerank)

Showing 5 of 5 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
3,876	On the Expressive Power of Datalog: Tools and a Case Study	1990	PODS	6.9534856e-05
6,370	On Datalog vs. Polynomial Time	1991	PODS	5.8092399e-05
6,741	Inherent Complexity of Recursive Queries (Extended Abstract)	1999	PODS	5.6913065e-05
13,276	Combinatorial Games in Database Theory	1995	PODS	4.9793485e-05
13,368	Datalog Expressiveness of Chain Queries: Grammar Tools and Characterizations	1992	PODS	4.9793485e-05

Outgoing Citations (Sorted by Pagerank)

Showing 2 of 2 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
305	A Graphical Query Language Supporting Recursion	1987	SIGMOD	0.0002159111
1,597	Finding Regular Simple Paths in Graph Databases	1989	VLDB	0.0001012429

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	8,136	On the First-Order Expressibility of Recursive Queries	1989	PODS
2	2,630	Convergence of Datalog over (Pre-) Semirings	2022	PODS
3	13,414	Factoring Augmented Regular Chain Programs	1990	VLDB
4	719	Querying Graph Databases	2013	PODS
5	9,611	A Theory of Regular Queries	2016	PODS
6	11,834	Data Path Queries over Embedded Graph Databases	2022	PODS
7	305	A Graphical Query Language Supporting Recursion	1987	SIGMOD
8	13,368	Datalog Expressiveness of Chain Queries: Grammar Tools and Characterizations	1992	PODS
9	1,597	Finding Regular Simple Paths in Graph Databases	1989	VLDB
10	3,876	On the Expressive Power of Datalog: Tools and a Case Study	1990	PODS