A new paradigm for parallel and distributed rule-processing

Ouri Wolfson, Aya Ozeri
1990 Proceedings of the 1990 ACM SIGMOD international conference on Management of data - SIGMOD '90  
The Technion -ITT Haifa. Israel ABSTRAcr This paper is conc::med with the parallel evaluation of dalalog rule programs. mainly by processors that are inter-::cnnec:ed by a communication network. We iOirodu~ a paradigm. called data-reduction. for the par:illel e'laJlUricn of a general daLalog program. Several paralielization strategies discussed previously in [CW, GST, w. WS] are spe-:::.:11 cJ.ses of this ~gm. The parndigm paralJelizes the evaluation by partitioning among the ;rrocessors tt.e
more » ... sranti.Wons of the rules. Afler presenting the paradigm. we discuss the following issues. that we see fundament.1l for ~ar:illeliz.1tion scrategies derived from the paradigm: properties of the strategies that enable a reducton in the communication overhead. decomposability, load balancing. and ~plic3Lion to programs with negation. We prove that c!ecomposabiliry, J conapt introduced previously in [WS. CWl. is undecidable.
doi:10.1145/93597.98723 dblp:conf/sigmod/WolfsonO90 fatcat:uhb7i3j3gvb4xodcvhlwyaljki