Applied Medical Informatics 2008;22(1-2):33-38.
A Scheme for Database Applications using Particle Networks
Mădălina VĂLEANU1, Dan COSMA2
1 Department of Medical Informatics and Biostatistics, “Iuliua Haţieganu” University of Medicine and Pharmacy Cluj-Napoca, 400349 Cluj-Napoca, Cluj, Romania.
2 Department of Pediatric Surgery and Orthopedics, “Iuliua Haţieganu” University of Medicine and Pharmacy Cluj-Napoca, 400023 Cluj-Napoca, Cluj, Romania.
E-mails: mvaleanu@umfcluj.ro; dcosma@umfcluj.ro
Abstract
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.
Keywords: Database; Database integrity; Medical system.