A design document for the CORAL deductive database system
CORAL is a deductive database system that supports a rich declarative language, and an interface to C++ that allows for a combination of declarative and imperative programming. It is important to know the design and the implementation for CORAL in order to be able to extend this system. This report...
Main Author: | Lin, Fang |
---|---|
Format: | Others |
Published: |
2004
|
Online Access: | http://spectrum.library.concordia.ca/7896/1/MQ91068.pdf Lin, Fang <http://spectrum.library.concordia.ca/view/creators/Lin=3AFang=3A=3A.html> (2004) A design document for the CORAL deductive database system. Other thesis, Concordia University. |
Similar Items
-
Deductive databases and P systems
by: Miguel A. Gutierrez-Naranjo, et al.
Published: (2004-06-01) -
Disjunctive deductive databases.
Published: (1996) -
A study of parallel deductive database systems
by: Shao, Jianhua
Published: (1990) -
Integrity constraints in deductive databases
by: Das, Subrata Kumar
Published: (1990) -
Temporal reasoning in deductive databases
by: Sripada, Suryanarayana Murthy
Published: (1991)