Parallel bottom-up processing of datalog queries

Afrati, 1987, Parallel Complexity of Simple Chain Queries, Proceedings of the 6th ACM Symposium on Principles of Database Systems, 10.1145/28659.28682 Apt, 1988, Introduction to Logic Programming Bancilhon F., Naive Evaluation of Recursively Defined Relations, Technical Report DB-004-85, MCC, Austin, Texas. Bancilhon, 1986, An Amateur's Introduction to Recursive Query Processing Strategies, Proceedings of the 1986 ACM SIGMOD International Conference on the Management of Data, 10.1145/16894.16859 Chandy, 1986, An Example of Stepwise Refinement of Distributed Programs: Quiesence Detection, ACM TOPLAS, 10.1145/5956.5958 Cohen, 1989, Why A Single Parallelization Strategy Is Not Enough in Knowledge Bases, Proceedings of the 8th ACM Symposium on Principles of Database Systems, 10.1145/73721.73742 Dijkstra, 1980, Termination Detection for Diffusing Computations, Inform. Process. Letters, 10.1016/0020-0190(80)90021-6 Dong, 1989, On Distributed Processibility of Datalog Queries by Decomposing Databases, Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, 10.1145/67544.66929 Houtsma, 1988, A Logic Query Language and Its Algebraic Optimization for a Multiprocessor Database Machine Ganguly, S., Silberschatz, A., and Tsur, S., Mapping Datalog Programs to a Network of Processors, submitted for publication. Kanellakis, 1988, Parallel Complexity of Logic Programs Lloyd, 1987 Papadimitrou, 1987, A Communication-Time Trade-Off, SIAM J. Comput., 16 Ullman, 1989 Ullman, 1988, Parallel Complexity of Logic Programs, Algorithmica, 10.1007/BF01762108 Valduriez, 1989, Parallel Evaluation of the Transitive Closure of a Database Relation, Int. J. Parallel Programming van Emden, 1976, The Semantics of Predicate Logic as a Programming Language, J. ACM, 10.1145/321978.321991 Wolfson, 1988, Sharing the Load of Logic Program Evaluation, Proceedings of the 1988 International Symposium on Databases in Parallel and Distributed Systems, 10.1109/DPDS.1988.675001 Wolfson, 1988, Distributed Processing of Logic Programs, Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, 10.1145/50202.50242