http:^^www.cs.wisc.edu^coral^

来自「This data set contains WWW-pages collect」· EDU^CORAL^ 代码 · 共 115 行

EDU^CORAL^
115 行
字号 
Date: Thu, 07 Nov 1996 19:22:22 GMTServer: NCSA/1.5Content-type: text/htmlLast-modified: Fri, 11 Oct 1996 06:35:59 GMTContent-length: 4398<HEAD><TITLE>Coral Database Project</TITLE></HEAD><BODY><H1>Coral Database Project</H1><hr><H3>Document Contents:</H3><P><UL><li><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><a HREF="#Objective">Objective</a></li><li><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><a HREF="#Overview">Overview</a></li><li><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><a HREF="#Release_Info">Release Information</a></li></UL><H3>See Also:</H3><P><UL><li><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><a HREF="http://www.cs.wisc.edu/coral/coral.papers.html">Publications related to Coral</a></li><li><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><a HREF="http://www.cs.wisc.edu/coral/coral.people.html">People working on Coral</a></li><li><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><a HREF="http://www.cs.wisc.edu/rsch-info">Other Research at UW-Madison</a></li></UL><hr><H2><a NAME="Objective">Objective:</a></H2>The objective of the CORAL project is to develop a robust and efficientdeductive database system, and to investigate its use in various application domains. Several of the algorithms underlying the Coralsystem have been developed by members of the group during the durationof the project (since 1988).<hr><H2><a NAME="Overview">Overview:</a></H2>Coral is a deductive system which supports a rich declarative language,and an interface to C++ which allows for a combination of declaritiveand imperative programming.  The declarative query language supportsgeneral Horn clauses augmented with complex terms, set-grouping, aggregation, negation, and relations with tuples that contain (universally quantified) variables.  A CORAL declarative program canbe organized as a collection of interacting modules.  The CORALimplementation supports a wide range of evaluation strategies, andautomatically chooses an efficient evaluation strategy for each modulein the program. In addition, users are permitted to guide query optimization,if desired, by selecting from among a wide range of control choices atthe level of each module.<P>The CORAL system provides imperative constructs such as update, insertand delete rules. CORAL also has an interface with C++, and users canprogram in a combination of declarative CORAL and C++ extended withCORAL primitives. A high degree of extensibility is provided by allowingC++ programmers to use the class structure of C++ to enhance the CORALimplemenation. CORAL provides support for both main-memory and disk-resident data. Disk-resident data is supported using the<!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><a HREF="http://www.cs.wisc.edu/exodus/">EXODUS</a>storage mananger, which also provides transaction management in aclient-server environment.<hr><H2><a NAME="Release_Info">Release Information:</a></H2>The current release of Coral is Version 1.5, released October 10, 1996.To install Coral on your system, then grab the tar file you want. The nobin version contains only the source code, requiringyou to compile Coral.  The other versions include pre-made binaries forthe indicated machine type.<P> Click on a file to grab it:<P> <UL><li><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><a HREF="ftp://ftp.cs.wisc.edu/coral/coral-1.5/README">README</a> : General information.</li><li><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><a HREF="ftp://ftp.cs.wisc.edu/coral/coral-1.5/INSTALL">Installation Manual for Coral</a> : Instructions for installation.</li><p><li><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><a HREF="ftp://ftp.cs.wisc.edu/coral/coral-1.5/coral-1.5.nobin.tar.gz">coral-1.5.nobin.tar.gz</a> : No binaries included.</li><li><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><a HREF="ftp://ftp.cs.wisc.edu/coral/coral-1.5/coral-1.5.hpux.tar.gz">coral-1.5.hpux.tar.gz</a> : HP-UX (series 700) binaries included.</li><li><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><a HREF="ftp://ftp.cs.wisc.edu/coral/coral-1.5/coral-1.5.sun4.tar.gz">coral-1.5.sun4.tar.gz</a> : SunOs 4 binaries included.</li><li><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><a HREF="ftp://ftp.cs.wisc.edu/coral/coral-1.5/coral-1.5.sun5.tar.gz">coral-1.5.sun5.tar.gz</a> : Sun Solaris binaries included.</li><li><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><a HREF="ftp://ftp.cs.wisc.edu/coral/coral-1.5/coral-1.5.sol386.tar.gz">coral-1.5.sol386.tar.gz</a> : PC Solaris binaries included.</li><li><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><a HREF="ftp://ftp.cs.wisc.edu/coral/coral-1.5/coral-1.5.linux.tar.gz">coral-1.5.linux.tar.gz</a> : Linux binaries included.</li></UL><p>To stay informed of new releases, you can add yourself to Coral's announcemnt    <!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><a HREF="http://www.cs.wisc.edu/coral/coral.maillist.html">mailing list</a>which recieves announcements of releases and other relevant information.Releases are also announced on the newsgroup <B>comp.lang.misc</B>.<p>You may also <!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><a HREF="http://www.cs.wisc.edu/coral/coral.bugreport.html">submit</a> questions, comments,    or bug reports for coral.<P>Or send mail to:<Address>coral@cs.wisc.edu</Address><hr><H2>Last Modified:</H2>October 10, 1996<P><Address>Shawn Flisakowski / flisakow@cs.wisc.edu</Address></BODY>

http:^^www.cs.wisc.edu^coral^ - 源码说明

本页面展示了「This data set contains WWW-pages collected from computer science departments of various universities」中的 http:^^www.cs.wisc.edu^coral^ 源码文件，采用 EDU^CORAL^ 编程语言编写，共 115 行代码。您可以在线阅读完整代码内容，也可以返回资源详情页下载完整源码包进行本地学习和开发。

虫虫下载站收录了大量与universities相关的技术资源，包括源代码、技术文档、电路图等，是电子工程师和嵌入式开发者的专业学习平台。

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?