sql/ut-S.sql

   1 LOAD 'pg_hint_plan';
   2 SET pg_hint_plan.enable TO on;
   3 SET pg_hint_plan.debug_print TO on;
   4 SET client_min_messages TO LOG;
   5 SET search_path TO public;
   6
   7 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 >= 1;
   8 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 = 1;
   9 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c3 < 10;
  10 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 = 1 AND t1.ctid = '(1,1)';
  11
  12 ----
  13 ---- No. S-1-1 specified pattern of the object name
  14 ----
  15
  16 -- No. S-1-1-1
  17 /*+SeqScan(t1)*/
  18 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 = 1;
  19
  20 -- No. S-1-1-2
  21 /*+SeqScan(t1)*/
  22 EXPLAIN (COSTS false) SELECT * FROM s1.t1 t_1 WHERE t_1.c1 = 1;
  23
  24 -- No. S-1-1-3
  25 /*+SeqScan(t_1)*/
  26 EXPLAIN (COSTS false) SELECT * FROM s1.t1 t_1 WHERE t_1.c1 = 1;
  27
  28 ----
  29 ---- No. S-1-2 specified schema name in the hint option
  30 ----
  31
  32 -- No. S-1-2-1
  33 /*+SeqScan(t1)*/
  34 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 = 1;
  35
  36 -- No. S-1-2-2
  37 /*+SeqScan(s1.t1)*/
  38 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 = 1;
  39
  40 ----
  41 ---- No. S-1-3 table doesn't exist in the hint option
  42 ----
  43
  44 -- No. S-1-3-1
  45 /*+SeqScan(t1)*/
  46 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 = 1;
  47
  48 -- No. S-1-3-2
  49 /*+SeqScan(t2)*/
  50 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 = 1;
  51
  52 ----
  53 ---- No. S-1-4 conflict table name
  54 ----
  55
  56 -- No. S-1-4-1
  57 EXPLAIN (COSTS false) SELECT * FROM s1.t1, s1.t2 WHERE t1.c1 = 1 AND t1.c1 = t2.c1;
  58 /*+SeqScan(t1)*/
  59 EXPLAIN (COSTS false) SELECT * FROM s1.t1, s1.t2 WHERE t1.c1 = 1 AND t1.c1 = t2.c1;
  60
  61 -- No. S-1-4-2
  62 EXPLAIN (COSTS false) SELECT * FROM s1.t1, s2.t1 WHERE s1.t1.c1 = 1 AND s1.t1.c1 = s2.t1.c1;
  63 /*+BitmapScan(t1)*/
  64 EXPLAIN (COSTS false) SELECT * FROM s1.t1, s2.t1 WHERE s1.t1.c1 = 1 AND s1.t1.c1 = s2.t1.c1;
  65
  66 /*+BitmapScan(t1)*/
  67 EXPLAIN (COSTS false) SELECT * FROM s1.t1, s2.t1 s2t1 WHERE s1.t1.c1 = 1 AND s1.t1.c1 = s2t1.c1;
  68 /*+BitmapScan(s2t1)*/
  69 EXPLAIN (COSTS false) SELECT * FROM s1.t1, s2.t1 s2t1 WHERE s1.t1.c1 = 1 AND s1.t1.c1 = s2t1.c1;
  70
  71 -- No. S-1-4-3
  72 EXPLAIN (COSTS false) SELECT (SELECT max(c1) FROM s1.t1 WHERE s1.t1.c1 = 1) FROM s1.t1 WHERE s1.t1.c1 = 1;
  73 /*+BitmapScan(t1)*/
  74 EXPLAIN (COSTS false) SELECT (SELECT max(c1) FROM s1.t1 WHERE s1.t1.c1 = 1) FROM s1.t1 WHERE s1.t1.c1 = 1;
  75
  76 /*+BitmapScan(t11)*/
  77 EXPLAIN (COSTS false) SELECT (SELECT max(c1) FROM s1.t1 t11 WHERE t11.c1 = 1) FROM s1.t1 t12 WHERE t12.c1 = 1;
  78 /*+BitmapScan(t12)*/
  79 EXPLAIN (COSTS false) SELECT (SELECT max(c1) FROM s1.t1 t11 WHERE t11.c1 = 1) FROM s1.t1 t12 WHERE t12.c1 = 1;
  80
  81 ----
  82 ---- No. S-1-5 object type for the hint
  83 ----
  84
  85 -- No. S-1-5-1
  86 /*+SeqScan(t1)*/
  87 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 = 1;
  88
  89 -- No. S-1-5-2
  90 EXPLAIN (COSTS false) SELECT * FROM s1.p1 WHERE p1.c1 = 1;
  91 /*+IndexScan(p1)*/
  92 EXPLAIN (COSTS false) SELECT * FROM s1.p1 WHERE p1.c1 = 1;
  93
  94 -- No. S-1-5-3
  95 EXPLAIN (COSTS false) SELECT * FROM s1.ul1 WHERE ul1.c1 = 1;
  96 /*+SeqScan(ul1)*/
  97 EXPLAIN (COSTS false) SELECT * FROM s1.ul1 WHERE ul1.c1 = 1;
  98
  99 -- No. S-1-5-4
 100 CREATE TEMP TABLE tm1 (LIKE s1.t1 INCLUDING ALL);
 101 EXPLAIN (COSTS false) SELECT * FROM tm1 WHERE tm1.c1 = 1;
 102 /*+SeqScan(tm1)*/
 103 EXPLAIN (COSTS false) SELECT * FROM tm1 WHERE tm1.c1 = 1;
 104
 105 -- No. S-1-5-5
 106 EXPLAIN (COSTS false) SELECT * FROM pg_catalog.pg_class WHERE oid = 1;
 107 /*+SeqScan(pg_class)*/
 108 EXPLAIN (COSTS false) SELECT * FROM pg_catalog.pg_class WHERE oid = 1;
 109
 110 -- No. S-1-5-6
 111 -- refer fdw.sql
 112
 113 -- No. S-1-5-7
 114 EXPLAIN (COSTS false) SELECT * FROM s1.f1() AS ft1 WHERE ft1.c1 = 1;
 115 /*+SeqScan(ft1)*/
 116 EXPLAIN (COSTS false) SELECT * FROM s1.f1() AS ft1 WHERE ft1.c1 = 1;
 117
 118 -- No. S-1-5-8
 119 EXPLAIN (COSTS false) SELECT * FROM (VALUES(1,1,1,'1'), (2,2,2,'2'), (3,3,3,'3')) AS val1 (c1, c2, c3, c4) WHERE val1.c1 = 1;
 120 /*+SeqScan(val1)*/
 121 EXPLAIN (COSTS false) SELECT * FROM (VALUES(1,1,1,'1'), (2,2,2,'2'), (3,3,3,'3')) AS val1 (c1, c2, c3, c4) WHERE val1.c1 = 1;
 122 /*+SeqScan(*VALUES*)*/
 123 EXPLAIN (COSTS false) SELECT * FROM (VALUES(1,1,1,'1'), (2,2,2,'2'), (3,3,3,'3')) AS val1 (c1, c2, c3, c4) WHERE val1.c1 = 1;
 124
 125 -- No. S-1-5-9
 126 EXPLAIN (COSTS false) WITH c1(c1) AS (SELECT max(c1) FROM s1.t1 WHERE t1.c1 = 1)
 127 SELECT * FROM s1.t1, c1 WHERE t1.c1 = 1 AND t1.c1 = c1.c1;
 128 /*+SeqScan(c1)*/
 129 EXPLAIN (COSTS false) WITH c1(c1) AS (SELECT max(c1) FROM s1.t1 WHERE t1.c1 = 1)
 130 SELECT * FROM s1.t1, c1 WHERE t1.c1 = 1 AND t1.c1 = c1.c1;
 131
 132 -- No. S-1-5-10
 133 EXPLAIN (COSTS false) SELECT * FROM s1.v1 WHERE v1.c1 = 1;
 134 /*+SeqScan(v1)*/
 135 EXPLAIN (COSTS false) SELECT * FROM s1.v1 WHERE v1.c1 = 1;
 136
 137 -- No. S-1-5-11
 138 EXPLAIN (COSTS false) SELECT * FROM (SELECT * FROM s1.t1 WHERE t1.c1 = 1) AS s1 WHERE s1.c1 = 1;
 139 /*+SeqScan(s1)*/
 140 EXPLAIN (COSTS false) SELECT * FROM (SELECT * FROM s1.t1 WHERE t1.c1 = 1) AS s1 WHERE s1.c1 = 1;
 141
 142
 143 ----
 144 ---- No. S-2-1 complexity query block
 145 ----
 146
 147 -- No. S-2-1-1
 148 EXPLAIN (COSTS false)
 149 SELECT max(bmt1.c1), (
 150 SELECT max(b1t1.c1) FROM s1.t1 b1t1, s1.t2 b1t2, s1.t3 b1t3, s1.t4 b1t4 WHERE b1t1.c1 = b1t2.c1 AND b1t1.c1 = b1t3.c1 AND b1t1.c1 = b1t4.c1
 151 )
 152                     FROM s1.t1 bmt1, s1.t2 bmt2, s1.t3 bmt3, s1.t4 bmt4 WHERE bmt1.c1 = bmt2.c1 AND bmt1.c1 = bmt3.c1 AND bmt1.c1 = bmt4.c1
 153 ;
 154 /*+BitmapScan(bmt1)BitmapScan(bmt2)BitmapScan(bmt3)BitmapScan(bmt4)
 155 BitmapScan(b1t1)BitmapScan(b1t2)BitmapScan(b1t3)BitmapScan(b1t4)*/
 156 EXPLAIN (COSTS false)
 157 SELECT max(bmt1.c1), (
 158 SELECT max(b1t1.c1) FROM s1.t1 b1t1, s1.t2 b1t2, s1.t3 b1t3, s1.t4 b1t4 WHERE b1t1.c1 = b1t2.c1 AND b1t1.c1 = b1t3.c1 AND b1t1.c1 = b1t4.c1
 159 )
 160                     FROM s1.t1 bmt1, s1.t2 bmt2, s1.t3 bmt3, s1.t4 bmt4 WHERE bmt1.c1 = bmt2.c1 AND bmt1.c1 = bmt3.c1 AND bmt1.c1 = bmt4.c1
 161 ;
 162
 163 -- No. S-2-1-2
 164 EXPLAIN (COSTS false)
 165 SELECT max(bmt1.c1), (
 166 SELECT max(b1t1.c1) FROM s1.t1 b1t1, s1.t2 b1t2, s1.t3 b1t3, s1.t4 b1t4 WHERE b1t1.c1 = b1t2.c1 AND b1t1.c1 = b1t3.c1 AND b1t1.c1 = b1t4.c1
 167 ), (
 168 SELECT max(b2t1.c1) FROM s1.t1 b2t1, s1.t2 b2t2, s1.t3 b2t3, s1.t4 b2t4 WHERE b2t1.c1 = b2t2.c1 AND b2t1.c1 = b2t3.c1 AND b2t1.c1 = b2t4.c1
 169 )
 170                     FROM s1.t1 bmt1, s1.t2 bmt2, s1.t3 bmt3, s1.t4 bmt4 WHERE bmt1.c1 = bmt2.c1 AND bmt1.c1 = bmt3.c1 AND bmt1.c1 = bmt4.c1
 171 ;
 172 /*+BitmapScan(bmt1)BitmapScan(bmt2)BitmapScan(bmt3)BitmapScan(bmt4)
 173 BitmapScan(b1t1)BitmapScan(b1t2)BitmapScan(b1t3)BitmapScan(b1t4)
 174 BitmapScan(b2t1)BitmapScan(b2t2)BitmapScan(b2t3)BitmapScan(b2t4)*/
 175 EXPLAIN (COSTS false)
 176 SELECT max(bmt1.c1), (
 177 SELECT max(b1t1.c1) FROM s1.t1 b1t1, s1.t2 b1t2, s1.t3 b1t3, s1.t4 b1t4 WHERE b1t1.c1 = b1t2.c1 AND b1t1.c1 = b1t3.c1 AND b1t1.c1 = b1t4.c1
 178 ), (
 179 SELECT max(b2t1.c1) FROM s1.t1 b2t1, s1.t2 b2t2, s1.t3 b2t3, s1.t4 b2t4 WHERE b2t1.c1 = b2t2.c1 AND b2t1.c1 = b2t3.c1 AND b2t1.c1 = b2t4.c1
 180 )
 181                     FROM s1.t1 bmt1, s1.t2 bmt2, s1.t3 bmt3, s1.t4 bmt4 WHERE bmt1.c1 = bmt2.c1 AND bmt1.c1 = bmt3.c1 AND bmt1.c1 = bmt4.c1
 182 ;
 183
 184 -- No. S-2-1-3
 185 EXPLAIN (COSTS false) SELECT max(bmt1.c1) FROM s1.t1 bmt1, s1.t2 bmt2, s1.t3 bmt3, (SELECT * FROM s1.t4 bmt4) sbmt4 WHERE bmt1.c1 = bmt2.c1 AND bmt1.c1 = bmt3.c1 AND bmt1.c1 = sbmt4.c1;
 186 /*+BitmapScan(bmt1)BitmapScan(bmt2)BitmapScan(bmt3)BitmapScan(bmt4)*/
 187 EXPLAIN (COSTS false) SELECT max(bmt1.c1) FROM s1.t1 bmt1, s1.t2 bmt2, s1.t3 bmt3, (SELECT * FROM s1.t4 bmt4) sbmt4 WHERE bmt1.c1 = bmt2.c1 AND bmt1.c1 = bmt3.c1 AND bmt1.c1 = sbmt4.c1;
 188
 189 -- No. S-2-1-4
 190 EXPLAIN (COSTS false) SELECT max(bmt1.c1) FROM s1.t1 bmt1, s1.t2 bmt2, (SELECT * FROM s1.t3 bmt3) sbmt3, (SELECT * FROM s1.t4 bmt4) sbmt4 WHERE bmt1.c1 = bmt2.c1 AND bmt1.c1 = sbmt3.c1 AND bmt1.c1 = sbmt4.c1;
 191 /*+BitmapScan(bmt1)BitmapScan(bmt2)BitmapScan(bmt3)BitmapScan(bmt4)*/
 192 EXPLAIN (COSTS false) SELECT max(bmt1.c1) FROM s1.t1 bmt1, s1.t2 bmt2, (SELECT * FROM s1.t3 bmt3) sbmt3, (SELECT * FROM s1.t4 bmt4) sbmt4 WHERE bmt1.c1 = bmt2.c1 AND bmt1.c1 = sbmt3.c1 AND bmt1.c1 = sbmt4.c1;
 193
 194 -- No. S-2-1-5
 195 EXPLAIN (COSTS false)
 196 SELECT max(bmt1.c1) FROM s1.t1 bmt1, s1.t2 bmt2, s1.t3 bmt3, s1.t4 bmt4 WHERE bmt1.c1 = bmt2.c1 AND bmt1.c1 = bmt3.c1 AND bmt1.c1 = bmt4.c1
 197   AND bmt1.c1 <> (
 198 SELECT max(b1t1.c1) FROM s1.t1 b1t1, s1.t2 b1t2, s1.t3 b1t3, s1.t4 b1t4 WHERE b1t1.c1 = b1t2.c1 AND b1t1.c1 = b1t3.c1 AND b1t1.c1 = b1t4.c1
 199 )
 200 ;
 201 /*+BitmapScan(bmt1)BitmapScan(bmt2)BitmapScan(bmt3)BitmapScan(bmt4)
 202 BitmapScan(b1t1)BitmapScan(b1t2)BitmapScan(b1t3)BitmapScan(b1t4)*/
 203 EXPLAIN (COSTS false)
 204 SELECT max(bmt1.c1) FROM s1.t1 bmt1, s1.t2 bmt2, s1.t3 bmt3, s1.t4 bmt4 WHERE bmt1.c1 = bmt2.c1 AND bmt1.c1 = bmt3.c1 AND bmt1.c1 = bmt4.c1
 205   AND bmt1.c1 <> (
 206 SELECT max(b1t1.c1) FROM s1.t1 b1t1, s1.t2 b1t2, s1.t3 b1t3, s1.t4 b1t4 WHERE b1t1.c1 = b1t2.c1 AND b1t1.c1 = b1t3.c1 AND b1t1.c1 = b1t4.c1
 207 )
 208 ;
 209
 210 -- No. S-2-1-6
 211 EXPLAIN (COSTS false)
 212 SELECT max(bmt1.c1) FROM s1.t1 bmt1, s1.t2 bmt2, s1.t3 bmt3, s1.t4 bmt4 WHERE bmt1.c1 = bmt2.c1 AND bmt1.c1 = bmt3.c1 AND bmt1.c1 = bmt4.c1
 213   AND bmt1.c1 <> (
 214 SELECT max(b1t1.c1) FROM s1.t1 b1t1, s1.t2 b1t2, s1.t3 b1t3, s1.t4 b1t4 WHERE b1t1.c1 = b1t2.c1 AND b1t1.c1 = b1t3.c1 AND b1t1.c1 = b1t4.c1
 215 ) AND bmt1.c1 <> (
 216 SELECT max(b2t1.c1) FROM s1.t1 b2t1, s1.t2 b2t2, s1.t3 b2t3, s1.t4 b2t4 WHERE b2t1.c1 = b2t2.c1 AND b2t1.c1 = b2t3.c1 AND b2t1.c1 = b2t4.c1
 217 )
 218 ;
 219 /*+BitmapScan(bmt1)BitmapScan(bmt2)BitmapScan(bmt3)BitmapScan(bmt4)
 220 BitmapScan(b1t1)BitmapScan(b1t2)BitmapScan(b1t3)BitmapScan(b1t4)
 221 BitmapScan(b2t1)BitmapScan(b2t2)BitmapScan(b2t3)BitmapScan(b2t4)*/
 222 EXPLAIN (COSTS false)
 223 SELECT max(bmt1.c1) FROM s1.t1 bmt1, s1.t2 bmt2, s1.t3 bmt3, s1.t4 bmt4 WHERE bmt1.c1 = bmt2.c1 AND bmt1.c1 = bmt3.c1 AND bmt1.c1 = bmt4.c1
 224   AND bmt1.c1 <> (
 225 SELECT max(b1t1.c1) FROM s1.t1 b1t1, s1.t2 b1t2, s1.t3 b1t3, s1.t4 b1t4 WHERE b1t1.c1 = b1t2.c1 AND b1t1.c1 = b1t3.c1 AND b1t1.c1 = b1t4.c1
 226 ) AND bmt1.c1 <> (
 227 SELECT max(b2t1.c1) FROM s1.t1 b2t1, s1.t2 b2t2, s1.t3 b2t3, s1.t4 b2t4 WHERE b2t1.c1 = b2t2.c1 AND b2t1.c1 = b2t3.c1 AND b2t1.c1 = b2t4.c1
 228 )
 229 ;
 230
 231 -- No. S-2-1-7
 232 EXPLAIN (COSTS false)
 233 WITH c1 (c1) AS (
 234 SELECT max(b1t1.c1) FROM s1.t1 b1t1, s1.t2 b1t2, s1.t3 b1t3, s1.t4 b1t4 WHERE b1t1.c1 = b1t2.c1 AND b1t1.c1 = b1t3.c1 AND b1t1.c1 = b1t4.c1
 235 )
 236 SELECT max(bmt1.c1) FROM s1.t1 bmt1, s1.t2 bmt2, s1.t3 bmt3, s1.t4 bmt4
 237 , c1
 238                                                                         WHERE bmt1.c1 = bmt2.c1 AND bmt1.c1 = bmt3.c1 AND bmt1.c1 = bmt4.c1
 239 AND bmt1.c1 = c1.c1
 240 ;
 241 /*+BitmapScan(bmt1)BitmapScan(bmt2)BitmapScan(bmt3)BitmapScan(bmt4)
 242 BitmapScan(b1t1)BitmapScan(b1t2)BitmapScan(b1t3)BitmapScan(b1t4)*/
 243 EXPLAIN (COSTS false)
 244 WITH c1 (c1) AS (
 245 SELECT max(b1t1.c1) FROM s1.t1 b1t1, s1.t2 b1t2, s1.t3 b1t3, s1.t4 b1t4 WHERE b1t1.c1 = b1t2.c1 AND b1t1.c1 = b1t3.c1 AND b1t1.c1 = b1t4.c1
 246 )
 247 SELECT max(bmt1.c1) FROM s1.t1 bmt1, s1.t2 bmt2, s1.t3 bmt3, s1.t4 bmt4
 248 , c1
 249                                                                         WHERE bmt1.c1 = bmt2.c1 AND bmt1.c1 = bmt3.c1 AND bmt1.c1 = bmt4.c1
 250 AND bmt1.c1 = c1.c1
 251 ;
 252
 253 -- No. S-2-1-8
 254 EXPLAIN (COSTS false)
 255 WITH c1 (c1) AS (
 256 SELECT max(b1t1.c1) FROM s1.t1 b1t1, s1.t2 b1t2, s1.t3 b1t3, s1.t4 b1t4 WHERE b1t1.c1 = b1t2.c1 AND b1t1.c1 = b1t3.c1 AND b1t1.c1 = b1t4.c1
 257 )
 258 , c2 (c1) AS (
 259 SELECT max(b2t1.c1) FROM s1.t1 b2t1, s1.t2 b2t2, s1.t3 b2t3, s1.t4 b2t4 WHERE b2t1.c1 = b2t2.c1 AND b2t1.c1 = b2t3.c1 AND b2t1.c1 = b2t4.c1
 260 )
 261 SELECT max(bmt1.c1) FROM s1.t1 bmt1, s1.t2 bmt2, s1.t3 bmt3, s1.t4 bmt4
 262 , c1, c2
 263                                                                         WHERE bmt1.c1 = bmt2.c1 AND bmt1.c1 = bmt3.c1 AND bmt1.c1 = bmt4.c1
 264 AND bmt1.c1 = c1.c1
 265 AND bmt1.c1 = c2.c1
 266 ;
 267 /*+BitmapScan(bmt1)BitmapScan(bmt2)BitmapScan(bmt3)BitmapScan(bmt4)
 268 BitmapScan(b1t1)BitmapScan(b1t2)BitmapScan(b1t3)BitmapScan(b1t4)
 269 BitmapScan(b2t1)BitmapScan(b2t2)BitmapScan(b2t3)BitmapScan(b2t4)*/
 270 EXPLAIN (COSTS false)
 271 WITH c1 (c1) AS (
 272 SELECT max(b1t1.c1) FROM s1.t1 b1t1, s1.t2 b1t2, s1.t3 b1t3, s1.t4 b1t4 WHERE b1t1.c1 = b1t2.c1 AND b1t1.c1 = b1t3.c1 AND b1t1.c1 = b1t4.c1
 273 )
 274 , c2 (c1) AS (
 275 SELECT max(b2t1.c1) FROM s1.t1 b2t1, s1.t2 b2t2, s1.t3 b2t3, s1.t4 b2t4 WHERE b2t1.c1 = b2t2.c1 AND b2t1.c1 = b2t3.c1 AND b2t1.c1 = b2t4.c1
 276 )
 277 SELECT max(bmt1.c1) FROM s1.t1 bmt1, s1.t2 bmt2, s1.t3 bmt3, s1.t4 bmt4
 278 , c1, c2
 279                                                                         WHERE bmt1.c1 = bmt2.c1 AND bmt1.c1 = bmt3.c1 AND bmt1.c1 = bmt4.c1
 280 AND bmt1.c1 = c1.c1
 281 AND bmt1.c1 = c2.c1
 282 ;
 283
 284 ----
 285 ---- No. S-2-2 the number of the tables per quiry block
 286 ----
 287
 288 -- No. S-2-2-1
 289 EXPLAIN (COSTS false)
 290 WITH c1 (c1) AS (
 291 SELECT max(b1t1.c1) FROM s1.t1 b1t1 WHERE b1t1.ctid = '(1,1)' AND b1t1.c1 = 1
 292 )
 293 SELECT max(bmt1.c1), (
 294 SELECT max(b2t1.c1) FROM s1.t1 b2t1 WHERE b2t1.ctid = '(1,1)' AND b2t1.c1 = 1
 295 )
 296                     FROM s1.t1 bmt1, c1 WHERE bmt1.ctid = '(1,1)' AND bmt1.c1 = 1
 297 AND bmt1.c1 <> (
 298 SELECT max(b3t1.c1) FROM s1.t1 b3t1 WHERE b3t1.ctid = '(1,1)' AND b3t1.c1 = 1
 299 )
 300 ;
 301 /*+SeqScan(bmt1)
 302 TidScan(b1t1)
 303 BitmapScan(b2t1 t1_i1)
 304 IndexScan(b3t1 t1_i1)
 305 */
 306 EXPLAIN (COSTS false)
 307 WITH c1 (c1) AS (
 308 SELECT max(b1t1.c1) FROM s1.t1 b1t1 WHERE b1t1.ctid = '(1,1)' AND b1t1.c1 = 1
 309 )
 310 SELECT max(bmt1.c1), (
 311 SELECT max(b2t1.c1) FROM s1.t1 b2t1 WHERE b2t1.ctid = '(1,1)' AND b2t1.c1 = 1
 312 )
 313                     FROM s1.t1 bmt1, c1 WHERE bmt1.ctid = '(1,1)' AND bmt1.c1 = 1
 314 AND bmt1.c1 <> (
 315 SELECT max(b3t1.c1) FROM s1.t1 b3t1 WHERE b3t1.ctid = '(1,1)' AND b3t1.c1 = 1
 316 )
 317 ;
 318
 319 -- No. S-2-2-2
 320 EXPLAIN (COSTS false)
 321 WITH c1 (c1) AS (
 322 SELECT max(b1t1.c1) FROM s1.t1 b1t1, s1.t2 b1t2 WHERE b1t1.ctid = '(1,1)' AND b1t1.c1 = b1t2.c1 AND b1t2.ctid = '(1,1)'
 323 )
 324 SELECT max(bmt1.c1), (
 325 SELECT max(b2t1.c1) FROM s1.t1 b2t1, s1.t2 b2t2 WHERE b2t1.ctid = '(1,1)' AND b2t1.c1 = b2t2.c1 AND b2t2.ctid = '(1,1)'
 326 )
 327                     FROM s1.t1 bmt1, s1.t2 bmt2, c1 WHERE bmt1.ctid = '(1,1)' AND bmt1.c1 = bmt2.c1 AND bmt2.ctid = '(1,1)'
 328 AND bmt1.c1 <> (
 329 SELECT max(b3t1.c1) FROM s1.t1 b3t1, s1.t2 b3t2 WHERE b3t1.ctid = '(1,1)' AND b3t1.c1 = b3t2.c1 AND b3t2.ctid = '(1,1)'
 330 )
 331 ;
 332 /*+SeqScan(bmt1)IndexScan(bmt2 t2_i1)
 333 TidScan(b1t1)SeqScan(b1t2)
 334 BitmapScan(b2t1 t1_i1)TidScan(b2t2)
 335 IndexScan(b3t1 t1_i1)BitmapScan(b3t2 t2_i1)
 336 */
 337 EXPLAIN (COSTS false)
 338 WITH c1 (c1) AS (
 339 SELECT max(b1t1.c1) FROM s1.t1 b1t1, s1.t2 b1t2 WHERE b1t1.ctid = '(1,1)' AND b1t1.c1 = b1t2.c1 AND b1t2.ctid = '(1,1)'
 340 )
 341 SELECT max(bmt1.c1), (
 342 SELECT max(b2t1.c1) FROM s1.t1 b2t1, s1.t2 b2t2 WHERE b2t1.ctid = '(1,1)' AND b2t1.c1 = b2t2.c1 AND b2t2.ctid = '(1,1)'
 343 )
 344                     FROM s1.t1 bmt1, s1.t2 bmt2, c1 WHERE bmt1.ctid = '(1,1)' AND bmt1.c1 = bmt2.c1 AND bmt2.ctid = '(1,1)'
 345 AND bmt1.c1 <> (
 346 SELECT max(b3t1.c1) FROM s1.t1 b3t1, s1.t2 b3t2 WHERE b3t1.ctid = '(1,1)' AND b3t1.c1 = b3t2.c1 AND b3t2.ctid = '(1,1)'
 347 )
 348 ;
 349
 350 -- No. S-2-2-3
 351 EXPLAIN (COSTS false)
 352 WITH c1 (c1) AS (
 353 SELECT max(b1t1.c1) FROM s1.t1 b1t1, s1.t2 b1t2, s1.t3 b1t3, s1.t4 b1t4 WHERE b1t1.ctid = '(1,1)' AND b1t1.c1 = b1t2.c1 AND b1t2.ctid = '(1,1)' AND b1t1.c1 = b1t3.c1 AND b1t3.ctid = '(1,1)' AND b1t1.c1 = b1t4.c1 AND b1t4.ctid = '(1,1)'
 354 )
 355 SELECT max(bmt1.c1), (
 356 SELECT max(b2t1.c1) FROM s1.t1 b2t1, s1.t2 b2t2, s1.t3 b2t3, s1.t4 b2t4 WHERE b2t1.ctid = '(1,1)' AND b2t1.c1 = b2t2.c1 AND b2t2.ctid = '(1,1)' AND b2t1.c1 = b2t3.c1 AND b2t3.ctid = '(1,1)' AND b2t1.c1 = b2t4.c1 AND b2t4.ctid = '(1,1)'
 357 )
 358                     FROM s1.t1 bmt1, s1.t2 bmt2, s1.t3 bmt3, s1.t4 bmt4, c1 WHERE bmt1.ctid = '(1,1)' AND bmt1.c1 = bmt2.c1 AND bmt2.ctid = '(1,1)' AND bmt1.c1 = bmt3.c1 AND bmt3.ctid = '(1,1)' AND bmt1.c1 = bmt4.c1 AND bmt4.ctid = '(1,1)' AND bmt1.c1 = c1.c1
 359 AND bmt1.c1 <> (
 360 SELECT max(b3t1.c1) FROM s1.t1 b3t1, s1.t2 b3t2, s1.t3 b3t3, s1.t4 b3t4 WHERE b3t1.ctid = '(1,1)' AND b3t1.c1 = b3t2.c1 AND b3t2.ctid = '(1,1)' AND b3t1.c1 = b3t3.c1 AND b3t3.ctid = '(1,1)' AND b3t1.c1 = b3t4.c1 AND b3t4.ctid = '(1,1)'
 361 )
 362 ;
 363 /*+SeqScan(bmt1)IndexScan(bmt2 t2_i1)BitmapScan(bmt3 t3_i1)TidScan(bmt4)
 364 TidScan(b1t1)SeqScan(b1t2)IndexScan(b1t3 t3_i1)BitmapScan(b1t4 t4_i1)
 365 BitmapScan(b2t1 t1_i1)TidScan(b2t2)SeqScan(b2t3)IndexScan(b2t4 t4_i1)
 366 IndexScan(b3t1 t1_i1)BitmapScan(b3t2 t2_i1)TidScan(b3t3)SeqScan(b3t4)
 367 */
 368 EXPLAIN (COSTS false)
 369 WITH c1 (c1) AS (
 370 SELECT max(b1t1.c1) FROM s1.t1 b1t1, s1.t2 b1t2, s1.t3 b1t3, s1.t4 b1t4 WHERE b1t1.ctid = '(1,1)' AND b1t1.c1 = b1t2.c1 AND b1t2.ctid = '(1,1)' AND b1t1.c1 = b1t3.c1 AND b1t3.ctid = '(1,1)' AND b1t1.c1 = b1t4.c1 AND b1t4.ctid = '(1,1)'
 371 )
 372 SELECT max(bmt1.c1), (
 373 SELECT max(b2t1.c1) FROM s1.t1 b2t1, s1.t2 b2t2, s1.t3 b2t3, s1.t4 b2t4 WHERE b2t1.ctid = '(1,1)' AND b2t1.c1 = b2t2.c1 AND b2t2.ctid = '(1,1)' AND b2t1.c1 = b2t3.c1 AND b2t3.ctid = '(1,1)' AND b2t1.c1 = b2t4.c1 AND b2t4.ctid = '(1,1)'
 374 )
 375                     FROM s1.t1 bmt1, s1.t2 bmt2, s1.t3 bmt3, s1.t4 bmt4, c1 WHERE bmt1.ctid = '(1,1)' AND bmt1.c1 = bmt2.c1 AND bmt2.ctid = '(1,1)' AND bmt1.c1 = bmt3.c1 AND bmt3.ctid = '(1,1)' AND bmt1.c1 = bmt4.c1 AND bmt4.ctid = '(1,1)' AND bmt1.c1 = c1.c1
 376 AND bmt1.c1 <> (
 377 SELECT max(b3t1.c1) FROM s1.t1 b3t1, s1.t2 b3t2, s1.t3 b3t3, s1.t4 b3t4 WHERE b3t1.ctid = '(1,1)' AND b3t1.c1 = b3t2.c1 AND b3t2.ctid = '(1,1)' AND b3t1.c1 = b3t3.c1 AND b3t3.ctid = '(1,1)' AND b3t1.c1 = b3t4.c1 AND b3t4.ctid = '(1,1)'
 378 )
 379 ;
 380
 381 -- No. S-2-2-4
 382 EXPLAIN (COSTS false)
 383 WITH c1 (c1) AS (
 384 SELECT max(b1t1.c1) FROM s1.t1 b1t1, s1.t2 b1t2, s1.t3 b1t3, s1.t4 b1t4 WHERE b1t1.ctid = '(1,1)' AND b1t1.c1 = b1t2.c1 AND b1t2.ctid = '(1,1)' AND b1t1.c1 = b1t3.c1 AND b1t3.ctid = '(1,1)' AND b1t1.c1 = b1t4.c1 AND b1t4.ctid = '(1,1)'
 385 )
 386 SELECT max(bmt1.c1), (
 387 SELECT max(b2t1.c1) FROM s1.t1 b2t1 WHERE b2t1.ctid = '(1,1)' AND b2t1.c1 = 1
 388 )
 389                     FROM s1.t1 bmt1, s1.t2 bmt2, s1.t3 bmt3, s1.t4 bmt4, c1 WHERE bmt1.ctid = '(1,1)' AND bmt1.c1 = bmt2.c1 AND bmt2.ctid = '(1,1)' AND bmt1.c1 = bmt3.c1 AND bmt3.ctid = '(1,1)' AND bmt1.c1 = bmt4.c1 AND bmt4.ctid = '(1,1)' AND bmt1.c1 = c1.c1
 390 AND bmt1.c1 <> (
 391 SELECT max(b3t1.c1) FROM s1.t1 b3t1 WHERE b3t1.ctid = '(1,1)'
 392 )
 393 ;
 394 /*+SeqScan(bmt1)IndexScan(bmt2 t2_i1)BitmapScan(bmt3 t3_i1)TidScan(bmt4)
 395 TidScan(b1t1)SeqScan(b1t2)IndexScan(b1t3 t3_i1)BitmapScan(b1t4 t4_i1)
 396 BitmapScan(b2t1 t1_i1)
 397 IndexScan(b3t1 t1_i1)
 398 */
 399 EXPLAIN (COSTS false)
 400 WITH c1 (c1) AS (
 401 SELECT max(b1t1.c1) FROM s1.t1 b1t1, s1.t2 b1t2, s1.t3 b1t3, s1.t4 b1t4 WHERE b1t1.ctid = '(1,1)' AND b1t1.c1 = b1t2.c1 AND b1t2.ctid = '(1,1)' AND b1t1.c1 = b1t3.c1 AND b1t3.ctid = '(1,1)' AND b1t1.c1 = b1t4.c1 AND b1t4.ctid = '(1,1)'
 402 )
 403 SELECT max(bmt1.c1), (
 404 SELECT max(b2t1.c1) FROM s1.t1 b2t1 WHERE b2t1.ctid = '(1,1)' AND b2t1.c1 = 1
 405 )
 406                     FROM s1.t1 bmt1, s1.t2 bmt2, s1.t3 bmt3, s1.t4 bmt4, c1 WHERE bmt1.ctid = '(1,1)' AND bmt1.c1 = bmt2.c1 AND bmt2.ctid = '(1,1)' AND bmt1.c1 = bmt3.c1 AND bmt3.ctid = '(1,1)' AND bmt1.c1 = bmt4.c1 AND bmt4.ctid = '(1,1)' AND bmt1.c1 = c1.c1
 407 AND bmt1.c1 <> (
 408 SELECT max(b3t1.c1) FROM s1.t1 b3t1 WHERE b3t1.ctid = '(1,1)'
 409 )
 410 ;
 411
 412 ----
 413 ---- No. S-2-3 RULE definition table
 414 ----
 415
 416 -- No. S-2-3-1
 417 -- TODO
 418
 419 ----
 420 ---- No. S-2-4 VALUES clause
 421 ----
 422
 423 -- No. S-2-4-1
 424 EXPLAIN (COSTS false) SELECT * FROM (VALUES(1,1,1,'1')) AS t1 (c1) WHERE t1.c1 = 1;
 425 /*+SeqScan(t1)*/
 426 EXPLAIN (COSTS false) SELECT * FROM (VALUES(1,1,1,'1')) AS t1 (c1) WHERE t1.c1 = 1;
 427 /*+SeqScan(*VALUES*)*/
 428 EXPLAIN (COSTS false) SELECT * FROM (VALUES(1,1,1,'1')) AS t1 (c1) WHERE t1.c1 = 1;
 429
 430 -- No. J-2-4-2
 431 EXPLAIN (COSTS false) SELECT * FROM (VALUES(1,1,1,'1')) AS t1 (c1, c2, c3, c4), (VALUES(1,1,1,'1'), (2,2,2,'2')) AS t2 (c1, c2) WHERE t1.c1 = t2.c1;
 432 /*+SeqScan(t1 t2)*/
 433 EXPLAIN (COSTS false) SELECT * FROM (VALUES(1,1,1,'1')) AS t1 (c1, c2, c3, c4), (VALUES(1,1,1,'1'), (2,2,2,'2')) AS t2 (c1, c2) WHERE t1.c1 = t2.c1;
 434 /*+SeqScan(*VALUES*)*/
 435 EXPLAIN (COSTS false) SELECT * FROM (VALUES(1,1,1,'1')) AS t1 (c1, c2, c3, c4), (VALUES(1,1,1,'1'), (2,2,2,'2')) AS t2 (c1, c2) WHERE t1.c1 = t2.c1;
 436
 437 ----
 438 ---- No. S-3-1 scan method hint
 439 ----
 440
 441 -- No. S-3-1-1
 442 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 >= 1;
 443 /*+SeqScan(t1)*/
 444 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 >= 1;
 445
 446 -- No. S-3-1-2
 447 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 = 1;
 448 /*+SeqScan(t1)*/
 449 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 = 1;
 450
 451 -- No. S-3-1-3
 452 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 = 1;
 453 /*+IndexScan(t1)*/
 454 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 = 1;
 455
 456 -- No. S-3-1-4
 457 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 >= 1;
 458 /*+IndexScan(t1)*/
 459 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 >= 1;
 460
 461 -- No. S-3-1-5
 462 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c3 < 10;
 463 /*+BitmapScan(t1)*/
 464 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c3 < 10;
 465
 466 -- No. S-3-1-6
 467 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 = 1;
 468 /*+BitmapScan(t1)*/
 469 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 = 1;
 470
 471 -- No. S-3-1-7
 472 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 = 1 AND t1.ctid = '(1,1)';
 473 /*+TidScan(t1)*/
 474 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 = 1 AND t1.ctid = '(1,1)';
 475
 476 -- No. S-3-1-8
 477 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 = 1 AND t1.ctid IN ('(1,1)', '(2,2)', '(3,3)');
 478 /*+TidScan(t1)*/
 479 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 = 1 AND t1.ctid IN ('(1,1)', '(2,2)', '(3,3)');
 480
 481 -- No. S-3-1-9
 482 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 >= 1;
 483 /*+NoSeqScan(t1)*/
 484 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 >= 1;
 485
 486 -- No. S-3-1-10
 487 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 = 1;
 488 /*+NoSeqScan(t1)*/
 489 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 = 1;
 490
 491 -- No. S-3-1-11
 492 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 = 1;
 493 /*+NoIndexScan(t1)*/
 494 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 = 1;
 495
 496 -- No. S-3-1-12
 497 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 >= 1;
 498 /*+NoIndexScan(t1)*/
 499 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 >= 1;
 500
 501 -- No. S-3-1-13
 502 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c3 < 10;
 503 /*+NoBitmapScan(t1)*/
 504 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c3 < 10;
 505
 506 -- No. S-3-1-14
 507 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 = 1;
 508 /*+NoBitmapScan(t1)*/
 509 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 = 1;
 510
 511 -- No. S-3-1-15
 512 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 = 1 AND t1.ctid = '(1,1)';
 513 /*+NoTidScan(t1)*/
 514 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 = 1 AND t1.ctid = '(1,1)';
 515
 516 -- No. S-3-1-16
 517 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 = 1;
 518 /*+NoTidScan(t1)*/
 519 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 = 1;
 520
 521 ----
 522 ---- No. S-3-3 index name specified
 523 ----
 524
 525 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE ti1.c2 = 1 AND ctid = '(1,1)';
 526 SET enable_tidscan TO off;
 527 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE ti1.c2 = 1 AND ctid = '(1,1)';
 528 SET enable_indexscan TO off;
 529 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE ti1.c2 = 1 AND ctid = '(1,1)';
 530 RESET enable_tidscan;
 531 RESET enable_indexscan;
 532
 533 -- No. S-3-3-1
 534 /*+IndexScan(ti1 ti1_i3)*/
 535 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE ti1.c2 = 1 AND ctid = '(1,1)';
 536
 537 -- No. S-3-3-2
 538 /*+IndexScan(ti1 ti1_i3 ti1_i2)*/
 539 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE ti1.c2 = 1 AND ctid = '(1,1)';
 540
 541 -- No. S-3-3-3
 542 /*+IndexScan(ti1 ti1_i4 ti1_i3 ti1_i2 ti1_i1)*/
 543 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE ti1.c2 = 1 AND ctid = '(1,1)';
 544
 545 -- No. S-3-3-4
 546 /*+BitmapScan(ti1 ti1_i3)*/
 547 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE ti1.c2 = 1 AND ctid = '(1,1)';
 548
 549 -- No. S-3-3-5
 550 /*+BitmapScan(ti1 ti1_i3 ti1_i2)*/
 551 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE ti1.c2 = 1 AND ctid = '(1,1)';
 552
 553 -- No. S-3-3-6
 554 /*+BitmapScan(ti1 ti1_i4 ti1_i3 ti1_i2 ti1_i1)*/
 555 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE ti1.c2 = 1 AND ctid = '(1,1)';
 556
 557 ----
 558 ---- No. S-3-4 index type
 559 ----
 560
 561 \d s1.ti1
 562 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 < 100 AND c2 = 1 AND lower(c4) = '1' AND to_tsvector('english', c4) @@ 'a & b' AND ctid = '(1,1)';
 563
 564 -- No. S-3-4-1
 565 /*+IndexScan(ti1 ti1_btree)*/
 566 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 < 100 AND c2 = 1 AND lower(c4) = '1' AND to_tsvector('english', c4) @@ 'a & b' AND ctid = '(1,1)';
 567
 568 -- No. S-3-4-2
 569 /*+IndexScan(ti1 ti1_hash)*/
 570 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 100 AND c2 = 1 AND lower(c4) = '1' AND to_tsvector('english', c4) @@ 'a & b' AND ctid = '(1,1)';
 571
 572 -- No. S-3-4-3
 573 /*+IndexScan(ti1 ti1_gist)*/
 574 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 < 100 AND c2 = 1 AND lower(c4) = '1' AND to_tsvector('english', c4) @@ 'a & b' AND ctid = '(1,1)';
 575
 576 -- No. S-3-4-4
 577 /*+IndexScan(ti1 ti1_gin)*/
 578 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 < 100 AND c2 = 1 AND lower(c4) = '1' AND to_tsvector('english', c4) @@ 'a & b' AND ctid = '(1,1)';
 579
 580 -- No. S-3-4-5
 581 /*+IndexScan(ti1 ti1_expr)*/
 582 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 < 100 AND c2 = 1 AND lower(c4) = '1' AND to_tsvector('english', c4) @@ 'a & b' AND ctid = '(1,1)';
 583
 584 -- No. S-3-4-6
 585 /*+IndexScan(ti1 ti1_pred)*/
 586 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 < 100 AND c2 = 1 AND lower(c4) = '1' AND to_tsvector('english', c4) @@ 'a & b' AND ctid = '(1,1)';
 587
 588 -- No. S-3-4-7
 589 /*+IndexScan(ti1 ti1_uniq)*/
 590 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 < 100 AND c2 = 1 AND lower(c4) = '1' AND to_tsvector('english', c4) @@ 'a & b' AND ctid = '(1,1)';
 591
 592 -- No. S-3-4-8
 593 /*+IndexScan(ti1 ti1_multi)*/
 594 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 < 100 AND c2 = 1 AND lower(c4) = '1' AND to_tsvector('english', c4) @@ 'a & b' AND ctid = '(1,1)';
 595
 596 -- No. S-3-4-9
 597 /*+IndexScan(ti1 ti1_ts)*/
 598 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 < 100 AND c2 = 1 AND lower(c4) = '1' AND to_tsvector('english', c4) @@ 'a & b' AND ctid = '(1,1)';
 599
 600 -- No. S-3-4-10
 601 /*+IndexScan(ti1 ti1_pkey)*/
 602 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 < 100 AND c2 = 1 AND lower(c4) = '1' AND to_tsvector('english', c4) @@ 'a & b' AND ctid = '(1,1)';
 603
 604 -- No. S-3-4-11
 605 /*+IndexScan(ti1 ti1_c2_key)*/
 606 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 < 100 AND c2 = 1 AND lower(c4) = '1' AND to_tsvector('english', c4) @@ 'a & b' AND ctid = '(1,1)';
 607
 608 -- No. S-3-4-12
 609 /*+BitmapScan(ti1 ti1_btree)*/
 610 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 < 100 AND c2 = 1 AND lower(c4) = '1' AND to_tsvector('english', c4) @@ 'a & b' AND ctid = '(1,1)';
 611
 612 -- No. S-3-4-13
 613 /*+BitmapScan(ti1 ti1_hash)*/
 614 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 100 AND c2 = 1 AND lower(c4) = '1' AND to_tsvector('english', c4) @@ 'a & b' AND ctid = '(1,1)';
 615
 616 -- No. S-3-4-14
 617 /*+BitmapScan(ti1 ti1_gist)*/
 618 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 < 100 AND c2 = 1 AND lower(c4) = '1' AND to_tsvector('english', c4) @@ 'a & b' AND ctid = '(1,1)';
 619
 620 -- No. S-3-4-15
 621 /*+BitmapScan(ti1 ti1_gin)*/
 622 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 < 100 AND c2 = 1 AND lower(c4) = '1' AND to_tsvector('english', c4) @@ 'a & b' AND ctid = '(1,1)';
 623
 624 -- No. S-3-4-16
 625 /*+BitmapScan(ti1 ti1_expr)*/
 626 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 < 100 AND c2 = 1 AND lower(c4) = '1' AND to_tsvector('english', c4) @@ 'a & b' AND ctid = '(1,1)';
 627
 628 -- No. S-3-4-17
 629 /*+BitmapScan(ti1 ti1_pred)*/
 630 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 < 100 AND c2 = 1 AND lower(c4) = '1' AND to_tsvector('english', c4) @@ 'a & b' AND ctid = '(1,1)';
 631
 632 -- No. S-3-4-18
 633 /*+BitmapScan(ti1 ti1_uniq)*/
 634 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 < 100 AND c2 = 1 AND lower(c4) = '1' AND to_tsvector('english', c4) @@ 'a & b' AND ctid = '(1,1)';
 635
 636 -- No. S-3-4-19
 637 /*+BitmapScan(ti1 ti1_multi)*/
 638 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 < 100 AND c2 = 1 AND lower(c4) = '1' AND to_tsvector('english', c4) @@ 'a & b' AND ctid = '(1,1)';
 639
 640 -- No. S-3-4-20
 641 /*+BitmapScan(ti1 ti1_ts)*/
 642 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 < 100 AND c2 = 1 AND lower(c4) = '1' AND to_tsvector('english', c4) @@ 'a & b' AND ctid = '(1,1)';
 643
 644 -- No. S-3-4-10
 645 /*+BitmapScan(ti1 ti1_pkey)*/
 646 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 < 100 AND c2 = 1 AND lower(c4) = '1' AND to_tsvector('english', c4) @@ 'a & b' AND ctid = '(1,1)';
 647
 648 -- No. S-3-4-11
 649 /*+BitmapScan(ti1 ti1_c2_key)*/
 650 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 < 100 AND c2 = 1 AND lower(c4) = '1' AND to_tsvector('english', c4) @@ 'a & b' AND ctid = '(1,1)';
 651
 652 ----
 653 ---- No. S-3-5 not used index
 654 ----
 655
 656 -- No. S-3-5-1
 657 /*+IndexScan(ti1 ti1_pred)*/
 658 EXPLAIN (COSTS true) SELECT * FROM s1.ti1 WHERE c1 = 100;
 659
 660 -- No. S-3-5-2
 661 /*+BitmapScan(ti1 ti1_pred)*/
 662 EXPLAIN (COSTS true) SELECT * FROM s1.ti1 WHERE c1 = 100;
 663
 664 ----
 665 ---- No. S-3-6 not exist index
 666 ----
 667
 668 -- No. S-3-6-1
 669 /*+IndexScan(ti1 not_exist)*/
 670 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 100;
 671
 672 -- No. S-3-6-2
 673 /*+BitmapScan(ti1 not_exist)*/
 674 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 100;
 675
 676 ----
 677 ---- No. S-3-7 query structure
 678 ----
 679
 680 EXPLAIN (COSTS false) SELECT * FROM s1.t1, s1.t2 WHERE t1.c1 = t2.c1 AND t1.ctid = '(1,1)';
 681
 682 -- No. S-3-7-1
 683 /*+SeqScan(t1)*/
 684 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE c1 = 100;
 685
 686 -- No. S-3-7-2
 687 /*+SeqScan(t1)BitmapScan(t2)*/
 688 EXPLAIN (COSTS false) SELECT * FROM s1.t1, s1.t2 WHERE t1.c1 = t2.c1 AND t1.ctid = '(1,1)';
 689
 690 -- No. S-3-7-3
 691 /*+SeqScan(t1)*/
 692 EXPLAIN (COSTS false) SELECT * FROM s1.t1, s1.t2 WHERE t1.c1 = t2.c1 AND t1.ctid = '(1,1)';
 693
 694 ----
 695 ---- No. S-3-8 query structure
 696 ----
 697
 698 -- No. S-3-8-1
 699 EXPLAIN (COSTS false)
 700 WITH c1 (c1) AS (
 701 SELECT max(b1t1.c1) FROM s1.t1 b1t1 WHERE b1t1.c1 = 1)
 702 SELECT max(b3t1.c1), (
 703 SELECT max(b2t1.c1) FROM s1.t1 b2t1 WHERE b2t1.c1 = 1
 704                   ) FROM s1.t1 b3t1 WHERE b3t1.c1 = (
 705 SELECT max(b4t1.c1) FROM s1.t1 b4t1 WHERE b4t1.c1 = 1);
 706 /*+BitmapScan(b1t1)BitmapScan(b2t1)BitmapScan(b3t1)BitmapScan(b4t1)*/
 707 EXPLAIN (COSTS false)
 708 WITH c1 (c1) AS (
 709 SELECT max(b1t1.c1) FROM s1.t1 b1t1 WHERE b1t1.c1 = 1)
 710 SELECT max(b3t1.c1), (
 711 SELECT max(b2t1.c1) FROM s1.t1 b2t1 WHERE b2t1.c1 = 1
 712                   ) FROM s1.t1 b3t1 WHERE b3t1.c1 = (
 713 SELECT max(b4t1.c1) FROM s1.t1 b4t1 WHERE b4t1.c1 = 1);
 714
 715 -- No. S-3-8-2
 716 EXPLAIN (COSTS false)
 717 WITH cte1 (c1) AS (
 718 SELECT max(b1t1.c1) FROM s1.t1 b1t1 JOIN s1.t2 b1t2 ON(b1t1.c1 = b1t2.c1) WHERE b1t1.c1 = 1)
 719 SELECT max(b3t1.c1), (
 720 SELECT max(b2t1.c1) FROM s1.t1 b2t1 JOIN s1.t2 b2t2 ON(b2t1.c1 = b2t2.c1) WHERE b2t1.c1 = 1
 721                   ) FROM s1.t1 b3t1 JOIN s1.t2 b3t2 ON(b3t1.c1 = b3t2.c1) JOIN cte1 ON(b3t1.c1 = cte1.c1) WHERE b3t1.c1 = (
 722 SELECT max(b4t1.c1) FROM s1.t1 b4t1 JOIN s1.t2 b4t2 ON(b4t1.c1 = b4t2.c1) WHERE b4t1.c1 = 1);
 723 /*+BitmapScan(b1t1)BitmapScan(b2t1)BitmapScan(b3t1)BitmapScan(b4t1)BitmapScan(b1t2)BitmapScan(b2t2)BitmapScan(b3t2)BitmapScan(b4t2)*/
 724 EXPLAIN (COSTS false)
 725 WITH cte1 (c1) AS (
 726 SELECT max(b1t1.c1) FROM s1.t1 b1t1 JOIN s1.t2 b1t2 ON(b1t1.c1 = b1t2.c1) WHERE b1t1.c1 = 1)
 727 SELECT max(b3t1.c1), (
 728 SELECT max(b2t1.c1) FROM s1.t1 b2t1 JOIN s1.t2 b2t2 ON(b2t1.c1 = b2t2.c1) WHERE b2t1.c1 = 1
 729                   ) FROM s1.t1 b3t1 JOIN s1.t2 b3t2 ON(b3t1.c1 = b3t2.c1) JOIN cte1 ON(b3t1.c1 = cte1.c1) WHERE b3t1.c1 = (
 730 SELECT max(b4t1.c1) FROM s1.t1 b4t1 JOIN s1.t2 b4t2 ON(b4t1.c1 = b4t2.c1) WHERE b4t1.c1 = 1);
 731
 732 -- No. S-3-8-3
 733 EXPLAIN (COSTS false)
 734 WITH cte1 (c1) AS (
 735 SELECT max(b1t1.c1) FROM s1.t1 b1t1 JOIN s1.t2 b1t2 ON(b1t1.c1 = b1t2.c1) WHERE b1t1.c1 = 1)
 736 SELECT max(b3t1.c1), (
 737 SELECT max(b2t1.c1) FROM s1.t1 b2t1 WHERE b2t1.c1 = 1
 738                   ) FROM s1.t1 b3t1 JOIN s1.t2 b3t2 ON(b3t1.c1 = b3t2.c1) JOIN cte1 ON(b3t1.c1 = cte1.c1) WHERE b3t1.c1 = (
 739 SELECT max(b4t1.c1) FROM s1.t1 b4t1 WHERE b4t1.c1 = 1);
 740 /*+BitmapScan(b1t1)BitmapScan(b2t1)BitmapScan(b3t1)BitmapScan(b4t1)BitmapScan(b1t2)BitmapScan(b3t2)*/
 741 EXPLAIN (COSTS false)
 742 WITH cte1 (c1) AS (
 743 SELECT max(b1t1.c1) FROM s1.t1 b1t1 JOIN s1.t2 b1t2 ON(b1t1.c1 = b1t2.c1) WHERE b1t1.c1 = 1)
 744 SELECT max(b3t1.c1), (
 745 SELECT max(b2t1.c1) FROM s1.t1 b2t1 WHERE b2t1.c1 = 1
 746                   ) FROM s1.t1 b3t1 JOIN s1.t2 b3t2 ON(b3t1.c1 = b3t2.c1) JOIN cte1 ON(b3t1.c1 = cte1.c1) WHERE b3t1.c1 = (
 747 SELECT max(b4t1.c1) FROM s1.t1 b4t1 WHERE b4t1.c1 = 1);
 748
 749 ----
 750 ---- No. S-3-9 inheritance table select type
 751 ----
 752
 753 -- No. S-3-9-1
 754 EXPLAIN (COSTS false) SELECT * FROM ONLY s1.p1 WHERE c1 = 1;
 755 /*+IndexScan(p1)*/
 756 EXPLAIN (COSTS false) SELECT * FROM ONLY s1.p1 WHERE c1 = 1;
 757
 758 -- No. S-3-9-2
 759 EXPLAIN (COSTS false) SELECT * FROM s1.p1 WHERE c1 = 1;
 760 /*+IndexScan(p1)*/
 761 EXPLAIN (COSTS false) SELECT * FROM s1.p1 WHERE c1 = 1;
 762
 763 ----
 764 ---- No. S-3-10 inheritance table number
 765 ----
 766
 767 -- No. S-3-10-1
 768 EXPLAIN (COSTS false) SELECT * FROM s1.p1 WHERE c1 = 1;
 769 /*+IndexScan(p1)*/
 770 EXPLAIN (COSTS false) SELECT * FROM s1.p1 WHERE c1 = 1;
 771
 772 -- No. S-3-10-2
 773 EXPLAIN (COSTS false) SELECT * FROM s1.p2 WHERE c1 = 1;
 774 /*+IndexScan(p2)*/
 775 EXPLAIN (COSTS false) SELECT * FROM s1.p2 WHERE c1 = 1;
 776
 777 ----
 778 ---- No. S-3-11 inheritance table specified table
 779 ----
 780
 781 EXPLAIN (COSTS false) SELECT * FROM s1.p2 WHERE c1 = 1;
 782
 783 -- No. S-3-11-1
 784 /*+IndexScan(p2)*/
 785 EXPLAIN (COSTS false) SELECT * FROM s1.p2 WHERE c1 = 1;
 786
 787 -- No. S-3-11-2
 788 /*+IndexScan(p2c1)*/
 789 EXPLAIN (COSTS false) SELECT * FROM s1.p2 WHERE c1 = 1;
 790
 791 -- No. S-3-11-3
 792 /*+IndexScan(p2 p2_pkey p2c1_pkey p2c1c1_pkey)*/
 793 EXPLAIN (COSTS false) SELECT * FROM s1.p2 WHERE c1 = 1;
 794
 795 -- No. S-3-11-4
 796 /*+IndexScan(p2 p2c1_pkey)*/
 797 EXPLAIN (COSTS true) SELECT * FROM s1.p2 WHERE c1 = 1;
 798
 799 ----
 800 ---- No. S-3-12 specified same table
 801 ----
 802
 803 -- No. S-3-12-1
 804 /*+IndexScan(ti1) BitmapScan(ti1)*/
 805 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
 806
 807 -- No. S-3-12-2
 808 /*+IndexScan(ti1 ti1_pkey) BitmapScan(ti1 ti1_btree)*/
 809 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
 810
 811 -- No. S-3-12-3
 812 /*+BitmapScan(ti1) IndexScan(ti1) BitmapScan(ti1)*/
 813 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
 814
 815 -- No. S-3-12-4
 816 /*+BitmapScan(ti1 ti1_hash) IndexScan(ti1 ti1_pkey) BitmapScan(ti1 ti1_btree)*/
 817 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
 818
 819 ----
 820 ---- No. S-3-13 message output
 821 ----
 822
 823 -- No. S-3-13-1
 824 /*+SeqScan(ti1)*/
 825 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
 826
 827 -- No. S-3-13-2
 828 /*+SeqScan(ti1 ti1_pkey)*/
 829 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
 830
 831 -- No. S-3-13-3
 832 /*+SeqScan(ti1 ti1_pkey ti1_btree)*/
 833 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
 834
 835 -- No. S-3-13-4
 836 /*+IndexScan(ti1)*/
 837 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
 838
 839 -- No. S-3-13-5
 840 /*+IndexScan(ti1 ti1_pkey)*/
 841 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
 842
 843 -- No. S-3-13-6
 844 /*+IndexScan(ti1 ti1_pkey ti1_btree)*/
 845 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
 846
 847 -- No. S-3-13-7
 848 /*+BitmapScan(ti1)*/
 849 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
 850
 851 -- No. S-3-13-8
 852 /*+BitmapScan(ti1 ti1_pkey)*/
 853 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
 854
 855 -- No. S-3-13-9
 856 /*+BitmapScan(ti1 ti1_pkey ti1_btree)*/
 857 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
 858
 859 -- No. S-3-13-10
 860 /*+TidScan(ti1)*/
 861 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
 862
 863 -- No. S-3-13-11
 864 /*+TidScan(ti1 ti1_pkey)*/
 865 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
 866
 867 -- No. S-3-13-12
 868 /*+TidScan(ti1 ti1_pkey ti1_btree)*/
 869 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
 870
 871 -- No. S-3-13-13
 872 /*+NoSeqScan(ti1)*/
 873 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
 874
 875 -- No. S-3-13-14
 876 /*+NoSeqScan(ti1 ti1_pkey)*/
 877 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
 878
 879 -- No. S-3-13-15
 880 /*+NoSeqScan(ti1 ti1_pkey ti1_btree)*/
 881 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
 882
 883 -- No. S-3-13-16
 884 /*+NoIndexScan(ti1)*/
 885 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
 886
 887 -- No. S-3-13-17
 888 /*+NoIndexScan(ti1 ti1_pkey)*/
 889 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
 890
 891 -- No. S-3-13-18
 892 /*+NoIndexScan(ti1 ti1_pkey ti1_btree)*/
 893 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
 894
 895 -- No. S-3-13-19
 896 /*+NoBitmapScan(ti1)*/
 897 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
 898
 899 -- No. S-3-13-20
 900 /*+NoBitmapScan(ti1 ti1_pkey)*/
 901 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
 902
 903 -- No. S-3-13-21
 904 /*+NoBitmapScan(ti1 ti1_pkey ti1_btree)*/
 905 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
 906
 907 -- No. S-3-13-22
 908 /*+NoTidScan(ti1)*/
 909 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
 910
 911 -- No. S-3-13-23
 912 /*+NoTidScan(ti1 ti1_pkey)*/
 913 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
 914
 915 -- No. S-3-13-24
 916 /*+NoTidScan(ti1 ti1_pkey ti1_btree)*/
 917 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
 918