A General Formal Framework for Schema Transformation 1