A Message Passing Framework for Logical Query Evaluation

Summary: Distributed message-passing query evaluation for EDB with IDB Horn rules (no shared memory). Top-down rule/goal graph with sideways information passing, mixed evaluation and monotone-flow pruning yield termination guarantees; links to acyclic schemas. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 2364
Venue: SIGMOD
Year: 1986
Pagerank: 0.00020669253
Overall Rank: 343 | 97.65%
DOI: 10.1145/16894.16870

Incoming Non-self Citations Over Time

Authors

1. Allen Van Gelder (Stanford University)

BibTeX Citation

@inproceedings{gelder_sigmod86,
        title = {{A Message Passing Framework for Logical Query Evaluation}},
        author = {Van Gelder, Allen},
        series = {{SIGMOD} '86},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/16894.16870},
        url = {https://dl.acm.org/doi/10.1145/16894.16870},
        year = {1986}
}

Incoming Citations (Sorted by Pagerank)

Showing 11 of 11 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
16	MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract)	1986	PODS	0.00060089598
313	OPTIMIZING DATALOG PROGRAMS (Extended Abstract)	1987	PODS	0.0002168869
1,538	Bottom-Up Beats Top-Down For Datalog	1989	PODS	0.00010446034
2,425	Diagnosis of Asynchronous Discrete Event Systems: Datalog to the Rescue!	2005	PODS	8.6005163e-05
2,594	Big Data Analytics with Datalog Queries on Spark	2016	SIGMOD	8.3646367e-05
3,360	Deriving Constraints Among Argument Sizes in Logic Programs (Extended Abstract)	1990	PODS	7.4890377e-05
3,689	Dynamically Distributed Query Evaluation	2001	PODS	7.2010583e-05
4,773	Parallel Processing of Recursive Queries in Distributed Architectures	1989	VLDB	6.5149869e-05
6,752	Modelling Non Deterministic Queries and Updates In Deductive Databases	1988	VLDB	5.7837368e-05
13,167	Computing Facts in Non-Horn Deductive Systems	1988	VLDB	5.093636e-05
13,186	An Extended Disjunctive Normal Form Approach for Optimizing Recursive Logic Queries in Loosely Coupled Environments	1987	VLDB	5.093636e-05

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

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	344	On the Power of Magic	1987	PODS
2	348	Regular Path Queries with Constraints	1997	PODS
3	8,446	Parallel-Correctness and Transferability for Conjunctive Queries	2015	PODS
4	63	An Amateur's Introduction to Recursive Query Processing Strategies	1986	SIGMOD
5	4,343	On Distributed Processibility of Datalog Queries by Decomposing Databases	1989	SIGMOD
6	1,207	Communication Steps for Parallel Query Processing	2013	PODS
7	4,301	Read-Once Functions and Query Evaluation in Probabilistic Databases	2010	VLDB
8	2,247	A Framework for the Parallel Processing of Datalog Queries	1990	SIGMOD
9	12,032	Logical Aspects of Massively Parallel and Distributed Systems	2016	PODS
10	4,773	Parallel Processing of Recursive Queries in Distributed Architectures	1989	VLDB