Parallel and Distributed Processing of Rules by Data-Reduction

Authors:
O. Wolfson;A. Ozeri
Affiliations:
-;-
Venue:
IEEE Transactions on Knowledge and Data Engineering
Year:
1993

Citing 17
Cited 2

A simple preprocessing scheme to extract and balance implicit parallelism in the concurrent match of production rules

Proc. of the IFIP TC 10 working conference on Fifth generation computer architectures
Decidability and expressiveness aspects of logic queries

PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Principles of database and knowledge-base systems, Vol. I

Principles of database and knowledge-base systems, Vol. I
Distributed processing of logic programs

SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Parallel evaluation of the transitive closure of a database relation

International Journal of Parallel Programming
Towards a theory of declarative knowledge

Foundations of deductive databases and logic programming
Performance evaluation of data intensive logic programs

Foundations of deductive databases and logic programming
Exploiting concurrency in a DBMS implementation for production systems

DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
Sharing the load of logic-program evaluation

DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
Multiprocessor transitive closure algorithms

DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
Global quiescence detection based on credit distribution and recovery

Information Processing Letters
On distributed processibility of datalog queries by decomposing databases

SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Why a single parallelization strategy is not enough in knowledge bases

PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The input/output complexity of transitive closure

SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Parallelism in logic programs

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A framework for the parallel processing of Datalog queries

SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
A methodology for programming production systems and its implications on parallelism

A methodology for programming production systems and its implications on parallelism

Incremental evaluation of rules and its relationship to parallelism

SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Rule-based distributed and agent systems

RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.