Sommario non disponibile.

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.

Improving reliability in the database design frameworks

Castelli D;
1998

Abstract

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.
1998
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Sommario non disponibile.
Software/Program Verification. Correctness proofs
Reliability
Validation
Logical Design. Data models
File in questo prodotto:
File Dimensione Formato  
prod_408214-doc_143187.pdf

accesso aperto

Descrizione: Improving reliability in the database design frameworks.
Dimensione 1.36 MB
Formato Adobe PDF
1.36 MB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/394565
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact