Băluţă, Dorel D (1995) A formal specification in Z of the relational data model, version 2, of E.F. Codd. Masters thesis, Concordia University.
![[img]](http://spectrum.library.concordia.ca/style/images/fileicons/application_pdf.png)
| PDF 2836Kb |
Abstract
Presents a formal definition of the basic concepts of the relational data model, including some additional features introduced by RM/V2. The formal notation used here is Z, a model-oriented specification language.
| Divisions: | Concordia University > Faculty of Engineering and Computer Science > Computer Science and Software Engineering |
|---|---|
| Item Type: | Thesis (Masters) |
| Authors: | Băluţă, Dorel D |
| Pagination: | vii, 129 leaves ; 29 cm. |
| Institution: | Concordia University |
| Degree Name: | Theses (M.Comp.Sc.) |
| Program: | Computer Science and Software Engineering |
| Date: | 1995 |
| Thesis Supervisor(s): | Butler, Greg |
| ID Code: | 4539 |
| Deposited By: | Concordia University Libraries |
| Deposited On: | 27 Aug 2009 15:42 |
| Last Modified: | 08 Dec 2010 10:39 |
| 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
