TY - JOUR AU - VĂLEANU, Mădălina AU - COSMA, Dan PY - 2011/04/20 Y2 - 2024/03/29 TI - A Scheme for Database Applications using Particle Networks JF - Applied Medical Informatics JA - Appl Med Inform VL - 22 IS - 1, 2 SE - Articles DO - UR - https://ami.info.umfcluj.ro/index.php/AMI/article/view/115 SP - 33-38 AB - <p>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.</p> ER -