Validating Constraints with Partial Information: Research Overview

Abstract

We are interested in the problem of validating the consistency of integrity constraints when data is modified. In particular, we consider how constraints can be checked with only "partial information". Partial information may include: (1) the constraint specifications only, (2) the constraint specifications and the modified data, or (3) the constraint specifications, the modified data, and portions of the existing data. Methods for constraint checking with partial information can be much more effcient than traditional constraint checking methods (e.g. because work is done at compile time, or because less data is Partial information methods also enable constraint checking in where traditional constraint checking methods fail (e.g. in distributed environments where not all data is We explain how existing methods and results for query containment and for independence can be applied to problems (1) and (2) above, and we give an overview of our research into problem