A general formal framework for schema transformation