Ensuring correctness of personalised schema refinement transformations

This paper extends a database schema transformation 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 supporting a flexible and correct database schema design also when other transformational languages are used.