Specification and verification of data base semantic integrity
By: by Michael Lawrence Brodie.
Publisher: University of Toronto, Dept. of Computer Science
Published: 1978
Place of publication: Toronto
Language: eng
Number of pages: 156
Subjects: Database management
Notes: Thesis (Ph.D.)--University of Toronto, 1978.

Bibliography: leaves 141-145.