granicus.if.org Git - postgresql/blob - src/test/regress/sql/join.sql

   1 --
   2 -- JOIN
   3 -- Test JOIN clauses
   4 --
   5
   6 CREATE TABLE J1_TBL (
   7   i integer,
   8   j integer,
   9   t text
  10 );
  11
  12 CREATE TABLE J2_TBL (
  13   i integer,
  14   k integer
  15 );
  16
  17
  18 INSERT INTO J1_TBL VALUES (1, 4, 'one');
  19 INSERT INTO J1_TBL VALUES (2, 3, 'two');
  20 INSERT INTO J1_TBL VALUES (3, 2, 'three');
  21 INSERT INTO J1_TBL VALUES (4, 1, 'four');
  22 INSERT INTO J1_TBL VALUES (5, 0, 'five');
  23 INSERT INTO J1_TBL VALUES (6, 6, 'six');
  24 INSERT INTO J1_TBL VALUES (7, 7, 'seven');
  25 INSERT INTO J1_TBL VALUES (8, 8, 'eight');
  26 INSERT INTO J1_TBL VALUES (0, NULL, 'zero');
  27 INSERT INTO J1_TBL VALUES (NULL, NULL, 'null');
  28 INSERT INTO J1_TBL VALUES (NULL, 0, 'zero');
  29
  30 INSERT INTO J2_TBL VALUES (1, -1);
  31 INSERT INTO J2_TBL VALUES (2, 2);
  32 INSERT INTO J2_TBL VALUES (3, -3);
  33 INSERT INTO J2_TBL VALUES (2, 4);
  34 INSERT INTO J2_TBL VALUES (5, -5);
  35 INSERT INTO J2_TBL VALUES (5, -5);
  36 INSERT INTO J2_TBL VALUES (0, NULL);
  37 INSERT INTO J2_TBL VALUES (NULL, NULL);
  38 INSERT INTO J2_TBL VALUES (NULL, 0);
  39
  40 --
  41 -- CORRELATION NAMES
  42 -- Make sure that table/column aliases are supported
  43 -- before diving into more complex join syntax.
  44 --
  45
  46 SELECT '' AS "xxx", *
  47   FROM J1_TBL AS tx;
  48
  49 SELECT '' AS "xxx", *
  50   FROM J1_TBL tx;
  51
  52 SELECT '' AS "xxx", *
  53   FROM J1_TBL AS t1 (a, b, c);
  54
  55 SELECT '' AS "xxx", *
  56   FROM J1_TBL t1 (a, b, c);
  57
  58 SELECT '' AS "xxx", *
  59   FROM J1_TBL t1 (a, b, c), J2_TBL t2 (d, e);
  60
  61 SELECT '' AS "xxx", t1.a, t2.e
  62   FROM J1_TBL t1 (a, b, c), J2_TBL t2 (d, e)
  63   WHERE t1.a = t2.d;
  64
  65
  66 --
  67 -- CROSS JOIN
  68 -- Qualifications are not allowed on cross joins,
  69 -- which degenerate into a standard unqualified inner join.
  70 --
  71
  72 SELECT '' AS "xxx", *
  73   FROM J1_TBL CROSS JOIN J2_TBL;
  74
  75 -- ambiguous column
  76 SELECT '' AS "xxx", i, k, t
  77   FROM J1_TBL CROSS JOIN J2_TBL;
  78
  79 -- resolve previous ambiguity by specifying the table name
  80 SELECT '' AS "xxx", t1.i, k, t
  81   FROM J1_TBL t1 CROSS JOIN J2_TBL t2;
  82
  83 SELECT '' AS "xxx", ii, tt, kk
  84   FROM (J1_TBL CROSS JOIN J2_TBL)
  85     AS tx (ii, jj, tt, ii2, kk);
  86
  87 SELECT '' AS "xxx", tx.ii, tx.jj, tx.kk
  88   FROM (J1_TBL t1 (a, b, c) CROSS JOIN J2_TBL t2 (d, e))
  89     AS tx (ii, jj, tt, ii2, kk);
  90
  91 SELECT '' AS "xxx", *
  92   FROM J1_TBL CROSS JOIN J2_TBL a CROSS JOIN J2_TBL b;
  93
  94
  95 --
  96 --
  97 -- Inner joins (equi-joins)
  98 --
  99 --
 100
 101 --
 102 -- Inner joins (equi-joins) with USING clause
 103 -- The USING syntax changes the shape of the resulting table
 104 -- by including a column in the USING clause only once in the result.
 105 --
 106
 107 -- Inner equi-join on specified column
 108 SELECT '' AS "xxx", *
 109   FROM J1_TBL INNER JOIN J2_TBL USING (i);
 110
 111 -- Same as above, slightly different syntax
 112 SELECT '' AS "xxx", *
 113   FROM J1_TBL JOIN J2_TBL USING (i);
 114
 115 SELECT '' AS "xxx", *
 116   FROM J1_TBL t1 (a, b, c) JOIN J2_TBL t2 (a, d) USING (a)
 117   ORDER BY a, d;
 118
 119 SELECT '' AS "xxx", *
 120   FROM J1_TBL t1 (a, b, c) JOIN J2_TBL t2 (a, b) USING (b)
 121   ORDER BY b, t1.a;
 122
 123
 124 --
 125 -- NATURAL JOIN
 126 -- Inner equi-join on all columns with the same name
 127 --
 128
 129 SELECT '' AS "xxx", *
 130   FROM J1_TBL NATURAL JOIN J2_TBL;
 131
 132 SELECT '' AS "xxx", *
 133   FROM J1_TBL t1 (a, b, c) NATURAL JOIN J2_TBL t2 (a, d);
 134
 135 SELECT '' AS "xxx", *
 136   FROM J1_TBL t1 (a, b, c) NATURAL JOIN J2_TBL t2 (d, a);
 137
 138 -- mismatch number of columns
 139 -- currently, Postgres will fill in with underlying names
 140 SELECT '' AS "xxx", *
 141   FROM J1_TBL t1 (a, b) NATURAL JOIN J2_TBL t2 (a);
 142
 143
 144 --
 145 -- Inner joins (equi-joins)
 146 --
 147
 148 SELECT '' AS "xxx", *
 149   FROM J1_TBL JOIN J2_TBL ON (J1_TBL.i = J2_TBL.i);
 150
 151 SELECT '' AS "xxx", *
 152   FROM J1_TBL JOIN J2_TBL ON (J1_TBL.i = J2_TBL.k);
 153
 154
 155 --
 156 -- Non-equi-joins
 157 --
 158
 159 SELECT '' AS "xxx", *
 160   FROM J1_TBL JOIN J2_TBL ON (J1_TBL.i <= J2_TBL.k);
 161
 162
 163 --
 164 -- Outer joins
 165 -- Note that OUTER is a noise word
 166 --
 167
 168 SELECT '' AS "xxx", *
 169   FROM J1_TBL LEFT OUTER JOIN J2_TBL USING (i)
 170   ORDER BY i, k;
 171
 172 SELECT '' AS "xxx", *
 173   FROM J1_TBL LEFT JOIN J2_TBL USING (i)
 174   ORDER BY i, k;
 175
 176 SELECT '' AS "xxx", *
 177   FROM J1_TBL RIGHT OUTER JOIN J2_TBL USING (i);
 178
 179 SELECT '' AS "xxx", *
 180   FROM J1_TBL RIGHT JOIN J2_TBL USING (i);
 181
 182 SELECT '' AS "xxx", *
 183   FROM J1_TBL FULL OUTER JOIN J2_TBL USING (i)
 184   ORDER BY i, k;
 185
 186 SELECT '' AS "xxx", *
 187   FROM J1_TBL FULL JOIN J2_TBL USING (i)
 188   ORDER BY i, k;
 189
 190 SELECT '' AS "xxx", *
 191   FROM J1_TBL LEFT JOIN J2_TBL USING (i) WHERE (k = 1);
 192
 193 SELECT '' AS "xxx", *
 194   FROM J1_TBL LEFT JOIN J2_TBL USING (i) WHERE (i = 1);
 195
 196
 197 --
 198 -- More complicated constructs
 199 --
 200
 201 -- UNION JOIN isn't implemented yet
 202 SELECT '' AS "xxx", *
 203   FROM J1_TBL UNION JOIN J2_TBL;
 204
 205 --
 206 -- Multiway full join
 207 --
 208
 209 CREATE TABLE t1 (name TEXT, n INTEGER);
 210 CREATE TABLE t2 (name TEXT, n INTEGER);
 211 CREATE TABLE t3 (name TEXT, n INTEGER);
 212
 213 INSERT INTO t1 VALUES ( 'aa', 11 );
 214 INSERT INTO t2 VALUES ( 'aa', 12 );
 215 INSERT INTO t2 VALUES ( 'bb', 22 );
 216 INSERT INTO t2 VALUES ( 'dd', 42 );
 217 INSERT INTO t3 VALUES ( 'aa', 13 );
 218 INSERT INTO t3 VALUES ( 'bb', 23 );
 219 INSERT INTO t3 VALUES ( 'cc', 33 );
 220
 221 SELECT * FROM t1 FULL JOIN t2 USING (name) FULL JOIN t3 USING (name);
 222
 223 --
 224 -- Test interactions of join syntax and subqueries
 225 --
 226
 227 -- Basic cases (we expect planner to pull up the subquery here)
 228 SELECT * FROM
 229 (SELECT * FROM t2) as s2
 230 INNER JOIN
 231 (SELECT * FROM t3) s3
 232 USING (name);
 233
 234 SELECT * FROM
 235 (SELECT * FROM t2) as s2
 236 LEFT JOIN
 237 (SELECT * FROM t3) s3
 238 USING (name);
 239
 240 SELECT * FROM
 241 (SELECT * FROM t2) as s2
 242 FULL JOIN
 243 (SELECT * FROM t3) s3
 244 USING (name);
 245
 246 -- Cases with non-nullable expressions in subquery results;
 247 -- make sure these go to null as expected
 248 SELECT * FROM
 249 (SELECT name, n as s2_n, 2 as s2_2 FROM t2) as s2
 250 NATURAL INNER JOIN
 251 (SELECT name, n as s3_n, 3 as s3_2 FROM t3) s3;
 252
 253 SELECT * FROM
 254 (SELECT name, n as s2_n, 2 as s2_2 FROM t2) as s2
 255 NATURAL LEFT JOIN
 256 (SELECT name, n as s3_n, 3 as s3_2 FROM t3) s3;
 257
 258 SELECT * FROM
 259 (SELECT name, n as s2_n, 2 as s2_2 FROM t2) as s2
 260 NATURAL FULL JOIN
 261 (SELECT name, n as s3_n, 3 as s3_2 FROM t3) s3;
 262
 263 SELECT * FROM
 264 (SELECT name, n as s1_n, 1 as s1_1 FROM t1) as s1
 265 NATURAL INNER JOIN
 266 (SELECT name, n as s2_n, 2 as s2_2 FROM t2) as s2
 267 NATURAL INNER JOIN
 268 (SELECT name, n as s3_n, 3 as s3_2 FROM t3) s3;
 269
 270 SELECT * FROM
 271 (SELECT name, n as s1_n, 1 as s1_1 FROM t1) as s1
 272 NATURAL FULL JOIN
 273 (SELECT name, n as s2_n, 2 as s2_2 FROM t2) as s2
 274 NATURAL FULL JOIN
 275 (SELECT name, n as s3_n, 3 as s3_2 FROM t3) s3;
 276
 277 SELECT * FROM
 278 (SELECT name, n as s1_n FROM t1) as s1
 279 NATURAL FULL JOIN
 280   (SELECT * FROM
 281     (SELECT name, n as s2_n FROM t2) as s2
 282     NATURAL FULL JOIN
 283     (SELECT name, n as s3_n FROM t3) as s3
 284   ) ss2;
 285
 286 SELECT * FROM
 287 (SELECT name, n as s1_n FROM t1) as s1
 288 NATURAL FULL JOIN
 289   (SELECT * FROM
 290     (SELECT name, n as s2_n, 2 as s2_2 FROM t2) as s2
 291     NATURAL FULL JOIN
 292     (SELECT name, n as s3_n FROM t3) as s3
 293   ) ss2;
 294
 295
 296 -- Test for propagation of nullability constraints into sub-joins
 297
 298 create temp table x (x1 int, x2 int);
 299 insert into x values (1,11);
 300 insert into x values (2,22);
 301 insert into x values (3,null);
 302 insert into x values (4,44);
 303 insert into x values (5,null);
 304
 305 create temp table y (y1 int, y2 int);
 306 insert into y values (1,111);
 307 insert into y values (2,222);
 308 insert into y values (3,333);
 309 insert into y values (4,null);
 310
 311 select * from x;
 312 select * from y;
 313
 314 select * from x left join y on (x1 = y1 and x2 is not null);
 315 select * from x left join y on (x1 = y1 and y2 is not null);
 316
 317 select * from (x left join y on (x1 = y1)) left join x xx(xx1,xx2)
 318 on (x1 = xx1);
 319 select * from (x left join y on (x1 = y1)) left join x xx(xx1,xx2)
 320 on (x1 = xx1 and x2 is not null);
 321 select * from (x left join y on (x1 = y1)) left join x xx(xx1,xx2)
 322 on (x1 = xx1 and y2 is not null);
 323 select * from (x left join y on (x1 = y1)) left join x xx(xx1,xx2)
 324 on (x1 = xx1 and xx2 is not null);
 325 -- these should NOT give the same answers as above
 326 select * from (x left join y on (x1 = y1)) left join x xx(xx1,xx2)
 327 on (x1 = xx1) where (x2 is not null);
 328 select * from (x left join y on (x1 = y1)) left join x xx(xx1,xx2)
 329 on (x1 = xx1) where (y2 is not null);
 330 select * from (x left join y on (x1 = y1)) left join x xx(xx1,xx2)
 331 on (x1 = xx1) where (xx2 is not null);
 332
 333 --
 334 -- regression test: check for bug with propagation of implied equality
 335 -- to outside an IN
 336 --
 337 select count(*) from tenk1 a where unique1 in
 338   (select unique1 from tenk1 b join tenk1 c using (unique1)
 339    where b.unique2 = 42);
 340
 341
 342 --
 343 -- Clean up
 344 --
 345
 346 DROP TABLE t1;
 347 DROP TABLE t2;
 348 DROP TABLE t3;
 349
 350 DROP TABLE J1_TBL;
 351 DROP TABLE J2_TBL;