📄 http:^^www.cs.wisc.edu^coral^coral.papers.html
字号:
Date: Tue, 05 Nov 1996 00:26:56 GMTServer: NCSA/1.5Content-type: text/htmlLast-modified: Fri, 04 Nov 1994 16:37:20 GMTContent-length: 6389<HEAD><TITLE>Coral Database Project - Papers</TITLE></HEAD><BODY><H1>Publications Related to the Coral Project </H1><P><H3>Contents:</H3><UL><li><!WA0><a HREF="#Language"> The Coral Language, Implementation and Features </a></li><li><!WA1><a HREF="#Optimization"> Optimization Techniques Used in Coral </a></li><li><!WA2><a HREF="#Survey"> Survey Papers </a></li><li><!WA3><a HREF="#Applications"> Coral Applications </a></li><li><!WA4><a HREF="#Miscellaneous"> Miscellaneous </a></li></UL>All files are less than 300 KB in size except as noted.<hr><a NAME="Language"></a><H2><a NAME="Language">Descriptions of the Coral Language, Implementation and Features</a></H2><strong> The CORAL Deductive System </strong><BR>Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan and Praveen Seshadri,The VLDB Journal, Special Issue on Prototypes of Deductive Database Systems.<!WA5><a HREF="file://ftp.cs.wisc.edu/coral/doc/coral.ps"><BR> Available here. </a> (775 KB)<P><strong> Coral++: Adding Object-Orientation to a Logic Database Language </strong><BR>Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan and Praveen Seshadri,Proceedings of the International Conference on Very Large Databases, 1993.<!WA6><a HREF="file://ftp.cs.wisc.edu/coral/doc/coralpp.ps"><BR> Available here. </a> (525 KB)<P><strong> Implementation of the CORAL Deductive Database System </strong><BR>Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan and Praveen Seshadri,Proceedings of the ACM SIGMOD Conference on Management of Data, 1993.<!WA7><a HREF="file://ftp.cs.wisc.edu/coral/doc/coral.impl.ps"><BR> Available here. </a><P><strong> The CORAL User Manual - A Tutorial Introduction to CORAL </strong><BR>Raghu Ramakrishnan, Praveen Seshadri, Divesh Srivastava and S. Sudarshan,Unpublished.<!WA8><a HREF="file://ftp.cs.wisc.edu/coral/doc/manual.ps"><BR> Available here. </a> (1100 KB)<P><strong> CORAL - Control, Relations and Logic </strong><BR>Raghu Ramakrishnan, Divesh Srivastava and S. Sudarshan,Proceedings of the International Conference on Very Large Databases, 1992.<!WA9><a HREF="file://ftp.cs.wisc.edu/coral/doc/coral.lang.ps"><BR> Available here. </a><P><strong> CORAL - A Database Programming Language </strong><BR>Raghu Ramakrishnan, Per Bothner, Divesh Srivastava and S. Sudarshan,Proceedings of the NACLP `90 Workshop on Deductive Databases, 1990.<!WA10><a HREF="file://ftp.cs.wisc.edu/coral/doc/coral.lang.old.ps"><BR> Available as Report TR-CS-90-14, </a> Department of Computing and. andInformation Sciences, Kansas State University. (350 KB) <P><hr><H2><a NAME="Optimization">Optimization Techniques Used in Coral</a></H2><P><strong> Magic Templates: A Spellbinding Approach to Logic Programs </strong><BR>R. Ramakrishnan,Journal of Logic Programming, Vol. 11, No. 3, Oct. 1991, pp. 189-216.<!WA11><a HREF="file://ftp.cs.wisc.edu/coral/doc/template.ps"><BR> Available here. </a><P><strong> On the Power of Magic </strong><BR>C. Beeri and R. Ramakrishnan,Journal of Logic Programming, Vol. 10, No. 3, April 1991, pp. 255-300.<!WA12><a HREF="file://ftp.cs.wisc.edu/coral/doc/magic.ps"><BR> Available here. </a> (360 KB)<P><strong> Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs </strong><BR>Raghu Ramakrishnan, Divesh Srivastava and S. Sudarshan,IEEE Transactions on Knowledge and Data Engineering, 1994.<!WA13><a HREF="file://ftp.cs.wisc.edu/coral/doc/ruleord.ps"><BR> Available here. </a> (880 KB)<P><strong> Optimizations of Bottom-Up Evaluation with Non-Ground Terms </strong><BR>S. Sudarshan and Raghu Ramakrishnan,Proceedings of the International Logic Programming Symposium, 1993.<!WA14><a HREF="file://ftp.cs.wisc.edu/coral/doc/ngopt.ps"><BR> Available here. </a><P><strong> Controlling the Search in Bottom-Up Evaluation </strong><BR>Raghu Ramakrishnan, Divesh Srivastava and S. Sudarshan,Proceedings of the Joint International Conference and Symposium onLogic Programming, 1992<!WA15><a HREF="file://ftp.cs.wisc.edu/coral/doc/ordsearch.ps"><BR> Available here. </a><P><strong> Aggregation and Relevance in Deductive Databases </strong><BR>S. Sudarshan and Raghu Ramakrishnan,Proceedings of the International Conference on Very Large Databases, 1991.<!WA16><a HREF="file://ftp.cs.wisc.edu/coral/doc/relevance.ps"><BR> Available here. </a><P><strong> Top-Down vs. Bottom-Up Revisited </strong><BR>Raghu Ramakrishnan and S. Sudarshan,Proceedings of the International Logic Programming Symposium, 1991.<!WA17><a HREF="file://ftp.cs.wisc.edu/coral/doc/tdvsbup.ps"><BR> Available here. </a><P><hr><H2><a NAME="Survey">Survey Papers</a></H2><P><strong> Efficient Bottom-Up Evaluation of Logic Programs </strong><BR>Raghu Ramakrishnan, Divesh Srivastava and S. Sudarshan,The State of the Art in Computer Systems and Software Engineering, 1992.<!WA18><a HREF="file://ftp.cs.wisc.edu/coral/doc/bupeval.survey.ps"><BR> Available here. </a> (310KB)<P><hr><H2><a NAME="Applications">Coral Applications</a></H2><P><strong> Explaining Program Execution in Deductive Systems </strong><BR>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.<!WA19><a HREF="file://ftp.cs.wisc.edu/coral/doc/explain.ps"><BR> Available here. </a> (520 KB)<P><strong> MIMSY: A System for Analyzing Time Series Data in the Stock Market Domain </strong><BR>William G. Roth, Raghu Ramakrishnan and Praveen Seshadri,Proceedings of the ILPS `93 Workshop on Applications of Deductive Systems, 1993.<!WA20><a HREF="file://ftp.cs.wisc.edu/coral/doc/mimsy.ps"><BR> Available as Report TR-CS-1182,. </a> Department of Computer Sciences,University of Wisconsin, Madison. (360 KB)<P><strong> MIMSY: A System for Analyzing Time Series Data in the Stock Market Domain </strong><BR>William G. Roth,M.S. Thesis, 1993.<!WA21><a HREF="file://ftp.cs.wisc.edu/coral/doc/mimsy.thesis.ps"><BR> Available here. </a> (1490 KB)<P><hr><H2><a NAME="Miscellaneous">Miscellaneous</a></H2><P><strong> Parallelism in Logic Programs </strong><BR>Raghu Ramakrishnan,Annals of Mathematics and Artifical Intelligence, Special Issue on Deductive Databases. <!WA22><a HREF="file://ftp.cs.wisc.edu/coral/doc/parallelism.ps"><BR> Available here. </a> (560 KB)<P><hr>Return to the <!WA23><a HREF="http://www.cs.wisc.edu/coral/coral.home.html"> Coral home page. </a><hr></BODY>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -