Ensuring correctness of personalised schema refinement transformations

Abstract

The paper extends a database schema transformation language with a composition operator and a rule for deriving the conditions under which a composed transformation is guaranteed to produce a correct design. The framework that results from this extension can be exploited for supporting a flexible and correct database schema design also when other transformational languages are used.