This paper proposes a systematic scheme for synthesizing formal specification from the definitions of relational data model diagram. The formal specification of both structural and behavioral properties of relational data model is generated in Z schemas. The mandatory structural constraints the uniqueness of primary key, foreign keys, and referential integrity constraints among the relations in the model, are preserved. A composition technique of constructing the composite operations is presented by using requirements particle networks.


Database, Database integrity, Medical system.