列の値が特定の条件を満たすこと(例:給与 > 0)を保証する制約はどれか。

CHECK制約は、各行が満たすべきブール式(条件)を定義するために使用される。