1225 lines
48 KiB
Plaintext
1225 lines
48 KiB
Plaintext
--
|
|
-- CONSTRAINTS
|
|
-- Constraints can be specified with:
|
|
-- - DEFAULT clause
|
|
-- - CHECK clauses
|
|
-- - PRIMARY KEY clauses
|
|
-- - UNIQUE clauses
|
|
-- - EXCLUDE clauses
|
|
--
|
|
-- directory paths are passed to us in environment variables
|
|
\getenv abs_srcdir PG_ABS_SRCDIR
|
|
--
|
|
-- DEFAULT syntax
|
|
--
|
|
CREATE TABLE DEFAULT_TBL (i int DEFAULT 100,
|
|
x text DEFAULT 'vadim', f float8 DEFAULT 123.456);
|
|
INSERT INTO DEFAULT_TBL VALUES (1, 'thomas', 57.0613);
|
|
INSERT INTO DEFAULT_TBL VALUES (1, 'bruce');
|
|
INSERT INTO DEFAULT_TBL (i, f) VALUES (2, 987.654);
|
|
INSERT INTO DEFAULT_TBL (x) VALUES ('marc');
|
|
INSERT INTO DEFAULT_TBL VALUES (3, null, 1.0);
|
|
SELECT * FROM DEFAULT_TBL;
|
|
i | x | f
|
|
-----+--------+---------
|
|
1 | thomas | 57.0613
|
|
1 | bruce | 123.456
|
|
2 | vadim | 987.654
|
|
100 | marc | 123.456
|
|
3 | | 1
|
|
(5 rows)
|
|
|
|
CREATE SEQUENCE DEFAULT_SEQ;
|
|
CREATE TABLE DEFAULTEXPR_TBL (i1 int DEFAULT 100 + (200-199) * 2,
|
|
i2 int DEFAULT nextval('default_seq'));
|
|
INSERT INTO DEFAULTEXPR_TBL VALUES (-1, -2);
|
|
INSERT INTO DEFAULTEXPR_TBL (i1) VALUES (-3);
|
|
INSERT INTO DEFAULTEXPR_TBL (i2) VALUES (-4);
|
|
INSERT INTO DEFAULTEXPR_TBL (i2) VALUES (NULL);
|
|
SELECT * FROM DEFAULTEXPR_TBL;
|
|
i1 | i2
|
|
-----+----
|
|
-1 | -2
|
|
-3 | 1
|
|
102 | -4
|
|
102 |
|
|
(4 rows)
|
|
|
|
-- syntax errors
|
|
-- test for extraneous comma
|
|
CREATE TABLE error_tbl (i int DEFAULT (100, ));
|
|
ERROR: syntax error at or near ")"
|
|
LINE 1: CREATE TABLE error_tbl (i int DEFAULT (100, ));
|
|
^
|
|
-- this will fail because gram.y uses b_expr not a_expr for defaults,
|
|
-- to avoid a shift/reduce conflict that arises from NOT NULL being
|
|
-- part of the column definition syntax:
|
|
CREATE TABLE error_tbl (b1 bool DEFAULT 1 IN (1, 2));
|
|
ERROR: syntax error at or near "IN"
|
|
LINE 1: CREATE TABLE error_tbl (b1 bool DEFAULT 1 IN (1, 2));
|
|
^
|
|
-- this should work, however:
|
|
CREATE TABLE error_tbl (b1 bool DEFAULT (1 IN (1, 2)));
|
|
DROP TABLE error_tbl;
|
|
--
|
|
-- CHECK syntax
|
|
--
|
|
CREATE TABLE CHECK_TBL (x int,
|
|
CONSTRAINT CHECK_CON CHECK (x > 3));
|
|
INSERT INTO CHECK_TBL VALUES (5);
|
|
INSERT INTO CHECK_TBL VALUES (4);
|
|
INSERT INTO CHECK_TBL VALUES (3);
|
|
ERROR: new row for relation "check_tbl" violates check constraint "check_con"
|
|
DETAIL: Failing row contains (3).
|
|
INSERT INTO CHECK_TBL VALUES (2);
|
|
ERROR: new row for relation "check_tbl" violates check constraint "check_con"
|
|
DETAIL: Failing row contains (2).
|
|
INSERT INTO CHECK_TBL VALUES (6);
|
|
INSERT INTO CHECK_TBL VALUES (1);
|
|
ERROR: new row for relation "check_tbl" violates check constraint "check_con"
|
|
DETAIL: Failing row contains (1).
|
|
SELECT * FROM CHECK_TBL;
|
|
x
|
|
---
|
|
5
|
|
4
|
|
6
|
|
(3 rows)
|
|
|
|
CREATE SEQUENCE CHECK_SEQ;
|
|
CREATE TABLE CHECK2_TBL (x int, y text, z int,
|
|
CONSTRAINT SEQUENCE_CON
|
|
CHECK (x > 3 and y <> 'check failed' and z < 8));
|
|
INSERT INTO CHECK2_TBL VALUES (4, 'check ok', -2);
|
|
INSERT INTO CHECK2_TBL VALUES (1, 'x check failed', -2);
|
|
ERROR: new row for relation "check2_tbl" violates check constraint "sequence_con"
|
|
DETAIL: Failing row contains (1, x check failed, -2).
|
|
INSERT INTO CHECK2_TBL VALUES (5, 'z check failed', 10);
|
|
ERROR: new row for relation "check2_tbl" violates check constraint "sequence_con"
|
|
DETAIL: Failing row contains (5, z check failed, 10).
|
|
INSERT INTO CHECK2_TBL VALUES (0, 'check failed', -2);
|
|
ERROR: new row for relation "check2_tbl" violates check constraint "sequence_con"
|
|
DETAIL: Failing row contains (0, check failed, -2).
|
|
INSERT INTO CHECK2_TBL VALUES (6, 'check failed', 11);
|
|
ERROR: new row for relation "check2_tbl" violates check constraint "sequence_con"
|
|
DETAIL: Failing row contains (6, check failed, 11).
|
|
INSERT INTO CHECK2_TBL VALUES (7, 'check ok', 7);
|
|
SELECT * from CHECK2_TBL;
|
|
x | y | z
|
|
---+----------+----
|
|
4 | check ok | -2
|
|
7 | check ok | 7
|
|
(2 rows)
|
|
|
|
--
|
|
-- Check constraints on INSERT
|
|
--
|
|
CREATE SEQUENCE INSERT_SEQ;
|
|
CREATE TABLE INSERT_TBL (x INT DEFAULT nextval('insert_seq'),
|
|
y TEXT DEFAULT '-NULL-',
|
|
z INT DEFAULT -1 * currval('insert_seq'),
|
|
CONSTRAINT INSERT_TBL_CON CHECK (x >= 3 AND y <> 'check failed' AND x < 8),
|
|
CHECK (x + z = 0));
|
|
INSERT INTO INSERT_TBL(x,z) VALUES (2, -2);
|
|
ERROR: new row for relation "insert_tbl" violates check constraint "insert_tbl_con"
|
|
DETAIL: Failing row contains (2, -NULL-, -2).
|
|
SELECT * FROM INSERT_TBL;
|
|
x | y | z
|
|
---+---+---
|
|
(0 rows)
|
|
|
|
SELECT 'one' AS one, nextval('insert_seq');
|
|
one | nextval
|
|
-----+---------
|
|
one | 1
|
|
(1 row)
|
|
|
|
INSERT INTO INSERT_TBL(y) VALUES ('Y');
|
|
ERROR: new row for relation "insert_tbl" violates check constraint "insert_tbl_con"
|
|
DETAIL: Failing row contains (2, Y, -2).
|
|
INSERT INTO INSERT_TBL(y) VALUES ('Y');
|
|
INSERT INTO INSERT_TBL(x,z) VALUES (1, -2);
|
|
ERROR: new row for relation "insert_tbl" violates check constraint "insert_tbl_check"
|
|
DETAIL: Failing row contains (1, -NULL-, -2).
|
|
INSERT INTO INSERT_TBL(z,x) VALUES (-7, 7);
|
|
INSERT INTO INSERT_TBL VALUES (5, 'check failed', -5);
|
|
ERROR: new row for relation "insert_tbl" violates check constraint "insert_tbl_con"
|
|
DETAIL: Failing row contains (5, check failed, -5).
|
|
INSERT INTO INSERT_TBL VALUES (7, '!check failed', -7);
|
|
INSERT INTO INSERT_TBL(y) VALUES ('-!NULL-');
|
|
SELECT * FROM INSERT_TBL;
|
|
x | y | z
|
|
---+---------------+----
|
|
3 | Y | -3
|
|
7 | -NULL- | -7
|
|
7 | !check failed | -7
|
|
4 | -!NULL- | -4
|
|
(4 rows)
|
|
|
|
INSERT INTO INSERT_TBL(y,z) VALUES ('check failed', 4);
|
|
ERROR: new row for relation "insert_tbl" violates check constraint "insert_tbl_check"
|
|
DETAIL: Failing row contains (5, check failed, 4).
|
|
INSERT INTO INSERT_TBL(x,y) VALUES (5, 'check failed');
|
|
ERROR: new row for relation "insert_tbl" violates check constraint "insert_tbl_con"
|
|
DETAIL: Failing row contains (5, check failed, -5).
|
|
INSERT INTO INSERT_TBL(x,y) VALUES (5, '!check failed');
|
|
INSERT INTO INSERT_TBL(y) VALUES ('-!NULL-');
|
|
SELECT * FROM INSERT_TBL;
|
|
x | y | z
|
|
---+---------------+----
|
|
3 | Y | -3
|
|
7 | -NULL- | -7
|
|
7 | !check failed | -7
|
|
4 | -!NULL- | -4
|
|
5 | !check failed | -5
|
|
6 | -!NULL- | -6
|
|
(6 rows)
|
|
|
|
SELECT 'seven' AS one, nextval('insert_seq');
|
|
one | nextval
|
|
-------+---------
|
|
seven | 7
|
|
(1 row)
|
|
|
|
INSERT INTO INSERT_TBL(y) VALUES ('Y');
|
|
ERROR: new row for relation "insert_tbl" violates check constraint "insert_tbl_con"
|
|
DETAIL: Failing row contains (8, Y, -8).
|
|
SELECT 'eight' AS one, currval('insert_seq');
|
|
one | currval
|
|
-------+---------
|
|
eight | 8
|
|
(1 row)
|
|
|
|
-- According to SQL, it is OK to insert a record that gives rise to NULL
|
|
-- constraint-condition results. Postgres used to reject this, but it
|
|
-- was wrong:
|
|
INSERT INTO INSERT_TBL VALUES (null, null, null);
|
|
SELECT * FROM INSERT_TBL;
|
|
x | y | z
|
|
---+---------------+----
|
|
3 | Y | -3
|
|
7 | -NULL- | -7
|
|
7 | !check failed | -7
|
|
4 | -!NULL- | -4
|
|
5 | !check failed | -5
|
|
6 | -!NULL- | -6
|
|
| |
|
|
(7 rows)
|
|
|
|
--
|
|
-- Check constraints on system columns
|
|
--
|
|
CREATE TABLE SYS_COL_CHECK_TBL (city text, state text, is_capital bool,
|
|
altitude int,
|
|
CHECK (NOT (is_capital AND tableoid::regclass::text = 'sys_col_check_tbl')));
|
|
INSERT INTO SYS_COL_CHECK_TBL VALUES ('Seattle', 'Washington', false, 100);
|
|
INSERT INTO SYS_COL_CHECK_TBL VALUES ('Olympia', 'Washington', true, 100);
|
|
ERROR: new row for relation "sys_col_check_tbl" violates check constraint "sys_col_check_tbl_check"
|
|
DETAIL: Failing row contains (Olympia, Washington, t, 100).
|
|
SELECT *, tableoid::regclass::text FROM SYS_COL_CHECK_TBL;
|
|
city | state | is_capital | altitude | tableoid
|
|
---------+------------+------------+----------+-------------------
|
|
Seattle | Washington | f | 100 | sys_col_check_tbl
|
|
(1 row)
|
|
|
|
DROP TABLE SYS_COL_CHECK_TBL;
|
|
--
|
|
-- Check constraints on system columns other then TableOid should return error
|
|
--
|
|
CREATE TABLE SYS_COL_CHECK_TBL (city text, state text, is_capital bool,
|
|
altitude int,
|
|
CHECK (NOT (is_capital AND ctid::text = 'sys_col_check_tbl')));
|
|
ERROR: system column "ctid" reference in check constraint is invalid
|
|
LINE 3: CHECK (NOT (is_capital AND ctid::text = 'sys_col_check...
|
|
^
|
|
--
|
|
-- Check inheritance of defaults and constraints
|
|
--
|
|
CREATE TABLE INSERT_CHILD (cx INT default 42,
|
|
cy INT CHECK (cy > x))
|
|
INHERITS (INSERT_TBL);
|
|
INSERT INTO INSERT_CHILD(x,z,cy) VALUES (7,-7,11);
|
|
INSERT INTO INSERT_CHILD(x,z,cy) VALUES (7,-7,6);
|
|
ERROR: new row for relation "insert_child" violates check constraint "insert_child_check"
|
|
DETAIL: Failing row contains (7, -NULL-, -7, 42, 6).
|
|
INSERT INTO INSERT_CHILD(x,z,cy) VALUES (6,-7,7);
|
|
ERROR: new row for relation "insert_child" violates check constraint "insert_tbl_check"
|
|
DETAIL: Failing row contains (6, -NULL-, -7, 42, 7).
|
|
INSERT INTO INSERT_CHILD(x,y,z,cy) VALUES (6,'check failed',-6,7);
|
|
ERROR: new row for relation "insert_child" violates check constraint "insert_tbl_con"
|
|
DETAIL: Failing row contains (6, check failed, -6, 42, 7).
|
|
SELECT * FROM INSERT_CHILD;
|
|
x | y | z | cx | cy
|
|
---+--------+----+----+----
|
|
7 | -NULL- | -7 | 42 | 11
|
|
(1 row)
|
|
|
|
DROP TABLE INSERT_CHILD;
|
|
--
|
|
-- Check NO INHERIT type of constraints and inheritance
|
|
--
|
|
CREATE TABLE ATACC1 (TEST INT
|
|
CHECK (TEST > 0) NO INHERIT);
|
|
CREATE TABLE ATACC2 (TEST2 INT) INHERITS (ATACC1);
|
|
-- check constraint is not there on child
|
|
INSERT INTO ATACC2 (TEST) VALUES (-3);
|
|
-- check constraint is there on parent
|
|
INSERT INTO ATACC1 (TEST) VALUES (-3);
|
|
ERROR: new row for relation "atacc1" violates check constraint "atacc1_test_check"
|
|
DETAIL: Failing row contains (-3).
|
|
DROP TABLE ATACC1 CASCADE;
|
|
NOTICE: drop cascades to table atacc2
|
|
CREATE TABLE ATACC1 (TEST INT, TEST2 INT
|
|
CHECK (TEST > 0), CHECK (TEST2 > 10) NO INHERIT);
|
|
CREATE TABLE ATACC2 () INHERITS (ATACC1);
|
|
-- check constraint is there on child
|
|
INSERT INTO ATACC2 (TEST) VALUES (-3);
|
|
ERROR: new row for relation "atacc2" violates check constraint "atacc1_test_check"
|
|
DETAIL: Failing row contains (-3, null).
|
|
-- check constraint is there on parent
|
|
INSERT INTO ATACC1 (TEST) VALUES (-3);
|
|
ERROR: new row for relation "atacc1" violates check constraint "atacc1_test_check"
|
|
DETAIL: Failing row contains (-3, null).
|
|
-- check constraint is not there on child
|
|
INSERT INTO ATACC2 (TEST2) VALUES (3);
|
|
-- check constraint is there on parent
|
|
INSERT INTO ATACC1 (TEST2) VALUES (3);
|
|
ERROR: new row for relation "atacc1" violates check constraint "atacc1_test2_check"
|
|
DETAIL: Failing row contains (null, 3).
|
|
DROP TABLE ATACC1 CASCADE;
|
|
NOTICE: drop cascades to table atacc2
|
|
-- NOT NULL NO INHERIT
|
|
CREATE TABLE ATACC1 (a int, not null a no inherit);
|
|
CREATE TABLE ATACC2 () INHERITS (ATACC1);
|
|
\d+ ATACC2
|
|
Table "public.atacc2"
|
|
Column | Type | Collation | Nullable | Default | Storage | Stats target | Description
|
|
--------+---------+-----------+----------+---------+---------+--------------+-------------
|
|
a | integer | | | | plain | |
|
|
Inherits: atacc1
|
|
|
|
DROP TABLE ATACC1, ATACC2;
|
|
CREATE TABLE ATACC1 (a int);
|
|
ALTER TABLE ATACC1 ADD NOT NULL a NO INHERIT;
|
|
CREATE TABLE ATACC2 () INHERITS (ATACC1);
|
|
\d+ ATACC2
|
|
Table "public.atacc2"
|
|
Column | Type | Collation | Nullable | Default | Storage | Stats target | Description
|
|
--------+---------+-----------+----------+---------+---------+--------------+-------------
|
|
a | integer | | | | plain | |
|
|
Inherits: atacc1
|
|
|
|
DROP TABLE ATACC1, ATACC2;
|
|
CREATE TABLE ATACC1 (a int);
|
|
CREATE TABLE ATACC2 () INHERITS (ATACC1);
|
|
ALTER TABLE ATACC1 ADD NOT NULL a NO INHERIT;
|
|
\d+ ATACC2
|
|
Table "public.atacc2"
|
|
Column | Type | Collation | Nullable | Default | Storage | Stats target | Description
|
|
--------+---------+-----------+----------+---------+---------+--------------+-------------
|
|
a | integer | | | | plain | |
|
|
Inherits: atacc1
|
|
|
|
DROP TABLE ATACC1, ATACC2;
|
|
-- overridding a no-inherit constraint with an inheritable one
|
|
CREATE TABLE ATACC2 (a int, CONSTRAINT a_is_not_null NOT NULL a NO INHERIT);
|
|
CREATE TABLE ATACC1 (a int);
|
|
CREATE TABLE ATACC3 (a int) INHERITS (ATACC2);
|
|
NOTICE: merging column "a" with inherited definition
|
|
INSERT INTO ATACC3 VALUES (null); -- make sure we scan atacc3
|
|
ALTER TABLE ATACC2 INHERIT ATACC1;
|
|
ALTER TABLE ATACC1 ADD CONSTRAINT ditto NOT NULL a;
|
|
ERROR: column "a" of relation "atacc3" contains null values
|
|
DELETE FROM ATACC3;
|
|
ALTER TABLE ATACC1 ADD CONSTRAINT ditto NOT NULL a;
|
|
\d+ ATACC[123]
|
|
Table "public.atacc1"
|
|
Column | Type | Collation | Nullable | Default | Storage | Stats target | Description
|
|
--------+---------+-----------+----------+---------+---------+--------------+-------------
|
|
a | integer | | not null | | plain | |
|
|
Not-null constraints:
|
|
"ditto" NOT NULL "a"
|
|
Child tables: atacc2
|
|
|
|
Table "public.atacc2"
|
|
Column | Type | Collation | Nullable | Default | Storage | Stats target | Description
|
|
--------+---------+-----------+----------+---------+---------+--------------+-------------
|
|
a | integer | | not null | | plain | |
|
|
Not-null constraints:
|
|
"a_is_not_null" NOT NULL "a" (local, inherited)
|
|
Inherits: atacc1
|
|
Child tables: atacc3
|
|
|
|
Table "public.atacc3"
|
|
Column | Type | Collation | Nullable | Default | Storage | Stats target | Description
|
|
--------+---------+-----------+----------+---------+---------+--------------+-------------
|
|
a | integer | | not null | | plain | |
|
|
Not-null constraints:
|
|
"ditto" NOT NULL "a" (inherited)
|
|
Inherits: atacc2
|
|
|
|
ALTER TABLE ATACC2 DROP CONSTRAINT a_is_not_null;
|
|
ALTER TABLE ATACC1 DROP CONSTRAINT ditto;
|
|
\d+ ATACC3
|
|
Table "public.atacc3"
|
|
Column | Type | Collation | Nullable | Default | Storage | Stats target | Description
|
|
--------+---------+-----------+----------+---------+---------+--------------+-------------
|
|
a | integer | | | | plain | |
|
|
Inherits: atacc2
|
|
|
|
DROP TABLE ATACC1, ATACC2, ATACC3;
|
|
-- The same cannot be achieved this way
|
|
CREATE TABLE ATACC2 (a int, CONSTRAINT a_is_not_null NOT NULL a NO INHERIT);
|
|
CREATE TABLE ATACC1 (a int, CONSTRAINT ditto NOT NULL a);
|
|
CREATE TABLE ATACC3 (a int) INHERITS (ATACC2);
|
|
NOTICE: merging column "a" with inherited definition
|
|
ALTER TABLE ATACC2 INHERIT ATACC1;
|
|
ERROR: cannot add NOT NULL constraint to column "a" of relation "atacc2" with inheritance children
|
|
DETAIL: Existing constraint "a_is_not_null" is marked NO INHERIT.
|
|
DROP TABLE ATACC1, ATACC2, ATACC3;
|
|
--
|
|
-- Check constraints on INSERT INTO
|
|
--
|
|
DELETE FROM INSERT_TBL;
|
|
ALTER SEQUENCE INSERT_SEQ RESTART WITH 4;
|
|
CREATE TEMP TABLE tmp (xd INT, yd TEXT, zd INT);
|
|
INSERT INTO tmp VALUES (null, 'Y', null);
|
|
INSERT INTO tmp VALUES (5, '!check failed', null);
|
|
INSERT INTO tmp VALUES (null, 'try again', null);
|
|
INSERT INTO INSERT_TBL(y) select yd from tmp;
|
|
SELECT * FROM INSERT_TBL;
|
|
x | y | z
|
|
---+---------------+----
|
|
4 | Y | -4
|
|
5 | !check failed | -5
|
|
6 | try again | -6
|
|
(3 rows)
|
|
|
|
INSERT INTO INSERT_TBL SELECT * FROM tmp WHERE yd = 'try again';
|
|
INSERT INTO INSERT_TBL(y,z) SELECT yd, -7 FROM tmp WHERE yd = 'try again';
|
|
INSERT INTO INSERT_TBL(y,z) SELECT yd, -8 FROM tmp WHERE yd = 'try again';
|
|
ERROR: new row for relation "insert_tbl" violates check constraint "insert_tbl_con"
|
|
DETAIL: Failing row contains (8, try again, -8).
|
|
SELECT * FROM INSERT_TBL;
|
|
x | y | z
|
|
---+---------------+----
|
|
4 | Y | -4
|
|
5 | !check failed | -5
|
|
6 | try again | -6
|
|
| try again |
|
|
7 | try again | -7
|
|
(5 rows)
|
|
|
|
DROP TABLE tmp;
|
|
--
|
|
-- Check constraints on UPDATE
|
|
--
|
|
UPDATE INSERT_TBL SET x = NULL WHERE x = 5;
|
|
UPDATE INSERT_TBL SET x = 6 WHERE x = 6;
|
|
UPDATE INSERT_TBL SET x = -z, z = -x;
|
|
UPDATE INSERT_TBL SET x = z, z = x;
|
|
ERROR: new row for relation "insert_tbl" violates check constraint "insert_tbl_con"
|
|
DETAIL: Failing row contains (-4, Y, 4).
|
|
SELECT * FROM INSERT_TBL;
|
|
x | y | z
|
|
---+---------------+----
|
|
4 | Y | -4
|
|
| try again |
|
|
7 | try again | -7
|
|
5 | !check failed |
|
|
6 | try again | -6
|
|
(5 rows)
|
|
|
|
-- DROP TABLE INSERT_TBL;
|
|
--
|
|
-- Check constraints on COPY FROM
|
|
--
|
|
CREATE TABLE COPY_TBL (x INT, y TEXT, z INT,
|
|
CONSTRAINT COPY_CON
|
|
CHECK (x > 3 AND y <> 'check failed' AND x < 7 ));
|
|
\set filename :abs_srcdir '/data/constro.data'
|
|
COPY COPY_TBL FROM :'filename';
|
|
SELECT * FROM COPY_TBL;
|
|
x | y | z
|
|
---+---------------+---
|
|
4 | !check failed | 5
|
|
6 | OK | 4
|
|
(2 rows)
|
|
|
|
\set filename :abs_srcdir '/data/constrf.data'
|
|
COPY COPY_TBL FROM :'filename';
|
|
ERROR: new row for relation "copy_tbl" violates check constraint "copy_con"
|
|
DETAIL: Failing row contains (7, check failed, 6).
|
|
CONTEXT: COPY copy_tbl, line 2: "7 check failed 6"
|
|
SELECT * FROM COPY_TBL;
|
|
x | y | z
|
|
---+---------------+---
|
|
4 | !check failed | 5
|
|
6 | OK | 4
|
|
(2 rows)
|
|
|
|
--
|
|
-- Primary keys
|
|
--
|
|
CREATE TABLE PRIMARY_TBL (i int PRIMARY KEY, t text);
|
|
INSERT INTO PRIMARY_TBL VALUES (1, 'one');
|
|
INSERT INTO PRIMARY_TBL VALUES (2, 'two');
|
|
INSERT INTO PRIMARY_TBL VALUES (1, 'three');
|
|
ERROR: duplicate key value violates unique constraint "primary_tbl_pkey"
|
|
DETAIL: Key (i)=(1) already exists.
|
|
INSERT INTO PRIMARY_TBL VALUES (4, 'three');
|
|
INSERT INTO PRIMARY_TBL VALUES (5, 'one');
|
|
INSERT INTO PRIMARY_TBL (t) VALUES ('six');
|
|
ERROR: null value in column "i" of relation "primary_tbl" violates not-null constraint
|
|
DETAIL: Failing row contains (null, six).
|
|
SELECT * FROM PRIMARY_TBL;
|
|
i | t
|
|
---+-------
|
|
1 | one
|
|
2 | two
|
|
4 | three
|
|
5 | one
|
|
(4 rows)
|
|
|
|
DROP TABLE PRIMARY_TBL;
|
|
CREATE TABLE PRIMARY_TBL (i int, t text,
|
|
PRIMARY KEY(i,t));
|
|
INSERT INTO PRIMARY_TBL VALUES (1, 'one');
|
|
INSERT INTO PRIMARY_TBL VALUES (2, 'two');
|
|
INSERT INTO PRIMARY_TBL VALUES (1, 'three');
|
|
INSERT INTO PRIMARY_TBL VALUES (4, 'three');
|
|
INSERT INTO PRIMARY_TBL VALUES (5, 'one');
|
|
INSERT INTO PRIMARY_TBL (t) VALUES ('six');
|
|
ERROR: null value in column "i" of relation "primary_tbl" violates not-null constraint
|
|
DETAIL: Failing row contains (null, six).
|
|
SELECT * FROM PRIMARY_TBL;
|
|
i | t
|
|
---+-------
|
|
1 | one
|
|
2 | two
|
|
1 | three
|
|
4 | three
|
|
5 | one
|
|
(5 rows)
|
|
|
|
DROP TABLE PRIMARY_TBL;
|
|
--
|
|
-- Unique keys
|
|
--
|
|
CREATE TABLE UNIQUE_TBL (i int UNIQUE, t text);
|
|
INSERT INTO UNIQUE_TBL VALUES (1, 'one');
|
|
INSERT INTO UNIQUE_TBL VALUES (2, 'two');
|
|
INSERT INTO UNIQUE_TBL VALUES (1, 'three');
|
|
ERROR: duplicate key value violates unique constraint "unique_tbl_i_key"
|
|
DETAIL: Key (i)=(1) already exists.
|
|
INSERT INTO UNIQUE_TBL VALUES (4, 'four');
|
|
INSERT INTO UNIQUE_TBL VALUES (5, 'one');
|
|
INSERT INTO UNIQUE_TBL (t) VALUES ('six');
|
|
INSERT INTO UNIQUE_TBL (t) VALUES ('seven');
|
|
INSERT INTO UNIQUE_TBL VALUES (5, 'five-upsert-insert') ON CONFLICT (i) DO UPDATE SET t = 'five-upsert-update';
|
|
INSERT INTO UNIQUE_TBL VALUES (6, 'six-upsert-insert') ON CONFLICT (i) DO UPDATE SET t = 'six-upsert-update';
|
|
-- should fail
|
|
INSERT INTO UNIQUE_TBL VALUES (1, 'a'), (2, 'b'), (2, 'b') ON CONFLICT (i) DO UPDATE SET t = 'fails';
|
|
ERROR: ON CONFLICT DO UPDATE command cannot affect row a second time
|
|
HINT: Ensure that no rows proposed for insertion within the same command have duplicate constrained values.
|
|
SELECT * FROM UNIQUE_TBL;
|
|
i | t
|
|
---+--------------------
|
|
1 | one
|
|
2 | two
|
|
4 | four
|
|
| six
|
|
| seven
|
|
5 | five-upsert-update
|
|
6 | six-upsert-insert
|
|
(7 rows)
|
|
|
|
DROP TABLE UNIQUE_TBL;
|
|
CREATE TABLE UNIQUE_TBL (i int UNIQUE NULLS NOT DISTINCT, t text);
|
|
INSERT INTO UNIQUE_TBL VALUES (1, 'one');
|
|
INSERT INTO UNIQUE_TBL VALUES (2, 'two');
|
|
INSERT INTO UNIQUE_TBL VALUES (1, 'three'); -- fail
|
|
ERROR: duplicate key value violates unique constraint "unique_tbl_i_key"
|
|
DETAIL: Key (i)=(1) already exists.
|
|
INSERT INTO UNIQUE_TBL VALUES (4, 'four');
|
|
INSERT INTO UNIQUE_TBL VALUES (5, 'one');
|
|
INSERT INTO UNIQUE_TBL (t) VALUES ('six');
|
|
INSERT INTO UNIQUE_TBL (t) VALUES ('seven'); -- fail
|
|
ERROR: duplicate key value violates unique constraint "unique_tbl_i_key"
|
|
DETAIL: Key (i)=(null) already exists.
|
|
INSERT INTO UNIQUE_TBL (t) VALUES ('eight') ON CONFLICT DO NOTHING; -- no-op
|
|
SELECT * FROM UNIQUE_TBL;
|
|
i | t
|
|
---+------
|
|
1 | one
|
|
2 | two
|
|
4 | four
|
|
5 | one
|
|
| six
|
|
(5 rows)
|
|
|
|
DROP TABLE UNIQUE_TBL;
|
|
CREATE TABLE UNIQUE_TBL (i int, t text,
|
|
UNIQUE(i,t));
|
|
INSERT INTO UNIQUE_TBL VALUES (1, 'one');
|
|
INSERT INTO UNIQUE_TBL VALUES (2, 'two');
|
|
INSERT INTO UNIQUE_TBL VALUES (1, 'three');
|
|
INSERT INTO UNIQUE_TBL VALUES (1, 'one');
|
|
ERROR: duplicate key value violates unique constraint "unique_tbl_i_t_key"
|
|
DETAIL: Key (i, t)=(1, one) already exists.
|
|
INSERT INTO UNIQUE_TBL VALUES (5, 'one');
|
|
INSERT INTO UNIQUE_TBL (t) VALUES ('six');
|
|
SELECT * FROM UNIQUE_TBL;
|
|
i | t
|
|
---+-------
|
|
1 | one
|
|
2 | two
|
|
1 | three
|
|
5 | one
|
|
| six
|
|
(5 rows)
|
|
|
|
DROP TABLE UNIQUE_TBL;
|
|
--
|
|
-- Deferrable unique constraints
|
|
--
|
|
CREATE TABLE unique_tbl (i int UNIQUE DEFERRABLE, t text);
|
|
INSERT INTO unique_tbl VALUES (0, 'one');
|
|
INSERT INTO unique_tbl VALUES (1, 'two');
|
|
INSERT INTO unique_tbl VALUES (2, 'tree');
|
|
INSERT INTO unique_tbl VALUES (3, 'four');
|
|
INSERT INTO unique_tbl VALUES (4, 'five');
|
|
BEGIN;
|
|
-- default is immediate so this should fail right away
|
|
UPDATE unique_tbl SET i = 1 WHERE i = 0;
|
|
ERROR: duplicate key value violates unique constraint "unique_tbl_i_key"
|
|
DETAIL: Key (i)=(1) already exists.
|
|
ROLLBACK;
|
|
-- check is done at end of statement, so this should succeed
|
|
UPDATE unique_tbl SET i = i+1;
|
|
SELECT * FROM unique_tbl;
|
|
i | t
|
|
---+------
|
|
1 | one
|
|
2 | two
|
|
3 | tree
|
|
4 | four
|
|
5 | five
|
|
(5 rows)
|
|
|
|
-- explicitly defer the constraint
|
|
BEGIN;
|
|
SET CONSTRAINTS unique_tbl_i_key DEFERRED;
|
|
INSERT INTO unique_tbl VALUES (3, 'three');
|
|
DELETE FROM unique_tbl WHERE t = 'tree'; -- makes constraint valid again
|
|
COMMIT; -- should succeed
|
|
SELECT * FROM unique_tbl;
|
|
i | t
|
|
---+-------
|
|
1 | one
|
|
2 | two
|
|
4 | four
|
|
5 | five
|
|
3 | three
|
|
(5 rows)
|
|
|
|
-- try adding an initially deferred constraint
|
|
ALTER TABLE unique_tbl DROP CONSTRAINT unique_tbl_i_key;
|
|
ALTER TABLE unique_tbl ADD CONSTRAINT unique_tbl_i_key
|
|
UNIQUE (i) DEFERRABLE INITIALLY DEFERRED;
|
|
BEGIN;
|
|
INSERT INTO unique_tbl VALUES (1, 'five');
|
|
INSERT INTO unique_tbl VALUES (5, 'one');
|
|
UPDATE unique_tbl SET i = 4 WHERE i = 2;
|
|
UPDATE unique_tbl SET i = 2 WHERE i = 4 AND t = 'four';
|
|
DELETE FROM unique_tbl WHERE i = 1 AND t = 'one';
|
|
DELETE FROM unique_tbl WHERE i = 5 AND t = 'five';
|
|
COMMIT;
|
|
SELECT * FROM unique_tbl;
|
|
i | t
|
|
---+-------
|
|
3 | three
|
|
1 | five
|
|
5 | one
|
|
4 | two
|
|
2 | four
|
|
(5 rows)
|
|
|
|
-- should fail at commit-time
|
|
BEGIN;
|
|
INSERT INTO unique_tbl VALUES (3, 'Three'); -- should succeed for now
|
|
COMMIT; -- should fail
|
|
ERROR: duplicate key value violates unique constraint "unique_tbl_i_key"
|
|
DETAIL: Key (i)=(3) already exists.
|
|
-- make constraint check immediate
|
|
BEGIN;
|
|
SET CONSTRAINTS ALL IMMEDIATE;
|
|
INSERT INTO unique_tbl VALUES (3, 'Three'); -- should fail
|
|
ERROR: duplicate key value violates unique constraint "unique_tbl_i_key"
|
|
DETAIL: Key (i)=(3) already exists.
|
|
COMMIT;
|
|
-- forced check when SET CONSTRAINTS is called
|
|
BEGIN;
|
|
SET CONSTRAINTS ALL DEFERRED;
|
|
INSERT INTO unique_tbl VALUES (3, 'Three'); -- should succeed for now
|
|
SET CONSTRAINTS ALL IMMEDIATE; -- should fail
|
|
ERROR: duplicate key value violates unique constraint "unique_tbl_i_key"
|
|
DETAIL: Key (i)=(3) already exists.
|
|
COMMIT;
|
|
-- test deferrable UNIQUE with a partitioned table
|
|
CREATE TABLE parted_uniq_tbl (i int UNIQUE DEFERRABLE) partition by range (i);
|
|
CREATE TABLE parted_uniq_tbl_1 PARTITION OF parted_uniq_tbl FOR VALUES FROM (0) TO (10);
|
|
CREATE TABLE parted_uniq_tbl_2 PARTITION OF parted_uniq_tbl FOR VALUES FROM (20) TO (30);
|
|
SELECT conname, conrelid::regclass FROM pg_constraint
|
|
WHERE conname LIKE 'parted_uniq%' ORDER BY conname;
|
|
conname | conrelid
|
|
-------------------------+-------------------
|
|
parted_uniq_tbl_1_i_key | parted_uniq_tbl_1
|
|
parted_uniq_tbl_2_i_key | parted_uniq_tbl_2
|
|
parted_uniq_tbl_i_key | parted_uniq_tbl
|
|
(3 rows)
|
|
|
|
BEGIN;
|
|
INSERT INTO parted_uniq_tbl VALUES (1);
|
|
SAVEPOINT f;
|
|
INSERT INTO parted_uniq_tbl VALUES (1); -- unique violation
|
|
ERROR: duplicate key value violates unique constraint "parted_uniq_tbl_1_i_key"
|
|
DETAIL: Key (i)=(1) already exists.
|
|
ROLLBACK TO f;
|
|
SET CONSTRAINTS parted_uniq_tbl_i_key DEFERRED;
|
|
INSERT INTO parted_uniq_tbl VALUES (1); -- OK now, fail at commit
|
|
COMMIT;
|
|
ERROR: duplicate key value violates unique constraint "parted_uniq_tbl_1_i_key"
|
|
DETAIL: Key (i)=(1) already exists.
|
|
DROP TABLE parted_uniq_tbl;
|
|
-- test naming a constraint in a partition when a conflict exists
|
|
CREATE TABLE parted_fk_naming (
|
|
id bigint NOT NULL default 1,
|
|
id_abc bigint,
|
|
CONSTRAINT dummy_constr FOREIGN KEY (id_abc)
|
|
REFERENCES parted_fk_naming (id),
|
|
PRIMARY KEY (id)
|
|
)
|
|
PARTITION BY LIST (id);
|
|
CREATE TABLE parted_fk_naming_1 (
|
|
id bigint NOT NULL default 1,
|
|
id_abc bigint,
|
|
PRIMARY KEY (id),
|
|
CONSTRAINT dummy_constr CHECK (true)
|
|
);
|
|
ALTER TABLE parted_fk_naming ATTACH PARTITION parted_fk_naming_1 FOR VALUES IN ('1');
|
|
SELECT conname FROM pg_constraint WHERE conrelid = 'parted_fk_naming_1'::regclass AND contype = 'f';
|
|
conname
|
|
--------------------------------
|
|
parted_fk_naming_1_id_abc_fkey
|
|
(1 row)
|
|
|
|
DROP TABLE parted_fk_naming;
|
|
-- test a HOT update that invalidates the conflicting tuple.
|
|
-- the trigger should still fire and catch the violation
|
|
BEGIN;
|
|
INSERT INTO unique_tbl VALUES (3, 'Three'); -- should succeed for now
|
|
UPDATE unique_tbl SET t = 'THREE' WHERE i = 3 AND t = 'Three';
|
|
COMMIT; -- should fail
|
|
ERROR: duplicate key value violates unique constraint "unique_tbl_i_key"
|
|
DETAIL: Key (i)=(3) already exists.
|
|
SELECT * FROM unique_tbl;
|
|
i | t
|
|
---+-------
|
|
3 | three
|
|
1 | five
|
|
5 | one
|
|
4 | two
|
|
2 | four
|
|
(5 rows)
|
|
|
|
-- test a HOT update that modifies the newly inserted tuple,
|
|
-- but should succeed because we then remove the other conflicting tuple.
|
|
BEGIN;
|
|
INSERT INTO unique_tbl VALUES(3, 'tree'); -- should succeed for now
|
|
UPDATE unique_tbl SET t = 'threex' WHERE t = 'tree';
|
|
DELETE FROM unique_tbl WHERE t = 'three';
|
|
SELECT * FROM unique_tbl;
|
|
i | t
|
|
---+--------
|
|
1 | five
|
|
5 | one
|
|
4 | two
|
|
2 | four
|
|
3 | threex
|
|
(5 rows)
|
|
|
|
COMMIT;
|
|
SELECT * FROM unique_tbl;
|
|
i | t
|
|
---+--------
|
|
1 | five
|
|
5 | one
|
|
4 | two
|
|
2 | four
|
|
3 | threex
|
|
(5 rows)
|
|
|
|
DROP TABLE unique_tbl;
|
|
--
|
|
-- EXCLUDE constraints
|
|
--
|
|
CREATE TABLE circles (
|
|
c1 CIRCLE,
|
|
c2 TEXT,
|
|
EXCLUDE USING gist
|
|
(c1 WITH &&, (c2::circle) WITH &&)
|
|
WHERE (circle_center(c1) <> '(0,0)')
|
|
);
|
|
-- these should succeed because they don't match the index predicate
|
|
INSERT INTO circles VALUES('<(0,0), 5>', '<(0,0), 5>');
|
|
INSERT INTO circles VALUES('<(0,0), 5>', '<(0,0), 4>');
|
|
-- succeed
|
|
INSERT INTO circles VALUES('<(10,10), 10>', '<(0,0), 5>');
|
|
-- fail, overlaps
|
|
INSERT INTO circles VALUES('<(20,20), 10>', '<(0,0), 4>');
|
|
ERROR: conflicting key value violates exclusion constraint "circles_c1_c2_excl"
|
|
DETAIL: Key (c1, (c2::circle))=(<(20,20),10>, <(0,0),4>) conflicts with existing key (c1, (c2::circle))=(<(10,10),10>, <(0,0),5>).
|
|
-- succeed, because violation is ignored
|
|
INSERT INTO circles VALUES('<(20,20), 10>', '<(0,0), 4>')
|
|
ON CONFLICT ON CONSTRAINT circles_c1_c2_excl DO NOTHING;
|
|
-- fail, because DO UPDATE variant requires unique index
|
|
INSERT INTO circles VALUES('<(20,20), 10>', '<(0,0), 4>')
|
|
ON CONFLICT ON CONSTRAINT circles_c1_c2_excl DO UPDATE SET c2 = EXCLUDED.c2;
|
|
ERROR: ON CONFLICT DO UPDATE not supported with exclusion constraints
|
|
-- succeed because c1 doesn't overlap
|
|
INSERT INTO circles VALUES('<(20,20), 1>', '<(0,0), 5>');
|
|
-- succeed because c2 doesn't overlap
|
|
INSERT INTO circles VALUES('<(20,20), 10>', '<(10,10), 5>');
|
|
-- should fail on existing data without the WHERE clause
|
|
ALTER TABLE circles ADD EXCLUDE USING gist
|
|
(c1 WITH &&, (c2::circle) WITH &&);
|
|
ERROR: could not create exclusion constraint "circles_c1_c2_excl1"
|
|
DETAIL: Key (c1, (c2::circle))=(<(0,0),5>, <(0,0),5>) conflicts with key (c1, (c2::circle))=(<(0,0),5>, <(0,0),4>).
|
|
-- try reindexing an existing constraint
|
|
REINDEX INDEX circles_c1_c2_excl;
|
|
DROP TABLE circles;
|
|
-- Check deferred exclusion constraint
|
|
CREATE TABLE deferred_excl (
|
|
f1 int,
|
|
f2 int,
|
|
CONSTRAINT deferred_excl_con EXCLUDE (f1 WITH =) INITIALLY DEFERRED
|
|
);
|
|
INSERT INTO deferred_excl VALUES(1);
|
|
INSERT INTO deferred_excl VALUES(2);
|
|
INSERT INTO deferred_excl VALUES(1); -- fail
|
|
ERROR: conflicting key value violates exclusion constraint "deferred_excl_con"
|
|
DETAIL: Key (f1)=(1) conflicts with existing key (f1)=(1).
|
|
INSERT INTO deferred_excl VALUES(1) ON CONFLICT ON CONSTRAINT deferred_excl_con DO NOTHING; -- fail
|
|
ERROR: ON CONFLICT does not support deferrable unique constraints/exclusion constraints as arbiters
|
|
BEGIN;
|
|
INSERT INTO deferred_excl VALUES(2); -- no fail here
|
|
COMMIT; -- should fail here
|
|
ERROR: conflicting key value violates exclusion constraint "deferred_excl_con"
|
|
DETAIL: Key (f1)=(2) conflicts with existing key (f1)=(2).
|
|
BEGIN;
|
|
INSERT INTO deferred_excl VALUES(3);
|
|
INSERT INTO deferred_excl VALUES(3); -- no fail here
|
|
COMMIT; -- should fail here
|
|
ERROR: conflicting key value violates exclusion constraint "deferred_excl_con"
|
|
DETAIL: Key (f1)=(3) conflicts with existing key (f1)=(3).
|
|
-- bug #13148: deferred constraint versus HOT update
|
|
BEGIN;
|
|
INSERT INTO deferred_excl VALUES(2, 1); -- no fail here
|
|
DELETE FROM deferred_excl WHERE f1 = 2 AND f2 IS NULL; -- remove old row
|
|
UPDATE deferred_excl SET f2 = 2 WHERE f1 = 2;
|
|
COMMIT; -- should not fail
|
|
SELECT * FROM deferred_excl;
|
|
f1 | f2
|
|
----+----
|
|
1 |
|
|
2 | 2
|
|
(2 rows)
|
|
|
|
ALTER TABLE deferred_excl DROP CONSTRAINT deferred_excl_con;
|
|
-- This should fail, but worth testing because of HOT updates
|
|
UPDATE deferred_excl SET f1 = 3;
|
|
ALTER TABLE deferred_excl ADD EXCLUDE (f1 WITH =);
|
|
ERROR: could not create exclusion constraint "deferred_excl_f1_excl"
|
|
DETAIL: Key (f1)=(3) conflicts with key (f1)=(3).
|
|
DROP TABLE deferred_excl;
|
|
-- verify constraints created for NOT NULL clauses
|
|
CREATE TABLE notnull_tbl1 (a INTEGER NOT NULL NOT NULL);
|
|
\d+ notnull_tbl1
|
|
Table "public.notnull_tbl1"
|
|
Column | Type | Collation | Nullable | Default | Storage | Stats target | Description
|
|
--------+---------+-----------+----------+---------+---------+--------------+-------------
|
|
a | integer | | not null | | plain | |
|
|
Not-null constraints:
|
|
"notnull_tbl1_a_not_null" NOT NULL "a"
|
|
|
|
select conname, contype, conkey from pg_constraint where conrelid = 'notnull_tbl1'::regclass;
|
|
conname | contype | conkey
|
|
-------------------------+---------+--------
|
|
notnull_tbl1_a_not_null | n | {1}
|
|
(1 row)
|
|
|
|
-- no-op
|
|
ALTER TABLE notnull_tbl1 ADD CONSTRAINT nn NOT NULL a;
|
|
\d+ notnull_tbl1
|
|
Table "public.notnull_tbl1"
|
|
Column | Type | Collation | Nullable | Default | Storage | Stats target | Description
|
|
--------+---------+-----------+----------+---------+---------+--------------+-------------
|
|
a | integer | | not null | | plain | |
|
|
Not-null constraints:
|
|
"notnull_tbl1_a_not_null" NOT NULL "a"
|
|
|
|
-- duplicate name
|
|
ALTER TABLE notnull_tbl1 ADD COLUMN b INT CONSTRAINT notnull_tbl1_a_not_null NOT NULL;
|
|
ERROR: constraint "notnull_tbl1_a_not_null" for relation "notnull_tbl1" already exists
|
|
-- DROP NOT NULL gets rid of both the attnotnull flag and the constraint itself
|
|
ALTER TABLE notnull_tbl1 ALTER a DROP NOT NULL;
|
|
\d notnull_tbl1
|
|
Table "public.notnull_tbl1"
|
|
Column | Type | Collation | Nullable | Default
|
|
--------+---------+-----------+----------+---------
|
|
a | integer | | |
|
|
|
|
select conname, contype, conkey from pg_constraint where conrelid = 'notnull_tbl1'::regclass;
|
|
conname | contype | conkey
|
|
---------+---------+--------
|
|
(0 rows)
|
|
|
|
-- SET NOT NULL puts both back
|
|
ALTER TABLE notnull_tbl1 ALTER a SET NOT NULL;
|
|
\d notnull_tbl1
|
|
Table "public.notnull_tbl1"
|
|
Column | Type | Collation | Nullable | Default
|
|
--------+---------+-----------+----------+---------
|
|
a | integer | | not null |
|
|
|
|
select conname, contype, conkey from pg_constraint where conrelid = 'notnull_tbl1'::regclass;
|
|
conname | contype | conkey
|
|
-------------------------+---------+--------
|
|
notnull_tbl1_a_not_null | n | {1}
|
|
(1 row)
|
|
|
|
-- Doing it twice doesn't create a redundant constraint
|
|
ALTER TABLE notnull_tbl1 ALTER a SET NOT NULL;
|
|
select conname, contype, conkey from pg_constraint where conrelid = 'notnull_tbl1'::regclass;
|
|
conname | contype | conkey
|
|
-------------------------+---------+--------
|
|
notnull_tbl1_a_not_null | n | {1}
|
|
(1 row)
|
|
|
|
-- Using the "table constraint" syntax also works
|
|
ALTER TABLE notnull_tbl1 ALTER a DROP NOT NULL;
|
|
ALTER TABLE notnull_tbl1 ADD CONSTRAINT foobar NOT NULL a;
|
|
\d notnull_tbl1
|
|
Table "public.notnull_tbl1"
|
|
Column | Type | Collation | Nullable | Default
|
|
--------+---------+-----------+----------+---------
|
|
a | integer | | not null |
|
|
|
|
select conname, contype, conkey from pg_constraint where conrelid = 'notnull_tbl1'::regclass;
|
|
conname | contype | conkey
|
|
---------+---------+--------
|
|
foobar | n | {1}
|
|
(1 row)
|
|
|
|
DROP TABLE notnull_tbl1;
|
|
-- nope
|
|
CREATE TABLE notnull_tbl2 (a INTEGER CONSTRAINT blah NOT NULL, b INTEGER CONSTRAINT blah NOT NULL);
|
|
ERROR: constraint "blah" for relation "notnull_tbl2" already exists
|
|
CREATE TABLE notnull_tbl2 (a INTEGER PRIMARY KEY);
|
|
ALTER TABLE notnull_tbl2 ALTER a DROP NOT NULL;
|
|
ERROR: column "a" is in a primary key
|
|
CREATE TABLE notnull_tbl3 (a INTEGER NOT NULL, CHECK (a IS NOT NULL));
|
|
ALTER TABLE notnull_tbl3 ALTER A DROP NOT NULL;
|
|
ALTER TABLE notnull_tbl3 ADD b int, ADD CONSTRAINT pk PRIMARY KEY (a, b);
|
|
\d notnull_tbl3
|
|
Table "public.notnull_tbl3"
|
|
Column | Type | Collation | Nullable | Default
|
|
--------+---------+-----------+----------+---------
|
|
a | integer | | not null |
|
|
b | integer | | not null |
|
|
Indexes:
|
|
"pk" PRIMARY KEY, btree (a, b)
|
|
Check constraints:
|
|
"notnull_tbl3_a_check" CHECK (a IS NOT NULL)
|
|
|
|
ALTER TABLE notnull_tbl3 DROP CONSTRAINT pk;
|
|
\d notnull_tbl3
|
|
Table "public.notnull_tbl3"
|
|
Column | Type | Collation | Nullable | Default
|
|
--------+---------+-----------+----------+---------
|
|
a | integer | | |
|
|
b | integer | | |
|
|
Check constraints:
|
|
"notnull_tbl3_a_check" CHECK (a IS NOT NULL)
|
|
|
|
-- Primary keys in parent table cause NOT NULL constraint to spawn on their
|
|
-- children. Verify that they work correctly.
|
|
CREATE TABLE cnn_parent (a int, b int);
|
|
CREATE TABLE cnn_child () INHERITS (cnn_parent);
|
|
CREATE TABLE cnn_grandchild (NOT NULL b) INHERITS (cnn_child);
|
|
CREATE TABLE cnn_child2 (NOT NULL a NO INHERIT) INHERITS (cnn_parent);
|
|
CREATE TABLE cnn_grandchild2 () INHERITS (cnn_grandchild, cnn_child2);
|
|
NOTICE: merging multiple inherited definitions of column "a"
|
|
NOTICE: merging multiple inherited definitions of column "b"
|
|
ALTER TABLE cnn_parent ADD PRIMARY KEY (b);
|
|
\d+ cnn_grandchild
|
|
Table "public.cnn_grandchild"
|
|
Column | Type | Collation | Nullable | Default | Storage | Stats target | Description
|
|
--------+---------+-----------+----------+---------+---------+--------------+-------------
|
|
a | integer | | | | plain | |
|
|
b | integer | | not null | | plain | |
|
|
Not-null constraints:
|
|
"cnn_grandchild_b_not_null" NOT NULL "b" (local, inherited)
|
|
Inherits: cnn_child
|
|
Child tables: cnn_grandchild2
|
|
|
|
\d+ cnn_grandchild2
|
|
Table "public.cnn_grandchild2"
|
|
Column | Type | Collation | Nullable | Default | Storage | Stats target | Description
|
|
--------+---------+-----------+----------+---------+---------+--------------+-------------
|
|
a | integer | | | | plain | |
|
|
b | integer | | not null | | plain | |
|
|
Not-null constraints:
|
|
"cnn_grandchild_b_not_null" NOT NULL "b" (inherited)
|
|
Inherits: cnn_grandchild,
|
|
cnn_child2
|
|
|
|
ALTER TABLE cnn_parent DROP CONSTRAINT cnn_parent_pkey;
|
|
\set VERBOSITY terse
|
|
DROP TABLE cnn_parent CASCADE;
|
|
NOTICE: drop cascades to 4 other objects
|
|
\set VERBOSITY default
|
|
-- As above, but create the primary key ahead of time
|
|
CREATE TABLE cnn_parent (a int, b int PRIMARY KEY);
|
|
CREATE TABLE cnn_child () INHERITS (cnn_parent);
|
|
CREATE TABLE cnn_grandchild (NOT NULL b) INHERITS (cnn_child);
|
|
CREATE TABLE cnn_child2 (NOT NULL a NO INHERIT) INHERITS (cnn_parent);
|
|
CREATE TABLE cnn_grandchild2 () INHERITS (cnn_grandchild, cnn_child2);
|
|
NOTICE: merging multiple inherited definitions of column "a"
|
|
NOTICE: merging multiple inherited definitions of column "b"
|
|
ALTER TABLE cnn_parent ADD PRIMARY KEY (b);
|
|
ERROR: multiple primary keys for table "cnn_parent" are not allowed
|
|
\d+ cnn_grandchild
|
|
Table "public.cnn_grandchild"
|
|
Column | Type | Collation | Nullable | Default | Storage | Stats target | Description
|
|
--------+---------+-----------+----------+---------+---------+--------------+-------------
|
|
a | integer | | | | plain | |
|
|
b | integer | | not null | | plain | |
|
|
Not-null constraints:
|
|
"cnn_grandchild_b_not_null" NOT NULL "b" (local, inherited)
|
|
Inherits: cnn_child
|
|
Child tables: cnn_grandchild2
|
|
|
|
\d+ cnn_grandchild2
|
|
Table "public.cnn_grandchild2"
|
|
Column | Type | Collation | Nullable | Default | Storage | Stats target | Description
|
|
--------+---------+-----------+----------+---------+---------+--------------+-------------
|
|
a | integer | | | | plain | |
|
|
b | integer | | not null | | plain | |
|
|
Not-null constraints:
|
|
"cnn_grandchild_b_not_null" NOT NULL "b" (inherited)
|
|
Inherits: cnn_grandchild,
|
|
cnn_child2
|
|
|
|
ALTER TABLE cnn_parent DROP CONSTRAINT cnn_parent_pkey;
|
|
\set VERBOSITY terse
|
|
DROP TABLE cnn_parent CASCADE;
|
|
NOTICE: drop cascades to 4 other objects
|
|
\set VERBOSITY default
|
|
-- As above, but create the primary key using a UNIQUE index
|
|
CREATE TABLE cnn_parent (a int, b int);
|
|
CREATE TABLE cnn_child () INHERITS (cnn_parent);
|
|
CREATE TABLE cnn_grandchild (NOT NULL b) INHERITS (cnn_child);
|
|
CREATE TABLE cnn_child2 (NOT NULL a NO INHERIT) INHERITS (cnn_parent);
|
|
CREATE TABLE cnn_grandchild2 () INHERITS (cnn_grandchild, cnn_child2);
|
|
NOTICE: merging multiple inherited definitions of column "a"
|
|
NOTICE: merging multiple inherited definitions of column "b"
|
|
CREATE UNIQUE INDEX b_uq ON cnn_parent (b);
|
|
ALTER TABLE cnn_parent ADD PRIMARY KEY USING INDEX b_uq;
|
|
\d+ cnn_grandchild
|
|
Table "public.cnn_grandchild"
|
|
Column | Type | Collation | Nullable | Default | Storage | Stats target | Description
|
|
--------+---------+-----------+----------+---------+---------+--------------+-------------
|
|
a | integer | | | | plain | |
|
|
b | integer | | not null | | plain | |
|
|
Not-null constraints:
|
|
"cnn_grandchild_b_not_null" NOT NULL "b" (local, inherited)
|
|
Inherits: cnn_child
|
|
Child tables: cnn_grandchild2
|
|
|
|
\d+ cnn_grandchild2
|
|
Table "public.cnn_grandchild2"
|
|
Column | Type | Collation | Nullable | Default | Storage | Stats target | Description
|
|
--------+---------+-----------+----------+---------+---------+--------------+-------------
|
|
a | integer | | | | plain | |
|
|
b | integer | | not null | | plain | |
|
|
Not-null constraints:
|
|
"cnn_grandchild_b_not_null" NOT NULL "b" (inherited)
|
|
Inherits: cnn_grandchild,
|
|
cnn_child2
|
|
|
|
ALTER TABLE cnn_parent DROP CONSTRAINT cnn_parent_pkey;
|
|
ERROR: constraint "cnn_parent_pkey" of relation "cnn_parent" does not exist
|
|
-- keeps these tables around, for pg_upgrade testing
|
|
-- A primary key shouldn't attach to a unique constraint
|
|
create table cnn2_parted (a int primary key) partition by list (a);
|
|
create table cnn2_part1 (a int unique);
|
|
alter table cnn2_parted attach partition cnn2_part1 for values in (1);
|
|
\d+ cnn2_part1
|
|
Table "public.cnn2_part1"
|
|
Column | Type | Collation | Nullable | Default | Storage | Stats target | Description
|
|
--------+---------+-----------+----------+---------+---------+--------------+-------------
|
|
a | integer | | not null | | plain | |
|
|
Partition of: cnn2_parted FOR VALUES IN (1)
|
|
Partition constraint: ((a IS NOT NULL) AND (a = 1))
|
|
Indexes:
|
|
"cnn2_part1_pkey" PRIMARY KEY, btree (a)
|
|
"cnn2_part1_a_key" UNIQUE CONSTRAINT, btree (a)
|
|
|
|
drop table cnn2_parted;
|
|
-- ensure columns in partitions are marked not-null
|
|
create table cnn2_parted(a int primary key) partition by list (a);
|
|
create table cnn2_part1(a int);
|
|
alter table cnn2_parted attach partition cnn2_part1 for values in (1);
|
|
insert into cnn2_part1 values (null);
|
|
ERROR: null value in column "a" of relation "cnn2_part1" violates not-null constraint
|
|
DETAIL: Failing row contains (null).
|
|
drop table cnn2_parted, cnn2_part1;
|
|
create table cnn2_parted(a int not null) partition by list (a);
|
|
create table cnn2_part1(a int primary key);
|
|
alter table cnn2_parted attach partition cnn2_part1 for values in (1);
|
|
ERROR: column "a" in child table must be marked NOT NULL
|
|
drop table cnn2_parted, cnn2_part1;
|
|
create table cnn2_parted(a int) partition by list (a);
|
|
create table cnn_part1 partition of cnn2_parted for values in (1, null);
|
|
insert into cnn_part1 values (null);
|
|
alter table cnn2_parted add primary key (a);
|
|
ERROR: column "a" of relation "cnn_part1" contains null values
|
|
drop table cnn2_parted;
|
|
-- columns in regular and LIKE inheritance should be marked not-nullable
|
|
-- for primary keys, even if those are deferred
|
|
CREATE TABLE notnull_tbl4 (a INTEGER PRIMARY KEY INITIALLY DEFERRED);
|
|
CREATE TABLE notnull_tbl4_lk (LIKE notnull_tbl4);
|
|
CREATE TABLE notnull_tbl4_lk2 (LIKE notnull_tbl4 INCLUDING INDEXES);
|
|
CREATE TABLE notnull_tbl4_lk3 (LIKE notnull_tbl4 INCLUDING INDEXES, CONSTRAINT a_nn NOT NULL a);
|
|
CREATE TABLE notnull_tbl4_cld () INHERITS (notnull_tbl4);
|
|
CREATE TABLE notnull_tbl4_cld2 (PRIMARY KEY (a) DEFERRABLE) INHERITS (notnull_tbl4);
|
|
CREATE TABLE notnull_tbl4_cld3 (PRIMARY KEY (a) DEFERRABLE, CONSTRAINT a_nn NOT NULL a) INHERITS (notnull_tbl4);
|
|
\d+ notnull_tbl4
|
|
Table "public.notnull_tbl4"
|
|
Column | Type | Collation | Nullable | Default | Storage | Stats target | Description
|
|
--------+---------+-----------+----------+---------+---------+--------------+-------------
|
|
a | integer | | not null | | plain | |
|
|
Indexes:
|
|
"notnull_tbl4_pkey" PRIMARY KEY, btree (a) DEFERRABLE INITIALLY DEFERRED
|
|
Child tables: notnull_tbl4_cld,
|
|
notnull_tbl4_cld2,
|
|
notnull_tbl4_cld3
|
|
|
|
\d+ notnull_tbl4_lk
|
|
Table "public.notnull_tbl4_lk"
|
|
Column | Type | Collation | Nullable | Default | Storage | Stats target | Description
|
|
--------+---------+-----------+----------+---------+---------+--------------+-------------
|
|
a | integer | | not null | | plain | |
|
|
Not-null constraints:
|
|
"notnull_tbl4_lk_a_not_null" NOT NULL "a"
|
|
|
|
\d+ notnull_tbl4_lk2
|
|
Table "public.notnull_tbl4_lk2"
|
|
Column | Type | Collation | Nullable | Default | Storage | Stats target | Description
|
|
--------+---------+-----------+----------+---------+---------+--------------+-------------
|
|
a | integer | | not null | | plain | |
|
|
Indexes:
|
|
"notnull_tbl4_lk2_pkey" PRIMARY KEY, btree (a) DEFERRABLE INITIALLY DEFERRED
|
|
|
|
\d+ notnull_tbl4_lk3
|
|
Table "public.notnull_tbl4_lk3"
|
|
Column | Type | Collation | Nullable | Default | Storage | Stats target | Description
|
|
--------+---------+-----------+----------+---------+---------+--------------+-------------
|
|
a | integer | | not null | | plain | |
|
|
Indexes:
|
|
"notnull_tbl4_lk3_pkey" PRIMARY KEY, btree (a) DEFERRABLE INITIALLY DEFERRED
|
|
Not-null constraints:
|
|
"a_nn" NOT NULL "a"
|
|
|
|
\d+ notnull_tbl4_cld
|
|
Table "public.notnull_tbl4_cld"
|
|
Column | Type | Collation | Nullable | Default | Storage | Stats target | Description
|
|
--------+---------+-----------+----------+---------+---------+--------------+-------------
|
|
a | integer | | not null | | plain | |
|
|
Not-null constraints:
|
|
"notnull_tbl4_cld_a_not_null" NOT NULL "a" (inherited)
|
|
Inherits: notnull_tbl4
|
|
|
|
\d+ notnull_tbl4_cld2
|
|
Table "public.notnull_tbl4_cld2"
|
|
Column | Type | Collation | Nullable | Default | Storage | Stats target | Description
|
|
--------+---------+-----------+----------+---------+---------+--------------+-------------
|
|
a | integer | | not null | | plain | |
|
|
Indexes:
|
|
"notnull_tbl4_cld2_pkey" PRIMARY KEY, btree (a) DEFERRABLE
|
|
Not-null constraints:
|
|
"notnull_tbl4_cld2_a_not_null" NOT NULL "a" (inherited)
|
|
Inherits: notnull_tbl4
|
|
|
|
\d+ notnull_tbl4_cld3
|
|
Table "public.notnull_tbl4_cld3"
|
|
Column | Type | Collation | Nullable | Default | Storage | Stats target | Description
|
|
--------+---------+-----------+----------+---------+---------+--------------+-------------
|
|
a | integer | | not null | | plain | |
|
|
Indexes:
|
|
"notnull_tbl4_cld3_pkey" PRIMARY KEY, btree (a) DEFERRABLE
|
|
Not-null constraints:
|
|
"a_nn" NOT NULL "a" (local, inherited)
|
|
Inherits: notnull_tbl4
|
|
|
|
-- leave these tables around for pg_upgrade testing
|
|
-- also, if a NOT NULL is dropped underneath a deferrable PK, the column
|
|
-- should still be nullable afterwards. This mimics what pg_dump does.
|
|
CREATE TABLE notnull_tbl5 (a INTEGER CONSTRAINT a_nn NOT NULL);
|
|
ALTER TABLE notnull_tbl5 ADD PRIMARY KEY (a) DEFERRABLE;
|
|
ALTER TABLE notnull_tbl5 DROP CONSTRAINT a_nn;
|
|
\d+ notnull_tbl5
|
|
Table "public.notnull_tbl5"
|
|
Column | Type | Collation | Nullable | Default | Storage | Stats target | Description
|
|
--------+---------+-----------+----------+---------+---------+--------------+-------------
|
|
a | integer | | not null | | plain | |
|
|
Indexes:
|
|
"notnull_tbl5_pkey" PRIMARY KEY, btree (a) DEFERRABLE
|
|
|
|
DROP TABLE notnull_tbl5;
|
|
-- Comments
|
|
-- Setup a low-level role to enforce non-superuser checks.
|
|
CREATE ROLE regress_constraint_comments;
|
|
SET SESSION AUTHORIZATION regress_constraint_comments;
|
|
CREATE TABLE constraint_comments_tbl (a int CONSTRAINT the_constraint CHECK (a > 0));
|
|
CREATE DOMAIN constraint_comments_dom AS int CONSTRAINT the_constraint CHECK (value > 0);
|
|
COMMENT ON CONSTRAINT the_constraint ON constraint_comments_tbl IS 'yes, the comment';
|
|
COMMENT ON CONSTRAINT the_constraint ON DOMAIN constraint_comments_dom IS 'yes, another comment';
|
|
-- no such constraint
|
|
COMMENT ON CONSTRAINT no_constraint ON constraint_comments_tbl IS 'yes, the comment';
|
|
ERROR: constraint "no_constraint" for table "constraint_comments_tbl" does not exist
|
|
COMMENT ON CONSTRAINT no_constraint ON DOMAIN constraint_comments_dom IS 'yes, another comment';
|
|
ERROR: constraint "no_constraint" for domain constraint_comments_dom does not exist
|
|
-- no such table/domain
|
|
COMMENT ON CONSTRAINT the_constraint ON no_comments_tbl IS 'bad comment';
|
|
ERROR: relation "no_comments_tbl" does not exist
|
|
COMMENT ON CONSTRAINT the_constraint ON DOMAIN no_comments_dom IS 'another bad comment';
|
|
ERROR: type "no_comments_dom" does not exist
|
|
COMMENT ON CONSTRAINT the_constraint ON constraint_comments_tbl IS NULL;
|
|
COMMENT ON CONSTRAINT the_constraint ON DOMAIN constraint_comments_dom IS NULL;
|
|
-- unauthorized user
|
|
RESET SESSION AUTHORIZATION;
|
|
CREATE ROLE regress_constraint_comments_noaccess;
|
|
SET SESSION AUTHORIZATION regress_constraint_comments_noaccess;
|
|
COMMENT ON CONSTRAINT the_constraint ON constraint_comments_tbl IS 'no, the comment';
|
|
ERROR: must be owner of relation constraint_comments_tbl
|
|
COMMENT ON CONSTRAINT the_constraint ON DOMAIN constraint_comments_dom IS 'no, another comment';
|
|
ERROR: must be owner of type constraint_comments_dom
|
|
RESET SESSION AUTHORIZATION;
|
|
DROP TABLE constraint_comments_tbl;
|
|
DROP DOMAIN constraint_comments_dom;
|
|
DROP ROLE regress_constraint_comments;
|
|
DROP ROLE regress_constraint_comments_noaccess;
|