ASSO : evolution of a formal database design methodology

The description of ASSO, a formal database design methodotogy for quality. now under evolution, is provided. ASSO guarantees ease in the specification of database applications, fiexibility in reflecting modifications occurring in real life, correctness of implementations, and efficiency in accessing and storing Information. The ASSO evolution enhances quality making it possible to describe large specifications in terms of small specifications and to perform large proofs in terms of small proofs.