Skip to main content
SpringerLink
Log in

The CORAL deductive system

  • Special Issue on Prototypes of Deductive Database Systems
  • Published:
The VLDB Journal Aims and scope Submit manuscript

Abstract

CORAL is a deductive system that supports a rich declarative language, and an interface to C++, which allows for a combination of declarative and imperative programming. A CORAL declarative program can be organized as a collection of interacting modules. CORAL supports a wide range of evaluation strategies, and automatically chooses an efficient strategy for each module in the program. Users can guide query optimization by selecting from a wide range of control choices. The CORAL system provides imperative constructs to update, insert, and delete facts. Users can program in a combination of declarative CORAL and C++ extended with CORAL primitives. A high degree of extensibility is provided by allowing C++ programmers to use the class structure of C++ to enhance the CORAL implementation. CORAL provides support for main-memory data and, using the EXODUS storage manager, disk-resident data. We present a comprehensive view of the system from broad design goals, the language, and the architecture, to language interfaces and implementation details.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Ait-Kaci, H.Warren's Abstract Machine: A Tutorial Reconstruction. Cambridge, MA: MIT Press, 1991.

    Google Scholar 

  • Arni, N. and Ong, K.The LDL++ User's Guide, 2.0 edition, January 1993. MCC Technical Report Carnot-012-93(P), Austin, TX.

  • Arora, T., Ramakrishnan, R., Roth, W.G., Seshadri, P., and Srivastava, D. Explaining program evaluation in deductive systems.Proceedings of the International Conference on Deductive and Object-Oriented Databases, Phoenix, AZ, 1993.

  • Balbin, I. and Ramamohanarao, K. A generalization of the differential approach to recursive query evaluation.Journal of Logic Programming, 4(3):259–262, 1987.

    Google Scholar 

  • Bancilhon, F. Naive evaluation of recursively defined relations. In: Brodie, M. and Mylopoulos, J., eds.,On Knowledge Base Management Systems: Integrating Database and AI Systems. Heidelberg, Germany: Springer-Verlag, 1985.

    Google Scholar 

  • Bayer, R. Query evaluation and recursion in deductive database systems. Unpublished Memorandum, 1985.

  • Beeri, C., Naqvi, S., Shmueli, O., and Tsur, S. Set constructors in a logic database language.Journal of Logic Programming, 10(3/4):181–232, 1991.

    Google Scholar 

  • Beeri, C. and Ramakrishnan, R. On the power of Magic.Proceedings of the ACM Symposium on Principles of Database Systems, San Diego, CA, 1987.

  • Bry, F. Logic programming as constructivism: A formalization and its application to databases.Proceedings of the ACM SIGACT-SIGART-SIGMOD Symposium on the Principles of Database Systems, Philadelphia, PA, 1989.

  • Carey, M., DeWitt, D., Richardson, J., and Shekita, E. Object and file management in the EXODUS extensible database system.Proceedings of the International Conference on Very Large Databases, Kyoto, Japan, 1986.

  • Chang, J.H. and Despain, A.M. Semi-intelligent backtracking of Prolog based on static data-dependency analysis.Proceedings of the Symposium on Logic Programming, Boston, MA, 1985.

  • Chimenti, D., Gamboa, R., and Krishnamurthy, R. Abstract machine for LDL. Technical Report ACT-ST-268-89, MCC, Austin, TX, 1989.

  • Chimenti, D., Gamboa, R., Krishnamurthy, R., Naqvi, S., Tsur, S., and Zaniolo, C. The LDL system prototype.IEEE Transactions on Knowledge and Data Engineering, 2(1):76–90, 1990.

    Google Scholar 

  • Derr, M.A. Adaptive optimization in a deductive database system.Proceedings of the Second International Conference on Information and Knowledge Management, Arlington, VA, 1993.

  • Freitag, B., Schütz, H., and Specht, G. LOLA: A logic language for deductive databases and its implementation.Proceedings of the Second International Symposium on Database Systems for advanced Applications (DASFAA) Tokyo, Japan, 1991.

  • Giannotti, F., Pedreschi, D., Sacca, D., and Zaniolo, C. Non-determinism in deductive databases.Proceedings of the Second International Conference on Deductive and Object-Oriented Databases, Munich, Germany, 1991.

  • Goodman, N., Rozen, S., and Stein, L. Requirements for a deductive query language in MapBase genome-mapping database.Proceedings of the Workshop on Programming with Logic Databases, Vancouver, Canada, 1993.

  • Goto, E. Monocopy and associative algorithms in an extended lisp. Technical Report 74-03, Information Science Laboratory, University of Tokyo, Japan, May 1974.

    Google Scholar 

  • Greco, S., Zaniolo, C., and Ganguly, S. Greedy by choice.Proceedings of the ACM Symposium on the Principles of Database Systems, San Diego, CA, 1992.

  • Horowitz, S., Reps, T., Binkley, D. Interprocedural slicing using dependence graphs.ACM Transactions on Programming Languages and Systems, 12(1):26–60, 1990.

    Google Scholar 

  • Jeusfeld, M. and Staudt, M. Query optimization in deductive object bases. In: Freytag, J.C., Vossen, G., and Maier, D., eds.Query Processing for Advanced Database Applications. San Mateo, CA: Morgan-Kaufmann, 1993.

    Google Scholar 

  • Kiernan, G., deMaindreville, C., and Simon, E. Making deductive database a practical technology: A step forward.Proceedings of the ACM SIGMOD Conference on the Management of Data, Atlantic City, NJ, 1990.

  • Kanellakis, P.C., Kuper, G.M., and Revesz, P.Z. Constraint query languages.Proceedings of the Ninth ACM Symposium on the Principles of Database Systems, Nashville, TN, 1990.

  • Kemp, D., Ramamohanarao, K., and Somogyi, Z. Right-, left-, and multi-linear rule transformations that maintain context information.Proceedings of the International Conference on Very Large Databases, Brisbane, Australia, 1990.

  • Lefebvre, A. Recursive aggregates in the EKS-V1 system. Technical Report TR KB 34, ECRC, February 1991.

  • Lefebvre, A. Towards an efficient evaluation of recursive aggregates in deductive databases.Proceedings of the International Conference on Fifth Generation Computer Systems, Tokyo, Japan, 1992.

  • Lewis, P.H. A fast way to discover patterns in vast amounts of data.The New York Times, pp. 16–17, August 1992.

  • Lloyd, J.W.Foundations of Logic Programming, 2nd ed. Heidelberg, Germany: Springer-Verlag, 1987.

    Google Scholar 

  • Logical Information Machines, 8920 Business Park Drive, Suite 372 austin, TX 78759.The XMIM Reference Guide, 2.1.1 edition, July 1992.

  • Maher, M.J. and Ramakrishnan, R. Dèjá vu in fixpoints of logic programs.Proceedings of the Symposium on Logic Programming, Cleveland, OH, 1989.

  • Morris, K., Ullman, J.D., and Van Gelder, A. Design overview of the NAIL! system.Proceedings of the Third International Conference on Logic Programming, London, 1986.

  • Mumick, I.S., Pirahesh, H., and Ramakrishnan, R. Duplicates and aggregates in deductive databases.Proceedings of the Sixteenth International Conference on Very Large Databases, Brisbane, Australia, 1990.

  • Naughton, J.F., Ramakrishnan, R., Sagiv, Y., and Ullman, J.D. Argument reduction through factoring.Proceedings of the Fifteenth International Conference on Very Large Databases, Amsterdam, The Netherlands, 1989.

  • Naqvi, S. and Tsur, S.A Logical Language for Data and Knowledge Bases. Principles of Computer Science. New York: Computer Science Press, 1989.

    Google Scholar 

  • Phipps, G., Derr, M.A., and Ross, K.A. Glue-NAIL!: A deductive database system.Proceedings of the ACM SIGMOD Conference on Management of Data, Denver, CO, 1991.

  • Przymusinski, T.C. On the declarative semantics of stratified deductive databases. In: Minker, J., ed.,Foundations of Deductive Databases and Logic Programming, Washington, DC: Morgan Kaufmann, 1988, pp. 193–216.

    Google Scholar 

  • Ramakrishnan, R. Magic templates: A spellbinding approach to logic programs.Proceedings of the International Conference on Logic Programming, Seattle, WA, 1988.

  • Ramakrishnan, R., editor.Proceedings of the Workshop on Programming with Logic Databases, Vancouver, BC, Canada, October 1993. Available as Technical Report 1183, Computer Sciences Department, University of Wisconsin-Madison.

  • Ramakrishnan, R., Beeri, C., and Krishnamurthy, R. Optimizing existential Datalog queries.Proceedings of the ACM Symposium on, Principles of Database Systems, Austin, TX, 1988.

  • Ramakrishnan, R., Bothner, P., Srivastava, D., and Sudarshan, S. CORAL: A database programming language.Proceedings of the NACLP Workshop on Deductive Databases, Austin, TX, 1990. Available as Report TR-CS-90-14, Department of Computing and Information Sciences, Kansas State University.

  • Ramakrishnan, R. and Sudarshan, S. Top-Down vs. Bottom-Up revisited.Proceedings of the International Logic Programming Symposium, San Diego, CA, 1991.

  • Ramakrishnan, R., Srivastava, D., and Sudarshan, S. Controlling the search in bottom-up evaluation.Proceedings of the Joint International Conference and Symposium on Logic Programming, Washington DC, 1992a.

  • Ramakrishnan, R., Srivastava, D., and Sudarshan, S. CORAL: Control, Relations and Logic.Proceedings of the International Conference on Very Large Databases, Vancouver, Canada, 1992b.

  • Ramakrishnan, R., Seshadri, P., Srivastava, D., and Sudarshan, S. The CORAL user manual: A tutorial introduction to CORAL. unpublished manuscript, 1993a.

  • Ramakrishnan, R., Srivastava, D., Sudarshan, S., and Seshadri, P. Implementation of the CORAL deductive database system.Proceedings of the ACM SIGMOD Conference on the Management of Data, Washington DC, 1993b.

  • Ramakrishnan, R., Srivastava, D., and Sudarshan, S. The Save Module facility in CORAL. unpublished manuscript, 1993c.

  • Ramakrishnan, R., Srivastava, D., and Sudarshan, S. Rule ordering in bottom-up fixpoint evaluation of logic programs.IEEE Transactions on Knowledge and Data Engineering, in press (A shorter version appeared in VLDB, 1990).

  • Reps, T. Solving demand versions of interprocedural analysis problems.Proceedings of the Fifth International Conference on Compiler Construction, Edinburgh, Scotland, 1994.

  • Rohmer, J., Lescoeur, R., and Kerisit, J.M. The Alexander method: A technique for the processing of recursive axioms in deductive database queries.New Generation Computing, 4:522–528, 1986.

    Google Scholar 

  • Ross, K. Modular Stratification and Magic Sets for DATALOG programs with negation.Proceedings of the ACM Symposium on Principles of Database Systems, Nashville, TN, 1990.

  • Ross, K. Modular acyclicity and tail recursion in logic programs.Proceedings of the ACM Symposium on Principles of Database Systems, Denver, CO, 1991.

  • Roth, W.G., Ramakrishnan, R., and Seshadri, P. MIMSY: A system for analyzing time series data in the stock market domain.Proceedings of the Workshop on Programming with Logic Databases, Vancouver, Canada, 1993.

  • Sagonas, K., Swift, T., and Warren, D.S. XSB as an efficient deductive database engine.Proceedings of the ACM SIGMOD Conference on Management of Data, Minneapolis, MN, 1994.

  • Schmidt, H., Kiessling, W., Güntzer, U., and Bayer, R. Compiling exploratory and goal-directed deduction into sloppy delta iteration.IEEE International Symposium on Logic Programming, San Francisco, CA, 1987.

  • Seki, H. On the power of Alexander templates.Proceedings of the ACM Symposium on the Principles of Database Systems, Philadelphia, PA, 1989.

  • Shmueli, O., Tsur, S., and Zaniolo, C. Compilation of set terms in the logic data language (LDL).Journal of Logic Programming, 12(1/2):89–120, 1992.

    Google Scholar 

  • Srivastava, D., Ramakrishnan, R., Seshadri, P., and Sudarshan, S. Coral++: Adding object-orientation to a logic database language.Proceedings of the International Conference on Very Large Databases, Dublin, Ireland, 1993.

  • Stroustrup, B.The C++ Programming Language (2nd Edition). Reading, MA: Addison-Wesley, 1991.

    Google Scholar 

  • Sudarshan, S. Optimizing Bottom-Up query evaluation for deductive databases. PhD thesis, University of Wisconsin, Madison, WI 1992.

    Google Scholar 

  • Sudarshan, S. and Ramakrishnan, R. Aggregation and relevance in deductive databases.Proceedings of the Seventeenth International Conference on Very Large Databases, Barcelona, Spain, 1991.

  • Sudarshan, S. and Ramakrishnan, R. Optimizations of bottom-up evaluation with non-ground terms.Proceedings of the International Logic Programming Symposium, Vancouver, Canada, 1993.

  • Vieille, L., Bayer, P., Küchenhoff, V., and Lefebvre, A. EKS-V1, a short overview.AAAI-90 Workshop on Knowledge Base Management Systems, Boston, MA, 1990.

  • Vaghani, J., Ramamohanarao, K., Kemp, D.B., Somogyi, Z., and Stuckey, P.J. Design overview of the Aditi, deductive database system.Proceedings of the Seventh International Conference on Data Engineering, Kobe, Japan, 1991.

  • Vista, D. and Wood, P. Efficient visual queries for deductive databases.Proceedings of the Workshop on Programming with Logic Databases, Vancouver, Canada, 1993.

Download references

Author information

Authors and Affiliations

  1. Computer Sciences Department, University of Wisconsin, 53706, Madison, WI

    Raghu Ramakrishnan Ph.D (Associate Professor) & Praveen Seshadri M.S (Research Assistant)

  2. AT&T Bell Laboratories, 600 Mountain Avenue, 07974, Murray Hill, NJ

    Divesh Srivastava Ph.D (Technical Staffmember) & S. Sudarshan Ph.D (Technical Staffmember)

Authors
  1. Raghu Ramakrishnan Ph.D
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Divesh Srivastava Ph.D
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. S. Sudarshan Ph.D
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Praveen Seshadri M.S
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

When the work was performed, Dr. Srivastava and Dr. Sudarshan were Research Assistants at the University of Wisconsin, Madison.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Ramakrishnan, R., Srivastava, D., Sudarshan, S. et al. The CORAL deductive system. VLDB Journal 3, 161–210 (1994). https://doi.org/10.1007/BF01228880

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01228880

Key Words

Search

Navigation