Specification and Development of Database Applications Based on Z and SQL

Abstract

The correct use of constraints within relational DBMSs is essential for one to take full advantage of the significant benefits offered by the relational model. The use of formal descriptions to capture constraints early in the process may be appropriate in this regard. The theory of relational databases has much in common with the mathematical structures central to the Z notation. In this position paper, we describe how create suitable tables and sql code for Z specifications that have been made according to UML diagrams by Robert’s methods. Here We use the Z notation as our specification language, and SQL as our implementation language.