Title :
Formal methods for database language design and constraint handling
Author_Institution :
STC Technol. Ltd., Harlow, UK
fDate :
1/1/1989 12:00:00 AM
Abstract :
A non-interactive, binary relational database programming language is designed using formal specification. The design is conducted using the Vienna development method. The underlying data model is made as general as possible so as to minimise the restrictions placed on the database user. In contrast to the normal method of handling database integrity constraints by dynamic checking, constraints are regarded as assertions, and proofs of correctness based on Hoare-style axioms and proof rules are used to show that semantic integrity is maintained
Keywords :
data integrity; formal specification; query languages; relational databases; Hoare-style axioms; Vienna development method; binary relational database programming language; constraint handling; correctness; database integrity constraints; database language design; database user; formal specification; non-interactive; proof rules; semantic integrity; underlying data model;
Journal_Title :
Software Engineering Journal