A Scheme for Database Applications using Particle Networks



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.

By clicking ‘Accept’, you agree to the use of cookies, and to the Privacy Policy on this website. Read our Privacy and Cookie Policies to find out more.

Appl Med Inform is published since 1995.