Why a single parallelization trategy is not enough in knowledge bases

Simona R. Cohen, Ouri Wolfson
1993 Journal of computer and system sciences (Print)  
We address the problem of parallelizing the evaluation of logic programs in data intensive applications. We argue that the appropriate parallehzation strategy for logic-program evaluation depends on the program being evaluated. Therefore, this paper is concerned with the issues of program classification and parallehzation strategies. We propose several parallehzation strategies based on the concept of data reduction-the original logic program is evaluated by several processors working in
more » ... l, each using only a subset of the database. The strategies differ on the evaluation cost, the overhead of communication and synchronization among processors, and the programs to which they are applicable. In particular, we start our study with pure parallelization, i.e., parallelization without overhead. An interesting class structure of logic programs is demonstrated, when considering amenability to pure parallehzation. The relationship to the NC complexity class is demonstrated. Then we propose strategies that do incur an overhead, but are optimal in a sense that will be precisely defined. This paper makes the initial steps towards a theory of parallel logic programming. G 1993 Academic Press, Inc.
doi:10.1016/0022-0000(93)90019-s fatcat:mxgli6tfv5ajramk6j36yyu4ki