Publications Related to the Coral Project

Contents:

All files are less than 300 KB in size except as noted.

Descriptions of the Coral Language, Implementation and Features

The CORAL Deductive System
Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan and Praveen Seshadri, The VLDB Journal, Special Issue on Prototypes of Deductive Database Systems.
Available here.
(775 KB)

Coral++: Adding Object-Orientation to a Logic Database Language
Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan and Praveen Seshadri, Proceedings of the International Conference on Very Large Databases, 1993.
Available here.
(525 KB)

Implementation of the CORAL Deductive Database System
Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan and Praveen Seshadri, Proceedings of the ACM SIGMOD Conference on Management of Data, 1993.
Available here.

The CORAL User Manual - A Tutorial Introduction to CORAL
Raghu Ramakrishnan, Praveen Seshadri, Divesh Srivastava and S. Sudarshan, unpublished.
Available here.
(1100 KB)

CORAL - Control, Relations and Logic
Raghu Ramakrishnan, Divesh Srivastava and S. Sudarshan, Proceedings of the International Conference on Very Large Databases, 1992.
Available here.

CORAL - A Database Programming Language
Raghu Ramakrishnan, Per Bothner, Divesh Srivastava and S. Sudarshan, Proceedings of the NACLP `90 Workshop on Deductive Databases, 1990.
Available as Report TR-CS-90-14,
Department of Computing and. and Information Sciences, Kansas State University. (350 KB)

CORAL: The Inside Story - Shocking Hacks Revealed
Praveen Seshadri and Shaun Flisakowski, unpublished.
Available here.


Optimization Techniques Used in Coral

Magic Templates: A Spellbinding Approach to Logic Programs
R. Ramakrishnan, Journal of Logic Programming, Vol. 11, No. 3, Oct. 1991, pp. 189-216.
Available here.

On the Power of Magic
C. Beeri and R. Ramakrishnan, Journal of Logic Programming, Vol. 10, No. 3, April 1991, pp. 255-300.
Available here.
(360 KB)

Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs
Raghu Ramakrishnan, Divesh Srivastava and S. Sudarshan, IEEE Transactions on Knowledge and Data Engineering, 1994.
Available here.
(880 KB)

Optimizations of Bottom-Up Evaluation with Non-Ground Terms
S. Sudarshan and Raghu Ramakrishnan, Proceedings of the International Logic Programming Symposium, 1993.
Available here.

Controlling the Search in Bottom-Up Evaluation
Raghu Ramakrishnan, Divesh Srivastava and S. Sudarshan, Proceedings of the Joint International Conference and Symposium on Logic Programming, 1992
Available here.

Aggregation and Relevance in Deductive Databases
S. Sudarshan and Raghu Ramakrishnan, Proceedings of the International Conference on Very Large Databases, 1991.
Available here.

Top-Down vs. Bottom-Up Revisited
Raghu Ramakrishnan and S. Sudarshan, Proceedings of the International Logic Programming Symposium, 1991.
Available here.


Survey Papers

Efficient Bottom-Up Evaluation of Logic Programs
Raghu Ramakrishnan, Divesh Srivastava and S. Sudarshan, The State of the Art in Computer Systems and Software Engineering, 1992.
Available here.
(310KB)


Coral Applications

Explaining Program Execution in Deductive Systems
Tarun Arora, Raghu Ramakrishnan, William G. Roth, Praveen Seshadri and Divesh Srivastava, Proceedings of the Third International Conference on Deductive and Object-Oriented Databases, 1993.
Available here.
(520 KB)

MIMSY: A System for Analyzing Time Series Data in the Stock Market Domain
William G. Roth, Raghu Ramakrishnan and Praveen Seshadri, Proceedings of the ILPS `93 Workshop on Applications of Deductive Systems, 1993.
Available as Report TR-CS-1182,.
Department of Computer Sciences, University of Wisconsin, Madison. (360 KB)

MIMSY: A System for Analyzing Time Series Data in the Stock Market Domain
William G. Roth, M.S. Thesis, 1993.
Available here.
(1490 KB)


Miscellaneous

Parallelism in Logic Programs
Raghu Ramakrishnan, Annals of Mathematics and Artifical Intelligence, Special Issue on Deductive Databases.
Available here.
(560 KB)


Return to the Coral home page.