Check Constraints

Allowed Values

A domain rule limits a cell to a small exact list.

highlighted = computed this step

Allowed values

A domain rule lists the exact values a cell may use.

status∈{new,done}\text{status}\in\{\text{new},\text{done}\}

Check the words

The table has 1 not-allowed value and 1 failed row.

failed rows=1\text{failed rows}=1

Check examples are tiny finite row-rule validations; SQL dialects, DDL timing, CHECK expression languages, enforcement strategy, performance, and product behavior are out of scope.

Allowed values: tableidstatusqty1new22held43done5 row rulesnamekindcolumndetailstatus_domainallowed_valuesstatus[done, new] row pass/failrowstatusfailed rules0pass[]1fail[status_domain]2pass[] violationsrowrulecolumnvaluereason1status_domainstatusheldnot_allowed check factsfactvaluerowCount3ruleCount1passCount2failCount1violationCount1allRowsPassnonullMeansMissingyes

Read the value

The row with held is not one of the two allowed status values.

held is not allowed\text{held is not allowed}

Summary

The allowed list is pinned input; the pass/fail result is recomputed.

domain check\text{domain check}