create table t (a int check(a > 5));
insert into t values (1); -- Error: CHECK constraint failed: t