DocumentCode
1069997
Title
Formal methods for database language design and constraint handling
Author
Walshe, A.
Author_Institution
STC Technol. Ltd., Harlow, UK
Volume
4
Issue
1
fYear
1989
fDate
1/1/1989 12:00:00 AM
Firstpage
15
Lastpage
24
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;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
Filename
28085
Link To Document