Optimization in a logic based language for knowledge and data intensive applications (original) (raw)

References

1. Ait-Kaci, H. and R. Nasr, “Residuation: a Paradigm for Integrating Logic and Functional Programming,” submitted for publication.
   Google Scholar
2. Aho, A. and J. Ullman, Universality of Data Retrieval Languages, Proc. POPL Conf., San Antonio, TX, 1979.
   Google Scholar
3. Bancilhon, F., D, Maier, Y. Sagiv and Ullman, Magic Sets and other Strange Ways to Implements Logic Programs, Proc. 5-th ACM SIGMOD-SIGACT Symposium on Principles of Database Systems, pp. 1–16, 1986.
   Google Scholar
4. Bancilhon, F., and R. Ramakrishan, An Amateur's Introduction to Recursive Query Processing Strategies, Proc. 1986 ACM-SIGMOD Intl. Conf. on Mgt. of Data, pp. 16–52, 1986.
   Google Scholar
5. Beeri, C., S. Naqvi, R. Ramakrishnan, O. Shmueli, S. Tsur, Sets and Negation in a Logic Database Language, Proc. 6-th ACM SIGMOD-SIGACT Symposium on Principles of Database Systems, 1987.
   Google Scholar
6. Colmemauer, A. et al., Prolog II: Reference Manual and Theoretical Model, Groupe d'Intelligence artificielle, Faculte de Sciences de Lumin, 1982.
   Google Scholar
7. Grant, J. and Minker J., On Optimizing the Evaluation of a Set of Expressions, Int. Journal of Computer and Information Science, 11, 3 (1982), 179–189.
   Google Scholar
8. Ioannidis, Y. E, Wong, E, Query Optimization by Simulated Annealing, Proc. 1987 ACM-SIGMOD Intl. Conf. on Mgt. oof Data, San Francisco, 1987.
   Google Scholar
9. Kowalski, R.A., “Algorithm = Logic + Control”, CACM, 22, 7, pp. 424–436, (1979).
   Google Scholar
10. Krishnamurthy, R., Boral, H., Zaniolo, C. Optimization of Nonrecursive Queries, Proc. of 12th VLDB, Kyoto, Japan, 1986.
    Google Scholar
11. Krishnamurthy, R., R. Ramakrishnan. O. Shmueli, “A Framework for Testing Safety and Effective Computability”, MCC Report 1987 and also submitted for external publication.
    Google Scholar
12. Kellog, C., and Travis, L. Reasoning with data in a deductively augmented database system, in Advances in Database Theory: Vol 1, H. Gallaire, J. Minker, and J. Nicholas eds., Plenum Press, New York, 1981, pp 261–298.
    Google Scholar
13. Lloyd, J. W., Foundations of Logic Programming, Springer-Verlag, 1984.
    Google Scholar
14. Maier, D., The Theory of Relational Databases, (pp. 553–542), Comp. Science Press, 1984.
    Google Scholar
15. K. Morris, J. D. Ullman and A. Van Gelder, Design Overview of the Nail! System, Proc. Third Int. Symposium on Logic Programming, pp. 127–139, 1986.
    Google Scholar
16. Naish, L., Negation and Control in Prolog, Ph. D. Thesis, Dept. of CS, Univ. of Melbourne, Austr., 1985.
    Google Scholar
17. Naqvi Shamim and R. Krishnamurthy, Semantics of Updates in Logic Programming, Workshop on Database and Programming Languages, Roscoff, France 1987.
    Google Scholar
18. Pereira Luis Moniz, Logic Control with Logic, UNL Report 2/82 (1982).
    Google Scholar
19. Ramakrishnan, R, C. Beeri, R. Krishnamurthy, Optimizing Existential Queries, MCC Technical Report, 1987, (also submitted for external publication).
    Google Scholar
20. Sellinger, P.G. et. al. Access Path Selection in a Relational Database Management System., Proc. 1979 ACM-SIGMOD Intl. Conf. on Mgt. of Data, pp. 23–34, 1979.
    Google Scholar
21. Smith, D. E. and M. R. Genesereth, Ordering Conjunctive Queries, Artificial Intelligence 26, pp. 171–185, 1985.
    Article Google Scholar
22. Sacca', D. and C. Zaniolo, The Generalized Counting Method for Recursive Logic Queries, Proc. ICDT '86 —Int. Conf. on Database Theory, Rome, Italy 1986.
    Google Scholar
23. Tsur, S. and C. Zaniolo, LDL: A Logic-Based Data Language, Proc. of 12th VLDB, Kyoto, Japan, 1986.
    Google Scholar
24. Ullman, J. D., Implementation of logical query languages for databases, TODS, 10, 3, (1985), 289–321.
    Article Google Scholar
25. Ullman, J.D. and A. Van Gelder, Testing Applicability of Top-Down Capture Rules, Stanford Univ. Report STAN-CS-85-146, 1985.
    Google Scholar
26. Villarreal, E., “Evaluation of an O(N**2) Method for Query Optimization”, MS Thesis, Dept. of Computer Science, Univ. of Texas at Austin, Austin, TX.
    Google Scholar
27. Zaniolo, C. The representation and deductive retrieval of complex objects, Proc. of 11th VLDB, pp. 458–469, 1985.
    Google Scholar
28. Zaniolo, C., Safety and Compilation of Non-Recursive Horn Clauses, Proc. First Int. Conf. on Expert Database Systems, Charleston, S.C., 1986.
    Google Scholar
29. Zaniolo C. and D. Sacca', “Rule Rewriting Methods for Efficient Implementations of Horn Logic,” MCC Technical Report 1987, submitted for publication.
    Google Scholar

Download references