Issue No. 03 - June (1993 vol. 5)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/69.224203
<p>The parallel evaluation of datalog rule programs, mainly by processors that are interconnected by a communication network, is discussed. Data-reduction, a paradigm for the parallel evaluation of a datalog program, is introduced. Parallelization is accomplished by partitioning the rule-instantiations among the processors. After presenting the paradigm, its implementation with seminaive evaluation, its communication overhead, and its application to stratified-negation datalog programs are discussed. It is proven that decomposability, a related concept introduced in previous works, is undecidable.</p>
parallel processing of rules; distributed processing of rules; data-reduction; datalog rule programs; communication network; rule-instantiations; seminaive evaluation; communication overhead; stratified-negation datalog programs; decomposability; distributed databases; knowledge based systems; logic programming
A. Ozeri and O. Wolfson, "Parallel and Distributed Processing of Rules by Data-Reduction," in IEEE Transactions on Knowledge & Data Engineering, vol. 5, no. , pp. 523-530, 1993.