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.
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.|
|Degree Name:||Theses (M.Comp.Sc.)|
|Program:||Computer Science and Software Engineering|
|Thesis Supervisor(s):||Butler, Greg|
|Deposited By:||Concordia University Libraries|
|Deposited On:||27 Aug 2009 19:42|
|Last Modified:||08 Dec 2010 15:39|
Repository Staff Only: item control page