This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Mapping Datalog Program Execution to Networks of Processors
June 1995 (vol. 7 no. 3)
pp. 351-361

Abstract—The problem of mapping the parallel bottom up execution of Datalog programs to an interconnected network of processors is studied. The parallelization is achieved by using hash functions that partition the set of instantiations for the rules. We first examine this problem in an environment where the number of processors and the interconnection topology is known, and communication between program segments residing at non-adjacent processors is not permitted. An algorithm is presented that decides whether a given Datalog program can be mapped onto such an architecture. We then relax the constraint on the architecture by allowing program segments residing at non-adjacent processors to communicate. A theory of approximate mappings is developed, and an algorithm to obtain the closest approximate mapping of a given Datalog program onto a given architecture is presented.

[1] K. R Apt,“Introduction to logic programming,” Tech. Report TR-87-35, Dept. of Computer Sciences, The Univ. of Texas at Austin, 1988.
[2] F. Bancilhon,“Naive evaluation of recursively defined relations,” MCC Tech. Report No DB-004-85.
[3] F. Bancilhon and R. Ramakrishnan,“An amateur’s introduction to recursive query processing strategies,” Proc. 1986 ACM-SIGMOD Int’l Conf. Management Data, pp. 16-52,Washington, DC, May 1986.
[4] S. Cohen and O. Wolfson,“Why a single parallelization strategy is not enough in knowledgebases,”, Proc of the 8th ACM Symp. on Principles of Database Systems, March 1989.
[5] S. Ganguly,A. Silberschatz,, and S. Tsur., “A framework for the parallel evaluation of datalog queries,” Proc. of the 1990 ACM SIGMOD Conf. on Management of Data, 1990.
[6] J.W. Lloyd, Foundations of Logic Programming, Springer Series in Symbolic Computation, second ed. New York: Springer-Verlag, 1987.
[7] R. Ramakrishnan and J.D. Ullman,“A survey of research on deductive database systems,” manuscript, June 1993.
[8] J. Seib and G. Lausen,“Parallelizing Datalog programs by generalized pivoting,” Proc. of the 1991 Symp. on Principles of Database Sytems.
[9] S. Stolfo,D. Miranker,, and M. Proco,“A simple preprocessing scheme to extract and balance implicit parallelismin the concurrent match of production rules,” Int’l. Workshop on Fifth Generation Computer Architectures, 1985.
[10] S. Stolfo, Mills, Pasik,, and Van Biema,“Let’s stop the dust from collecting on OPS5,” Concepts and Characteristics of Knowledge-Based Systems, North-Holland, 1986.
[11] S. Tsur,“Applications of deductive dtabase systems,” Proc. of the 35th IEEE Comp. Soc. Int’l. Conf., 1990.
[12] S. Tsur,F. Olken,, and D. Naor,“Deductive databases for genomic mapping,” NACLP90 Workshop on Deductive Database Applications, 1990.
[13] S. Tsur,“Data dredging,” IEEE Data Eng. Bull., 1990.
[14] S. Tsur and C. Zaniolo,“LDL: a logic-based data language,” Proc of the Int’l. Conf. on Very Large Databases, 1986.
[15] J. Ullman, Principles of Database and Knowledge-Base Systems, vol. 1. Computer Science Press, 1988.
[16] O. Wolfson and A. Silberschatz,“Distributed processing of logic programs,” Proc. of the 1988 ACM SIGMOD Int’l. Conf. on Management of Data, 1988.
[17] O. Wolfson,“Sharing the load of logic program evaluation,” Proc. of the 1989 Int’l. Symposium on Databases in Parallel and DistributedSystems, 1989.
[18] O. Wolfson and A. Ozeri,“A new paradigm for distributed rule processing,” Proc. of the 1990 ACM SIGMOD Int’l. Conf. on Management of Data, 1990.

Citation:
Sumit Ganguly, Abraham Silberschatz, Shalom Tsur, "Mapping Datalog Program Execution to Networks of Processors," IEEE Transactions on Knowledge and Data Engineering, vol. 7, no. 3, pp. 351-361, June 1995, doi:10.1109/69.390243
Usage of this product signifies your acceptance of the Terms of Use.