Đơn giản hơn kể từ trang 9.5, với việc bổ sung array_position()
CREATE TABLE example (
foo TEXT[] NOT NULL check (array_position(foo, null) is null)
);
Bạn cũng có thể muốn kiểm tra một mảng trống:
CREATE TABLE example (
foo TEXT[] NOT NULL check (foo <> '{}' and array_position(foo, null) is null)
);