Semantics of Database Transformations MS-CIS-95-25