Asso : a formal database design methodology

The main aspects of ASSO, a formal database design methodology, are introduced. ASSO integrates typical database features within the B-Method, a formal method from the software engineering area. As a result, ASSO guarantees design correctness while enabling the application requirements to be specified with the flexibility of semantic data models and ensuring that the efficiency of object-oriented implementations in terms of storage structures and object management can be obtained.