DocumentCode
753637
Title
Proving Consistency of Database Transactions Written in Extended Pascal
Author
Gardarin, G. ; Melkanoff, M.
Author_Institution
Institut de Programmation and IRIA-SIRIUS
Issue
4
fYear
1982
fDate
7/1/1982 12:00:00 AM
Firstpage
440
Lastpage
446
Abstract
The purpose of this correspondence is to present an approach for verifying that explicitly stated integrity constraints are not violated by certain transactions. We utilize a relational model wherein constraints are given in a language based on the first-order predicate calculus. Transactions are written in terms of a Pascal-like host language with embedded first-order predicate calculus capabilities allowing queries and updates.
Keywords
Consistency; correctness proof; integrity constraint; predicate calculus; relational database; transaction; Calculus; Computer languages; Data visualization; Database systems; High level languages; Programming profession; Relational databases; Testing; Transaction databases; Visual databases; Consistency; correctness proof; integrity constraint; predicate calculus; relational database; transaction;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/TSE.1982.235580
Filename
1702968
Link To Document