A General Formal Framework for Schema Transformation Peter Mc