Login | Register

A formal specification in Z of the relational data model, version 2, of E.F. Codd

Title:

A formal specification in Z of the relational data model, version 2, of E.F. Codd

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.

[thumbnail of MM01361.pdf]
Preview
Text (application/pdf)
MM01361.pdf
2MB

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 > Gina Cody School 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:M. Comp. Sc.
Program:Computer Science and Software Engineering
Date:1995
Thesis Supervisor(s):Butler, Greg
Identification Number:QA 76.9 D3B3 1995
ID Code:4539
Deposited By: Concordia University Library
Deposited On:27 Aug 2009 19:42
Last Modified:13 Jul 2020 19:57
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