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