Enhancing database system quality through formal design

This paper shows how integrating models and design steps of conventional database methodologies with formal methods a database design methodology which favors the achievement of understandable, modifiable, efficient and reliable database systems can be obtained.