SOUNDNESS OF SCHEMA MATCHING METHODS