The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
System R: relational approach to database management
ACM Transactions on Database Systems (TODS)
Journal of the ACM (JACM)
An axiomatic basis for computer programming
Communications of the ACM - Special 25th Anniversary Issue
Proof techniques for hierarchically structured programs
Communications of the ACM
Exception handling: issues and a proposed notation
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
A relational model of data for large shared data banks
Communications of the ACM
An overview of recent data base research
ACM SIGMIS Database
Hi-index | 0.00 |
A design methodology for DBMS is presented. The methodology consists of three interacting models: a model for the system structure, a hierarchical performance evaluation model, and a model for design structure documentation, which are developed concurrently through a top-down design process. Thus, using this methodology, the design is evaluated and its consistency checked during each phase of the design process. It is shown that systems designed using this methodology are reasonably independent of their environments, reliable, and can be easily modified. A modest example is used to illustrate the methodology.