PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Castelli D., Locuratolo E. Asso : combining database design with formal methods. In: ERCIM news, vol. 20 pp. 18 - 18. ERCIM, 1995.
 
 
Abstract
(English)
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.
Subject ASSO
H.2 Database management


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional