PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Castelli D., Locuratolo E. Asso: a formal database design methodology. Kangassalo H., Jaakkola H., Ohsuga S., Wangler B (eds.). (Frontiers in Artificial Intelligence and Applications, vol. 26). Amsterdam, The Netherlands: IOS, 1995.
 
 
Abstract
(English)
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.
Subject ASSO
H.2 Database mamagement


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