Update Rewriting and Integrity Constraint Maintenance in a Schema Evolution Support System: PRISM++