A Scheme for Database Applications using Particle Networks
|
 |
|
Post a Comment
|
 |
|
|
|
|
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.
|
|
|
|
STATISTICS
|
|
Click on # to view
|
|
Citations
|
|
0
|
|
References
|
|
0
|
|
Comments
|
|
0
|
|
Quality
|
|
0/0.00
|
|
Interest
|
|
0/0.00
|
|
View(er)s
|
|
2/115
|
|
|
|
|
|
|
| Prev |
Next |
|