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: | |
---|---|
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. |