src/test/regress/sql/collate.sql

   1 /*
   2  * This test is intended to pass on all platforms supported by Postgres.
   3  * We can therefore only assume that the default, C, and POSIX collations
   4  * are available --- and since the regression tests are often run in a
   5  * C-locale database, these may well all have the same behavior.  But
   6  * fortunately, the system doesn't know that and will treat them as
   7  * incompatible collations.  It is therefore at least possible to test
   8  * parser behaviors such as collation conflict resolution.  This test will,
   9  * however, be more revealing when run in a database with non-C locale,
  10  * since any departure from C sorting behavior will show as a failure.
  11  */
  12
  13 CREATE SCHEMA collate_tests;
  14 SET search_path = collate_tests;
  15
  16 CREATE TABLE collate_test1 (
  17     a int,
  18     b text COLLATE "C" NOT NULL
  19 );
  20
  21 \d collate_test1
  22
  23 CREATE TABLE collate_test_fail (
  24     a int COLLATE "C",
  25     b text
  26 );
  27
  28 CREATE TABLE collate_test_like (
  29     LIKE collate_test1
  30 );
  31
  32 \d collate_test_like
  33
  34 CREATE TABLE collate_test2 (
  35     a int,
  36     b text COLLATE "POSIX"
  37 );
  38
  39 INSERT INTO collate_test1 VALUES (1, 'abc'), (2, 'Abc'), (3, 'bbc'), (4, 'ABD');
  40 INSERT INTO collate_test2 SELECT * FROM collate_test1;
  41
  42 SELECT * FROM collate_test1 WHERE b COLLATE "C" >= 'abc';
  43 SELECT * FROM collate_test1 WHERE b >= 'abc' COLLATE "C";
  44 SELECT * FROM collate_test1 WHERE b COLLATE "C" >= 'abc' COLLATE "C";
  45 SELECT * FROM collate_test1 WHERE b COLLATE "C" >= 'bbc' COLLATE "POSIX"; -- fail
  46
  47 CREATE DOMAIN testdomain_p AS text COLLATE "POSIX";
  48 CREATE DOMAIN testdomain_i AS int COLLATE "POSIX"; -- fail
  49 CREATE TABLE collate_test4 (
  50     a int,
  51     b testdomain_p
  52 );
  53 INSERT INTO collate_test4 SELECT * FROM collate_test1;
  54 SELECT a, b FROM collate_test4 ORDER BY b;
  55
  56 CREATE TABLE collate_test5 (
  57     a int,
  58     b testdomain_p COLLATE "C"
  59 );
  60 INSERT INTO collate_test5 SELECT * FROM collate_test1;
  61 SELECT a, b FROM collate_test5 ORDER BY b;
  62
  63
  64 SELECT a, b FROM collate_test1 ORDER BY b;
  65 SELECT a, b FROM collate_test2 ORDER BY b;
  66
  67 SELECT a, b FROM collate_test1 ORDER BY b COLLATE "C";
  68
  69 -- star expansion
  70 SELECT * FROM collate_test1 ORDER BY b;
  71 SELECT * FROM collate_test2 ORDER BY b;
  72
  73 -- constant expression folding
  74 SELECT 'bbc' COLLATE "C" > 'Abc' COLLATE "C" AS "true";
  75 SELECT 'bbc' COLLATE "POSIX" < 'Abc' COLLATE "POSIX" AS "false";
  76
  77 -- upper/lower
  78
  79 CREATE TABLE collate_test10 (
  80     a int,
  81     x text COLLATE "C",
  82     y text COLLATE "POSIX"
  83 );
  84
  85 INSERT INTO collate_test10 VALUES (1, 'hij', 'hij'), (2, 'HIJ', 'HIJ');
  86
  87 SELECT a, lower(x), lower(y), upper(x), upper(y), initcap(x), initcap(y) FROM collate_test10;
  88 SELECT a, lower(x COLLATE "C"), lower(y COLLATE "C") FROM collate_test10;
  89
  90 SELECT a, x, y FROM collate_test10 ORDER BY lower(y), a;
  91
  92 -- backwards parsing
  93
  94 CREATE VIEW collview1 AS SELECT * FROM collate_test1 WHERE b COLLATE "C" >= 'bbc';
  95 CREATE VIEW collview2 AS SELECT a, b FROM collate_test1 ORDER BY b COLLATE "C";
  96 CREATE VIEW collview3 AS SELECT a, lower((x || x) COLLATE "POSIX") FROM collate_test10;
  97
  98 SELECT table_name, view_definition FROM information_schema.views
  99   WHERE table_name LIKE 'collview%' ORDER BY 1;
 100
 101
 102 -- collation propagation in various expression type
 103
 104 SELECT a, coalesce(b, 'foo') FROM collate_test1 ORDER BY 2;
 105 SELECT a, coalesce(b, 'foo') FROM collate_test2 ORDER BY 2;
 106 SELECT a, lower(coalesce(x, 'foo')), lower(coalesce(y, 'foo')) FROM collate_test10;
 107
 108 SELECT a, b, greatest(b, 'CCC') FROM collate_test1 ORDER BY 3;
 109 SELECT a, b, greatest(b, 'CCC') FROM collate_test2 ORDER BY 3;
 110 SELECT a, x, y, lower(greatest(x, 'foo')), lower(greatest(y, 'foo')) FROM collate_test10;
 111
 112 SELECT a, nullif(b, 'abc') FROM collate_test1 ORDER BY 2;
 113 SELECT a, nullif(b, 'abc') FROM collate_test2 ORDER BY 2;
 114 SELECT a, lower(nullif(x, 'foo')), lower(nullif(y, 'foo')) FROM collate_test10;
 115
 116 SELECT a, CASE b WHEN 'abc' THEN 'abcd' ELSE b END FROM collate_test1 ORDER BY 2;
 117 SELECT a, CASE b WHEN 'abc' THEN 'abcd' ELSE b END FROM collate_test2 ORDER BY 2;
 118
 119 CREATE DOMAIN testdomain AS text;
 120 SELECT a, b::testdomain FROM collate_test1 ORDER BY 2;
 121 SELECT a, b::testdomain FROM collate_test2 ORDER BY 2;
 122 SELECT a, b::testdomain_p FROM collate_test2 ORDER BY 2;
 123 SELECT a, lower(x::testdomain), lower(y::testdomain) FROM collate_test10;
 124
 125 SELECT min(b), max(b) FROM collate_test1;
 126 SELECT min(b), max(b) FROM collate_test2;
 127
 128 SELECT array_agg(b ORDER BY b) FROM collate_test1;
 129 SELECT array_agg(b ORDER BY b) FROM collate_test2;
 130
 131 SELECT a, b FROM collate_test1 UNION ALL SELECT a, b FROM collate_test1 ORDER BY 2;
 132 SELECT a, b FROM collate_test2 UNION SELECT a, b FROM collate_test2 ORDER BY 2;
 133 SELECT a, b FROM collate_test2 WHERE a < 4 INTERSECT SELECT a, b FROM collate_test2 WHERE a > 1 ORDER BY 2;
 134 SELECT a, b FROM collate_test2 EXCEPT SELECT a, b FROM collate_test2 WHERE a < 2 ORDER BY 2;
 135
 136 SELECT a, b FROM collate_test1 UNION ALL SELECT a, b FROM collate_test2 ORDER BY 2; -- fail
 137 SELECT a, b FROM collate_test1 UNION ALL SELECT a, b FROM collate_test2; -- ok
 138 SELECT a, b FROM collate_test1 UNION SELECT a, b FROM collate_test2 ORDER BY 2; -- fail
 139 SELECT a, b COLLATE "C" FROM collate_test1 UNION SELECT a, b FROM collate_test2 ORDER BY 2; -- ok
 140 SELECT a, b FROM collate_test1 INTERSECT SELECT a, b FROM collate_test2 ORDER BY 2; -- fail
 141 SELECT a, b FROM collate_test1 EXCEPT SELECT a, b FROM collate_test2 ORDER BY 2; -- fail
 142
 143 CREATE TABLE test_u AS SELECT a, b FROM collate_test1 UNION ALL SELECT a, b FROM collate_test2; -- fail
 144
 145 -- ideally this would be a parse-time error, but for now it must be run-time:
 146 select x < y from collate_test10; -- fail
 147 select x || y from collate_test10; -- ok, because || is not collation aware
 148 select x, y from collate_test10 order by x || y; -- not so ok
 149
 150 -- collation mismatch between recursive and non-recursive term
 151 WITH RECURSIVE foo(x) AS
 152    (SELECT x FROM (VALUES('a' COLLATE "C"),('b')) t(x)
 153    UNION ALL
 154    SELECT (x || 'c') COLLATE "POSIX" FROM foo WHERE length(x) < 10)
 155 SELECT * FROM foo;
 156
 157 SELECT a, b, a < b as lt FROM
 158   (VALUES ('a', 'B'), ('A', 'b' COLLATE "C")) v(a,b);
 159
 160
 161 -- casting
 162
 163 SELECT CAST('42' AS text COLLATE "C");
 164
 165 SELECT a, CAST(b AS varchar) FROM collate_test1 ORDER BY 2;
 166 SELECT a, CAST(b AS varchar) FROM collate_test2 ORDER BY 2;
 167
 168
 169 -- polymorphism
 170
 171 SELECT * FROM unnest((SELECT array_agg(b ORDER BY b) FROM collate_test1)) ORDER BY 1;
 172 SELECT * FROM unnest((SELECT array_agg(b ORDER BY b) FROM collate_test2)) ORDER BY 1;
 173
 174 CREATE FUNCTION dup (anyelement) RETURNS anyelement
 175     AS 'select $1' LANGUAGE sql;
 176
 177 SELECT a, dup(b) FROM collate_test1 ORDER BY 2;
 178 SELECT a, dup(b) FROM collate_test2 ORDER BY 2;
 179
 180
 181 -- indexes
 182
 183 CREATE INDEX collate_test1_idx1 ON collate_test1 (b);
 184 CREATE INDEX collate_test1_idx2 ON collate_test1 (b COLLATE "POSIX");
 185 CREATE INDEX collate_test1_idx3 ON collate_test1 ((b COLLATE "POSIX")); -- this is different grammatically
 186 CREATE INDEX collate_test1_idx4 ON collate_test1 (((b||'foo') COLLATE "POSIX"));
 187
 188 CREATE INDEX collate_test1_idx5 ON collate_test1 (a COLLATE "POSIX"); -- fail
 189 CREATE INDEX collate_test1_idx6 ON collate_test1 ((a COLLATE "POSIX")); -- fail
 190
 191 SELECT relname, pg_get_indexdef(oid) FROM pg_class WHERE relname LIKE 'collate_test%_idx%' ORDER BY 1;
 192
 193
 194 -- foreign keys
 195
 196 -- force indexes and mergejoins to be used for FK checking queries,
 197 -- else they might not exercise collation-dependent operators
 198 SET enable_seqscan TO 0;
 199 SET enable_hashjoin TO 0;
 200 SET enable_nestloop TO 0;
 201
 202 CREATE TABLE collate_test20 (f1 text COLLATE "C" PRIMARY KEY);
 203 INSERT INTO collate_test20 VALUES ('foo'), ('bar');
 204 CREATE TABLE collate_test21 (f2 text COLLATE "POSIX" REFERENCES collate_test20);
 205 INSERT INTO collate_test21 VALUES ('foo'), ('bar');
 206 INSERT INTO collate_test21 VALUES ('baz'); -- fail
 207 CREATE TABLE collate_test22 (f2 text COLLATE "POSIX");
 208 INSERT INTO collate_test22 VALUES ('foo'), ('bar'), ('baz');
 209 ALTER TABLE collate_test22 ADD FOREIGN KEY (f2) REFERENCES collate_test20; -- fail
 210 DELETE FROM collate_test22 WHERE f2 = 'baz';
 211 ALTER TABLE collate_test22 ADD FOREIGN KEY (f2) REFERENCES collate_test20;
 212
 213 RESET enable_seqscan;
 214 RESET enable_hashjoin;
 215 RESET enable_nestloop;
 216
 217 --
 218 -- Clean up.  Many of these table names will be re-used if the user is
 219 -- trying to run any platform-specific collation tests later, so we
 220 -- must get rid of them.
 221 --
 222 DROP SCHEMA collate_tests CASCADE;