Flexible Integrity Checking of Hard and Soft Constraints

Hard constraints must always hold. Violations of soft constraints may be tolerable. Inconsistency-tolerant integrity checking serves to flexibly check both hard and soft constraints in a uniform manner. With an extended example for risk management, we illustrate that inconsistency-tolerant integrity checking methods are more efficient and more reliable for checking hard and soft constraints than traditional approaches.