Discovery and Correctness of Schema Mapping Transformations