Theoretical Aspects of Schema Merging MS-CIS-91-49 Logic & Computation