PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Castelli D., Pisani S. Improving Reliability in the Database Design Frameworks. Technical report, 1998.
 
 
Abstract
(English)
This paper extends a database schema transformation language, called Schema Refinement Language, with a composition operator and a rule for deriving the conditions under which a composed transformations is guaranteed to produce a correct design. The framework that results from this extension can be exploited for improving the reliability of the database schema design also when other design frameworks are used.
Subject D.2.4 Software/Program Verification. Correctness proofs
D.2.4 Software/Program Verification. Reliability
D.2.4 Software/Program Verification. Validation
H.2.1 Logical Design. Data models


Icona documento 1) Download Document PS
Icona documento 2) 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