A check model provides database consistency rules on a logical level. Logical inconsistency is accepted but leads to warnings, i.e. one may store logically inconsistent data, but checking it will fail.
