CHECK Constraints in SQL
A CHECK constraint is a table constraint defined using the key word CHECK, as already illustrated in several examples in this chapter. In particular, a CHECK constraint can be used to express a constraint such as the one shown in Example, referred to in the theory book as a tuple constraint (so one might call it a row constraint in SQL). This is clearly the way most SQL users would prefer to express such a constraint.