git.postgresql.org Git - postgresql.git/commitdiff

git projects / postgresql.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 49b579f)
Use half-open interval notation in without_overlaps tests
author Peter Eisentraut <peter@eisentraut.org>
2024年3月19日 10:44:14 +0000 (11:44 +0100)
committer Peter Eisentraut <peter@eisentraut.org>
2024年3月19日 10:44:14 +0000 (11:44 +0100)
This way, the input literals match the output in any error messages.

Author: Paul A. Jungwirth <pj@illuminatedcomputing.com>
Discussion: https://www.postgresql.org/message-id/flat/CA+renyUApHgSZF9-nd-a0+OPGharLQLO=mDHcY4_qQ0+noCUVg@mail.gmail.com

src/test/regress/expected/without_overlaps.out patch | blob | blame | history
src/test/regress/sql/without_overlaps.sql patch | blob | blame | history

diff --git a/src/test/regress/expected/without_overlaps.out b/src/test/regress/expected/without_overlaps.out
index ea5591a3b38fd9ba6e000f5338dee15de2318b07..9fb20395a6ae5f9e9a62f9a1ab1fc8479ad18fbb 100644 (file)
--- a/src/test/regress/expected/without_overlaps.out
+++ b/src/test/regress/expected/without_overlaps.out
@@ -276,18 +276,18 @@ DROP TABLE temporal3;
-- test PK inserts
--
-- okay:
-INSERT INTO temporal_rng VALUES ('[1,1]', daterange('2018年01月02日', '2018年02月03日'));
-INSERT INTO temporal_rng VALUES ('[1,1]', daterange('2018年03月03日', '2018年04月04日'));
-INSERT INTO temporal_rng VALUES ('[2,2]', daterange('2018年01月01日', '2018年01月05日'));
-INSERT INTO temporal_rng VALUES ('[3,3]', daterange('2018年01月01日', NULL));
+INSERT INTO temporal_rng (id, valid_at) VALUES ('[1,2)', daterange('2018年01月02日', '2018年02月03日'));
+INSERT INTO temporal_rng (id, valid_at) VALUES ('[1,2)', daterange('2018年03月03日', '2018年04月04日'));
+INSERT INTO temporal_rng (id, valid_at) VALUES ('[2,3)', daterange('2018年01月01日', '2018年01月05日'));
+INSERT INTO temporal_rng (id, valid_at) VALUES ('[3,4)', daterange('2018年01月01日', NULL));
-- should fail:
-INSERT INTO temporal_rng VALUES ('[1,1]', daterange('2018年01月01日', '2018年01月05日'));
+INSERT INTO temporal_rng (id, valid_at) VALUES ('[1,2)', daterange('2018年01月01日', '2018年01月05日'));
ERROR: conflicting key value violates exclusion constraint "temporal_rng_pk"
DETAIL: Key (id, valid_at)=([1,2), [2018年01月01日,2018年01月05日)) conflicts with existing key (id, valid_at)=([1,2), [2018年01月02日,2018年02月03日)).
-INSERT INTO temporal_rng VALUES (NULL, daterange('2018年01月01日', '2018年01月05日'));
+INSERT INTO temporal_rng (id, valid_at) VALUES (NULL, daterange('2018年01月01日', '2018年01月05日'));
ERROR: null value in column "id" of relation "temporal_rng" violates not-null constraint
DETAIL: Failing row contains (null, [2018年01月01日,2018年01月05日)).
-INSERT INTO temporal_rng VALUES ('[3,3]', NULL);
+INSERT INTO temporal_rng (id, valid_at) VALUES ('[3,4)', NULL);
ERROR: null value in column "valid_at" of relation "temporal_rng" violates not-null constraint
DETAIL: Failing row contains ([3,4), null).
--
@@ -303,8 +303,8 @@ CREATE TABLE temporal3 (
);
INSERT INTO temporal3 (id, valid_at, id2, name)
VALUES
- ('[1,1]', daterange('2000年01月01日', '2010年01月01日'), '[7,7]', 'foo'),
- ('[2,2]', daterange('2000年01月01日', '2010年01月01日'), '[9,9]', 'bar')
+ ('[1,2)', daterange('2000年01月01日', '2010年01月01日'), '[7,8)', 'foo'),
+ ('[2,3)', daterange('2000年01月01日', '2010年01月01日'), '[9,10)', 'bar')
;
DROP TABLE temporal3;
--
@@ -331,12 +331,12 @@ CREATE TABLE temporal_partitioned (
name text,
CONSTRAINT temporal_paritioned_pk PRIMARY KEY (id, valid_at WITHOUT OVERLAPS)
) PARTITION BY LIST (id);
-CREATE TABLE tp1 PARTITION OF temporal_partitioned FOR VALUES IN ('[1,1]', '[2,2]');
-CREATE TABLE tp2 PARTITION OF temporal_partitioned FOR VALUES IN ('[3,3]', '[4,4]');
-INSERT INTO temporal_partitioned VALUES
- ('[1,1]', daterange('2000年01月01日', '2000年02月01日'), 'one'),
- ('[1,1]', daterange('2000年02月01日', '2000年03月01日'), 'one'),
- ('[3,3]', daterange('2000年01月01日', '2010年01月01日'), 'three');
+CREATE TABLE tp1 PARTITION OF temporal_partitioned FOR VALUES IN ('[1,2)', '[2,3)');
+CREATE TABLE tp2 PARTITION OF temporal_partitioned FOR VALUES IN ('[3,4)', '[4,5)');
+INSERT INTO temporal_partitioned (id, valid_at, name) VALUES
+ ('[1,2)', daterange('2000年01月01日', '2000年02月01日'), 'one'),
+ ('[1,2)', daterange('2000年02月01日', '2000年03月01日'), 'one'),
+ ('[3,4)', daterange('2000年01月01日', '2010年01月01日'), 'three');
SELECT * FROM temporal_partitioned ORDER BY id, valid_at;
id | valid_at | name
-------+-------------------------+-------
@@ -366,12 +366,12 @@ CREATE TABLE temporal_partitioned (
name text,
CONSTRAINT temporal_paritioned_uq UNIQUE (id, valid_at WITHOUT OVERLAPS)
) PARTITION BY LIST (id);
-CREATE TABLE tp1 PARTITION OF temporal_partitioned FOR VALUES IN ('[1,1]', '[2,2]');
-CREATE TABLE tp2 PARTITION OF temporal_partitioned FOR VALUES IN ('[3,3]', '[4,4]');
-INSERT INTO temporal_partitioned VALUES
- ('[1,1]', daterange('2000年01月01日', '2000年02月01日'), 'one'),
- ('[1,1]', daterange('2000年02月01日', '2000年03月01日'), 'one'),
- ('[3,3]', daterange('2000年01月01日', '2010年01月01日'), 'three');
+CREATE TABLE tp1 PARTITION OF temporal_partitioned FOR VALUES IN ('[1,2)', '[2,3)');
+CREATE TABLE tp2 PARTITION OF temporal_partitioned FOR VALUES IN ('[3,4)', '[4,5)');
+INSERT INTO temporal_partitioned (id, valid_at, name) VALUES
+ ('[1,2)', daterange('2000年01月01日', '2000年02月01日'), 'one'),
+ ('[1,2)', daterange('2000年02月01日', '2000年03月01日'), 'one'),
+ ('[3,4)', daterange('2000年01月01日', '2010年01月01日'), 'three');
SELECT * FROM temporal_partitioned ORDER BY id, valid_at;
id | valid_at | name
-------+-------------------------+-------
diff --git a/src/test/regress/sql/without_overlaps.sql b/src/test/regress/sql/without_overlaps.sql
index bb8b85aa25f4853c055cc7d36bbf54a96f07c71d..b5e77168f54f3fbfcc2cab5f4cdcca416fc8ccc9 100644 (file)
--- a/src/test/regress/sql/without_overlaps.sql
+++ b/src/test/regress/sql/without_overlaps.sql
@@ -206,15 +206,15 @@ DROP TABLE temporal3;
--
-- okay:
-INSERT INTO temporal_rng VALUES ('[1,1]', daterange('2018年01月02日', '2018年02月03日'));
-INSERT INTO temporal_rng VALUES ('[1,1]', daterange('2018年03月03日', '2018年04月04日'));
-INSERT INTO temporal_rng VALUES ('[2,2]', daterange('2018年01月01日', '2018年01月05日'));
-INSERT INTO temporal_rng VALUES ('[3,3]', daterange('2018年01月01日', NULL));
+INSERT INTO temporal_rng (id, valid_at) VALUES ('[1,2)', daterange('2018年01月02日', '2018年02月03日'));
+INSERT INTO temporal_rng (id, valid_at) VALUES ('[1,2)', daterange('2018年03月03日', '2018年04月04日'));
+INSERT INTO temporal_rng (id, valid_at) VALUES ('[2,3)', daterange('2018年01月01日', '2018年01月05日'));
+INSERT INTO temporal_rng (id, valid_at) VALUES ('[3,4)', daterange('2018年01月01日', NULL));
-- should fail:
-INSERT INTO temporal_rng VALUES ('[1,1]', daterange('2018年01月01日', '2018年01月05日'));
-INSERT INTO temporal_rng VALUES (NULL, daterange('2018年01月01日', '2018年01月05日'));
-INSERT INTO temporal_rng VALUES ('[3,3]', NULL);
+INSERT INTO temporal_rng (id, valid_at) VALUES ('[1,2)', daterange('2018年01月01日', '2018年01月05日'));
+INSERT INTO temporal_rng (id, valid_at) VALUES (NULL, daterange('2018年01月01日', '2018年01月05日'));
+INSERT INTO temporal_rng (id, valid_at) VALUES ('[3,4)', NULL);
--
-- test a range with both a PK and a UNIQUE constraint
@@ -230,8 +230,8 @@ CREATE TABLE temporal3 (
);
INSERT INTO temporal3 (id, valid_at, id2, name)
VALUES
- ('[1,1]', daterange('2000年01月01日', '2010年01月01日'), '[7,7]', 'foo'),
- ('[2,2]', daterange('2000年01月01日', '2010年01月01日'), '[9,9]', 'bar')
+ ('[1,2)', daterange('2000年01月01日', '2010年01月01日'), '[7,8)', 'foo'),
+ ('[2,3)', daterange('2000年01月01日', '2010年01月01日'), '[9,10)', 'bar')
;
DROP TABLE temporal3;
@@ -262,12 +262,12 @@ CREATE TABLE temporal_partitioned (
name text,
CONSTRAINT temporal_paritioned_pk PRIMARY KEY (id, valid_at WITHOUT OVERLAPS)
) PARTITION BY LIST (id);
-CREATE TABLE tp1 PARTITION OF temporal_partitioned FOR VALUES IN ('[1,1]', '[2,2]');
-CREATE TABLE tp2 PARTITION OF temporal_partitioned FOR VALUES IN ('[3,3]', '[4,4]');
-INSERT INTO temporal_partitioned VALUES
- ('[1,1]', daterange('2000年01月01日', '2000年02月01日'), 'one'),
- ('[1,1]', daterange('2000年02月01日', '2000年03月01日'), 'one'),
- ('[3,3]', daterange('2000年01月01日', '2010年01月01日'), 'three');
+CREATE TABLE tp1 PARTITION OF temporal_partitioned FOR VALUES IN ('[1,2)', '[2,3)');
+CREATE TABLE tp2 PARTITION OF temporal_partitioned FOR VALUES IN ('[3,4)', '[4,5)');
+INSERT INTO temporal_partitioned (id, valid_at, name) VALUES
+ ('[1,2)', daterange('2000年01月01日', '2000年02月01日'), 'one'),
+ ('[1,2)', daterange('2000年02月01日', '2000年03月01日'), 'one'),
+ ('[3,4)', daterange('2000年01月01日', '2010年01月01日'), 'three');
SELECT * FROM temporal_partitioned ORDER BY id, valid_at;
SELECT * FROM tp1 ORDER BY id, valid_at;
SELECT * FROM tp2 ORDER BY id, valid_at;
@@ -280,12 +280,12 @@ CREATE TABLE temporal_partitioned (
name text,
CONSTRAINT temporal_paritioned_uq UNIQUE (id, valid_at WITHOUT OVERLAPS)
) PARTITION BY LIST (id);
-CREATE TABLE tp1 PARTITION OF temporal_partitioned FOR VALUES IN ('[1,1]', '[2,2]');
-CREATE TABLE tp2 PARTITION OF temporal_partitioned FOR VALUES IN ('[3,3]', '[4,4]');
-INSERT INTO temporal_partitioned VALUES
- ('[1,1]', daterange('2000年01月01日', '2000年02月01日'), 'one'),
- ('[1,1]', daterange('2000年02月01日', '2000年03月01日'), 'one'),
- ('[3,3]', daterange('2000年01月01日', '2010年01月01日'), 'three');
+CREATE TABLE tp1 PARTITION OF temporal_partitioned FOR VALUES IN ('[1,2)', '[2,3)');
+CREATE TABLE tp2 PARTITION OF temporal_partitioned FOR VALUES IN ('[3,4)', '[4,5)');
+INSERT INTO temporal_partitioned (id, valid_at, name) VALUES
+ ('[1,2)', daterange('2000年01月01日', '2000年02月01日'), 'one'),
+ ('[1,2)', daterange('2000年02月01日', '2000年03月01日'), 'one'),
+ ('[3,4)', daterange('2000年01月01日', '2010年01月01日'), 'three');
SELECT * FROM temporal_partitioned ORDER BY id, valid_at;
SELECT * FROM tp1 ORDER BY id, valid_at;
SELECT * FROM tp2 ORDER BY id, valid_at;
This is the main PostgreSQL git repository.
RSS Atom

AltStyle によって変換されたページ (->オリジナル) /