Asso : combining database design with formal methods

ASSO, a Formal Database Design Methodology which combines features of the database area with formal methods, is now being defined at IEI CNR. The methodology retains typical database models, thus permitting a flexible description of the conceptual schema and an efficient implementation, but at the same time guarantees the correctness of the design.