1997-08-28 06:49:34 +02:00
|
|
|
--
|
2000-01-05 18:32:29 +01:00
|
|
|
-- CONSTRAINTS
|
1997-12-05 01:01:22 +01:00
|
|
|
-- Constraints can be specified with:
|
|
|
|
-- - DEFAULT clause
|
|
|
|
-- - CHECK clauses
|
|
|
|
-- - PRIMARY KEY clauses
|
|
|
|
-- - UNIQUE clauses
|
2009-12-07 06:22:23 +01:00
|
|
|
-- - EXCLUDE clauses
|
1997-08-28 06:49:34 +02:00
|
|
|
--
|
|
|
|
|
1997-09-16 18:15:52 +02:00
|
|
|
--
|
|
|
|
-- DEFAULT syntax
|
|
|
|
--
|
|
|
|
|
|
|
|
CREATE TABLE DEFAULT_TBL (i int DEFAULT 100,
|
1997-12-05 01:01:22 +01:00
|
|
|
x text DEFAULT 'vadim', f float8 DEFAULT 123.456);
|
1997-09-16 18:15:52 +02:00
|
|
|
|
|
|
|
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);
|
1997-12-05 01:01:22 +01:00
|
|
|
INSERT INTO DEFAULT_TBL (x) VALUES ('marc');
|
1997-10-17 11:59:09 +02:00
|
|
|
INSERT INTO DEFAULT_TBL VALUES (3, null, 1.0);
|
1997-09-16 18:15:52 +02:00
|
|
|
|
1997-12-05 01:01:22 +01:00
|
|
|
SELECT '' AS five, * FROM DEFAULT_TBL;
|
1997-09-16 18:15:52 +02:00
|
|
|
|
|
|
|
CREATE SEQUENCE DEFAULT_SEQ;
|
1997-12-05 01:01:22 +01:00
|
|
|
|
1997-09-16 18:15:52 +02:00
|
|
|
CREATE TABLE DEFAULTEXPR_TBL (i1 int DEFAULT 100 + (200-199) * 2,
|
1997-12-05 01:01:22 +01:00
|
|
|
i2 int DEFAULT nextval('default_seq'));
|
1997-09-16 18:15:52 +02:00
|
|
|
|
|
|
|
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);
|
1997-12-05 01:01:22 +01:00
|
|
|
|
1997-09-16 18:15:52 +02:00
|
|
|
SELECT '' AS four, * FROM DEFAULTEXPR_TBL;
|
|
|
|
|
1999-10-04 01:55:40 +02:00
|
|
|
-- syntax errors
|
|
|
|
-- test for extraneous comma
|
1997-09-16 18:15:52 +02:00
|
|
|
CREATE TABLE error_tbl (i int DEFAULT (100, ));
|
1999-10-04 01:55:40 +02:00
|
|
|
-- 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:
|
1999-11-20 22:41:31 +01:00
|
|
|
CREATE TABLE error_tbl (b1 bool DEFAULT 1 IN (1, 2));
|
1999-10-04 01:55:40 +02:00
|
|
|
-- this should work, however:
|
1999-11-20 22:41:31 +01:00
|
|
|
CREATE TABLE error_tbl (b1 bool DEFAULT (1 IN (1, 2)));
|
1999-10-04 01:55:40 +02:00
|
|
|
|
|
|
|
DROP TABLE error_tbl;
|
1997-09-16 18:15:52 +02:00
|
|
|
|
|
|
|
--
|
|
|
|
-- CHECK syntax
|
|
|
|
--
|
|
|
|
|
1997-12-05 01:01:22 +01:00
|
|
|
CREATE TABLE CHECK_TBL (x int,
|
|
|
|
CONSTRAINT CHECK_CON CHECK (x > 3));
|
1997-09-16 18:15:52 +02:00
|
|
|
|
|
|
|
INSERT INTO CHECK_TBL VALUES (5);
|
|
|
|
INSERT INTO CHECK_TBL VALUES (4);
|
|
|
|
INSERT INTO CHECK_TBL VALUES (3);
|
|
|
|
INSERT INTO CHECK_TBL VALUES (2);
|
|
|
|
INSERT INTO CHECK_TBL VALUES (6);
|
|
|
|
INSERT INTO CHECK_TBL VALUES (1);
|
|
|
|
|
1997-12-05 01:01:22 +01:00
|
|
|
SELECT '' AS three, * FROM CHECK_TBL;
|
|
|
|
|
1997-09-16 18:15:52 +02:00
|
|
|
CREATE SEQUENCE CHECK_SEQ;
|
1997-12-05 01:01:22 +01:00
|
|
|
|
|
|
|
CREATE TABLE CHECK2_TBL (x int, y text, z int,
|
|
|
|
CONSTRAINT SEQUENCE_CON
|
|
|
|
CHECK (x > 3 and y <> 'check failed' and z < 8));
|
|
|
|
|
1997-09-16 18:15:52 +02:00
|
|
|
INSERT INTO CHECK2_TBL VALUES (4, 'check ok', -2);
|
|
|
|
INSERT INTO CHECK2_TBL VALUES (1, 'x check failed', -2);
|
|
|
|
INSERT INTO CHECK2_TBL VALUES (5, 'z check failed', 10);
|
|
|
|
INSERT INTO CHECK2_TBL VALUES (0, 'check failed', -2);
|
|
|
|
INSERT INTO CHECK2_TBL VALUES (6, 'check failed', 11);
|
|
|
|
INSERT INTO CHECK2_TBL VALUES (7, 'check ok', 7);
|
|
|
|
|
1997-12-05 01:01:22 +01:00
|
|
|
SELECT '' AS two, * from CHECK2_TBL;
|
|
|
|
|
1997-09-16 18:15:52 +02:00
|
|
|
--
|
1997-08-28 06:49:34 +02:00
|
|
|
-- Check constraints on INSERT
|
1997-09-16 18:15:52 +02:00
|
|
|
--
|
1997-08-28 06:49:34 +02:00
|
|
|
|
1997-09-16 18:15:52 +02:00
|
|
|
CREATE SEQUENCE INSERT_SEQ;
|
|
|
|
|
|
|
|
CREATE TABLE INSERT_TBL (x INT DEFAULT nextval('insert_seq'),
|
2000-01-16 20:57:48 +01:00
|
|
|
y TEXT DEFAULT '-NULL-',
|
|
|
|
z INT DEFAULT -1 * currval('insert_seq'),
|
|
|
|
CONSTRAINT INSERT_CON CHECK (x >= 3 AND y <> 'check failed' AND x < 8),
|
|
|
|
CHECK (x + z = 0));
|
1997-09-16 18:15:52 +02:00
|
|
|
|
1997-10-17 11:59:09 +02:00
|
|
|
INSERT INTO INSERT_TBL(x,z) VALUES (2, -2);
|
1997-09-16 18:15:52 +02:00
|
|
|
|
1997-12-05 01:01:22 +01:00
|
|
|
SELECT '' AS zero, * FROM INSERT_TBL;
|
|
|
|
|
|
|
|
SELECT 'one' AS one, nextval('insert_seq');
|
1997-09-16 18:15:52 +02:00
|
|
|
|
1997-10-17 11:59:09 +02:00
|
|
|
INSERT INTO INSERT_TBL(y) VALUES ('Y');
|
|
|
|
INSERT INTO INSERT_TBL(y) VALUES ('Y');
|
|
|
|
INSERT INTO INSERT_TBL(x,z) VALUES (1, -2);
|
|
|
|
INSERT INTO INSERT_TBL(z,x) VALUES (-7, 7);
|
1997-09-16 18:15:52 +02:00
|
|
|
INSERT INTO INSERT_TBL VALUES (5, 'check failed', -5);
|
|
|
|
INSERT INTO INSERT_TBL VALUES (7, '!check failed', -7);
|
1997-10-17 11:59:09 +02:00
|
|
|
INSERT INTO INSERT_TBL(y) VALUES ('-!NULL-');
|
1997-12-05 01:01:22 +01:00
|
|
|
|
|
|
|
SELECT '' AS four, * FROM INSERT_TBL;
|
|
|
|
|
1997-10-17 11:59:09 +02:00
|
|
|
INSERT INTO INSERT_TBL(y,z) VALUES ('check failed', 4);
|
|
|
|
INSERT INTO INSERT_TBL(x,y) VALUES (5, 'check failed');
|
|
|
|
INSERT INTO INSERT_TBL(x,y) VALUES (5, '!check failed');
|
|
|
|
INSERT INTO INSERT_TBL(y) VALUES ('-!NULL-');
|
1997-12-05 01:01:22 +01:00
|
|
|
|
|
|
|
SELECT '' AS six, * FROM INSERT_TBL;
|
|
|
|
|
|
|
|
SELECT 'seven' AS one, nextval('insert_seq');
|
|
|
|
|
1997-10-17 11:59:09 +02:00
|
|
|
INSERT INTO INSERT_TBL(y) VALUES ('Y');
|
1997-12-05 01:01:22 +01:00
|
|
|
|
|
|
|
SELECT 'eight' AS one, currval('insert_seq');
|
1997-09-16 18:15:52 +02:00
|
|
|
|
2013-04-20 17:04:41 +02:00
|
|
|
-- According to SQL, it is OK to insert a record that gives rise to NULL
|
2000-01-20 00:55:03 +01:00
|
|
|
-- constraint-condition results. Postgres used to reject this, but it
|
|
|
|
-- was wrong:
|
|
|
|
INSERT INTO INSERT_TBL VALUES (null, null, null);
|
|
|
|
|
|
|
|
SELECT '' AS nine, * FROM INSERT_TBL;
|
|
|
|
|
2000-01-16 20:57:48 +01:00
|
|
|
--
|
|
|
|
-- 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);
|
|
|
|
INSERT INTO INSERT_CHILD(x,z,cy) VALUES (6,-7,7);
|
|
|
|
INSERT INTO INSERT_CHILD(x,y,z,cy) VALUES (6,'check failed',-6,7);
|
|
|
|
|
|
|
|
SELECT * FROM INSERT_CHILD;
|
|
|
|
|
|
|
|
DROP TABLE INSERT_CHILD;
|
|
|
|
|
2012-04-21 04:46:20 +02:00
|
|
|
--
|
|
|
|
-- Check NO INHERIT type of constraints and inheritance
|
|
|
|
--
|
|
|
|
|
|
|
|
CREATE TABLE ATACC1 (TEST INT
|
2012-07-24 21:49:54 +02:00
|
|
|
CHECK (TEST > 0) NO INHERIT);
|
2012-04-21 04:46:20 +02:00
|
|
|
|
|
|
|
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);
|
|
|
|
DROP TABLE ATACC1 CASCADE;
|
|
|
|
|
|
|
|
CREATE TABLE ATACC1 (TEST INT, TEST2 INT
|
2012-07-24 21:49:54 +02:00
|
|
|
CHECK (TEST > 0), CHECK (TEST2 > 10) NO INHERIT);
|
2012-04-21 04:46:20 +02:00
|
|
|
|
|
|
|
CREATE TABLE ATACC2 () INHERITS (ATACC1);
|
|
|
|
-- check constraint is there on child
|
|
|
|
INSERT INTO ATACC2 (TEST) VALUES (-3);
|
|
|
|
-- check constraint is there on parent
|
|
|
|
INSERT INTO ATACC1 (TEST) VALUES (-3);
|
|
|
|
-- 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);
|
|
|
|
DROP TABLE ATACC1 CASCADE;
|
|
|
|
|
1997-09-16 18:15:52 +02:00
|
|
|
--
|
1997-08-28 06:49:34 +02:00
|
|
|
-- Check constraints on INSERT INTO
|
1997-09-16 18:15:52 +02:00
|
|
|
--
|
1997-08-28 06:49:34 +02:00
|
|
|
|
1997-09-16 18:15:52 +02:00
|
|
|
DELETE FROM INSERT_TBL;
|
1997-12-05 01:01:22 +01:00
|
|
|
|
2005-10-03 01:50:16 +02:00
|
|
|
ALTER SEQUENCE INSERT_SEQ RESTART WITH 4;
|
1997-12-05 01:01:22 +01:00
|
|
|
|
1999-02-02 04:45:56 +01:00
|
|
|
CREATE TABLE tmp (xd INT, yd TEXT, zd INT);
|
1997-08-28 06:49:34 +02:00
|
|
|
|
1999-02-02 04:45:56 +01:00
|
|
|
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;
|
1997-12-05 01:01:22 +01:00
|
|
|
|
|
|
|
SELECT '' AS three, * FROM INSERT_TBL;
|
|
|
|
|
1999-02-02 04:45:56 +01:00
|
|
|
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';
|
1997-12-05 01:01:22 +01:00
|
|
|
|
|
|
|
SELECT '' AS four, * FROM INSERT_TBL;
|
1997-08-28 06:49:34 +02:00
|
|
|
|
1999-02-02 04:45:56 +01:00
|
|
|
DROP TABLE tmp;
|
1997-08-28 06:49:34 +02:00
|
|
|
|
1997-09-16 18:15:52 +02:00
|
|
|
--
|
1997-08-28 06:49:34 +02:00
|
|
|
-- Check constraints on UPDATE
|
1997-09-16 18:15:52 +02:00
|
|
|
--
|
1997-08-28 06:49:34 +02:00
|
|
|
|
2000-01-20 00:55:03 +01:00
|
|
|
UPDATE INSERT_TBL SET x = NULL WHERE x = 5;
|
1997-09-16 18:15:52 +02:00
|
|
|
UPDATE INSERT_TBL SET x = 6 WHERE x = 6;
|
|
|
|
UPDATE INSERT_TBL SET x = -z, z = -x;
|
1997-10-17 11:59:09 +02:00
|
|
|
UPDATE INSERT_TBL SET x = z, z = x;
|
1997-12-05 01:01:22 +01:00
|
|
|
|
1997-09-16 18:15:52 +02:00
|
|
|
SELECT * FROM INSERT_TBL;
|
|
|
|
|
1997-12-05 01:01:22 +01:00
|
|
|
-- DROP TABLE INSERT_TBL;
|
|
|
|
|
1997-09-16 18:15:52 +02:00
|
|
|
--
|
1997-08-28 06:49:34 +02:00
|
|
|
-- Check constraints on COPY FROM
|
1997-09-16 18:15:52 +02:00
|
|
|
--
|
|
|
|
|
1997-12-05 01:01:22 +01:00
|
|
|
CREATE TABLE COPY_TBL (x INT, y TEXT, z INT,
|
|
|
|
CONSTRAINT COPY_CON
|
|
|
|
CHECK (x > 3 AND y <> 'check failed' AND x < 7 ));
|
1997-09-16 18:15:52 +02:00
|
|
|
|
2000-10-27 22:00:22 +02:00
|
|
|
COPY COPY_TBL FROM '@abs_srcdir@/data/constro.data';
|
1997-12-05 01:01:22 +01:00
|
|
|
|
|
|
|
SELECT '' AS two, * FROM COPY_TBL;
|
|
|
|
|
2000-10-27 22:00:22 +02:00
|
|
|
COPY COPY_TBL FROM '@abs_srcdir@/data/constrf.data';
|
1997-09-16 18:15:52 +02:00
|
|
|
|
|
|
|
SELECT * FROM COPY_TBL;
|
1997-12-05 01:01:22 +01:00
|
|
|
|
|
|
|
--
|
|
|
|
-- 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');
|
|
|
|
INSERT INTO PRIMARY_TBL VALUES (4, 'three');
|
|
|
|
INSERT INTO PRIMARY_TBL VALUES (5, 'one');
|
|
|
|
INSERT INTO PRIMARY_TBL (t) VALUES ('six');
|
|
|
|
|
|
|
|
SELECT '' AS four, * FROM PRIMARY_TBL;
|
|
|
|
|
|
|
|
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');
|
|
|
|
|
|
|
|
SELECT '' AS three, * FROM PRIMARY_TBL;
|
|
|
|
|
|
|
|
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');
|
|
|
|
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');
|
|
|
|
|
|
|
|
SELECT '' AS five, * FROM UNIQUE_TBL;
|
|
|
|
|
|
|
|
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');
|
|
|
|
INSERT INTO UNIQUE_TBL VALUES (5, 'one');
|
|
|
|
INSERT INTO UNIQUE_TBL (t) VALUES ('six');
|
|
|
|
|
|
|
|
SELECT '' AS five, * FROM UNIQUE_TBL;
|
|
|
|
|
|
|
|
DROP TABLE UNIQUE_TBL;
|
|
|
|
|
2009-07-29 22:56:21 +02:00
|
|
|
--
|
|
|
|
-- 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;
|
|
|
|
|
|
|
|
ROLLBACK;
|
|
|
|
|
|
|
|
-- check is done at end of statement, so this should succeed
|
|
|
|
UPDATE unique_tbl SET i = i+1;
|
|
|
|
|
|
|
|
SELECT * FROM unique_tbl;
|
|
|
|
|
|
|
|
-- 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;
|
|
|
|
|
|
|
|
-- 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;
|
|
|
|
|
|
|
|
-- should fail at commit-time
|
|
|
|
BEGIN;
|
|
|
|
INSERT INTO unique_tbl VALUES (3, 'Three'); -- should succeed for now
|
|
|
|
COMMIT; -- should fail
|
|
|
|
|
|
|
|
-- make constraint check immediate
|
|
|
|
BEGIN;
|
|
|
|
|
|
|
|
SET CONSTRAINTS ALL IMMEDIATE;
|
|
|
|
|
|
|
|
INSERT INTO unique_tbl VALUES (3, 'Three'); -- should fail
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|
|
|
COMMIT;
|
|
|
|
|
|
|
|
-- 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
|
|
|
|
|
|
|
|
SELECT * FROM unique_tbl;
|
|
|
|
|
|
|
|
-- 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;
|
|
|
|
|
|
|
|
COMMIT;
|
|
|
|
|
|
|
|
SELECT * FROM unique_tbl;
|
|
|
|
|
|
|
|
DROP TABLE unique_tbl;
|
2009-12-07 06:22:23 +01:00
|
|
|
|
|
|
|
--
|
|
|
|
-- EXCLUDE constraints
|
|
|
|
--
|
|
|
|
|
|
|
|
CREATE TABLE circles (
|
|
|
|
c1 CIRCLE,
|
|
|
|
c2 TEXT,
|
|
|
|
EXCLUDE USING gist
|
2010-01-02 18:53:57 +01:00
|
|
|
(c1 WITH &&, (c2::circle) WITH &&)
|
2009-12-07 06:22:23 +01:00
|
|
|
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>');
|
2010-01-02 18:53:57 +01:00
|
|
|
INSERT INTO circles VALUES('<(0,0), 5>', '<(0,0), 4>');
|
2009-12-07 06:22:23 +01:00
|
|
|
|
|
|
|
-- succeed
|
|
|
|
INSERT INTO circles VALUES('<(10,10), 10>', '<(0,0), 5>');
|
|
|
|
-- fail, overlaps
|
2010-01-02 18:53:57 +01:00
|
|
|
INSERT INTO circles VALUES('<(20,20), 10>', '<(0,0), 4>');
|
2009-12-07 06:22:23 +01:00
|
|
|
-- succeed because c1 doesn't overlap
|
|
|
|
INSERT INTO circles VALUES('<(20,20), 1>', '<(0,0), 5>');
|
2010-01-02 18:53:57 +01:00
|
|
|
-- succeed because c2 doesn't overlap
|
|
|
|
INSERT INTO circles VALUES('<(20,20), 10>', '<(10,10), 5>');
|
2009-12-07 06:22:23 +01:00
|
|
|
|
|
|
|
-- should fail on existing data without the WHERE clause
|
|
|
|
ALTER TABLE circles ADD EXCLUDE USING gist
|
2010-01-02 18:53:57 +01:00
|
|
|
(c1 WITH &&, (c2::circle) WITH &&);
|
2009-12-07 06:22:23 +01:00
|
|
|
|
2011-06-06 04:30:04 +02:00
|
|
|
-- try reindexing an existing constraint
|
|
|
|
REINDEX INDEX circles_c1_c2_excl;
|
|
|
|
|
2009-12-07 06:22:23 +01:00
|
|
|
DROP TABLE circles;
|
|
|
|
|
|
|
|
-- Check deferred exclusion constraint
|
|
|
|
|
|
|
|
CREATE TABLE deferred_excl (
|
|
|
|
f1 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
|
|
|
|
BEGIN;
|
|
|
|
INSERT INTO deferred_excl VALUES(2); -- no fail here
|
|
|
|
COMMIT; -- should fail here
|
|
|
|
BEGIN;
|
|
|
|
INSERT INTO deferred_excl VALUES(3);
|
|
|
|
INSERT INTO deferred_excl VALUES(3); -- no fail here
|
|
|
|
COMMIT; -- should fail here
|
|
|
|
|
|
|
|
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 =);
|
|
|
|
|
|
|
|
DROP TABLE deferred_excl;
|