Distributed Processing Of Logic Programs

Summary: Predicate decomposability enables parallel evaluation of logic programs with no inter-processor communication. Fully characterizes sirups (nonrecursive, linear, simple chain) decomposability: nonrecursive always decomposable; identifies which linear and chain cases work; provides two sufficient conditions. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: h5476fb87c725c54e
Venue: SIGMOD
Year: 1988
Pagerank: 6.735459e-05
Overall Rank: 4,205 | 71.73%
DOI: 10.1145/50202.50242

Incoming Non-self Citations Over Time

Authors

1. Ouri Wolfson (Technion)
2. Avi Silberschatz (University of Texas)

BibTeX Citation

@inproceedings{wolfson_sigmod88,
        title = {{DISTRIBUTED PROCESSING OF LOGIC PROGRAMS}},
        author = {Wolfson, Ouri and Silberschatz, Avi},
        series = {{SIGMOD} '88},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/50202.50242},
        url = {https://dl.acm.org/doi/10.1145/50202.50242},
        year = {1988}
}

Incoming Citations (Sorted by Pagerank)

Showing 11 of 11 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
2,293	A Framework for the Parallel Processing of Datalog Queries	1990	SIGMOD	8.6840245e-05
2,523	Incremental Evaluation of Rules and its Relationship to Parallelism	1991	SIGMOD	8.3464708e-05
2,635	Big Data Analytics with Datalog Queries on Spark	2016	SIGMOD	8.1965216e-05
3,136	A New Paradigm For Parallel And Distributed Rule-Processing	1990	SIGMOD	7.6080212e-05
3,763	Dynamically Distributed Query Evaluation	2001	PODS	7.0419284e-05
4,420	On Distributed Processibility of Datalog Queries by Decomposing Databases	1989	SIGMOD	6.6068305e-05
4,556	Why A Single Parallelization Strategy Is Not Enough In Knowledge Bases	1989	PODS	6.5378593e-05
5,962	Parallelizing Datalog Programs by Generalized Pivoting	1991	PODS	5.9331349e-05
9,018	Optimizing Parallel Recursive Datalog Evaluation on Multicore Machines	2022	SIGMOD	5.2365938e-05
11,654	The Vadalog Parallel System: Distributed Reasoning with Datalog+/-	2024	VLDB	4.9793485e-05
13,391	Deductive Databases in Action	1991	PODS	4.9793485e-05

Outgoing Citations (Sorted by Pagerank)

Showing 9 of 9 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
18	MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract)	1986	PODS	0.00059023577
67	An Amateur's Introduction to Recursive Query Processing Strategies	1986	SIGMOD	0.00038009523
633	Parallel Evaluation of Recursive Rule Queries	1986	PODS	0.00015380574
1,201	Data Independent Recursion in Deductive Databases	1986	PODS	0.00011560838
1,682	Bounds on the Propagation of Selection into Logic Programs	1987	PODS	9.8850863e-05
2,005	The Parallel Complexity of Simple Chain Queries (Extended Abstract)	1987	PODS	9.2054933e-05
2,062	A Decidable Class of Bounded Recursions	1987	PODS	9.0974416e-05
2,065	One-Sided Recursions	1987	PODS	9.0940924e-05
2,804	Database Theory: Past and Future	1987	PODS	7.9840087e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	4,228	Commutativity and Its Role in the Processing of Linear Recursion	1989	VLDB
2	4,556	Why A Single Parallelization Strategy Is Not Enough In Knowledge Bases	1989	PODS
3	2,523	Incremental Evaluation of Rules and its Relationship to Parallelism	1991	SIGMOD
4	12,327	Logical Aspects of Massively Parallel and Distributed Systems	2016	PODS
5	7,696	Hard problems for simple logic programs	1990	SIGMOD
6	2,293	A Framework for the Parallel Processing of Datalog Queries	1990	SIGMOD
7	11,946	Deciding Boundedness of Monadic Sirups	2021	PODS
8	5,962	Parallelizing Datalog Programs by Generalized Pivoting	1991	PODS
9	3,136	A New Paradigm For Parallel And Distributed Rule-Processing	1990	SIGMOD
10	4,420	On Distributed Processibility of Datalog Queries by Decomposing Databases	1989	SIGMOD