Structured methodology for designing static and dynamic aspects of data base applications

摘要

This paper presents an integrated methodology for specifying, verifying and processing both static and dynamic requirements of data base applications.A semantic binary data model that in all the different design stages supports definition, integration and testing of views and transactions is illustrated first. The underlying related languages are then illustrated: a Schema Definition Language is introduced to specify the information that should be represented, while a Transaction Definition Language is utilised to describe the transactions that will be executed on the data base.The structure, the computer-assisted tools and the specific interactive steps of the design methodology are finally presented.