SAL Home DBASE Utilities & Other DBMS


The objective of the CORAL project is to develop a robust and efficient deductive database system, and to investigate its use in various application domains.

Coral is a deductive system which supports a rich declarative language, and an interface to C++ which allows for a combination of declaritive and imperative programming. The declarative query language supports Datalog augmented with complex terms, set-grouping, aggregation, and negation. A CORAL declarative program can be organized as a collection of interacting modules. The CORAL implementation supports a wide range of evaluation strategies, and automatically chooses an efficient evaluation strategy for each module in the program. In addition, users are permitted to guide query optimization, if desired, by selecting from among a wide range of control choices at the level of each module.

Note that Coral is not act

Note that the authors of Coral are not actively supporting it anymore.

Current Version:   1.5.1

License Type:   ??

Home Site:

Source Code Availability:   Yes

Available Binary Packages:

  • Debian Package:   No
  • RedHat RPM Package:   No
  • Other Packages:   Yes (tar.gz)

Targeted Platforms:

HP-UX, Sun4/5, Solaris, Linux

Software/Hardware Requirements:


Other Links:

Mailing Lists/USENET News Groups:


User Comments:

  • None

See A Screen Shot? (Not Yet)

  SAL Home   |   Database Systems   |   Utilities & Other DBMS

Comments? SAL@KachinaTech.COM
Copyright © 1995-2001 by Herng-Jeng Jou
Copyright © 1997-2001 by Kachina Technologies, Inc.
All rights reserved.