An Extended Evaluation Algorithm in Parallel Deductive Database


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 3, No. 7, pp. 1680-1686, Dec. 1996
10.3745/KIPSTE.1996.3.7.1680,   PDF Download:

Abstract

The deterministic update method of intensional predicates in a parallel deductive database that deductive database is distributed in parallel computer architecture is needed. Using updated data from the deterministic update method, a strategy for parallel evaluation of intensional predicates is required. The paper is concerned with an approach to updating parallel deductive database in which every insertion or deletion can be performed in a deterministic way, and an extended parallel semi-naive evaluation algorithm in a parallel computer architecture. After presenting an approach to updating intensional predicates and strategy for parallel evaluation, its implementation is discussed. a parallel deductive database consists of the set of facts being the extensional database and the set of rules being the intensional database. we assume that these sets are distributed in each processor, research how to update intensional predicates and evaluate using the update method. The parallel architecture for the deductive database consists of a set of processors and a message passing network to interconnect these processors.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
C. W. Hyun and K. H. Joon, "An Extended Evaluation Algorithm in Parallel Deductive Database," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 3, no. 7, pp. 1680-1686, 1996. DOI: 10.3745/KIPSTE.1996.3.7.1680.

[ACM Style]
Cho Woo Hyun and Kim Hang Joon. 1996. An Extended Evaluation Algorithm in Parallel Deductive Database. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 3, 7, (1996), 1680-1686. DOI: 10.3745/KIPSTE.1996.3.7.1680.