A flexible framework for a correct database design

Abstract. This paper presents a flexible database schema transforma- tional framework. Flexibility is achieved by adopting a generic model for describing database schemas and a transformational language able to represent all the correctness preserving schema transformations. This framework, originally dened for schema design, is also applicable for supporting other activities related to the database life-cycle. As an il- lustrative example, this paper shows how it can be used to support a database reverse engineering process.