Lin, Fang (2004) A design document for the CORAL deductive database system. Other thesis, Concordia University.
- Accepted Version
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 documents the design for CORAL. The Unified Modeling Language (UML) is used to describe the Architecture, Structural Model and Behavioral Model. The design documentation is based on the study of the source code, the user manual and the published papers about CORAL.
|Divisions:||Concordia University > Faculty of Engineering and Computer Science > Computer Science and Software Engineering|
|Item Type:||Thesis (Other)|
|Pagination:||vii, 61 leaves : ill. ; 29 cm.|
|Degree Name:||M. Comp. Sc.|
|Thesis Supervisor(s):||Butler, Gregory|
|Deposited By:||Concordia University Libraries|
|Deposited On:||18 Aug 2011 18:09|
|Last Modified:||18 Aug 2011 18:09|
Repository Staff Only: item control page