La coacción NOT NULL es semánticamente equivalente a una comprobación de las limitaciones con un predicado IS NOT NULL.