Package:
lang/prolog/impl/lp/coral/
Name:
CORAL
Summary:
Deductive database/logic programming language.
Version:
1.1 (2-FEB-94)
Description:
CORAL is a deductive database/logic programming system developed at
the University of Wisconsin-Madison. It is a declarative language
based on Horn-clause rules with extensions like SQL's group-by and
aggregation operators, and uses a Prolog-like syntax.
CORAL supports many evaluation techniques, including bottom-up
fixpoint evaluation and top-down backtracking, a module mechanism,
support for disk-resident data, a C++ interface, and an on-line help
facility.
Requires:
AT&T c++ or GNU g++
Ports:
Sun4, DECstations (MIPS), HP700
Origin:
ftp.cs.wisc.edu:coral/
Copying:
Updated:
CD-ROM:
Prime Time Freeware for AI, Issue 1-1
Bug Reports:
Mailing List:
Author(s):
Raghu Ramakrishnan <raghu@cs.wisc.edu>
Contact:
coral@cs.wisc.edu
Please let them know if you're using CORAL, so that they
can keep you informed about system updates.
Keywords:
Prolog!Implementations, Programming Languages!Logic Programming,
CORAL,
Deductive Database, SQL, Authors!Ramakrishnan, Univ. of Wisconsin,
C++!Code
Contains:
See Also:
References:
???
The distribution includes the CORAL User Manual, installation
instructions, and some papers containing a language overview and
describing implementation details.
Papers describing the CORAL language, implementation and features:
Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan, and Praveen
Seshadri, "The CORAL Deductive System", The VLDB Journal, Special
Issue on Prototypes of Deductive Database Systems, to appear.
Divesh Srivastava, Raghu Ramakrishnan, S. Sudarshan, and Praveen
Seshadri, "Coral++: Adding Object-Orientation to a Logic Database
Language", Proceedings of the International Conference on Very
Large
Databases, 1993.
Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan and Praveen
Seshadri, "Implementation of the CORAL Deductive Database System",
Proceedings of the ACM SIGMOD Conference on Management of Data,
1993.
Raghu Ramakrishnan, Praveen Seshadri, Divesh Srivastava, and S.
Sudarshan, "An Overview of CORAL", 1993. [Full version of Raghu
Ramakrishnan, Divesh Srivastava, and S. Sudarshan, "CORAL: Control,
Relations and Logic", Proceedings of the International Conference
on
Very Large Databases, 1992.]
Raghu Ramakrishnan, Praveen Seshadri, Divesh Srivastava, and S.
Sudarshan, "The CORAL User Manual: A Tutorial Introduction to
CORAL",
1993.
Raghu Ramakrishnan, Per Bothner, Divesh Srivastava, and S.
Sudarshan,
"CORAL: A Database Programming Language", Proceedings of the NACLP90
Workshop on Deductive Databases, Jan Chomicki, editor, 1990. Also
available as Report TR-CS-90-14, Department of Computing and
Information Sciences, Kansas State University.
Survey Papers:
Raghu Ramakrishnan, Divesh Srivastava, and S. Sudarshan, "Efficient
Bottom-up Evaluation of Logic Programs", in J. Vandewalle, editor,
The
State of the Art in Computer Systems and Software Engineering,
Kluwer
Academic Publishers, 1992.
CORAL Applications:
William G. Roth, Raghu Ramakrishnan, and Praveen Seshadri, "Mimsy:
A
Stock Market Evaluation System Using CORAL", in Raghu Ramakrishnan,
editor, Proceedings of the ILPS-93 Workshop on Applications of
Deductive Systems, 1993. Also available as Report TR-CS-1182,
Department of Computer Sciences, University of Wisconsin, Madison.
Tarun Arora, Raghu Ramakrishnan, William G. Roth, Praveen Seshadri,
and Divesh Srivastava, "Explaining Program Evaluation in Deductive
Systems", Proceedings of the Third International Conference on
Deductive and Object-Oriented Databases, 1993.
Optimization techniques used in CORAL:
Raghu Ramakrishnan, Divesh Srivastava and S. Sudarshan, "Rule
Ordering
in Bottom-Up Fixpoint Evaluation of Logic Programs", IEEE
Transactions
on Knowledge and Data Engineering, 1994, to appear. (A shorter
version appeared in VLDB-90.)
S. Sudarshan and Raghu Ramakrishnan, "Optimizations of Bottom-Up
Evaluation with Non-Ground Terms", Proceedings of the International
Logic Programming Symposium, 1993.
Raghu Ramakrishnan, Divesh Srivastava, and S. Sudarshan,
"Controlling
the Search in Bottom-up Evaluation", Proceedings of the Joint
International Conference and Symposium on Logic Programming, 1992.
[Describes the Ordered Search algorithm to evaluate programs with
left-to-right modularly stratified negation and aggregation.]
S. Sudarshan and Raghu Ramakrishnan, "Aggregation and Relevance in
Deductive Databases", Proceedings of the International Conference
on
Very Large Databases, 1991.
Raghu Ramakrishnan and S. Sudarshan, "Top-Down vs. Bottom-Up
Revisited", Proceedings of the International Logic Programming
Symposium, 1991.