Specification and verification of data base semantic integrity
By: Michael Lawrence Brodie.
Contributors: University of Toronto. Computer Systems Research Group.
Series: Technical report -- CSRG-91
Publisher: Computer Systems Research Group, University of Toronto
Published: 1978
Place of publication: Toronto
Language: eng
Number of pages: 156
Subjects: Computer programs -- Verification.; Database management.; Programming languages (Electronic computers) -- Semantics.
Notes: "April, 1978."

Thesis {Ph.D.)--University of Toronto, 1978.

Includes bibliographical references.