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

This paper proposes a new set of Integrity Constraints Modification Operators (ICMOs), describes the impact on integrity constraints of structural schema changes, devise representations that enable the rewriting of updates, and develops a unified approach for query and update rewriting under constraints.