Login | Register

A design document for the CORAL deductive database system

Title:

A design document for the CORAL deductive database system

Lin, Fang (2004) A design document for the CORAL deductive database system. Masters thesis, Concordia University.

[thumbnail of MQ91068.pdf]
Preview
Text (application/pdf)
MQ91068.pdf - Accepted Version
1MB

Abstract

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 > Gina Cody School of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (Masters)
Authors:Lin, Fang
Pagination:vii, 61 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:M. Comp. Sc.
Program:Computer Science
Date:2004
Thesis Supervisor(s):Butler, Gregory
Identification Number:QA 76 M26+ 2004 no.2
ID Code:7896
Deposited By: Concordia University Library
Deposited On:18 Aug 2011 18:09
Last Modified:27 Oct 2022 19:53
Related URLs:
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Downloads per month over past year

Research related to the current document (at the CORE website)
- Research related to the current document (at the CORE website)
Back to top Back to top