Integrity checking is aimed at determining whether the information
system state resulting from the execution of an operation is consistent with the
integrity constraints specified in the conceptual schema. The tool we present in
this paper implements several features that help to (automatically) perform such
verification as efficiently as possible.