A probabilistic view of datalog parallelization

Theoretical Computer Science

Volumn 190, Issue 2, 1998, Pages 211-239

  Lifschitz, Sérgio ^a,c   Vianu, Victor ^b  

^a PONTIFICAL CATHOLIC UNIVERSITY OF RIO DE JANEIRO   (Brazil)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c TELECOM PARISTECH   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0042500396     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(97)00091-1     Document Type: Article

References (30)

1. S. Abiteboul, K. Compton, V. Vianu, Queries are easier than you thought (probably), Proc. ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems, 1992, pp. 23-32.
2. S. Abiteboul, R. Hull, V. Vianu, Foundations of Databases, Addison-Wesley, Reading, MA, 1995.
3. S. Abiteboul, A. Van Gelder, Optimizing active databases using the split technique, Proc. Internat. Conf. on Database Theory, 1992, pp. 171-187.
4. F. Bancilhon, R. Ramakrishnan, Performance evaluation of data intensive logic programs, in: J. Minker (Ed.), Foundations of Deductive Databases and Logic Programming, 1988, pp. 439-517.
5. D.A. Bell, J. Shao, M.E.C. Hull, A pipelined strategy for processing recursive queries in parallel, Data Knowledge Eng. 6 (5) (1991) 367-391.
6. Béla Bollobás, Random Graphs, Academic Press, London, 1985.
7. A.K. Chandra, Programming primitives for database languages, Proc. ACM Symp. on Principles of Programming Languages, 1981, pp. 50-62.
8. A.K. Chandra, D. Harel, Structure and complexity of relational queries, J. Comput. System Sci. 25 (1) (1982) 99-128.
9. J.-P. Cheiney, G. Kiernan, C. de Maindreville, A database rule language compiler supporting parallelism, Proc. Internat Symp. on Database Systems for Advanced Applications, 1993, pp. 279-286.
10. S.R. Cohen, O. Wolfson, Why a single parallelization strategy is not enough in knowledge bases, Proc. ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems, 1989, pp. 200-216.
11. R. Fagin, Monadic generalized spectra, Z. Math. Logik 21 (1975) 89-96.
12. R. Fagin, Finite-model theory: a personal perspective, Theor. Comput. Sci. 116 (1993) 3-31.
13. S. Ganguly, A. Silberschatz, S. Tsur, A framework for the parallel processing of datalog queries, Proc. ACM-SIGMOD Internat. Conf. on Management of Data, 1990, pp. 143-152.
14. E. Grandjean, Complexity of the first-order theory of almost all structures, Inform. Control 52 (1983) 180-204.
15. G. Hulin, Parallel processing of recursive queries in distributed architectures, Proc. Internat. Conf. on Very Large Data Bases, 1989, pp. 87-96.
16. N. Immerman, Relational queries computable in polynomial time, Inform, and Control 68 (1986) 86-104.
17. G. Kiernan, C. de Maindreville, A rule language compiler for SQL database servers, Data knowledge Eng. 7 (2) (1991) 89-113.
18. P.C. Kolaitis, M.Y. Vardi, The Decision Problem for the Probabilities of Higher-Order Properties, Proc. IEEE Symp. on Logic in Computer Science, 1987, pp. 425-435.
19. P.G. Kolaitis, M.Y. Vardi, 0-1 Laws for Infmitary Logics, Proc. IEEE Symp. on Logic in Computer Science, 1990, pp. 156-167.
20. S. Lifschitz, Stratégies d'évaluation parallèle de requêtes Datalog récursives (in French), Ph.D. Thesis, Ecole Nationale Supérieure des Télécommunications, Paris, 1994.
21. R. Rado, Universal graphs and universal functions, Acta Arith. 9 (1964) 331-340.
22. J. Seib, G. Lausen, Parallelizing datalog programs by generalized pivoting, Proc. ACM Symp. on Principles of Database Systems, 1991, pp. 78-87.
23. J.D. Ullman, Principles of Database and Knowledge-Base Systems, vols. I and II, Computer Science Press, 1989.
24. J.D. Ullman, Bottom-up beats top-down for datalog, Proc. ACM Symp. on Principles of Database Systems, 1989, pp. 140-149.
25. A. Van Gelder, A message passing framework for logical query evaluation, Proc. ACM-SIGMOD Internat. Conf. on Management of Data, 1986, pp. 155-165.
26. M.Y. Vardi, The complexity of relational query languages, Proc. ACM SIGACT Symp. on the Theory of Computing, 1982, pp. 137-146.
27. O. Wolfson, Sharing the load of logic-programming evaluation, Proc. Internat. Symp. on Databases in Parallel and Distributed Systems, 1988, pp. 46-55.
28. O. Wolfson, A. Ozeri, A new paradigm for parallel and distributed rule-processing, Proc. ACM-SIGMOD Internat. Conf. on Management of Data, 1990, pp. 133-142.
29. O. Wolfson, A. Silberschatz, Distributed processing of logic programming, Proc. ACM-SIGMOD Internat. Conf. on Management of Data, 1988, pp. 329-336.
30. W. Zhang, K. Wang, S-C. Chau, Data partition: a practical parallel evaluation of datalog programs, Proc. Internat. Conf. on Parallel and Distributed Information Systems, 1991, pp. 98-105.