A transformational approach to correct schema refinements.

This paper extends a database schema transformation lan- guage, called Schema Renement Language, with a composition operator and a rule for deriving the conditions under which a composed trans-formation is guaranteed to produce a correct schema refinement. The framework that results from this extension can be exploited for improv-ing the reliability of the database schema design also when other design frameworks are used.