An effective method for integrity constraint simplification

Abstract

A description is given of a very effective method for the syntax-directed simplification of multirelation, multivariable, aggregate-free integrity constraints against a fairly general class of multirelation update transactions with partial specifications. Compared with other work, the approach covers a wider range of update transactions and integrity constraints, and explores more optimization opportunities with no more effort. The method is both a uniform generalization of previous research and a basis for examining arbitrary update transactions.<>