OSDN Git Service

Stabilize regression test.
[pghintplan/pg_hint_plan.git] / expected / ut-S.out
index 398428e..0f36d22 100644 (file)
@@ -1,8 +1,19 @@
 LOAD 'pg_hint_plan';
-SET pg_hint_plan.enable TO on;
+-- We cannot do ALTER USER current_user SET ...
+DELETE FROM pg_db_role_setting WHERE setrole = (SELECT oid FROM pg_roles WHERE rolname = current_user);
+INSERT INTO pg_db_role_setting (SELECT 0, (SELECT oid FROM pg_roles WHERE rolname = current_user), '{client_min_messages=log,pg_hint_plan.debug_print=on}');
+ALTER SYSTEM SET session_preload_libraries TO 'pg_hint_plan';
+SELECT pg_reload_conf();
+ pg_reload_conf 
+----------------
+ t
+(1 row)
+
+SET pg_hint_plan.enable_hint TO on;
 SET pg_hint_plan.debug_print TO on;
 SET client_min_messages TO LOG;
 SET search_path TO public;
+SET max_parallel_workers_per_gather TO 0;
 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 >= 1;
      QUERY PLAN      
 ---------------------
@@ -194,7 +205,7 @@ EXPLAIN (COSTS false) SELECT * FROM s1.t1, s2.t1 WHERE s1.t1.c1 = 1 AND s1.t1.c1
  Nested Loop
    ->  Index Scan using t1_i1 on t1
          Index Cond: (c1 = 1)
-   ->  Seq Scan on t1
+   ->  Seq Scan on t1 t1_1
          Filter: (c1 = 1)
 (5 rows)
 
@@ -214,7 +225,7 @@ error hint:
          Recheck Cond: (c1 = 1)
          ->  Bitmap Index Scan on t1_i1
                Index Cond: (c1 = 1)
-   ->  Bitmap Heap Scan on t1
+   ->  Bitmap Heap Scan on t1 t1_1
          Recheck Cond: (c1 = 1)
          ->  Bitmap Index Scan on t1_pkey
                Index Cond: (c1 = 1)
@@ -264,13 +275,13 @@ error hint:
 EXPLAIN (COSTS false) SELECT (SELECT max(c1) FROM s1.t1 WHERE s1.t1.c1 = 1) FROM s1.t1 WHERE s1.t1.c1 = 1;
                              QUERY PLAN                              
 ---------------------------------------------------------------------
- Index Scan using t1_i1 on t1
+ Index Only Scan using t1_i1 on t1
    Index Cond: (c1 = 1)
    InitPlan 2 (returns $1)
      ->  Result
            InitPlan 1 (returns $0)
              ->  Limit
-                   ->  Index Scan using t1_i1 on t1
+                   ->  Index Only Scan using t1_i1 on t1 t1_1
                          Index Cond: ((c1 IS NOT NULL) AND (c1 = 1))
 (8 rows)
 
@@ -291,7 +302,7 @@ error hint:
      ->  Result
            InitPlan 1 (returns $0)
              ->  Limit
-                   ->  Bitmap Heap Scan on t1
+                   ->  Bitmap Heap Scan on t1 t1_1
                          Recheck Cond: ((c1 IS NOT NULL) AND (c1 = 1))
                          ->  Bitmap Index Scan on t1_i1
                                Index Cond: ((c1 IS NOT NULL) AND (c1 = 1))
@@ -310,7 +321,7 @@ error hint:
 
                                 QUERY PLAN                                 
 ---------------------------------------------------------------------------
- Index Scan using t1_i1 on t1 t12
+ Index Only Scan using t1_i1 on t1 t12
    Index Cond: (c1 = 1)
    InitPlan 2 (returns $1)
      ->  Result
@@ -339,7 +350,7 @@ error hint:
      ->  Result
            InitPlan 1 (returns $0)
              ->  Limit
-                   ->  Index Scan using t1_i1 on t1 t11
+                   ->  Index Only Scan using t1_i1 on t1 t11
                          Index Cond: ((c1 IS NOT NULL) AND (c1 = 1))
    ->  Bitmap Index Scan on t1_i1
          Index Cond: (c1 = 1)
@@ -366,15 +377,14 @@ error hint:
 
 -- No. S-1-5-2
 EXPLAIN (COSTS false) SELECT * FROM s1.p1 WHERE p1.c1 = 1;
-           QUERY PLAN            
----------------------------------
- Result
-   ->  Append
-         ->  Seq Scan on p1
-               Filter: (c1 = 1)
-         ->  Seq Scan on p1c1 p1
-               Filter: (c1 = 1)
-(6 rows)
+         QUERY PLAN          
+-----------------------------
+ Append
+   ->  Seq Scan on p1 p1_1
+         Filter: (c1 = 1)
+   ->  Seq Scan on p1c1 p1_2
+         Filter: (c1 = 1)
+(5 rows)
 
 /*+IndexScan(p1)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.p1 WHERE p1.c1 = 1;
@@ -385,15 +395,14 @@ not used hint:
 duplication hint:
 error hint:
 
-                   QUERY PLAN                   
-------------------------------------------------
- Result
-   ->  Append
-         ->  Index Scan using p1_pkey on p1
-               Index Cond: (c1 = 1)
-         ->  Index Scan using p1c1_i on p1c1 p1
-               Index Cond: (c1 = 1)
-(6 rows)
+                 QUERY PLAN                 
+--------------------------------------------
+ Append
+   ->  Index Scan using p1_i on p1 p1_1
+         Index Cond: (c1 = 1)
+   ->  Index Scan using p1c1_i on p1c1 p1_2
+         Index Cond: (c1 = 1)
+(5 rows)
 
 -- No. S-1-5-3
 EXPLAIN (COSTS false) SELECT * FROM s1.ul1 WHERE ul1.c1 = 1;
@@ -420,11 +429,10 @@ error hint:
 
 -- No. S-1-5-4
 CREATE TEMP TABLE tm1 (LIKE s1.t1 INCLUDING ALL);
-NOTICE:  CREATE TABLE / PRIMARY KEY will create implicit index "tm1_pkey" for table "tm1"
 EXPLAIN (COSTS false) SELECT * FROM tm1 WHERE tm1.c1 = 1;
-            QUERY PLAN            
-----------------------------------
- Index Scan using tm1_pkey on tm1
+             QUERY PLAN             
+------------------------------------
+ Index Scan using tm1_c1_idx on tm1
    Index Cond: (c1 = 1)
 (2 rows)
 
@@ -448,7 +456,7 @@ EXPLAIN (COSTS false) SELECT * FROM pg_catalog.pg_class WHERE oid = 1;
                    QUERY PLAN                    
 -------------------------------------------------
  Index Scan using pg_class_oid_index on pg_class
-   Index Cond: (oid = 1::oid)
+   Index Cond: (oid = '1'::oid)
 (2 rows)
 
 /*+SeqScan(pg_class)*/
@@ -460,14 +468,14 @@ not used hint:
 duplication hint:
 error hint:
 
-        QUERY PLAN        
---------------------------
+         QUERY PLAN         
+----------------------------
  Seq Scan on pg_class
-   Filter: (oid = 1::oid)
+   Filter: (oid = '1'::oid)
 (2 rows)
 
 -- No. S-1-5-6
--- refer fdw.sql
+-- refer ut-fdw.sql
 -- No. S-1-5-7
 EXPLAIN (COSTS false) SELECT * FROM s1.f1() AS ft1 WHERE ft1.c1 = 1;
        QUERY PLAN        
@@ -532,20 +540,18 @@ error hint:
 -- No. S-1-5-9
 EXPLAIN (COSTS false) WITH c1(c1) AS (SELECT max(c1) FROM s1.t1 WHERE t1.c1 = 1)
 SELECT * FROM s1.t1, c1 WHERE t1.c1 = 1 AND t1.c1 = c1.c1;
-                             QUERY PLAN                              
----------------------------------------------------------------------
+                            QUERY PLAN                             
+-------------------------------------------------------------------
  Nested Loop
-   CTE c1
-     ->  Result
-           InitPlan 1 (returns $0)
-             ->  Limit
-                   ->  Index Scan using t1_i1 on t1
-                         Index Cond: ((c1 IS NOT NULL) AND (c1 = 1))
    ->  Index Scan using t1_i1 on t1
          Index Cond: (c1 = 1)
-   ->  CTE Scan on c1
-         Filter: (c1 = 1)
-(11 rows)
+   ->  Result
+         One-Time Filter: ($0 = 1)
+         InitPlan 1 (returns $0)
+           ->  Limit
+                 ->  Index Only Scan using t1_i1 on t1 t1_1
+                       Index Cond: ((c1 IS NOT NULL) AND (c1 = 1))
+(9 rows)
 
 /*+SeqScan(c1)*/
 EXPLAIN (COSTS false) WITH c1(c1) AS (SELECT max(c1) FROM s1.t1 WHERE t1.c1 = 1)
@@ -557,20 +563,18 @@ SeqScan(c1)
 duplication hint:
 error hint:
 
-                             QUERY PLAN                              
----------------------------------------------------------------------
+                            QUERY PLAN                             
+-------------------------------------------------------------------
  Nested Loop
-   CTE c1
-     ->  Result
-           InitPlan 1 (returns $0)
-             ->  Limit
-                   ->  Index Scan using t1_i1 on t1
-                         Index Cond: ((c1 IS NOT NULL) AND (c1 = 1))
    ->  Index Scan using t1_i1 on t1
          Index Cond: (c1 = 1)
-   ->  CTE Scan on c1
-         Filter: (c1 = 1)
-(11 rows)
+   ->  Result
+         One-Time Filter: ($0 = 1)
+         InitPlan 1 (returns $0)
+           ->  Limit
+                 ->  Index Only Scan using t1_i1 on t1 t1_1
+                       Index Cond: ((c1 IS NOT NULL) AND (c1 = 1))
+(9 rows)
 
 -- No. S-1-5-10
 EXPLAIN (COSTS false) SELECT * FROM s1.v1 WHERE v1.c1 = 1;
@@ -619,7 +623,7 @@ error hint:
 (2 rows)
 
 ----
----- No. S-2-1 complexity query block
+---- No. S-2-1 some complexity query blocks
 ----
 -- No. S-2-1-1
 EXPLAIN (COSTS false)
@@ -628,97 +632,98 @@ SELECT max(b1t1.c1) FROM s1.t1 b1t1, s1.t2 b1t2, s1.t3 b1t3, s1.t4 b1t4 WHERE b1
 )
                     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
 ;
-                            QUERY PLAN                             
--------------------------------------------------------------------
+                               QUERY PLAN                               
+------------------------------------------------------------------------
  Aggregate
-   InitPlan 1 (returns $0)
+   InitPlan 1 (returns $1)
      ->  Aggregate
-           ->  Merge Join
-                 Merge Cond: (b1t1.c1 = b1t2.c1)
+           ->  Nested Loop
                  ->  Merge Join
-                       Merge Cond: (b1t1.c1 = b1t4.c1)
+                       Merge Cond: (b1t1.c1 = b1t2.c1)
                        ->  Merge Join
                              Merge Cond: (b1t1.c1 = b1t3.c1)
-                             ->  Index Scan using t1_i1 on t1 b1t1
-                             ->  Index Scan using t3_i1 on t3 b1t3
-                       ->  Index Scan using t4_i1 on t4 b1t4
-                 ->  Sort
-                       Sort Key: b1t2.c1
-                       ->  Seq Scan on t2 b1t2
-   ->  Merge Join
-         Merge Cond: (bmt1.c1 = bmt2.c1)
+                             ->  Index Only Scan using t1_i1 on t1 b1t1
+                             ->  Index Only Scan using t3_i1 on t3 b1t3
+                       ->  Sort
+                             Sort Key: b1t2.c1
+                             ->  Seq Scan on t2 b1t2
+                 ->  Index Only Scan using t4_i1 on t4 b1t4
+                       Index Cond: (c1 = b1t1.c1)
+   ->  Nested Loop
          ->  Merge Join
-               Merge Cond: (bmt1.c1 = bmt4.c1)
+               Merge Cond: (bmt1.c1 = bmt2.c1)
                ->  Merge Join
                      Merge Cond: (bmt1.c1 = bmt3.c1)
-                     ->  Index Scan using t1_i1 on t1 bmt1
-                     ->  Index Scan using t3_i1 on t3 bmt3
-               ->  Index Scan using t4_i1 on t4 bmt4
-         ->  Sort
-               Sort Key: bmt2.c1
-               ->  Seq Scan on t2 bmt2
+                     ->  Index Only Scan using t1_i1 on t1 bmt1
+                     ->  Index Only Scan using t3_i1 on t3 bmt3
+               ->  Sort
+                     Sort Key: bmt2.c1
+                     ->  Seq Scan on t2 bmt2
+         ->  Index Only Scan using t4_i1 on t4 bmt4
+               Index Cond: (c1 = bmt1.c1)
 (27 rows)
 
-/*+BitmapScan(bmt1)BitmapScan(bmt2)BitmapScan(bmt3)BitmapScan(bmt4)
-BitmapScan(b1t1)BitmapScan(b1t2)BitmapScan(b1t3)BitmapScan(b1t4)*/
+/*+SeqScan(bmt1)IndexScan(bmt2 t2_pkey)BitmapScan(bmt3 t3_pkey)TidScan(bmt4)
+TidScan(b1t1)SeqScan(b1t2)IndexScan(b1t3 t3_pkey)BitmapScan(b1t4 t4_pkey)
+*/
 EXPLAIN (COSTS false)
 SELECT max(bmt1.c1), (
 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
 )
                     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
 ;
+LOG:  available indexes for IndexScan(b1t3): t3_pkey
+LOG:  available indexes for BitmapScan(b1t4): t4_pkey
+LOG:  available indexes for IndexScan(bmt2): t2_pkey
+LOG:  available indexes for BitmapScan(bmt3): t3_pkey
 LOG:  pg_hint_plan:
 used hint:
-BitmapScan(b1t1)
-BitmapScan(b1t2)
-BitmapScan(b1t3)
-BitmapScan(b1t4)
-BitmapScan(bmt1)
-BitmapScan(bmt2)
-BitmapScan(bmt3)
-BitmapScan(bmt4)
+TidScan(b1t1)
+SeqScan(b1t2)
+IndexScan(b1t3 t3_pkey)
+BitmapScan(b1t4 t4_pkey)
+SeqScan(bmt1)
+IndexScan(bmt2 t2_pkey)
+BitmapScan(bmt3 t3_pkey)
+TidScan(bmt4)
 not used hint:
 duplication hint:
 error hint:
 
-                             QUERY PLAN                             
---------------------------------------------------------------------
+                                QUERY PLAN                                
+--------------------------------------------------------------------------
  Aggregate
    InitPlan 1 (returns $2)
      ->  Aggregate
-           ->  Nested Loop
-                 ->  Nested Loop
+           ->  Hash Join
+                 Hash Cond: (b1t1.c1 = b1t2.c1)
+                 ->  Seq Scan on t1 b1t1
+                 ->  Hash
                        ->  Nested Loop
-                             ->  Index Scan using t2_i1 on t2 b1t2
-                             ->  Bitmap Heap Scan on t1 b1t1
-                                   Recheck Cond: (c1 = b1t2.c1)
-                                   ->  Bitmap Index Scan on t1_i1
-                                         Index Cond: (c1 = b1t2.c1)
-                       ->  Bitmap Heap Scan on t3 b1t3
-                             Recheck Cond: (c1 = b1t1.c1)
-                             ->  Bitmap Index Scan on t3_i1
-                                   Index Cond: (c1 = b1t1.c1)
-                 ->  Bitmap Heap Scan on t4 b1t4
-                       Recheck Cond: (c1 = b1t1.c1)
-                       ->  Bitmap Index Scan on t4_i1
-                             Index Cond: (c1 = b1t1.c1)
-   ->  Nested Loop
-         ->  Nested Loop
+                             Join Filter: (b1t2.c1 = b1t3.c1)
+                             ->  Nested Loop
+                                   ->  Seq Scan on t2 b1t2
+                                   ->  Bitmap Heap Scan on t4 b1t4
+                                         Recheck Cond: (c1 = b1t2.c1)
+                                         ->  Bitmap Index Scan on t4_pkey
+                                               Index Cond: (c1 = b1t2.c1)
+                             ->  Index Scan using t3_pkey on t3 b1t3
+                                   Index Cond: (c1 = b1t4.c1)
+   ->  Hash Join
+         Hash Cond: (bmt4.c1 = bmt1.c1)
+         ->  Seq Scan on t4 bmt4
+         ->  Hash
                ->  Nested Loop
-                     ->  Index Scan using t2_i1 on t2 bmt2
-                     ->  Bitmap Heap Scan on t1 bmt1
-                           Recheck Cond: (c1 = bmt2.c1)
-                           ->  Bitmap Index Scan on t1_i1
-                                 Index Cond: (c1 = bmt2.c1)
-               ->  Bitmap Heap Scan on t3 bmt3
-                     Recheck Cond: (c1 = bmt1.c1)
-                     ->  Bitmap Index Scan on t3_i1
-                           Index Cond: (c1 = bmt1.c1)
-         ->  Bitmap Heap Scan on t4 bmt4
-               Recheck Cond: (c1 = bmt1.c1)
-               ->  Bitmap Index Scan on t4_i1
-                     Index Cond: (c1 = bmt1.c1)
-(35 rows)
+                     ->  Hash Join
+                           Hash Cond: (bmt1.c1 = bmt2.c1)
+                           ->  Seq Scan on t1 bmt1
+                           ->  Hash
+                                 ->  Index Scan using t2_pkey on t2 bmt2
+                     ->  Bitmap Heap Scan on t3 bmt3
+                           Recheck Cond: (c1 = bmt1.c1)
+                           ->  Bitmap Index Scan on t3_pkey
+                                 Index Cond: (c1 = bmt1.c1)
+(31 rows)
 
 -- No. S-2-1-2
 EXPLAIN (COSTS false)
@@ -729,54 +734,55 @@ SELECT max(b2t1.c1) FROM s1.t1 b2t1, s1.t2 b2t2, s1.t3 b2t3, s1.t4 b2t4 WHERE b2
 )
                     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
 ;
-                            QUERY PLAN                             
--------------------------------------------------------------------
+                               QUERY PLAN                               
+------------------------------------------------------------------------
  Aggregate
-   InitPlan 1 (returns $0)
+   InitPlan 1 (returns $1)
      ->  Aggregate
-           ->  Merge Join
-                 Merge Cond: (b1t1.c1 = b1t2.c1)
+           ->  Nested Loop
                  ->  Merge Join
-                       Merge Cond: (b1t1.c1 = b1t4.c1)
+                       Merge Cond: (b1t1.c1 = b1t2.c1)
                        ->  Merge Join
                              Merge Cond: (b1t1.c1 = b1t3.c1)
-                             ->  Index Scan using t1_i1 on t1 b1t1
-                             ->  Index Scan using t3_i1 on t3 b1t3
-                       ->  Index Scan using t4_i1 on t4 b1t4
-                 ->  Sort
-                       Sort Key: b1t2.c1
-                       ->  Seq Scan on t2 b1t2
-   InitPlan 2 (returns $1)
+                             ->  Index Only Scan using t1_i1 on t1 b1t1
+                             ->  Index Only Scan using t3_i1 on t3 b1t3
+                       ->  Sort
+                             Sort Key: b1t2.c1
+                             ->  Seq Scan on t2 b1t2
+                 ->  Index Only Scan using t4_i1 on t4 b1t4
+                       Index Cond: (c1 = b1t1.c1)
+   InitPlan 2 (returns $3)
      ->  Aggregate
-           ->  Merge Join
-                 Merge Cond: (b2t1.c1 = b2t2.c1)
+           ->  Nested Loop
                  ->  Merge Join
-                       Merge Cond: (b2t1.c1 = b2t4.c1)
+                       Merge Cond: (b2t1.c1 = b2t2.c1)
                        ->  Merge Join
                              Merge Cond: (b2t1.c1 = b2t3.c1)
-                             ->  Index Scan using t1_i1 on t1 b2t1
-                             ->  Index Scan using t3_i1 on t3 b2t3
-                       ->  Index Scan using t4_i1 on t4 b2t4
-                 ->  Sort
-                       Sort Key: b2t2.c1
-                       ->  Seq Scan on t2 b2t2
-   ->  Merge Join
-         Merge Cond: (bmt1.c1 = bmt2.c1)
+                             ->  Index Only Scan using t1_i1 on t1 b2t1
+                             ->  Index Only Scan using t3_i1 on t3 b2t3
+                       ->  Sort
+                             Sort Key: b2t2.c1
+                             ->  Seq Scan on t2 b2t2
+                 ->  Index Only Scan using t4_i1 on t4 b2t4
+                       Index Cond: (c1 = b2t1.c1)
+   ->  Nested Loop
          ->  Merge Join
-               Merge Cond: (bmt1.c1 = bmt4.c1)
+               Merge Cond: (bmt1.c1 = bmt2.c1)
                ->  Merge Join
                      Merge Cond: (bmt1.c1 = bmt3.c1)
-                     ->  Index Scan using t1_i1 on t1 bmt1
-                     ->  Index Scan using t3_i1 on t3 bmt3
-               ->  Index Scan using t4_i1 on t4 bmt4
-         ->  Sort
-               Sort Key: bmt2.c1
-               ->  Seq Scan on t2 bmt2
+                     ->  Index Only Scan using t1_i1 on t1 bmt1
+                     ->  Index Only Scan using t3_i1 on t3 bmt3
+               ->  Sort
+                     Sort Key: bmt2.c1
+                     ->  Seq Scan on t2 bmt2
+         ->  Index Only Scan using t4_i1 on t4 bmt4
+               Index Cond: (c1 = bmt1.c1)
 (41 rows)
 
-/*+BitmapScan(bmt1)BitmapScan(bmt2)BitmapScan(bmt3)BitmapScan(bmt4)
-BitmapScan(b1t1)BitmapScan(b1t2)BitmapScan(b1t3)BitmapScan(b1t4)
-BitmapScan(b2t1)BitmapScan(b2t2)BitmapScan(b2t3)BitmapScan(b2t4)*/
+/*+SeqScan(bmt1)IndexScan(bmt2 t2_pkey)BitmapScan(bmt3 t3_pkey)TidScan(bmt4)
+TidScan(b1t1)SeqScan(b1t2)IndexScan(b1t3 t3_pkey)BitmapScan(b1t4 t4_pkey)
+BitmapScan(b2t1 t1_pkey)TidScan(b2t2)SeqScan(b2t3)IndexScan(b2t4 t4_pkey)
+*/
 EXPLAIN (COSTS false)
 SELECT max(bmt1.c1), (
 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
@@ -785,184 +791,187 @@ SELECT max(b2t1.c1) FROM s1.t1 b2t1, s1.t2 b2t2, s1.t3 b2t3, s1.t4 b2t4 WHERE b2
 )
                     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
 ;
+LOG:  available indexes for IndexScan(b1t3): t3_pkey
+LOG:  available indexes for BitmapScan(b1t4): t4_pkey
+LOG:  available indexes for BitmapScan(b2t1): t1_pkey
+LOG:  available indexes for IndexScan(b2t4): t4_pkey
+LOG:  available indexes for IndexScan(bmt2): t2_pkey
+LOG:  available indexes for BitmapScan(bmt3): t3_pkey
 LOG:  pg_hint_plan:
 used hint:
-BitmapScan(b1t1)
-BitmapScan(b1t2)
-BitmapScan(b1t3)
-BitmapScan(b1t4)
-BitmapScan(b2t1)
-BitmapScan(b2t2)
-BitmapScan(b2t3)
-BitmapScan(b2t4)
-BitmapScan(bmt1)
-BitmapScan(bmt2)
-BitmapScan(bmt3)
-BitmapScan(bmt4)
+TidScan(b1t1)
+SeqScan(b1t2)
+IndexScan(b1t3 t3_pkey)
+BitmapScan(b1t4 t4_pkey)
+BitmapScan(b2t1 t1_pkey)
+TidScan(b2t2)
+SeqScan(b2t3)
+IndexScan(b2t4 t4_pkey)
+SeqScan(bmt1)
+IndexScan(bmt2 t2_pkey)
+BitmapScan(bmt3 t3_pkey)
+TidScan(bmt4)
 not used hint:
 duplication hint:
 error hint:
 
-                             QUERY PLAN                             
---------------------------------------------------------------------
+                                QUERY PLAN                                 
+---------------------------------------------------------------------------
  Aggregate
    InitPlan 1 (returns $2)
      ->  Aggregate
-           ->  Nested Loop
-                 ->  Nested Loop
+           ->  Hash Join
+                 Hash Cond: (b1t1.c1 = b1t2.c1)
+                 ->  Seq Scan on t1 b1t1
+                 ->  Hash
                        ->  Nested Loop
-                             ->  Index Scan using t2_i1 on t2 b1t2
-                             ->  Bitmap Heap Scan on t1 b1t1
-                                   Recheck Cond: (c1 = b1t2.c1)
-                                   ->  Bitmap Index Scan on t1_i1
-                                         Index Cond: (c1 = b1t2.c1)
-                       ->  Bitmap Heap Scan on t3 b1t3
-                             Recheck Cond: (c1 = b1t1.c1)
-                             ->  Bitmap Index Scan on t3_i1
-                                   Index Cond: (c1 = b1t1.c1)
-                 ->  Bitmap Heap Scan on t4 b1t4
-                       Recheck Cond: (c1 = b1t1.c1)
-                       ->  Bitmap Index Scan on t4_i1
-                             Index Cond: (c1 = b1t1.c1)
-   InitPlan 2 (returns $3)
+                             Join Filter: (b1t2.c1 = b1t3.c1)
+                             ->  Nested Loop
+                                   ->  Seq Scan on t2 b1t2
+                                   ->  Bitmap Heap Scan on t4 b1t4
+                                         Recheck Cond: (c1 = b1t2.c1)
+                                         ->  Bitmap Index Scan on t4_pkey
+                                               Index Cond: (c1 = b1t2.c1)
+                             ->  Index Scan using t3_pkey on t3 b1t3
+                                   Index Cond: (c1 = b1t4.c1)
+   InitPlan 2 (returns $4)
      ->  Aggregate
-           ->  Nested Loop
-                 ->  Nested Loop
-                       ->  Nested Loop
-                             ->  Index Scan using t2_i1 on t2 b2t2
-                             ->  Bitmap Heap Scan on t1 b2t1
-                                   Recheck Cond: (c1 = b2t2.c1)
-                                   ->  Bitmap Index Scan on t1_i1
-                                         Index Cond: (c1 = b2t2.c1)
-                       ->  Bitmap Heap Scan on t3 b2t3
-                             Recheck Cond: (c1 = b2t1.c1)
-                             ->  Bitmap Index Scan on t3_i1
-                                   Index Cond: (c1 = b2t1.c1)
-                 ->  Bitmap Heap Scan on t4 b2t4
-                       Recheck Cond: (c1 = b2t1.c1)
-                       ->  Bitmap Index Scan on t4_i1
-                             Index Cond: (c1 = b2t1.c1)
-   ->  Nested Loop
-         ->  Nested Loop
+           ->  Hash Join
+                 Hash Cond: (b2t3.c1 = b2t1.c1)
+                 ->  Seq Scan on t3 b2t3
+                 ->  Hash
+                       ->  Merge Join
+                             Merge Cond: (b2t1.c1 = b2t2.c1)
+                             ->  Nested Loop
+                                   ->  Index Scan using t4_pkey on t4 b2t4
+                                   ->  Bitmap Heap Scan on t1 b2t1
+                                         Recheck Cond: (c1 = b2t4.c1)
+                                         ->  Bitmap Index Scan on t1_pkey
+                                               Index Cond: (c1 = b2t4.c1)
+                             ->  Sort
+                                   Sort Key: b2t2.c1
+                                   ->  Seq Scan on t2 b2t2
+   ->  Hash Join
+         Hash Cond: (bmt4.c1 = bmt1.c1)
+         ->  Seq Scan on t4 bmt4
+         ->  Hash
                ->  Nested Loop
-                     ->  Index Scan using t2_i1 on t2 bmt2
-                     ->  Bitmap Heap Scan on t1 bmt1
-                           Recheck Cond: (c1 = bmt2.c1)
-                           ->  Bitmap Index Scan on t1_i1
-                                 Index Cond: (c1 = bmt2.c1)
-               ->  Bitmap Heap Scan on t3 bmt3
-                     Recheck Cond: (c1 = bmt1.c1)
-                     ->  Bitmap Index Scan on t3_i1
-                           Index Cond: (c1 = bmt1.c1)
-         ->  Bitmap Heap Scan on t4 bmt4
-               Recheck Cond: (c1 = bmt1.c1)
-               ->  Bitmap Index Scan on t4_i1
-                     Index Cond: (c1 = bmt1.c1)
-(53 rows)
+                     ->  Hash Join
+                           Hash Cond: (bmt1.c1 = bmt2.c1)
+                           ->  Seq Scan on t1 bmt1
+                           ->  Hash
+                                 ->  Index Scan using t2_pkey on t2 bmt2
+                     ->  Bitmap Heap Scan on t3 bmt3
+                           Recheck Cond: (c1 = bmt1.c1)
+                           ->  Bitmap Index Scan on t3_pkey
+                                 Index Cond: (c1 = bmt1.c1)
+(48 rows)
 
 -- No. S-2-1-3
 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;
-                        QUERY PLAN                         
------------------------------------------------------------
+                           QUERY PLAN                           
+----------------------------------------------------------------
  Aggregate
-   ->  Merge Join
-         Merge Cond: (bmt1.c1 = bmt2.c1)
+   ->  Nested Loop
          ->  Merge Join
-               Merge Cond: (bmt1.c1 = bmt4.c1)
+               Merge Cond: (bmt1.c1 = bmt2.c1)
                ->  Merge Join
                      Merge Cond: (bmt1.c1 = bmt3.c1)
-                     ->  Index Scan using t1_i1 on t1 bmt1
-                     ->  Index Scan using t3_i1 on t3 bmt3
-               ->  Index Scan using t4_i1 on t4 bmt4
-         ->  Sort
-               Sort Key: bmt2.c1
-               ->  Seq Scan on t2 bmt2
+                     ->  Index Only Scan using t1_i1 on t1 bmt1
+                     ->  Index Only Scan using t3_i1 on t3 bmt3
+               ->  Sort
+                     Sort Key: bmt2.c1
+                     ->  Seq Scan on t2 bmt2
+         ->  Index Only Scan using t4_i1 on t4 bmt4
+               Index Cond: (c1 = bmt1.c1)
 (13 rows)
 
-/*+BitmapScan(bmt1)BitmapScan(bmt2)BitmapScan(bmt3)BitmapScan(bmt4)*/
+/*+SeqScan(bmt1)IndexScan(bmt2 t2_pkey)BitmapScan(bmt3 t3_pkey)TidScan(bmt4)
+*/
 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;
+LOG:  available indexes for IndexScan(bmt2): t2_pkey
+LOG:  available indexes for BitmapScan(bmt3): t3_pkey
 LOG:  pg_hint_plan:
 used hint:
-BitmapScan(bmt1)
-BitmapScan(bmt2)
-BitmapScan(bmt3)
-BitmapScan(bmt4)
+SeqScan(bmt1)
+IndexScan(bmt2 t2_pkey)
+BitmapScan(bmt3 t3_pkey)
+TidScan(bmt4)
 not used hint:
 duplication hint:
 error hint:
 
-                         QUERY PLAN                         
-------------------------------------------------------------
+                               QUERY PLAN                                
+-------------------------------------------------------------------------
  Aggregate
-   ->  Nested Loop
-         ->  Nested Loop
+   ->  Hash Join
+         Hash Cond: (bmt4.c1 = bmt1.c1)
+         ->  Seq Scan on t4 bmt4
+         ->  Hash
                ->  Nested Loop
-                     ->  Index Scan using t2_i1 on t2 bmt2
-                     ->  Bitmap Heap Scan on t1 bmt1
-                           Recheck Cond: (c1 = bmt2.c1)
-                           ->  Bitmap Index Scan on t1_i1
-                                 Index Cond: (c1 = bmt2.c1)
-               ->  Bitmap Heap Scan on t3 bmt3
-                     Recheck Cond: (c1 = bmt1.c1)
-                     ->  Bitmap Index Scan on t3_i1
-                           Index Cond: (c1 = bmt1.c1)
-         ->  Bitmap Heap Scan on t4 bmt4
-               Recheck Cond: (c1 = bmt1.c1)
-               ->  Bitmap Index Scan on t4_i1
-                     Index Cond: (c1 = bmt1.c1)
-(17 rows)
+                     ->  Hash Join
+                           Hash Cond: (bmt1.c1 = bmt2.c1)
+                           ->  Seq Scan on t1 bmt1
+                           ->  Hash
+                                 ->  Index Scan using t2_pkey on t2 bmt2
+                     ->  Bitmap Heap Scan on t3 bmt3
+                           Recheck Cond: (c1 = bmt1.c1)
+                           ->  Bitmap Index Scan on t3_pkey
+                                 Index Cond: (c1 = bmt1.c1)
+(15 rows)
 
 -- No. S-2-1-4
 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;
-                        QUERY PLAN                         
------------------------------------------------------------
+                           QUERY PLAN                           
+----------------------------------------------------------------
  Aggregate
-   ->  Merge Join
-         Merge Cond: (bmt1.c1 = bmt2.c1)
+   ->  Nested Loop
          ->  Merge Join
-               Merge Cond: (bmt1.c1 = bmt4.c1)
+               Merge Cond: (bmt1.c1 = bmt2.c1)
                ->  Merge Join
                      Merge Cond: (bmt1.c1 = bmt3.c1)
-                     ->  Index Scan using t1_i1 on t1 bmt1
-                     ->  Index Scan using t3_i1 on t3 bmt3
-               ->  Index Scan using t4_i1 on t4 bmt4
-         ->  Sort
-               Sort Key: bmt2.c1
-               ->  Seq Scan on t2 bmt2
+                     ->  Index Only Scan using t1_i1 on t1 bmt1
+                     ->  Index Only Scan using t3_i1 on t3 bmt3
+               ->  Sort
+                     Sort Key: bmt2.c1
+                     ->  Seq Scan on t2 bmt2
+         ->  Index Only Scan using t4_i1 on t4 bmt4
+               Index Cond: (c1 = bmt1.c1)
 (13 rows)
 
-/*+BitmapScan(bmt1)BitmapScan(bmt2)BitmapScan(bmt3)BitmapScan(bmt4)*/
+/*+SeqScan(bmt1)IndexScan(bmt2 t2_pkey)BitmapScan(bmt3 t3_pkey)TidScan(bmt4)
+*/
 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;
+LOG:  available indexes for IndexScan(bmt2): t2_pkey
+LOG:  available indexes for BitmapScan(bmt3): t3_pkey
 LOG:  pg_hint_plan:
 used hint:
-BitmapScan(bmt1)
-BitmapScan(bmt2)
-BitmapScan(bmt3)
-BitmapScan(bmt4)
+SeqScan(bmt1)
+IndexScan(bmt2 t2_pkey)
+BitmapScan(bmt3 t3_pkey)
+TidScan(bmt4)
 not used hint:
 duplication hint:
 error hint:
 
-                         QUERY PLAN                         
-------------------------------------------------------------
+                               QUERY PLAN                                
+-------------------------------------------------------------------------
  Aggregate
-   ->  Nested Loop
-         ->  Nested Loop
+   ->  Hash Join
+         Hash Cond: (bmt4.c1 = bmt1.c1)
+         ->  Seq Scan on t4 bmt4
+         ->  Hash
                ->  Nested Loop
-                     ->  Index Scan using t2_i1 on t2 bmt2
-                     ->  Bitmap Heap Scan on t1 bmt1
-                           Recheck Cond: (c1 = bmt2.c1)
-                           ->  Bitmap Index Scan on t1_i1
-                                 Index Cond: (c1 = bmt2.c1)
-               ->  Bitmap Heap Scan on t3 bmt3
-                     Recheck Cond: (c1 = bmt1.c1)
-                     ->  Bitmap Index Scan on t3_i1
-                           Index Cond: (c1 = bmt1.c1)
-         ->  Bitmap Heap Scan on t4 bmt4
-               Recheck Cond: (c1 = bmt1.c1)
-               ->  Bitmap Index Scan on t4_i1
-                     Index Cond: (c1 = bmt1.c1)
-(17 rows)
+                     ->  Hash Join
+                           Hash Cond: (bmt1.c1 = bmt2.c1)
+                           ->  Seq Scan on t1 bmt1
+                           ->  Hash
+                                 ->  Index Scan using t2_pkey on t2 bmt2
+                     ->  Bitmap Heap Scan on t3 bmt3
+                           Recheck Cond: (c1 = bmt1.c1)
+                           ->  Bitmap Index Scan on t3_pkey
+                                 Index Cond: (c1 = bmt1.c1)
+(15 rows)
 
 -- No. S-2-1-5
 EXPLAIN (COSTS false)
@@ -971,99 +980,100 @@ SELECT max(bmt1.c1) FROM s1.t1 bmt1, s1.t2 bmt2, s1.t3 bmt3, s1.t4 bmt4 WHERE bm
 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
 )
 ;
-                            QUERY PLAN                             
--------------------------------------------------------------------
+                               QUERY PLAN                               
+------------------------------------------------------------------------
  Aggregate
-   InitPlan 1 (returns $0)
+   InitPlan 1 (returns $1)
      ->  Aggregate
-           ->  Merge Join
-                 Merge Cond: (b1t1.c1 = b1t2.c1)
+           ->  Nested Loop
                  ->  Merge Join
-                       Merge Cond: (b1t1.c1 = b1t4.c1)
+                       Merge Cond: (b1t1.c1 = b1t2.c1)
                        ->  Merge Join
                              Merge Cond: (b1t1.c1 = b1t3.c1)
-                             ->  Index Scan using t1_i1 on t1 b1t1
-                             ->  Index Scan using t3_i1 on t3 b1t3
-                       ->  Index Scan using t4_i1 on t4 b1t4
-                 ->  Sort
-                       Sort Key: b1t2.c1
-                       ->  Seq Scan on t2 b1t2
-   ->  Merge Join
-         Merge Cond: (bmt1.c1 = bmt2.c1)
+                             ->  Index Only Scan using t1_i1 on t1 b1t1
+                             ->  Index Only Scan using t3_i1 on t3 b1t3
+                       ->  Sort
+                             Sort Key: b1t2.c1
+                             ->  Seq Scan on t2 b1t2
+                 ->  Index Only Scan using t4_i1 on t4 b1t4
+                       Index Cond: (c1 = b1t1.c1)
+   ->  Nested Loop
          ->  Merge Join
-               Merge Cond: (bmt1.c1 = bmt4.c1)
+               Merge Cond: (bmt1.c1 = bmt2.c1)
                ->  Merge Join
                      Merge Cond: (bmt1.c1 = bmt3.c1)
-                     ->  Index Scan using t1_i1 on t1 bmt1
-                           Filter: (c1 <> $0)
-                     ->  Index Scan using t3_i1 on t3 bmt3
-               ->  Index Scan using t4_i1 on t4 bmt4
-         ->  Sort
-               Sort Key: bmt2.c1
-               ->  Seq Scan on t2 bmt2
+                     ->  Index Only Scan using t1_i1 on t1 bmt1
+                           Filter: (c1 <> $1)
+                     ->  Index Only Scan using t3_i1 on t3 bmt3
+               ->  Sort
+                     Sort Key: bmt2.c1
+                     ->  Seq Scan on t2 bmt2
+         ->  Index Only Scan using t4_i1 on t4 bmt4
+               Index Cond: (c1 = bmt1.c1)
 (28 rows)
 
-/*+BitmapScan(bmt1)BitmapScan(bmt2)BitmapScan(bmt3)BitmapScan(bmt4)
-BitmapScan(b1t1)BitmapScan(b1t2)BitmapScan(b1t3)BitmapScan(b1t4)*/
+/*+SeqScan(bmt1)IndexScan(bmt2 t2_pkey)BitmapScan(bmt3 t3_pkey)TidScan(bmt4)
+TidScan(b1t1)SeqScan(b1t2)IndexScan(b1t3 t3_pkey)BitmapScan(b1t4 t4_pkey)
+*/
 EXPLAIN (COSTS false)
 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
   AND bmt1.c1 <> (
 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
 )
 ;
+LOG:  available indexes for IndexScan(b1t3): t3_pkey
+LOG:  available indexes for BitmapScan(b1t4): t4_pkey
+LOG:  available indexes for IndexScan(bmt2): t2_pkey
+LOG:  available indexes for BitmapScan(bmt3): t3_pkey
 LOG:  pg_hint_plan:
 used hint:
-BitmapScan(b1t1)
-BitmapScan(b1t2)
-BitmapScan(b1t3)
-BitmapScan(b1t4)
-BitmapScan(bmt1)
-BitmapScan(bmt2)
-BitmapScan(bmt3)
-BitmapScan(bmt4)
+TidScan(b1t1)
+SeqScan(b1t2)
+IndexScan(b1t3 t3_pkey)
+BitmapScan(b1t4 t4_pkey)
+SeqScan(bmt1)
+IndexScan(bmt2 t2_pkey)
+BitmapScan(bmt3 t3_pkey)
+TidScan(bmt4)
 not used hint:
 duplication hint:
 error hint:
 
-                             QUERY PLAN                             
---------------------------------------------------------------------
+                                QUERY PLAN                                
+--------------------------------------------------------------------------
  Aggregate
    InitPlan 1 (returns $2)
      ->  Aggregate
-           ->  Nested Loop
-                 ->  Nested Loop
+           ->  Hash Join
+                 Hash Cond: (b1t1.c1 = b1t2.c1)
+                 ->  Seq Scan on t1 b1t1
+                 ->  Hash
                        ->  Nested Loop
-                             ->  Index Scan using t2_i1 on t2 b1t2
-                             ->  Bitmap Heap Scan on t1 b1t1
-                                   Recheck Cond: (c1 = b1t2.c1)
-                                   ->  Bitmap Index Scan on t1_i1
-                                         Index Cond: (c1 = b1t2.c1)
-                       ->  Bitmap Heap Scan on t3 b1t3
-                             Recheck Cond: (c1 = b1t1.c1)
-                             ->  Bitmap Index Scan on t3_i1
-                                   Index Cond: (c1 = b1t1.c1)
-                 ->  Bitmap Heap Scan on t4 b1t4
-                       Recheck Cond: (c1 = b1t1.c1)
-                       ->  Bitmap Index Scan on t4_i1
-                             Index Cond: (c1 = b1t1.c1)
-   ->  Nested Loop
-         ->  Nested Loop
+                             Join Filter: (b1t2.c1 = b1t3.c1)
+                             ->  Nested Loop
+                                   ->  Seq Scan on t2 b1t2
+                                   ->  Bitmap Heap Scan on t4 b1t4
+                                         Recheck Cond: (c1 = b1t2.c1)
+                                         ->  Bitmap Index Scan on t4_pkey
+                                               Index Cond: (c1 = b1t2.c1)
+                             ->  Index Scan using t3_pkey on t3 b1t3
+                                   Index Cond: (c1 = b1t4.c1)
+   ->  Hash Join
+         Hash Cond: (bmt4.c1 = bmt1.c1)
+         ->  Seq Scan on t4 bmt4
+         ->  Hash
                ->  Nested Loop
-                     ->  Index Scan using t2_i1 on t2 bmt2
-                     ->  Bitmap Heap Scan on t1 bmt1
-                           Recheck Cond: (c1 = bmt2.c1)
-                           Filter: (c1 <> $2)
-                           ->  Bitmap Index Scan on t1_i1
-                                 Index Cond: (c1 = bmt2.c1)
-               ->  Bitmap Heap Scan on t3 bmt3
-                     Recheck Cond: (c1 = bmt1.c1)
-                     ->  Bitmap Index Scan on t3_i1
-                           Index Cond: (c1 = bmt1.c1)
-         ->  Bitmap Heap Scan on t4 bmt4
-               Recheck Cond: (c1 = bmt1.c1)
-               ->  Bitmap Index Scan on t4_i1
-                     Index Cond: (c1 = bmt1.c1)
-(36 rows)
+                     ->  Hash Join
+                           Hash Cond: (bmt1.c1 = bmt2.c1)
+                           ->  Seq Scan on t1 bmt1
+                                 Filter: (c1 <> $2)
+                           ->  Hash
+                                 ->  Index Scan using t2_pkey on t2 bmt2
+                     ->  Bitmap Heap Scan on t3 bmt3
+                           Recheck Cond: (c1 = bmt1.c1)
+                           ->  Bitmap Index Scan on t3_pkey
+                                 Index Cond: (c1 = bmt1.c1)
+(32 rows)
 
 -- No. S-2-1-6
 EXPLAIN (COSTS false)
@@ -1074,55 +1084,56 @@ SELECT max(b1t1.c1) FROM s1.t1 b1t1, s1.t2 b1t2, s1.t3 b1t3, s1.t4 b1t4 WHERE b1
 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
 )
 ;
-                            QUERY PLAN                             
--------------------------------------------------------------------
+                               QUERY PLAN                               
+------------------------------------------------------------------------
  Aggregate
-   InitPlan 1 (returns $0)
+   InitPlan 1 (returns $1)
      ->  Aggregate
-           ->  Merge Join
-                 Merge Cond: (b1t1.c1 = b1t2.c1)
+           ->  Nested Loop
                  ->  Merge Join
-                       Merge Cond: (b1t1.c1 = b1t4.c1)
+                       Merge Cond: (b1t1.c1 = b1t2.c1)
                        ->  Merge Join
                              Merge Cond: (b1t1.c1 = b1t3.c1)
-                             ->  Index Scan using t1_i1 on t1 b1t1
-                             ->  Index Scan using t3_i1 on t3 b1t3
-                       ->  Index Scan using t4_i1 on t4 b1t4
-                 ->  Sort
-                       Sort Key: b1t2.c1
-                       ->  Seq Scan on t2 b1t2
-   InitPlan 2 (returns $1)
+                             ->  Index Only Scan using t1_i1 on t1 b1t1
+                             ->  Index Only Scan using t3_i1 on t3 b1t3
+                       ->  Sort
+                             Sort Key: b1t2.c1
+                             ->  Seq Scan on t2 b1t2
+                 ->  Index Only Scan using t4_i1 on t4 b1t4
+                       Index Cond: (c1 = b1t1.c1)
+   InitPlan 2 (returns $3)
      ->  Aggregate
-           ->  Merge Join
-                 Merge Cond: (b2t1.c1 = b2t2.c1)
+           ->  Nested Loop
                  ->  Merge Join
-                       Merge Cond: (b2t1.c1 = b2t4.c1)
+                       Merge Cond: (b2t1.c1 = b2t2.c1)
                        ->  Merge Join
                              Merge Cond: (b2t1.c1 = b2t3.c1)
-                             ->  Index Scan using t1_i1 on t1 b2t1
-                             ->  Index Scan using t3_i1 on t3 b2t3
-                       ->  Index Scan using t4_i1 on t4 b2t4
-                 ->  Sort
-                       Sort Key: b2t2.c1
-                       ->  Seq Scan on t2 b2t2
-   ->  Merge Join
-         Merge Cond: (bmt1.c1 = bmt2.c1)
+                             ->  Index Only Scan using t1_i1 on t1 b2t1
+                             ->  Index Only Scan using t3_i1 on t3 b2t3
+                       ->  Sort
+                             Sort Key: b2t2.c1
+                             ->  Seq Scan on t2 b2t2
+                 ->  Index Only Scan using t4_i1 on t4 b2t4
+                       Index Cond: (c1 = b2t1.c1)
+   ->  Nested Loop
          ->  Merge Join
-               Merge Cond: (bmt1.c1 = bmt4.c1)
+               Merge Cond: (bmt1.c1 = bmt2.c1)
                ->  Merge Join
                      Merge Cond: (bmt1.c1 = bmt3.c1)
-                     ->  Index Scan using t1_i1 on t1 bmt1
-                           Filter: ((c1 <> $0) AND (c1 <> $1))
-                     ->  Index Scan using t3_i1 on t3 bmt3
-               ->  Index Scan using t4_i1 on t4 bmt4
-         ->  Sort
-               Sort Key: bmt2.c1
-               ->  Seq Scan on t2 bmt2
+                     ->  Index Only Scan using t1_i1 on t1 bmt1
+                           Filter: ((c1 <> $1) AND (c1 <> $3))
+                     ->  Index Only Scan using t3_i1 on t3 bmt3
+               ->  Sort
+                     Sort Key: bmt2.c1
+                     ->  Seq Scan on t2 bmt2
+         ->  Index Only Scan using t4_i1 on t4 bmt4
+               Index Cond: (c1 = bmt1.c1)
 (42 rows)
 
-/*+BitmapScan(bmt1)BitmapScan(bmt2)BitmapScan(bmt3)BitmapScan(bmt4)
-BitmapScan(b1t1)BitmapScan(b1t2)BitmapScan(b1t3)BitmapScan(b1t4)
-BitmapScan(b2t1)BitmapScan(b2t2)BitmapScan(b2t3)BitmapScan(b2t4)*/
+/*+SeqScan(bmt1)IndexScan(bmt2 t2_pkey)BitmapScan(bmt3 t3_pkey)TidScan(bmt4)
+TidScan(b1t1)SeqScan(b1t2)IndexScan(b1t3 t3_pkey)BitmapScan(b1t4 t4_pkey)
+BitmapScan(b2t1 t1_pkey)TidScan(b2t2)SeqScan(b2t3)IndexScan(b2t4 t4_pkey)
+*/
 EXPLAIN (COSTS false)
 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
   AND bmt1.c1 <> (
@@ -1131,81 +1142,82 @@ SELECT max(b1t1.c1) FROM s1.t1 b1t1, s1.t2 b1t2, s1.t3 b1t3, s1.t4 b1t4 WHERE b1
 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
 )
 ;
+LOG:  available indexes for IndexScan(b1t3): t3_pkey
+LOG:  available indexes for BitmapScan(b1t4): t4_pkey
+LOG:  available indexes for BitmapScan(b2t1): t1_pkey
+LOG:  available indexes for IndexScan(b2t4): t4_pkey
+LOG:  available indexes for IndexScan(bmt2): t2_pkey
+LOG:  available indexes for BitmapScan(bmt3): t3_pkey
 LOG:  pg_hint_plan:
 used hint:
-BitmapScan(b1t1)
-BitmapScan(b1t2)
-BitmapScan(b1t3)
-BitmapScan(b1t4)
-BitmapScan(b2t1)
-BitmapScan(b2t2)
-BitmapScan(b2t3)
-BitmapScan(b2t4)
-BitmapScan(bmt1)
-BitmapScan(bmt2)
-BitmapScan(bmt3)
-BitmapScan(bmt4)
+TidScan(b1t1)
+SeqScan(b1t2)
+IndexScan(b1t3 t3_pkey)
+BitmapScan(b1t4 t4_pkey)
+BitmapScan(b2t1 t1_pkey)
+TidScan(b2t2)
+SeqScan(b2t3)
+IndexScan(b2t4 t4_pkey)
+SeqScan(bmt1)
+IndexScan(bmt2 t2_pkey)
+BitmapScan(bmt3 t3_pkey)
+TidScan(bmt4)
 not used hint:
 duplication hint:
 error hint:
 
-                             QUERY PLAN                             
---------------------------------------------------------------------
+                                QUERY PLAN                                 
+---------------------------------------------------------------------------
  Aggregate
    InitPlan 1 (returns $2)
      ->  Aggregate
-           ->  Nested Loop
-                 ->  Nested Loop
+           ->  Hash Join
+                 Hash Cond: (b1t1.c1 = b1t2.c1)
+                 ->  Seq Scan on t1 b1t1
+                 ->  Hash
                        ->  Nested Loop
-                             ->  Index Scan using t2_i1 on t2 b1t2
-                             ->  Bitmap Heap Scan on t1 b1t1
-                                   Recheck Cond: (c1 = b1t2.c1)
-                                   ->  Bitmap Index Scan on t1_i1
-                                         Index Cond: (c1 = b1t2.c1)
-                       ->  Bitmap Heap Scan on t3 b1t3
-                             Recheck Cond: (c1 = b1t1.c1)
-                             ->  Bitmap Index Scan on t3_i1
-                                   Index Cond: (c1 = b1t1.c1)
-                 ->  Bitmap Heap Scan on t4 b1t4
-                       Recheck Cond: (c1 = b1t1.c1)
-                       ->  Bitmap Index Scan on t4_i1
-                             Index Cond: (c1 = b1t1.c1)
-   InitPlan 2 (returns $3)
+                             Join Filter: (b1t2.c1 = b1t3.c1)
+                             ->  Nested Loop
+                                   ->  Seq Scan on t2 b1t2
+                                   ->  Bitmap Heap Scan on t4 b1t4
+                                         Recheck Cond: (c1 = b1t2.c1)
+                                         ->  Bitmap Index Scan on t4_pkey
+                                               Index Cond: (c1 = b1t2.c1)
+                             ->  Index Scan using t3_pkey on t3 b1t3
+                                   Index Cond: (c1 = b1t4.c1)
+   InitPlan 2 (returns $4)
      ->  Aggregate
-           ->  Nested Loop
-                 ->  Nested Loop
-                       ->  Nested Loop
-                             ->  Index Scan using t2_i1 on t2 b2t2
-                             ->  Bitmap Heap Scan on t1 b2t1
-                                   Recheck Cond: (c1 = b2t2.c1)
-                                   ->  Bitmap Index Scan on t1_i1
-                                         Index Cond: (c1 = b2t2.c1)
-                       ->  Bitmap Heap Scan on t3 b2t3
-                             Recheck Cond: (c1 = b2t1.c1)
-                             ->  Bitmap Index Scan on t3_i1
-                                   Index Cond: (c1 = b2t1.c1)
-                 ->  Bitmap Heap Scan on t4 b2t4
-                       Recheck Cond: (c1 = b2t1.c1)
-                       ->  Bitmap Index Scan on t4_i1
-                             Index Cond: (c1 = b2t1.c1)
-   ->  Nested Loop
-         ->  Nested Loop
+           ->  Hash Join
+                 Hash Cond: (b2t3.c1 = b2t1.c1)
+                 ->  Seq Scan on t3 b2t3
+                 ->  Hash
+                       ->  Merge Join
+                             Merge Cond: (b2t1.c1 = b2t2.c1)
+                             ->  Nested Loop
+                                   ->  Index Scan using t4_pkey on t4 b2t4
+                                   ->  Bitmap Heap Scan on t1 b2t1
+                                         Recheck Cond: (c1 = b2t4.c1)
+                                         ->  Bitmap Index Scan on t1_pkey
+                                               Index Cond: (c1 = b2t4.c1)
+                             ->  Sort
+                                   Sort Key: b2t2.c1
+                                   ->  Seq Scan on t2 b2t2
+   ->  Hash Join
+         Hash Cond: (bmt4.c1 = bmt1.c1)
+         ->  Seq Scan on t4 bmt4
+         ->  Hash
                ->  Nested Loop
-                     ->  Index Scan using t2_i1 on t2 bmt2
-                     ->  Bitmap Heap Scan on t1 bmt1
-                           Recheck Cond: (c1 = bmt2.c1)
-                           Filter: ((c1 <> $2) AND (c1 <> $3))
-                           ->  Bitmap Index Scan on t1_i1
-                                 Index Cond: (c1 = bmt2.c1)
-               ->  Bitmap Heap Scan on t3 bmt3
-                     Recheck Cond: (c1 = bmt1.c1)
-                     ->  Bitmap Index Scan on t3_i1
-                           Index Cond: (c1 = bmt1.c1)
-         ->  Bitmap Heap Scan on t4 bmt4
-               Recheck Cond: (c1 = bmt1.c1)
-               ->  Bitmap Index Scan on t4_i1
-                     Index Cond: (c1 = bmt1.c1)
-(54 rows)
+                     ->  Hash Join
+                           Hash Cond: (bmt1.c1 = bmt2.c1)
+                           ->  Seq Scan on t1 bmt1
+                                 Filter: ((c1 <> $2) AND (c1 <> $4))
+                           ->  Hash
+                                 ->  Index Scan using t2_pkey on t2 bmt2
+                     ->  Bitmap Heap Scan on t3 bmt3
+                           Recheck Cond: (c1 = bmt1.c1)
+                           ->  Bitmap Index Scan on t3_pkey
+                                 Index Cond: (c1 = bmt1.c1)
+(49 rows)
 
 -- No. S-2-1-7
 EXPLAIN (COSTS false)
@@ -1217,43 +1229,40 @@ 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
 AND bmt1.c1 = c1.c1
 ;
-                            QUERY PLAN                             
--------------------------------------------------------------------
+                                             QUERY PLAN                                             
+----------------------------------------------------------------------------------------------------
  Aggregate
-   CTE c1
-     ->  Aggregate
-           ->  Merge Join
-                 Merge Cond: (b1t1.c1 = b1t2.c1)
-                 ->  Merge Join
-                       Merge Cond: (b1t1.c1 = b1t4.c1)
-                       ->  Merge Join
-                             Merge Cond: (b1t1.c1 = b1t3.c1)
-                             ->  Index Scan using t1_i1 on t1 b1t1
-                             ->  Index Scan using t3_i1 on t3 b1t3
-                       ->  Index Scan using t4_i1 on t4 b1t4
-                 ->  Sort
-                       Sort Key: b1t2.c1
-                       ->  Seq Scan on t2 b1t2
-   ->  Merge Join
-         Merge Cond: (bmt1.c1 = bmt2.c1)
-         ->  Merge Join
-               Merge Cond: (bmt1.c1 = bmt4.c1)
-               ->  Merge Join
-                     Merge Cond: (bmt1.c1 = bmt3.c1)
-                     ->  Index Scan using t1_i1 on t1 bmt1
-                     ->  Index Scan using t3_i1 on t3 bmt3
-               ->  Index Scan using t4_i1 on t4 bmt4
-         ->  Sort
-               Sort Key: bmt2.c1
-               ->  Hash Join
-                     Hash Cond: (bmt2.c1 = c1.c1)
-                     ->  Seq Scan on t2 bmt2
-                     ->  Hash
-                           ->  CTE Scan on c1
-(31 rows)
+   ->  Nested Loop
+         ->  Nested Loop
+               ->  Nested Loop
+                     ->  Hash Join
+                           Hash Cond: (bmt2.c1 = (max(b1t1.c1)))
+                           ->  Seq Scan on t2 bmt2
+                           ->  Hash
+                                 ->  Aggregate
+                                       ->  Nested Loop
+                                             ->  Merge Join
+                                                   Merge Cond: (b1t1.c1 = b1t2.c1)
+                                                   ->  Merge Join
+                                                         Merge Cond: (b1t1.c1 = b1t3.c1)
+                                                         ->  Index Only Scan using t1_i1 on t1 b1t1
+                                                         ->  Index Only Scan using t3_i1 on t3 b1t3
+                                                   ->  Sort
+                                                         Sort Key: b1t2.c1
+                                                         ->  Seq Scan on t2 b1t2
+                                             ->  Index Only Scan using t4_i1 on t4 b1t4
+                                                   Index Cond: (c1 = b1t1.c1)
+                     ->  Index Only Scan using t1_i1 on t1 bmt1
+                           Index Cond: (c1 = bmt2.c1)
+               ->  Index Only Scan using t3_i1 on t3 bmt3
+                     Index Cond: (c1 = bmt1.c1)
+         ->  Index Only Scan using t4_i1 on t4 bmt4
+               Index Cond: (c1 = bmt1.c1)
+(27 rows)
 
-/*+BitmapScan(bmt1)BitmapScan(bmt2)BitmapScan(bmt3)BitmapScan(bmt4)
-BitmapScan(b1t1)BitmapScan(b1t2)BitmapScan(b1t3)BitmapScan(b1t4)*/
+/*+SeqScan(bmt1)IndexScan(bmt2 t2_pkey)BitmapScan(bmt3 t3_pkey)TidScan(bmt4)
+TidScan(b1t1)SeqScan(b1t2)IndexScan(b1t3 t3_pkey)BitmapScan(b1t4 t4_pkey)
+*/
 EXPLAIN (COSTS false)
 WITH c1 (c1) AS (
 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
@@ -1263,63 +1272,63 @@ 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
 AND bmt1.c1 = c1.c1
 ;
+LOG:  available indexes for IndexScan(b1t3): t3_pkey
+LOG:  available indexes for BitmapScan(b1t4): t4_pkey
+LOG:  available indexes for IndexScan(bmt2): t2_pkey
+LOG:  available indexes for BitmapScan(bmt3): t3_pkey
 LOG:  pg_hint_plan:
 used hint:
-BitmapScan(b1t1)
-BitmapScan(b1t2)
-BitmapScan(b1t3)
-BitmapScan(b1t4)
-BitmapScan(bmt1)
-BitmapScan(bmt2)
-BitmapScan(bmt3)
-BitmapScan(bmt4)
+TidScan(b1t1)
+SeqScan(b1t2)
+IndexScan(b1t3 t3_pkey)
+BitmapScan(b1t4 t4_pkey)
+SeqScan(bmt1)
+IndexScan(bmt2 t2_pkey)
+BitmapScan(bmt3 t3_pkey)
+TidScan(bmt4)
 not used hint:
 duplication hint:
 error hint:
 
-                             QUERY PLAN                             
---------------------------------------------------------------------
+                                              QUERY PLAN                                              
+------------------------------------------------------------------------------------------------------
  Aggregate
-   CTE c1
-     ->  Aggregate
-           ->  Nested Loop
-                 ->  Nested Loop
-                       ->  Nested Loop
-                             ->  Index Scan using t2_i1 on t2 b1t2
-                             ->  Bitmap Heap Scan on t1 b1t1
-                                   Recheck Cond: (c1 = b1t2.c1)
-                                   ->  Bitmap Index Scan on t1_i1
-                                         Index Cond: (c1 = b1t2.c1)
-                       ->  Bitmap Heap Scan on t3 b1t3
-                             Recheck Cond: (c1 = b1t1.c1)
-                             ->  Bitmap Index Scan on t3_i1
-                                   Index Cond: (c1 = b1t1.c1)
-                 ->  Bitmap Heap Scan on t4 b1t4
-                       Recheck Cond: (c1 = b1t1.c1)
-                       ->  Bitmap Index Scan on t4_i1
-                             Index Cond: (c1 = b1t1.c1)
-   ->  Nested Loop
-         ->  Nested Loop
+   ->  Hash Join
+         Hash Cond: (bmt4.c1 = bmt1.c1)
+         ->  Seq Scan on t4 bmt4
+         ->  Hash
                ->  Nested Loop
-                     ->  Nested Loop
-                           ->  CTE Scan on c1
-                           ->  Bitmap Heap Scan on t3 bmt3
-                                 Recheck Cond: (c1 = c1.c1)
-                                 ->  Bitmap Index Scan on t3_i1
-                                       Index Cond: (c1 = c1.c1)
-                     ->  Bitmap Heap Scan on t1 bmt1
-                           Recheck Cond: (c1 = bmt3.c1)
-                           ->  Bitmap Index Scan on t1_i1
-                                 Index Cond: (c1 = bmt3.c1)
-               ->  Bitmap Heap Scan on t4 bmt4
-                     Recheck Cond: (c1 = bmt1.c1)
-                     ->  Bitmap Index Scan on t4_i1
-                           Index Cond: (c1 = bmt1.c1)
-         ->  Bitmap Heap Scan on t2 bmt2
-               Recheck Cond: (c1 = bmt1.c1)
-               ->  Bitmap Index Scan on t2_i1
-                     Index Cond: (c1 = bmt1.c1)
-(40 rows)
+                     ->  Merge Join
+                           Merge Cond: (bmt1.c1 = (max(b1t1.c1)))
+                           ->  Sort
+                                 Sort Key: bmt1.c1
+                                 ->  Hash Join
+                                       Hash Cond: (bmt1.c1 = bmt2.c1)
+                                       ->  Seq Scan on t1 bmt1
+                                       ->  Hash
+                                             ->  Index Scan using t2_pkey on t2 bmt2
+                           ->  Sort
+                                 Sort Key: (max(b1t1.c1))
+                                 ->  Aggregate
+                                       ->  Hash Join
+                                             Hash Cond: (b1t1.c1 = b1t2.c1)
+                                             ->  Seq Scan on t1 b1t1
+                                             ->  Hash
+                                                   ->  Nested Loop
+                                                         Join Filter: (b1t2.c1 = b1t3.c1)
+                                                         ->  Nested Loop
+                                                               ->  Seq Scan on t2 b1t2
+                                                               ->  Bitmap Heap Scan on t4 b1t4
+                                                                     Recheck Cond: (c1 = b1t2.c1)
+                                                                     ->  Bitmap Index Scan on t4_pkey
+                                                                           Index Cond: (c1 = b1t2.c1)
+                                                         ->  Index Scan using t3_pkey on t3 b1t3
+                                                               Index Cond: (c1 = b1t4.c1)
+                     ->  Bitmap Heap Scan on t3 bmt3
+                           Recheck Cond: (c1 = bmt1.c1)
+                           ->  Bitmap Index Scan on t3_pkey
+                                 Index Cond: (c1 = bmt1.c1)
+(36 rows)
 
 -- No. S-2-1-8
 EXPLAIN (COSTS false)
@@ -1335,61 +1344,56 @@ SELECT max(bmt1.c1) FROM s1.t1 bmt1, s1.t2 bmt2, s1.t3 bmt3, s1.t4 bmt4
 AND bmt1.c1 = c1.c1
 AND bmt1.c1 = c2.c1
 ;
-                            QUERY PLAN                             
--------------------------------------------------------------------
+                                                QUERY PLAN                                                
+----------------------------------------------------------------------------------------------------------
  Aggregate
-   CTE c1
-     ->  Aggregate
-           ->  Merge Join
-                 Merge Cond: (b1t1.c1 = b1t2.c1)
-                 ->  Merge Join
-                       Merge Cond: (b1t1.c1 = b1t4.c1)
-                       ->  Merge Join
-                             Merge Cond: (b1t1.c1 = b1t3.c1)
-                             ->  Index Scan using t1_i1 on t1 b1t1
-                             ->  Index Scan using t3_i1 on t3 b1t3
-                       ->  Index Scan using t4_i1 on t4 b1t4
-                 ->  Sort
-                       Sort Key: b1t2.c1
-                       ->  Seq Scan on t2 b1t2
-   CTE c2
-     ->  Aggregate
-           ->  Merge Join
-                 Merge Cond: (b2t1.c1 = b2t2.c1)
-                 ->  Merge Join
-                       Merge Cond: (b2t1.c1 = b2t4.c1)
-                       ->  Merge Join
-                             Merge Cond: (b2t1.c1 = b2t3.c1)
-                             ->  Index Scan using t1_i1 on t1 b2t1
-                             ->  Index Scan using t3_i1 on t3 b2t3
-                       ->  Index Scan using t4_i1 on t4 b2t4
-                 ->  Sort
-                       Sort Key: b2t2.c1
-                       ->  Seq Scan on t2 b2t2
    ->  Nested Loop
-         Join Filter: (bmt1.c1 = c2.c1)
-         ->  Merge Join
-               Merge Cond: (bmt1.c1 = bmt2.c1)
-               ->  Merge Join
-                     Merge Cond: (bmt1.c1 = bmt4.c1)
+         Join Filter: (bmt1.c1 = (max(b2t1.c1)))
+         ->  Nested Loop
+               ->  Nested Loop
+                     ->  Nested Loop
+                           ->  Hash Join
+                                 Hash Cond: (bmt2.c1 = (max(b1t1.c1)))
+                                 ->  Seq Scan on t2 bmt2
+                                 ->  Hash
+                                       ->  Aggregate
+                                             ->  Nested Loop
+                                                   ->  Merge Join
+                                                         Merge Cond: (b1t1.c1 = b1t2.c1)
+                                                         ->  Merge Join
+                                                               Merge Cond: (b1t1.c1 = b1t3.c1)
+                                                               ->  Index Only Scan using t1_i1 on t1 b1t1
+                                                               ->  Index Only Scan using t3_i1 on t3 b1t3
+                                                         ->  Sort
+                                                               Sort Key: b1t2.c1
+                                                               ->  Seq Scan on t2 b1t2
+                                                   ->  Index Only Scan using t4_i1 on t4 b1t4
+                                                         Index Cond: (c1 = b1t1.c1)
+                           ->  Index Only Scan using t1_i1 on t1 bmt1
+                                 Index Cond: (c1 = bmt2.c1)
+                     ->  Index Only Scan using t3_i1 on t3 bmt3
+                           Index Cond: (c1 = bmt1.c1)
+               ->  Index Only Scan using t4_i1 on t4 bmt4
+                     Index Cond: (c1 = bmt1.c1)
+         ->  Aggregate
+               ->  Nested Loop
                      ->  Merge Join
-                           Merge Cond: (bmt1.c1 = bmt3.c1)
-                           ->  Index Scan using t1_i1 on t1 bmt1
-                           ->  Index Scan using t3_i1 on t3 bmt3
-                     ->  Index Scan using t4_i1 on t4 bmt4
-               ->  Sort
-                     Sort Key: bmt2.c1
-                     ->  Hash Join
-                           Hash Cond: (bmt2.c1 = c1.c1)
-                           ->  Seq Scan on t2 bmt2
-                           ->  Hash
-                                 ->  CTE Scan on c1
-         ->  CTE Scan on c2
-(48 rows)
+                           Merge Cond: (b2t1.c1 = b2t2.c1)
+                           ->  Merge Join
+                                 Merge Cond: (b2t1.c1 = b2t3.c1)
+                                 ->  Index Only Scan using t1_i1 on t1 b2t1
+                                 ->  Index Only Scan using t3_i1 on t3 b2t3
+                           ->  Sort
+                                 Sort Key: b2t2.c1
+                                 ->  Seq Scan on t2 b2t2
+                     ->  Index Only Scan using t4_i1 on t4 b2t4
+                           Index Cond: (c1 = b2t1.c1)
+(42 rows)
 
-/*+BitmapScan(bmt1)BitmapScan(bmt2)BitmapScan(bmt3)BitmapScan(bmt4)
-BitmapScan(b1t1)BitmapScan(b1t2)BitmapScan(b1t3)BitmapScan(b1t4)
-BitmapScan(b2t1)BitmapScan(b2t2)BitmapScan(b2t3)BitmapScan(b2t4)*/
+/*+SeqScan(bmt1)IndexScan(bmt2 t2_pkey)BitmapScan(bmt3 t3_pkey)TidScan(bmt4)
+TidScan(b1t1)SeqScan(b1t2)IndexScan(b1t3 t3_pkey)BitmapScan(b1t4 t4_pkey)
+BitmapScan(b2t1 t1_pkey)TidScan(b2t2)SeqScan(b2t3)IndexScan(b2t4 t4_pkey)
+*/
 EXPLAIN (COSTS false)
 WITH c1 (c1) AS (
 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
@@ -1403,88 +1407,86 @@ SELECT max(bmt1.c1) FROM s1.t1 bmt1, s1.t2 bmt2, s1.t3 bmt3, s1.t4 bmt4
 AND bmt1.c1 = c1.c1
 AND bmt1.c1 = c2.c1
 ;
+LOG:  available indexes for IndexScan(b1t3): t3_pkey
+LOG:  available indexes for BitmapScan(b1t4): t4_pkey
+LOG:  available indexes for BitmapScan(b2t1): t1_pkey
+LOG:  available indexes for IndexScan(b2t4): t4_pkey
+LOG:  available indexes for IndexScan(bmt2): t2_pkey
+LOG:  available indexes for BitmapScan(bmt3): t3_pkey
 LOG:  pg_hint_plan:
 used hint:
-BitmapScan(b1t1)
-BitmapScan(b1t2)
-BitmapScan(b1t3)
-BitmapScan(b1t4)
-BitmapScan(b2t1)
-BitmapScan(b2t2)
-BitmapScan(b2t3)
-BitmapScan(b2t4)
-BitmapScan(bmt1)
-BitmapScan(bmt2)
-BitmapScan(bmt3)
-BitmapScan(bmt4)
+TidScan(b1t1)
+SeqScan(b1t2)
+IndexScan(b1t3 t3_pkey)
+BitmapScan(b1t4 t4_pkey)
+BitmapScan(b2t1 t1_pkey)
+TidScan(b2t2)
+SeqScan(b2t3)
+IndexScan(b2t4 t4_pkey)
+SeqScan(bmt1)
+IndexScan(bmt2 t2_pkey)
+BitmapScan(bmt3 t3_pkey)
+TidScan(bmt4)
 not used hint:
 duplication hint:
 error hint:
 
-                              QUERY PLAN                              
-----------------------------------------------------------------------
+                                                    QUERY PLAN                                                     
+-------------------------------------------------------------------------------------------------------------------
  Aggregate
-   CTE c1
-     ->  Aggregate
-           ->  Nested Loop
-                 ->  Nested Loop
-                       ->  Nested Loop
-                             ->  Index Scan using t2_i1 on t2 b1t2
-                             ->  Bitmap Heap Scan on t1 b1t1
-                                   Recheck Cond: (c1 = b1t2.c1)
-                                   ->  Bitmap Index Scan on t1_i1
-                                         Index Cond: (c1 = b1t2.c1)
-                       ->  Bitmap Heap Scan on t3 b1t3
-                             Recheck Cond: (c1 = b1t1.c1)
-                             ->  Bitmap Index Scan on t3_i1
-                                   Index Cond: (c1 = b1t1.c1)
-                 ->  Bitmap Heap Scan on t4 b1t4
-                       Recheck Cond: (c1 = b1t1.c1)
-                       ->  Bitmap Index Scan on t4_i1
-                             Index Cond: (c1 = b1t1.c1)
-   CTE c2
-     ->  Aggregate
-           ->  Nested Loop
-                 ->  Nested Loop
-                       ->  Nested Loop
-                             ->  Index Scan using t2_i1 on t2 b2t2
-                             ->  Bitmap Heap Scan on t1 b2t1
-                                   Recheck Cond: (c1 = b2t2.c1)
-                                   ->  Bitmap Index Scan on t1_i1
-                                         Index Cond: (c1 = b2t2.c1)
-                       ->  Bitmap Heap Scan on t3 b2t3
-                             Recheck Cond: (c1 = b2t1.c1)
-                             ->  Bitmap Index Scan on t3_i1
-                                   Index Cond: (c1 = b2t1.c1)
-                 ->  Bitmap Heap Scan on t4 b2t4
-                       Recheck Cond: (c1 = b2t1.c1)
-                       ->  Bitmap Index Scan on t4_i1
-                             Index Cond: (c1 = b2t1.c1)
-   ->  Nested Loop
-         Join Filter: (bmt1.c1 = c2.c1)
-         ->  Nested Loop
+   ->  Hash Join
+         Hash Cond: (bmt4.c1 = bmt1.c1)
+         ->  Seq Scan on t4 bmt4
+         ->  Hash
                ->  Nested Loop
                      ->  Nested Loop
                            ->  Nested Loop
-                                 ->  CTE Scan on c1
-                                 ->  Bitmap Heap Scan on t3 bmt3
-                                       Recheck Cond: (c1 = c1.c1)
-                                       ->  Bitmap Index Scan on t3_i1
-                                             Index Cond: (c1 = c1.c1)
-                           ->  Bitmap Heap Scan on t1 bmt1
-                                 Recheck Cond: (c1 = bmt3.c1)
-                                 ->  Bitmap Index Scan on t1_i1
-                                       Index Cond: (c1 = bmt3.c1)
-                     ->  Bitmap Heap Scan on t4 bmt4
+                                 Join Filter: ((max(b1t1.c1)) = bmt1.c1)
+                                 ->  Merge Join
+                                       Merge Cond: ((max(b1t1.c1)) = (max(b2t1.c1)))
+                                       ->  Sort
+                                             Sort Key: (max(b1t1.c1))
+                                             ->  Aggregate
+                                                   ->  Hash Join
+                                                         Hash Cond: (b1t1.c1 = b1t2.c1)
+                                                         ->  Seq Scan on t1 b1t1
+                                                         ->  Hash
+                                                               ->  Nested Loop
+                                                                     Join Filter: (b1t2.c1 = b1t3.c1)
+                                                                     ->  Nested Loop
+                                                                           ->  Seq Scan on t2 b1t2
+                                                                           ->  Bitmap Heap Scan on t4 b1t4
+                                                                                 Recheck Cond: (c1 = b1t2.c1)
+                                                                                 ->  Bitmap Index Scan on t4_pkey
+                                                                                       Index Cond: (c1 = b1t2.c1)
+                                                                     ->  Index Scan using t3_pkey on t3 b1t3
+                                                                           Index Cond: (c1 = b1t4.c1)
+                                       ->  Sort
+                                             Sort Key: (max(b2t1.c1))
+                                             ->  Aggregate
+                                                   ->  Hash Join
+                                                         Hash Cond: (b2t3.c1 = b2t1.c1)
+                                                         ->  Seq Scan on t3 b2t3
+                                                         ->  Hash
+                                                               ->  Merge Join
+                                                                     Merge Cond: (b2t1.c1 = b2t2.c1)
+                                                                     ->  Nested Loop
+                                                                           ->  Index Scan using t4_pkey on t4 b2t4
+                                                                           ->  Bitmap Heap Scan on t1 b2t1
+                                                                                 Recheck Cond: (c1 = b2t4.c1)
+                                                                                 ->  Bitmap Index Scan on t1_pkey
+                                                                                       Index Cond: (c1 = b2t4.c1)
+                                                                     ->  Sort
+                                                                           Sort Key: b2t2.c1
+                                                                           ->  Seq Scan on t2 b2t2
+                                 ->  Seq Scan on t1 bmt1
+                           ->  Index Scan using t2_pkey on t2 bmt2
+                                 Index Cond: (c1 = bmt1.c1)
+                     ->  Bitmap Heap Scan on t3 bmt3
                            Recheck Cond: (c1 = bmt1.c1)
-                           ->  Bitmap Index Scan on t4_i1
+                           ->  Bitmap Index Scan on t3_pkey
                                  Index Cond: (c1 = bmt1.c1)
-               ->  Bitmap Heap Scan on t2 bmt2
-                     Recheck Cond: (c1 = bmt1.c1)
-                     ->  Bitmap Index Scan on t2_i1
-                           Index Cond: (c1 = bmt1.c1)
-         ->  CTE Scan on c2
-(61 rows)
+(53 rows)
 
 ----
 ---- No. S-2-2 the number of the tables per quiry block
@@ -1505,38 +1507,31 @@ SELECT max(b3t1.c1) FROM s1.t1 b3t1 WHERE b3t1.ctid = '(1,1)' AND b3t1.c1 = 1
                            QUERY PLAN                            
 -----------------------------------------------------------------
  Aggregate
-   CTE c1
+   InitPlan 2 (returns $1)
      ->  Result
            InitPlan 1 (returns $0)
              ->  Limit
-                   ->  Tid Scan on t1 b1t1
+                   ->  Tid Scan on t1 b2t1
                          TID Cond: (ctid = '(1,1)'::tid)
                          Filter: ((c1 IS NOT NULL) AND (c1 = 1))
    InitPlan 4 (returns $3)
      ->  Result
            InitPlan 3 (returns $2)
              ->  Limit
-                   ->  Tid Scan on t1 b2t1
-                         TID Cond: (ctid = '(1,1)'::tid)
-                         Filter: ((c1 IS NOT NULL) AND (c1 = 1))
-   InitPlan 6 (returns $5)
-     ->  Result
-           InitPlan 5 (returns $4)
-             ->  Limit
                    ->  Tid Scan on t1 b3t1
                          TID Cond: (ctid = '(1,1)'::tid)
                          Filter: ((c1 IS NOT NULL) AND (c1 = 1))
    ->  Nested Loop
          ->  Tid Scan on t1 bmt1
                TID Cond: (ctid = '(1,1)'::tid)
-               Filter: ((c1 <> $5) AND (c1 = 1))
-         ->  CTE Scan on c1
-(27 rows)
+               Filter: ((c1 <> $3) AND (c1 = 1))
+         ->  Result
+(20 rows)
 
 /*+SeqScan(bmt1)
 TidScan(b1t1)
-BitmapScan(b2t1 t1_i1)
-IndexScan(b3t1 t1_i1)
+BitmapScan(b2t1 t1_pkey)
+IndexScan(b3t1 t1_pkey)
 */
 EXPLAIN (COSTS false)
 WITH c1 (c1) AS (
@@ -1550,11 +1545,15 @@ AND bmt1.c1 <> (
 SELECT max(b3t1.c1) FROM s1.t1 b3t1 WHERE b3t1.ctid = '(1,1)' AND b3t1.c1 = 1
 )
 ;
+LOG:  available indexes for BitmapScan(b2t1): t1_pkey
+LOG:  available indexes for BitmapScan(b2t1): t1_pkey
+LOG:  available indexes for IndexScan(b3t1): t1_pkey
+LOG:  available indexes for IndexScan(b3t1): t1_pkey
 LOG:  pg_hint_plan:
 used hint:
 TidScan(b1t1)
-BitmapScan(b2t1 t1_i1)
-IndexScan(b3t1 t1_i1)
+BitmapScan(b2t1 t1_pkey)
+IndexScan(b3t1 t1_pkey)
 SeqScan(bmt1)
 not used hint:
 duplication hint:
@@ -1563,34 +1562,27 @@ error hint:
                                 QUERY PLAN                                 
 ---------------------------------------------------------------------------
  Aggregate
-   CTE c1
+   InitPlan 2 (returns $1)
      ->  Result
            InitPlan 1 (returns $0)
              ->  Limit
-                   ->  Tid Scan on t1 b1t1
-                         TID Cond: (ctid = '(1,1)'::tid)
-                         Filter: ((c1 IS NOT NULL) AND (c1 = 1))
-   InitPlan 4 (returns $3)
-     ->  Result
-           InitPlan 3 (returns $2)
-             ->  Limit
                    ->  Bitmap Heap Scan on t1 b2t1
                          Recheck Cond: ((c1 IS NOT NULL) AND (c1 = 1))
                          Filter: (ctid = '(1,1)'::tid)
-                         ->  Bitmap Index Scan on t1_i1
+                         ->  Bitmap Index Scan on t1_pkey
                                Index Cond: ((c1 IS NOT NULL) AND (c1 = 1))
-   InitPlan 6 (returns $5)
+   InitPlan 4 (returns $3)
      ->  Result
-           InitPlan 5 (returns $4)
+           InitPlan 3 (returns $2)
              ->  Limit
-                   ->  Index Scan using t1_i1 on t1 b3t1
+                   ->  Index Scan using t1_pkey on t1 b3t1
                          Index Cond: ((c1 IS NOT NULL) AND (c1 = 1))
                          Filter: (ctid = '(1,1)'::tid)
    ->  Nested Loop
          ->  Seq Scan on t1 bmt1
-               Filter: ((c1 <> $5) AND (ctid = '(1,1)'::tid) AND (c1 = 1))
-         ->  CTE Scan on c1
-(28 rows)
+               Filter: ((c1 <> $3) AND (ctid = '(1,1)'::tid) AND (c1 = 1))
+         ->  Result
+(21 rows)
 
 -- No. S-2-2-2
 EXPLAIN (COSTS false)
@@ -1605,18 +1597,10 @@ AND bmt1.c1 <> (
 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)'
 )
 ;
-                      QUERY PLAN                       
--------------------------------------------------------
+                        QUERY PLAN                         
+-----------------------------------------------------------
  Aggregate
-   CTE c1
-     ->  Aggregate
-           ->  Nested Loop
-                 Join Filter: (b1t1.c1 = b1t2.c1)
-                 ->  Tid Scan on t1 b1t1
-                       TID Cond: (ctid = '(1,1)'::tid)
-                 ->  Seq Scan on t2 b1t2
-                       Filter: (ctid = '(1,1)'::tid)
-   InitPlan 2 (returns $1)
+   InitPlan 1 (returns $0)
      ->  Aggregate
            ->  Nested Loop
                  Join Filter: (b2t1.c1 = b2t2.c1)
@@ -1624,7 +1608,7 @@ SELECT max(b3t1.c1) FROM s1.t1 b3t1, s1.t2 b3t2 WHERE b3t1.ctid = '(1,1)' AND b3
                        TID Cond: (ctid = '(1,1)'::tid)
                  ->  Seq Scan on t2 b2t2
                        Filter: (ctid = '(1,1)'::tid)
-   InitPlan 3 (returns $2)
+   InitPlan 2 (returns $1)
      ->  Aggregate
            ->  Nested Loop
                  Join Filter: (b3t1.c1 = b3t2.c1)
@@ -1637,16 +1621,22 @@ SELECT max(b3t1.c1) FROM s1.t1 b3t1, s1.t2 b3t2 WHERE b3t1.ctid = '(1,1)' AND b3
                Join Filter: (bmt1.c1 = bmt2.c1)
                ->  Tid Scan on t1 bmt1
                      TID Cond: (ctid = '(1,1)'::tid)
-                     Filter: (c1 <> $2)
+                     Filter: (c1 <> $1)
                ->  Seq Scan on t2 bmt2
                      Filter: (ctid = '(1,1)'::tid)
-         ->  CTE Scan on c1
-(34 rows)
+         ->  Aggregate
+               ->  Nested Loop
+                     Join Filter: (b1t1.c1 = b1t2.c1)
+                     ->  Tid Scan on t1 b1t1
+                           TID Cond: (ctid = '(1,1)'::tid)
+                     ->  Seq Scan on t2 b1t2
+                           Filter: (ctid = '(1,1)'::tid)
+(32 rows)
 
-/*+SeqScan(bmt1)IndexScan(bmt2 t2_i1)
+/*+SeqScan(bmt1)IndexScan(bmt2 t2_pkey)
 TidScan(b1t1)SeqScan(b1t2)
-BitmapScan(b2t1 t1_i1)TidScan(b2t2)
-IndexScan(b3t1 t1_i1)BitmapScan(b3t2 t2_i1)
+BitmapScan(b2t1 t1_pkey)TidScan(b2t2)
+IndexScan(b3t1 t1_pkey)BitmapScan(b3t2 t2_pkey)
 */
 EXPLAIN (COSTS false)
 WITH c1 (c1) AS (
@@ -1660,16 +1650,20 @@ AND bmt1.c1 <> (
 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)'
 )
 ;
+LOG:  available indexes for BitmapScan(b2t1): t1_pkey
+LOG:  available indexes for IndexScan(b3t1): t1_pkey
+LOG:  available indexes for BitmapScan(b3t2): t2_pkey
+LOG:  available indexes for IndexScan(bmt2): t2_pkey
 LOG:  pg_hint_plan:
 used hint:
 TidScan(b1t1)
 SeqScan(b1t2)
-BitmapScan(b2t1 t1_i1)
+BitmapScan(b2t1 t1_pkey)
 TidScan(b2t2)
-IndexScan(b3t1 t1_i1)
-BitmapScan(b3t2 t2_i1)
+IndexScan(b3t1 t1_pkey)
+BitmapScan(b3t2 t2_pkey)
 SeqScan(bmt1)
-IndexScan(bmt2 t2_i1)
+IndexScan(bmt2 t2_pkey)
 not used hint:
 duplication hint:
 error hint:
@@ -1677,15 +1671,7 @@ error hint:
                              QUERY PLAN                             
 --------------------------------------------------------------------
  Aggregate
-   CTE c1
-     ->  Aggregate
-           ->  Nested Loop
-                 Join Filter: (b1t1.c1 = b1t2.c1)
-                 ->  Tid Scan on t1 b1t1
-                       TID Cond: (ctid = '(1,1)'::tid)
-                 ->  Seq Scan on t2 b1t2
-                       Filter: (ctid = '(1,1)'::tid)
-   InitPlan 2 (returns $2)
+   InitPlan 1 (returns $1)
      ->  Aggregate
            ->  Nested Loop
                  ->  Tid Scan on t2 b2t2
@@ -1693,27 +1679,33 @@ error hint:
                  ->  Bitmap Heap Scan on t1 b2t1
                        Recheck Cond: (c1 = b2t2.c1)
                        Filter: (ctid = '(1,1)'::tid)
-                       ->  Bitmap Index Scan on t1_i1
+                       ->  Bitmap Index Scan on t1_pkey
                              Index Cond: (c1 = b2t2.c1)
-   InitPlan 3 (returns $4)
+   InitPlan 2 (returns $3)
      ->  Aggregate
            ->  Nested Loop
-                 ->  Index Scan using t1_i1 on t1 b3t1
+                 ->  Index Scan using t1_pkey on t1 b3t1
                        Filter: (ctid = '(1,1)'::tid)
                  ->  Bitmap Heap Scan on t2 b3t2
                        Recheck Cond: (c1 = b3t1.c1)
                        Filter: (ctid = '(1,1)'::tid)
-                       ->  Bitmap Index Scan on t2_i1
+                       ->  Bitmap Index Scan on t2_pkey
                              Index Cond: (c1 = b3t1.c1)
    ->  Nested Loop
          ->  Nested Loop
+               Join Filter: (bmt1.c1 = bmt2.c1)
                ->  Seq Scan on t1 bmt1
-                     Filter: ((c1 <> $4) AND (ctid = '(1,1)'::tid))
-               ->  Index Scan using t2_i1 on t2 bmt2
-                     Index Cond: (c1 = bmt1.c1)
+                     Filter: ((c1 <> $3) AND (ctid = '(1,1)'::tid))
+               ->  Index Scan using t2_pkey on t2 bmt2
                      Filter: (ctid = '(1,1)'::tid)
-         ->  CTE Scan on c1
-(37 rows)
+         ->  Aggregate
+               ->  Nested Loop
+                     Join Filter: (b1t1.c1 = b1t2.c1)
+                     ->  Tid Scan on t1 b1t1
+                           TID Cond: (ctid = '(1,1)'::tid)
+                     ->  Seq Scan on t2 b1t2
+                           Filter: (ctid = '(1,1)'::tid)
+(35 rows)
 
 -- No. S-2-2-3
 EXPLAIN (COSTS false)
@@ -1728,26 +1720,10 @@ AND bmt1.c1 <> (
 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)'
 )
 ;
-                            QUERY PLAN                             
--------------------------------------------------------------------
+                              QUERY PLAN                               
+-----------------------------------------------------------------------
  Aggregate
-   CTE c1
-     ->  Aggregate
-           ->  Nested Loop
-                 Join Filter: (b1t1.c1 = b1t4.c1)
-                 ->  Nested Loop
-                       Join Filter: (b1t1.c1 = b1t3.c1)
-                       ->  Nested Loop
-                             Join Filter: (b1t1.c1 = b1t2.c1)
-                             ->  Tid Scan on t1 b1t1
-                                   TID Cond: (ctid = '(1,1)'::tid)
-                             ->  Seq Scan on t2 b1t2
-                                   Filter: (ctid = '(1,1)'::tid)
-                       ->  Tid Scan on t3 b1t3
-                             TID Cond: (ctid = '(1,1)'::tid)
-                 ->  Tid Scan on t4 b1t4
-                       TID Cond: (ctid = '(1,1)'::tid)
-   InitPlan 2 (returns $1)
+   InitPlan 1 (returns $0)
      ->  Aggregate
            ->  Nested Loop
                  Join Filter: (b2t1.c1 = b2t4.c1)
@@ -1763,7 +1739,7 @@ SELECT max(b3t1.c1) FROM s1.t1 b3t1, s1.t2 b3t2, s1.t3 b3t3, s1.t4 b3t4 WHERE b3
                              TID Cond: (ctid = '(1,1)'::tid)
                  ->  Tid Scan on t4 b2t4
                        TID Cond: (ctid = '(1,1)'::tid)
-   InitPlan 3 (returns $2)
+   InitPlan 2 (returns $1)
      ->  Aggregate
            ->  Nested Loop
                  Join Filter: (b3t1.c1 = b3t4.c1)
@@ -1780,29 +1756,43 @@ SELECT max(b3t1.c1) FROM s1.t1 b3t1, s1.t2 b3t2, s1.t3 b3t3, s1.t4 b3t4 WHERE b3
                  ->  Tid Scan on t4 b3t4
                        TID Cond: (ctid = '(1,1)'::tid)
    ->  Nested Loop
-         Join Filter: (bmt1.c1 = c1.c1)
+         Join Filter: (bmt1.c1 = (max(b1t1.c1)))
          ->  Nested Loop
-               Join Filter: (bmt1.c1 = bmt2.c1)
+               Join Filter: (bmt1.c1 = bmt4.c1)
                ->  Nested Loop
-                     Join Filter: (bmt3.c1 = bmt1.c1)
+                     Join Filter: (bmt1.c1 = bmt3.c1)
                      ->  Nested Loop
-                           Join Filter: (bmt3.c1 = bmt4.c1)
-                           ->  Tid Scan on t3 bmt3
+                           Join Filter: (bmt1.c1 = bmt2.c1)
+                           ->  Tid Scan on t1 bmt1
                                  TID Cond: (ctid = '(1,1)'::tid)
-                           ->  Tid Scan on t4 bmt4
+                                 Filter: (c1 <> $1)
+                           ->  Seq Scan on t2 bmt2
+                                 Filter: (ctid = '(1,1)'::tid)
+                     ->  Tid Scan on t3 bmt3
+                           TID Cond: (ctid = '(1,1)'::tid)
+               ->  Tid Scan on t4 bmt4
+                     TID Cond: (ctid = '(1,1)'::tid)
+         ->  Aggregate
+               ->  Nested Loop
+                     Join Filter: (b1t1.c1 = b1t4.c1)
+                     ->  Nested Loop
+                           Join Filter: (b1t1.c1 = b1t3.c1)
+                           ->  Nested Loop
+                                 Join Filter: (b1t1.c1 = b1t2.c1)
+                                 ->  Tid Scan on t1 b1t1
+                                       TID Cond: (ctid = '(1,1)'::tid)
+                                 ->  Seq Scan on t2 b1t2
+                                       Filter: (ctid = '(1,1)'::tid)
+                           ->  Tid Scan on t3 b1t3
                                  TID Cond: (ctid = '(1,1)'::tid)
-                     ->  Tid Scan on t1 bmt1
+                     ->  Tid Scan on t4 b1t4
                            TID Cond: (ctid = '(1,1)'::tid)
-                           Filter: (c1 <> $2)
-               ->  Seq Scan on t2 bmt2
-                     Filter: (ctid = '(1,1)'::tid)
-         ->  CTE Scan on c1
-(67 rows)
+(65 rows)
 
-/*+SeqScan(bmt1)IndexScan(bmt2 t2_i1)BitmapScan(bmt3 t3_i1)TidScan(bmt4)
-TidScan(b1t1)SeqScan(b1t2)IndexScan(b1t3 t3_i1)BitmapScan(b1t4 t4_i1)
-BitmapScan(b2t1 t1_i1)TidScan(b2t2)SeqScan(b2t3)IndexScan(b2t4 t4_i1)
-IndexScan(b3t1 t1_i1)BitmapScan(b3t2 t2_i1)TidScan(b3t3)SeqScan(b3t4)
+/*+SeqScan(bmt1)IndexScan(bmt2 t2_pkey)BitmapScan(bmt3 t3_pkey)TidScan(bmt4)
+TidScan(b1t1)SeqScan(b1t2)IndexScan(b1t3 t3_pkey)BitmapScan(b1t4 t4_pkey)
+BitmapScan(b2t1 t1_pkey)TidScan(b2t2)SeqScan(b2t3)IndexScan(b2t4 t4_pkey)
+IndexScan(b3t1 t1_pkey)BitmapScan(b3t2 t2_pkey)TidScan(b3t3)SeqScan(b3t4)
 */
 EXPLAIN (COSTS false)
 WITH c1 (c1) AS (
@@ -1816,105 +1806,119 @@ AND bmt1.c1 <> (
 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)'
 )
 ;
+LOG:  available indexes for BitmapScan(b2t1): t1_pkey
+LOG:  available indexes for IndexScan(b2t4): t4_pkey
+LOG:  available indexes for IndexScan(b3t1): t1_pkey
+LOG:  available indexes for BitmapScan(b3t2): t2_pkey
+LOG:  available indexes for IndexScan(b1t3): t3_pkey
+LOG:  available indexes for BitmapScan(b1t4): t4_pkey
+LOG:  available indexes for IndexScan(bmt2): t2_pkey
+LOG:  available indexes for BitmapScan(bmt3): t3_pkey
 LOG:  pg_hint_plan:
 used hint:
 TidScan(b1t1)
 SeqScan(b1t2)
-IndexScan(b1t3 t3_i1)
-BitmapScan(b1t4 t4_i1)
-BitmapScan(b2t1 t1_i1)
+IndexScan(b1t3 t3_pkey)
+BitmapScan(b1t4 t4_pkey)
+BitmapScan(b2t1 t1_pkey)
 TidScan(b2t2)
 SeqScan(b2t3)
-IndexScan(b2t4 t4_i1)
-IndexScan(b3t1 t1_i1)
-BitmapScan(b3t2 t2_i1)
+IndexScan(b2t4 t4_pkey)
+IndexScan(b3t1 t1_pkey)
+BitmapScan(b3t2 t2_pkey)
 TidScan(b3t3)
 SeqScan(b3t4)
 SeqScan(bmt1)
-IndexScan(bmt2 t2_i1)
-BitmapScan(bmt3 t3_i1)
+IndexScan(bmt2 t2_pkey)
+BitmapScan(bmt3 t3_pkey)
 TidScan(bmt4)
 not used hint:
 duplication hint:
 error hint:
 
-                             QUERY PLAN                             
---------------------------------------------------------------------
+                                   QUERY PLAN                                   
+--------------------------------------------------------------------------------
  Aggregate
-   CTE c1
-     ->  Aggregate
-           ->  Nested Loop
-                 ->  Nested Loop
-                       Join Filter: (b1t2.c1 = b1t1.c1)
-                       ->  Nested Loop
-                             ->  Seq Scan on t2 b1t2
-                                   Filter: (ctid = '(1,1)'::tid)
-                             ->  Index Scan using t3_i1 on t3 b1t3
-                                   Index Cond: (c1 = b1t2.c1)
-                                   Filter: (ctid = '(1,1)'::tid)
-                       ->  Tid Scan on t1 b1t1
-                             TID Cond: (ctid = '(1,1)'::tid)
-                 ->  Bitmap Heap Scan on t4 b1t4
-                       Recheck Cond: (c1 = b1t1.c1)
-                       Filter: (ctid = '(1,1)'::tid)
-                       ->  Bitmap Index Scan on t4_i1
-                             Index Cond: (c1 = b1t1.c1)
-   InitPlan 2 (returns $3)
+   InitPlan 1 (returns $2)
      ->  Aggregate
            ->  Nested Loop
+                 Join Filter: (b2t1.c1 = b2t4.c1)
                  ->  Nested Loop
-                       Join Filter: (b2t1.c1 = b2t3.c1)
+                       Join Filter: (b2t2.c1 = b2t1.c1)
                        ->  Nested Loop
+                             Join Filter: (b2t2.c1 = b2t3.c1)
                              ->  Tid Scan on t2 b2t2
                                    TID Cond: (ctid = '(1,1)'::tid)
-                             ->  Bitmap Heap Scan on t1 b2t1
-                                   Recheck Cond: (c1 = b2t2.c1)
+                             ->  Seq Scan on t3 b2t3
                                    Filter: (ctid = '(1,1)'::tid)
-                                   ->  Bitmap Index Scan on t1_i1
-                                         Index Cond: (c1 = b2t2.c1)
-                       ->  Seq Scan on t3 b2t3
+                       ->  Bitmap Heap Scan on t1 b2t1
+                             Recheck Cond: (c1 = b2t3.c1)
                              Filter: (ctid = '(1,1)'::tid)
-                 ->  Index Scan using t4_i1 on t4 b2t4
-                       Index Cond: (c1 = b2t1.c1)
+                             ->  Bitmap Index Scan on t1_pkey
+                                   Index Cond: (c1 = b2t3.c1)
+                 ->  Index Scan using t4_pkey on t4 b2t4
+                       Index Cond: (c1 = b2t2.c1)
                        Filter: (ctid = '(1,1)'::tid)
-   InitPlan 3 (returns $5)
+   InitPlan 2 (returns $5)
      ->  Aggregate
            ->  Nested Loop
+                 Join Filter: (b3t1.c1 = b3t2.c1)
                  ->  Nested Loop
+                       Join Filter: (b3t3.c1 = b3t1.c1)
                        ->  Nested Loop
                              Join Filter: (b3t3.c1 = b3t4.c1)
                              ->  Tid Scan on t3 b3t3
                                    TID Cond: (ctid = '(1,1)'::tid)
                              ->  Seq Scan on t4 b3t4
                                    Filter: (ctid = '(1,1)'::tid)
-                       ->  Bitmap Heap Scan on t2 b3t2
-                             Recheck Cond: (c1 = b3t3.c1)
+                       ->  Index Scan using t1_pkey on t1 b3t1
+                             Index Cond: (c1 = b3t4.c1)
                              Filter: (ctid = '(1,1)'::tid)
-                             ->  Bitmap Index Scan on t2_i1
-                                   Index Cond: (c1 = b3t3.c1)
-                 ->  Index Scan using t1_i1 on t1 b3t1
-                       Index Cond: (c1 = b3t2.c1)
+                 ->  Bitmap Heap Scan on t2 b3t2
+                       Recheck Cond: (c1 = b3t3.c1)
                        Filter: (ctid = '(1,1)'::tid)
+                       ->  Bitmap Index Scan on t2_pkey
+                             Index Cond: (c1 = b3t3.c1)
    ->  Nested Loop
-         Join Filter: (bmt1.c1 = bmt2.c1)
-         ->  Nested Loop
-               Join Filter: (bmt1.c1 = bmt4.c1)
-               ->  Seq Scan on t1 bmt1
-                     Filter: ((c1 <> $5) AND (ctid = '(1,1)'::tid))
-               ->  Tid Scan on t4 bmt4
-                     TID Cond: (ctid = '(1,1)'::tid)
+         Join Filter: (bmt1.c1 = (max(b1t1.c1)))
          ->  Nested Loop
+               Join Filter: (bmt1.c1 = bmt3.c1)
                ->  Nested Loop
-                     ->  CTE Scan on c1
-                     ->  Index Scan using t2_i1 on t2 bmt2
-                           Index Cond: (c1 = c1.c1)
+                     Join Filter: (bmt1.c1 = bmt2.c1)
+                     ->  Nested Loop
+                           Join Filter: (bmt1.c1 = bmt4.c1)
+                           ->  Seq Scan on t1 bmt1
+                                 Filter: ((c1 <> $5) AND (ctid = '(1,1)'::tid))
+                           ->  Tid Scan on t4 bmt4
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                     ->  Index Scan using t2_pkey on t2 bmt2
+                           Index Cond: (c1 = bmt4.c1)
                            Filter: (ctid = '(1,1)'::tid)
                ->  Bitmap Heap Scan on t3 bmt3
                      Recheck Cond: (c1 = bmt2.c1)
                      Filter: (ctid = '(1,1)'::tid)
-                     ->  Bitmap Index Scan on t3_i1
+                     ->  Bitmap Index Scan on t3_pkey
                            Index Cond: (c1 = bmt2.c1)
-(74 rows)
+         ->  Aggregate
+               ->  Nested Loop
+                     Join Filter: (b1t1.c1 = b1t4.c1)
+                     ->  Nested Loop
+                           Join Filter: (b1t1.c1 = b1t3.c1)
+                           ->  Nested Loop
+                                 Join Filter: (b1t1.c1 = b1t2.c1)
+                                 ->  Tid Scan on t1 b1t1
+                                       TID Cond: (ctid = '(1,1)'::tid)
+                                 ->  Seq Scan on t2 b1t2
+                                       Filter: (ctid = '(1,1)'::tid)
+                           ->  Index Scan using t3_pkey on t3 b1t3
+                                 Index Cond: (c1 = b1t2.c1)
+                                 Filter: (ctid = '(1,1)'::tid)
+                     ->  Bitmap Heap Scan on t4 b1t4
+                           Recheck Cond: (c1 = b1t2.c1)
+                           Filter: (ctid = '(1,1)'::tid)
+                           ->  Bitmap Index Scan on t4_pkey
+                                 Index Cond: (c1 = b1t2.c1)
+(80 rows)
 
 -- No. S-2-2-4
 EXPLAIN (COSTS false)
@@ -1929,60 +1933,58 @@ AND bmt1.c1 <> (
 SELECT max(b3t1.c1) FROM s1.t1 b3t1 WHERE b3t1.ctid = '(1,1)'
 )
 ;
-                            QUERY PLAN                             
--------------------------------------------------------------------
+                              QUERY PLAN                               
+-----------------------------------------------------------------------
  Aggregate
-   CTE c1
-     ->  Aggregate
-           ->  Nested Loop
-                 Join Filter: (b1t1.c1 = b1t4.c1)
-                 ->  Nested Loop
-                       Join Filter: (b1t1.c1 = b1t3.c1)
-                       ->  Nested Loop
-                             Join Filter: (b1t1.c1 = b1t2.c1)
-                             ->  Tid Scan on t1 b1t1
-                                   TID Cond: (ctid = '(1,1)'::tid)
-                             ->  Seq Scan on t2 b1t2
-                                   Filter: (ctid = '(1,1)'::tid)
-                       ->  Tid Scan on t3 b1t3
-                             TID Cond: (ctid = '(1,1)'::tid)
-                 ->  Tid Scan on t4 b1t4
-                       TID Cond: (ctid = '(1,1)'::tid)
-   InitPlan 3 (returns $2)
+   InitPlan 2 (returns $1)
      ->  Result
-           InitPlan 2 (returns $1)
+           InitPlan 1 (returns $0)
              ->  Limit
                    ->  Tid Scan on t1 b2t1
                          TID Cond: (ctid = '(1,1)'::tid)
                          Filter: ((c1 IS NOT NULL) AND (c1 = 1))
-   InitPlan 4 (returns $3)
+   InitPlan 3 (returns $3)
      ->  Aggregate
            ->  Tid Scan on t1 b3t1
                  TID Cond: (ctid = '(1,1)'::tid)
    ->  Nested Loop
-         Join Filter: (bmt1.c1 = c1.c1)
+         Join Filter: (bmt1.c1 = (max(b1t1.c1)))
          ->  Nested Loop
-               Join Filter: (bmt1.c1 = bmt2.c1)
+               Join Filter: (bmt1.c1 = bmt4.c1)
                ->  Nested Loop
-                     Join Filter: (bmt3.c1 = bmt1.c1)
+                     Join Filter: (bmt1.c1 = bmt3.c1)
                      ->  Nested Loop
-                           Join Filter: (bmt3.c1 = bmt4.c1)
-                           ->  Tid Scan on t3 bmt3
+                           Join Filter: (bmt1.c1 = bmt2.c1)
+                           ->  Tid Scan on t1 bmt1
                                  TID Cond: (ctid = '(1,1)'::tid)
-                           ->  Tid Scan on t4 bmt4
+                                 Filter: (c1 <> $3)
+                           ->  Seq Scan on t2 bmt2
+                                 Filter: (ctid = '(1,1)'::tid)
+                     ->  Tid Scan on t3 bmt3
+                           TID Cond: (ctid = '(1,1)'::tid)
+               ->  Tid Scan on t4 bmt4
+                     TID Cond: (ctid = '(1,1)'::tid)
+         ->  Aggregate
+               ->  Nested Loop
+                     Join Filter: (b1t1.c1 = b1t4.c1)
+                     ->  Nested Loop
+                           Join Filter: (b1t1.c1 = b1t3.c1)
+                           ->  Nested Loop
+                                 Join Filter: (b1t1.c1 = b1t2.c1)
+                                 ->  Tid Scan on t1 b1t1
+                                       TID Cond: (ctid = '(1,1)'::tid)
+                                 ->  Seq Scan on t2 b1t2
+                                       Filter: (ctid = '(1,1)'::tid)
+                           ->  Tid Scan on t3 b1t3
                                  TID Cond: (ctid = '(1,1)'::tid)
-                     ->  Tid Scan on t1 bmt1
+                     ->  Tid Scan on t4 b1t4
                            TID Cond: (ctid = '(1,1)'::tid)
-                           Filter: (c1 <> $3)
-               ->  Seq Scan on t2 bmt2
-                     Filter: (ctid = '(1,1)'::tid)
-         ->  CTE Scan on c1
-(46 rows)
+(44 rows)
 
-/*+SeqScan(bmt1)IndexScan(bmt2 t2_i1)BitmapScan(bmt3 t3_i1)TidScan(bmt4)
-TidScan(b1t1)SeqScan(b1t2)IndexScan(b1t3 t3_i1)BitmapScan(b1t4 t4_i1)
-BitmapScan(b2t1 t1_i1)
-IndexScan(b3t1 t1_i1)
+/*+SeqScan(bmt1)IndexScan(bmt2 t2_pkey)BitmapScan(bmt3 t3_pkey)TidScan(bmt4)
+TidScan(b1t1)SeqScan(b1t2)IndexScan(b1t3 t3_pkey)BitmapScan(b1t4 t4_pkey)
+BitmapScan(b2t1 t1_pkey)
+IndexScan(b3t1 t1_pkey)
 */
 EXPLAIN (COSTS false)
 WITH c1 (c1) AS (
@@ -1996,97 +1998,996 @@ AND bmt1.c1 <> (
 SELECT max(b3t1.c1) FROM s1.t1 b3t1 WHERE b3t1.ctid = '(1,1)'
 )
 ;
+LOG:  available indexes for BitmapScan(b2t1): t1_pkey
+LOG:  available indexes for BitmapScan(b2t1): t1_pkey
+LOG:  available indexes for IndexScan(b3t1): t1_pkey
+LOG:  available indexes for IndexScan(b3t1): t1_pkey
+LOG:  available indexes for IndexScan(b1t3): t3_pkey
+LOG:  available indexes for BitmapScan(b1t4): t4_pkey
+LOG:  available indexes for IndexScan(bmt2): t2_pkey
+LOG:  available indexes for BitmapScan(bmt3): t3_pkey
 LOG:  pg_hint_plan:
 used hint:
 TidScan(b1t1)
 SeqScan(b1t2)
-IndexScan(b1t3 t3_i1)
-BitmapScan(b1t4 t4_i1)
-BitmapScan(b2t1 t1_i1)
-IndexScan(b3t1 t1_i1)
+IndexScan(b1t3 t3_pkey)
+BitmapScan(b1t4 t4_pkey)
+BitmapScan(b2t1 t1_pkey)
+IndexScan(b3t1 t1_pkey)
 SeqScan(bmt1)
-IndexScan(bmt2 t2_i1)
-BitmapScan(bmt3 t3_i1)
+IndexScan(bmt2 t2_pkey)
+BitmapScan(bmt3 t3_pkey)
 TidScan(bmt4)
 not used hint:
 duplication hint:
 error hint:
 
-                                QUERY PLAN                                 
----------------------------------------------------------------------------
+                                   QUERY PLAN                                   
+--------------------------------------------------------------------------------
  Aggregate
-   CTE c1
-     ->  Aggregate
-           ->  Nested Loop
-                 ->  Nested Loop
-                       Join Filter: (b1t2.c1 = b1t1.c1)
-                       ->  Nested Loop
-                             ->  Seq Scan on t2 b1t2
-                                   Filter: (ctid = '(1,1)'::tid)
-                             ->  Index Scan using t3_i1 on t3 b1t3
-                                   Index Cond: (c1 = b1t2.c1)
-                                   Filter: (ctid = '(1,1)'::tid)
-                       ->  Tid Scan on t1 b1t1
-                             TID Cond: (ctid = '(1,1)'::tid)
-                 ->  Bitmap Heap Scan on t4 b1t4
-                       Recheck Cond: (c1 = b1t1.c1)
-                       Filter: (ctid = '(1,1)'::tid)
-                       ->  Bitmap Index Scan on t4_i1
-                             Index Cond: (c1 = b1t1.c1)
-   InitPlan 3 (returns $4)
+   InitPlan 2 (returns $1)
      ->  Result
-           InitPlan 2 (returns $3)
+           InitPlan 1 (returns $0)
              ->  Limit
                    ->  Bitmap Heap Scan on t1 b2t1
                          Recheck Cond: ((c1 IS NOT NULL) AND (c1 = 1))
                          Filter: (ctid = '(1,1)'::tid)
-                         ->  Bitmap Index Scan on t1_i1
+                         ->  Bitmap Index Scan on t1_pkey
                                Index Cond: ((c1 IS NOT NULL) AND (c1 = 1))
-   InitPlan 5 (returns $6)
+   InitPlan 4 (returns $3)
      ->  Result
-           InitPlan 4 (returns $5)
+           InitPlan 3 (returns $2)
              ->  Limit
-                   ->  Index Scan Backward using t1_i1 on t1 b3t1
+                   ->  Index Scan Backward using t1_pkey on t1 b3t1
                          Index Cond: (c1 IS NOT NULL)
                          Filter: (ctid = '(1,1)'::tid)
    ->  Nested Loop
-         Join Filter: (bmt1.c1 = bmt2.c1)
-         ->  Nested Loop
-               Join Filter: (bmt1.c1 = bmt4.c1)
-               ->  Seq Scan on t1 bmt1
-                     Filter: ((c1 <> $6) AND (ctid = '(1,1)'::tid))
-               ->  Tid Scan on t4 bmt4
-                     TID Cond: (ctid = '(1,1)'::tid)
+         Join Filter: (bmt1.c1 = (max(b1t1.c1)))
          ->  Nested Loop
+               Join Filter: (bmt1.c1 = bmt3.c1)
                ->  Nested Loop
-                     ->  CTE Scan on c1
-                     ->  Index Scan using t2_i1 on t2 bmt2
-                           Index Cond: (c1 = c1.c1)
+                     Join Filter: (bmt1.c1 = bmt2.c1)
+                     ->  Nested Loop
+                           Join Filter: (bmt1.c1 = bmt4.c1)
+                           ->  Seq Scan on t1 bmt1
+                                 Filter: ((c1 <> $3) AND (ctid = '(1,1)'::tid))
+                           ->  Tid Scan on t4 bmt4
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                     ->  Index Scan using t2_pkey on t2 bmt2
+                           Index Cond: (c1 = bmt4.c1)
                            Filter: (ctid = '(1,1)'::tid)
                ->  Bitmap Heap Scan on t3 bmt3
                      Recheck Cond: (c1 = bmt2.c1)
                      Filter: (ctid = '(1,1)'::tid)
-                     ->  Bitmap Index Scan on t3_i1
+                     ->  Bitmap Index Scan on t3_pkey
                            Index Cond: (c1 = bmt2.c1)
-(54 rows)
+         ->  Aggregate
+               ->  Nested Loop
+                     Join Filter: (b1t1.c1 = b1t4.c1)
+                     ->  Nested Loop
+                           Join Filter: (b1t1.c1 = b1t3.c1)
+                           ->  Nested Loop
+                                 Join Filter: (b1t1.c1 = b1t2.c1)
+                                 ->  Tid Scan on t1 b1t1
+                                       TID Cond: (ctid = '(1,1)'::tid)
+                                 ->  Seq Scan on t2 b1t2
+                                       Filter: (ctid = '(1,1)'::tid)
+                           ->  Index Scan using t3_pkey on t3 b1t3
+                                 Index Cond: (c1 = b1t2.c1)
+                                 Filter: (ctid = '(1,1)'::tid)
+                     ->  Bitmap Heap Scan on t4 b1t4
+                           Recheck Cond: (c1 = b1t2.c1)
+                           Filter: (ctid = '(1,1)'::tid)
+                           ->  Bitmap Index Scan on t4_pkey
+                                 Index Cond: (c1 = b1t2.c1)
+(56 rows)
 
 ----
----- No. S-2-3 RULE definition table
+---- No. S-2-3 RULE or VIEW
 ----
 -- No. S-2-3-1
--- TODO
-----
----- No. S-2-4 VALUES clause
-----
--- No. S-2-4-1
-EXPLAIN (COSTS false) SELECT * FROM (VALUES(1,1,1,'1')) AS t1 (c1) WHERE t1.c1 = 1;
-        QUERY PLAN         
----------------------------
- Values Scan on "*VALUES*"
-   Filter: (column1 = 1)
-(2 rows)
+EXPLAIN (COSTS false) UPDATE s1.r1 SET c1 = c1 WHERE c1 = 1 AND ctid = '(1,1)';
+                           QUERY PLAN                            
+-----------------------------------------------------------------
+ Aggregate
+   ->  Nested Loop
+         Join Filter: (t1.c1 = t4.c1)
+         ->  Nested Loop
+               Join Filter: (t1.c1 = t3.c1)
+               ->  Nested Loop
+                     Join Filter: (t1.c1 = t2.c1)
+                     ->  Nested Loop
+                           ->  Tid Scan on r1
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                                 Filter: (c1 = 1)
+                           ->  Tid Scan on t1
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                     ->  Seq Scan on t2
+                           Filter: (ctid = '(1,1)'::tid)
+               ->  Tid Scan on t3
+                     TID Cond: (ctid = '(1,1)'::tid)
+         ->  Tid Scan on t4
+               TID Cond: (ctid = '(1,1)'::tid)
+(19 rows)
 
-/*+SeqScan(t1)*/
+/*+TidScan(t1)SeqScan(t2)IndexScan(t3 t3_pkey)BitmapScan(t4 t4_pkey)
+SeqScan(r1)*/
+EXPLAIN (COSTS false) UPDATE s1.r1 SET c1 = c1 WHERE c1 = 1 AND ctid = '(1,1)';
+LOG:  available indexes for IndexScan(t3): t3_pkey
+LOG:  available indexes for BitmapScan(t4): t4_pkey
+LOG:  pg_hint_plan:
+used hint:
+SeqScan(r1)
+TidScan(t1)
+SeqScan(t2)
+IndexScan(t3 t3_pkey)
+BitmapScan(t4 t4_pkey)
+not used hint:
+duplication hint:
+error hint:
+
+                                  QUERY PLAN                                  
+------------------------------------------------------------------------------
+ Aggregate
+   ->  Nested Loop
+         Join Filter: (t1.c1 = t4.c1)
+         ->  Nested Loop
+               Join Filter: (t1.c1 = t3.c1)
+               ->  Nested Loop
+                     Join Filter: (t1.c1 = t2.c1)
+                     ->  Nested Loop
+                           ->  Seq Scan on r1
+                                 Filter: ((ctid = '(1,1)'::tid) AND (c1 = 1))
+                           ->  Tid Scan on t1
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                     ->  Seq Scan on t2
+                           Filter: (ctid = '(1,1)'::tid)
+               ->  Index Scan using t3_pkey on t3
+                     Index Cond: (c1 = t2.c1)
+                     Filter: (ctid = '(1,1)'::tid)
+         ->  Bitmap Heap Scan on t4
+               Recheck Cond: (c1 = t2.c1)
+               Filter: (ctid = '(1,1)'::tid)
+               ->  Bitmap Index Scan on t4_pkey
+                     Index Cond: (c1 = t2.c1)
+(22 rows)
+
+EXPLAIN (COSTS false) UPDATE s1.r1_ SET c1 = c1 WHERE c1 = 1 AND ctid = '(1,1)';
+                           QUERY PLAN                            
+-----------------------------------------------------------------
+ Aggregate
+   ->  Nested Loop
+         Join Filter: (b1t1.c1 = b1t4.c1)
+         ->  Nested Loop
+               Join Filter: (b1t1.c1 = b1t3.c1)
+               ->  Nested Loop
+                     Join Filter: (b1t1.c1 = b1t2.c1)
+                     ->  Nested Loop
+                           ->  Tid Scan on r1_
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                                 Filter: (c1 = 1)
+                           ->  Tid Scan on t1 b1t1
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                     ->  Seq Scan on t2 b1t2
+                           Filter: (ctid = '(1,1)'::tid)
+               ->  Tid Scan on t3 b1t3
+                     TID Cond: (ctid = '(1,1)'::tid)
+         ->  Tid Scan on t4 b1t4
+               TID Cond: (ctid = '(1,1)'::tid)
+(19 rows)
+
+/*+TidScan(b1t1)SeqScan(b1t2)IndexScan(b1t3 t3_pkey)BitmapScan(b1t4 t4_pkey)
+SeqScan(r1_)*/
+EXPLAIN (COSTS false) UPDATE s1.r1_ SET c1 = c1 WHERE c1 = 1 AND ctid = '(1,1)';
+LOG:  available indexes for IndexScan(b1t3): t3_pkey
+LOG:  available indexes for BitmapScan(b1t4): t4_pkey
+LOG:  pg_hint_plan:
+used hint:
+TidScan(b1t1)
+SeqScan(b1t2)
+IndexScan(b1t3 t3_pkey)
+BitmapScan(b1t4 t4_pkey)
+SeqScan(r1_)
+not used hint:
+duplication hint:
+error hint:
+
+                                  QUERY PLAN                                  
+------------------------------------------------------------------------------
+ Aggregate
+   ->  Nested Loop
+         Join Filter: (b1t1.c1 = b1t4.c1)
+         ->  Nested Loop
+               Join Filter: (b1t1.c1 = b1t3.c1)
+               ->  Nested Loop
+                     Join Filter: (b1t1.c1 = b1t2.c1)
+                     ->  Nested Loop
+                           ->  Seq Scan on r1_
+                                 Filter: ((ctid = '(1,1)'::tid) AND (c1 = 1))
+                           ->  Tid Scan on t1 b1t1
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                     ->  Seq Scan on t2 b1t2
+                           Filter: (ctid = '(1,1)'::tid)
+               ->  Index Scan using t3_pkey on t3 b1t3
+                     Index Cond: (c1 = b1t2.c1)
+                     Filter: (ctid = '(1,1)'::tid)
+         ->  Bitmap Heap Scan on t4 b1t4
+               Recheck Cond: (c1 = b1t2.c1)
+               Filter: (ctid = '(1,1)'::tid)
+               ->  Bitmap Index Scan on t4_pkey
+                     Index Cond: (c1 = b1t2.c1)
+(22 rows)
+
+-- No. S-2-3-2
+EXPLAIN (COSTS false) UPDATE s1.r2 SET c1 = c1 WHERE c1 = 1 AND ctid = '(1,1)';
+                           QUERY PLAN                            
+-----------------------------------------------------------------
+ Aggregate
+   ->  Nested Loop
+         Join Filter: (t1.c1 = t4.c1)
+         ->  Nested Loop
+               Join Filter: (t1.c1 = t3.c1)
+               ->  Nested Loop
+                     Join Filter: (t1.c1 = t2.c1)
+                     ->  Nested Loop
+                           ->  Tid Scan on r2
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                                 Filter: (c1 = 1)
+                           ->  Tid Scan on t1
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                     ->  Seq Scan on t2
+                           Filter: (ctid = '(1,1)'::tid)
+               ->  Tid Scan on t3
+                     TID Cond: (ctid = '(1,1)'::tid)
+         ->  Tid Scan on t4
+               TID Cond: (ctid = '(1,1)'::tid)
+ Aggregate
+   ->  Nested Loop
+         Join Filter: (t1.c1 = t4.c1)
+         ->  Nested Loop
+               Join Filter: (t1.c1 = t3.c1)
+               ->  Nested Loop
+                     Join Filter: (t1.c1 = t2.c1)
+                     ->  Nested Loop
+                           ->  Tid Scan on r2
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                                 Filter: (c1 = 1)
+                           ->  Tid Scan on t1
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                     ->  Seq Scan on t2
+                           Filter: (ctid = '(1,1)'::tid)
+               ->  Tid Scan on t3
+                     TID Cond: (ctid = '(1,1)'::tid)
+         ->  Tid Scan on t4
+               TID Cond: (ctid = '(1,1)'::tid)
+(39 rows)
+
+/*+TidScan(t1)SeqScan(t2)IndexScan(t3 t3_pkey)BitmapScan(t4 t4_pkey)
+SeqScan(r2)*/
+EXPLAIN (COSTS false) UPDATE s1.r2 SET c1 = c1 WHERE c1 = 1 AND ctid = '(1,1)';
+LOG:  available indexes for IndexScan(t3): t3_pkey
+LOG:  available indexes for BitmapScan(t4): t4_pkey
+LOG:  pg_hint_plan:
+used hint:
+SeqScan(r2)
+TidScan(t1)
+SeqScan(t2)
+IndexScan(t3 t3_pkey)
+BitmapScan(t4 t4_pkey)
+not used hint:
+duplication hint:
+error hint:
+
+LOG:  available indexes for IndexScan(t3): t3_pkey
+LOG:  available indexes for BitmapScan(t4): t4_pkey
+LOG:  pg_hint_plan:
+used hint:
+SeqScan(r2)
+TidScan(t1)
+SeqScan(t2)
+IndexScan(t3 t3_pkey)
+BitmapScan(t4 t4_pkey)
+not used hint:
+duplication hint:
+error hint:
+
+                                  QUERY PLAN                                  
+------------------------------------------------------------------------------
+ Aggregate
+   ->  Nested Loop
+         Join Filter: (t1.c1 = t4.c1)
+         ->  Nested Loop
+               Join Filter: (t1.c1 = t3.c1)
+               ->  Nested Loop
+                     Join Filter: (t1.c1 = t2.c1)
+                     ->  Nested Loop
+                           ->  Seq Scan on r2
+                                 Filter: ((ctid = '(1,1)'::tid) AND (c1 = 1))
+                           ->  Tid Scan on t1
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                     ->  Seq Scan on t2
+                           Filter: (ctid = '(1,1)'::tid)
+               ->  Index Scan using t3_pkey on t3
+                     Index Cond: (c1 = t2.c1)
+                     Filter: (ctid = '(1,1)'::tid)
+         ->  Bitmap Heap Scan on t4
+               Recheck Cond: (c1 = t2.c1)
+               Filter: (ctid = '(1,1)'::tid)
+               ->  Bitmap Index Scan on t4_pkey
+                     Index Cond: (c1 = t2.c1)
+ Aggregate
+   ->  Nested Loop
+         Join Filter: (t1.c1 = t4.c1)
+         ->  Nested Loop
+               Join Filter: (t1.c1 = t3.c1)
+               ->  Nested Loop
+                     Join Filter: (t1.c1 = t2.c1)
+                     ->  Nested Loop
+                           ->  Seq Scan on r2
+                                 Filter: ((ctid = '(1,1)'::tid) AND (c1 = 1))
+                           ->  Tid Scan on t1
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                     ->  Seq Scan on t2
+                           Filter: (ctid = '(1,1)'::tid)
+               ->  Index Scan using t3_pkey on t3
+                     Index Cond: (c1 = t2.c1)
+                     Filter: (ctid = '(1,1)'::tid)
+         ->  Bitmap Heap Scan on t4
+               Recheck Cond: (c1 = t2.c1)
+               Filter: (ctid = '(1,1)'::tid)
+               ->  Bitmap Index Scan on t4_pkey
+                     Index Cond: (c1 = t2.c1)
+(45 rows)
+
+EXPLAIN (COSTS false) UPDATE s1.r2_ SET c1 = c1 WHERE c1 = 1 AND ctid = '(1,1)';
+                           QUERY PLAN                            
+-----------------------------------------------------------------
+ Aggregate
+   ->  Nested Loop
+         Join Filter: (b1t1.c1 = b1t4.c1)
+         ->  Nested Loop
+               Join Filter: (b1t1.c1 = b1t3.c1)
+               ->  Nested Loop
+                     Join Filter: (b1t1.c1 = b1t2.c1)
+                     ->  Nested Loop
+                           ->  Tid Scan on r2_
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                                 Filter: (c1 = 1)
+                           ->  Tid Scan on t1 b1t1
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                     ->  Seq Scan on t2 b1t2
+                           Filter: (ctid = '(1,1)'::tid)
+               ->  Tid Scan on t3 b1t3
+                     TID Cond: (ctid = '(1,1)'::tid)
+         ->  Tid Scan on t4 b1t4
+               TID Cond: (ctid = '(1,1)'::tid)
+ Aggregate
+   ->  Nested Loop
+         Join Filter: (b2t1.c1 = b2t4.c1)
+         ->  Nested Loop
+               Join Filter: (b2t1.c1 = b2t3.c1)
+               ->  Nested Loop
+                     Join Filter: (b2t1.c1 = b2t2.c1)
+                     ->  Nested Loop
+                           ->  Tid Scan on r2_
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                                 Filter: (c1 = 1)
+                           ->  Tid Scan on t1 b2t1
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                     ->  Seq Scan on t2 b2t2
+                           Filter: (ctid = '(1,1)'::tid)
+               ->  Tid Scan on t3 b2t3
+                     TID Cond: (ctid = '(1,1)'::tid)
+         ->  Tid Scan on t4 b2t4
+               TID Cond: (ctid = '(1,1)'::tid)
+(39 rows)
+
+/*+TidScan(b1t1)SeqScan(b1t2)IndexScan(b1t3 t3_pkey)BitmapScan(b1t4 t4_pkey)
+BitmapScan(b2t1 t1_pkey)TidScan(b2t2)SeqScan(b2t3)IndexScan(b2t4 t4_pkey)
+SeqScan(r2_)*/
+EXPLAIN (COSTS false) UPDATE s1.r2_ SET c1 = c1 WHERE c1 = 1 AND ctid = '(1,1)';
+LOG:  available indexes for IndexScan(b1t3): t3_pkey
+LOG:  available indexes for BitmapScan(b1t4): t4_pkey
+LOG:  pg_hint_plan:
+used hint:
+TidScan(b1t1)
+SeqScan(b1t2)
+IndexScan(b1t3 t3_pkey)
+BitmapScan(b1t4 t4_pkey)
+SeqScan(r2_)
+not used hint:
+BitmapScan(b2t1 t1_pkey)
+TidScan(b2t2)
+SeqScan(b2t3)
+IndexScan(b2t4 t4_pkey)
+duplication hint:
+error hint:
+
+LOG:  available indexes for BitmapScan(b2t1): t1_pkey
+LOG:  available indexes for IndexScan(b2t4): t4_pkey
+LOG:  pg_hint_plan:
+used hint:
+BitmapScan(b2t1 t1_pkey)
+TidScan(b2t2)
+SeqScan(b2t3)
+IndexScan(b2t4 t4_pkey)
+SeqScan(r2_)
+not used hint:
+TidScan(b1t1)
+SeqScan(b1t2)
+IndexScan(b1t3 t3_pkey)
+BitmapScan(b1t4 t4_pkey)
+duplication hint:
+error hint:
+
+                                  QUERY PLAN                                  
+------------------------------------------------------------------------------
+ Aggregate
+   ->  Nested Loop
+         Join Filter: (b1t1.c1 = b1t4.c1)
+         ->  Nested Loop
+               Join Filter: (b1t1.c1 = b1t3.c1)
+               ->  Nested Loop
+                     Join Filter: (b1t1.c1 = b1t2.c1)
+                     ->  Nested Loop
+                           ->  Seq Scan on r2_
+                                 Filter: ((ctid = '(1,1)'::tid) AND (c1 = 1))
+                           ->  Tid Scan on t1 b1t1
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                     ->  Seq Scan on t2 b1t2
+                           Filter: (ctid = '(1,1)'::tid)
+               ->  Index Scan using t3_pkey on t3 b1t3
+                     Index Cond: (c1 = b1t2.c1)
+                     Filter: (ctid = '(1,1)'::tid)
+         ->  Bitmap Heap Scan on t4 b1t4
+               Recheck Cond: (c1 = b1t2.c1)
+               Filter: (ctid = '(1,1)'::tid)
+               ->  Bitmap Index Scan on t4_pkey
+                     Index Cond: (c1 = b1t2.c1)
+ Aggregate
+   ->  Nested Loop
+         Join Filter: (b2t1.c1 = b2t4.c1)
+         ->  Nested Loop
+               Join Filter: (b2t2.c1 = b2t1.c1)
+               ->  Nested Loop
+                     Join Filter: (b2t2.c1 = b2t3.c1)
+                     ->  Nested Loop
+                           ->  Seq Scan on r2_
+                                 Filter: ((ctid = '(1,1)'::tid) AND (c1 = 1))
+                           ->  Tid Scan on t2 b2t2
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                     ->  Seq Scan on t3 b2t3
+                           Filter: (ctid = '(1,1)'::tid)
+               ->  Bitmap Heap Scan on t1 b2t1
+                     Recheck Cond: (c1 = b2t3.c1)
+                     Filter: (ctid = '(1,1)'::tid)
+                     ->  Bitmap Index Scan on t1_pkey
+                           Index Cond: (c1 = b2t3.c1)
+         ->  Index Scan using t4_pkey on t4 b2t4
+               Index Cond: (c1 = b2t2.c1)
+               Filter: (ctid = '(1,1)'::tid)
+(45 rows)
+
+-- No. S-2-3-3
+EXPLAIN (COSTS false) UPDATE s1.r3 SET c1 = c1 WHERE c1 = 1 AND ctid = '(1,1)';
+                           QUERY PLAN                            
+-----------------------------------------------------------------
+ Aggregate
+   ->  Nested Loop
+         Join Filter: (t1.c1 = t4.c1)
+         ->  Nested Loop
+               Join Filter: (t1.c1 = t3.c1)
+               ->  Nested Loop
+                     Join Filter: (t1.c1 = t2.c1)
+                     ->  Nested Loop
+                           ->  Tid Scan on r3
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                                 Filter: (c1 = 1)
+                           ->  Tid Scan on t1
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                     ->  Seq Scan on t2
+                           Filter: (ctid = '(1,1)'::tid)
+               ->  Tid Scan on t3
+                     TID Cond: (ctid = '(1,1)'::tid)
+         ->  Tid Scan on t4
+               TID Cond: (ctid = '(1,1)'::tid)
+ Aggregate
+   ->  Nested Loop
+         Join Filter: (t1.c1 = t4.c1)
+         ->  Nested Loop
+               Join Filter: (t1.c1 = t3.c1)
+               ->  Nested Loop
+                     Join Filter: (t1.c1 = t2.c1)
+                     ->  Nested Loop
+                           ->  Tid Scan on r3
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                                 Filter: (c1 = 1)
+                           ->  Tid Scan on t1
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                     ->  Seq Scan on t2
+                           Filter: (ctid = '(1,1)'::tid)
+               ->  Tid Scan on t3
+                     TID Cond: (ctid = '(1,1)'::tid)
+         ->  Tid Scan on t4
+               TID Cond: (ctid = '(1,1)'::tid)
+ Aggregate
+   ->  Nested Loop
+         Join Filter: (t1.c1 = t4.c1)
+         ->  Nested Loop
+               Join Filter: (t1.c1 = t3.c1)
+               ->  Nested Loop
+                     Join Filter: (t1.c1 = t2.c1)
+                     ->  Nested Loop
+                           ->  Tid Scan on r3
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                                 Filter: (c1 = 1)
+                           ->  Tid Scan on t1
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                     ->  Seq Scan on t2
+                           Filter: (ctid = '(1,1)'::tid)
+               ->  Tid Scan on t3
+                     TID Cond: (ctid = '(1,1)'::tid)
+         ->  Tid Scan on t4
+               TID Cond: (ctid = '(1,1)'::tid)
+(59 rows)
+
+/*+TidScan(t1)SeqScan(t2)IndexScan(t3 t3_pkey)BitmapScan(t4 t4_pkey)
+SeqScan(r3)*/
+EXPLAIN (COSTS false) UPDATE s1.r3 SET c1 = c1 WHERE c1 = 1 AND ctid = '(1,1)';
+LOG:  available indexes for IndexScan(t3): t3_pkey
+LOG:  available indexes for BitmapScan(t4): t4_pkey
+LOG:  pg_hint_plan:
+used hint:
+SeqScan(r3)
+TidScan(t1)
+SeqScan(t2)
+IndexScan(t3 t3_pkey)
+BitmapScan(t4 t4_pkey)
+not used hint:
+duplication hint:
+error hint:
+
+LOG:  available indexes for IndexScan(t3): t3_pkey
+LOG:  available indexes for BitmapScan(t4): t4_pkey
+LOG:  pg_hint_plan:
+used hint:
+SeqScan(r3)
+TidScan(t1)
+SeqScan(t2)
+IndexScan(t3 t3_pkey)
+BitmapScan(t4 t4_pkey)
+not used hint:
+duplication hint:
+error hint:
+
+LOG:  available indexes for IndexScan(t3): t3_pkey
+LOG:  available indexes for BitmapScan(t4): t4_pkey
+LOG:  pg_hint_plan:
+used hint:
+SeqScan(r3)
+TidScan(t1)
+SeqScan(t2)
+IndexScan(t3 t3_pkey)
+BitmapScan(t4 t4_pkey)
+not used hint:
+duplication hint:
+error hint:
+
+                                  QUERY PLAN                                  
+------------------------------------------------------------------------------
+ Aggregate
+   ->  Nested Loop
+         Join Filter: (t1.c1 = t4.c1)
+         ->  Nested Loop
+               Join Filter: (t1.c1 = t3.c1)
+               ->  Nested Loop
+                     Join Filter: (t1.c1 = t2.c1)
+                     ->  Nested Loop
+                           ->  Seq Scan on r3
+                                 Filter: ((ctid = '(1,1)'::tid) AND (c1 = 1))
+                           ->  Tid Scan on t1
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                     ->  Seq Scan on t2
+                           Filter: (ctid = '(1,1)'::tid)
+               ->  Index Scan using t3_pkey on t3
+                     Index Cond: (c1 = t2.c1)
+                     Filter: (ctid = '(1,1)'::tid)
+         ->  Bitmap Heap Scan on t4
+               Recheck Cond: (c1 = t2.c1)
+               Filter: (ctid = '(1,1)'::tid)
+               ->  Bitmap Index Scan on t4_pkey
+                     Index Cond: (c1 = t2.c1)
+ Aggregate
+   ->  Nested Loop
+         Join Filter: (t1.c1 = t4.c1)
+         ->  Nested Loop
+               Join Filter: (t1.c1 = t3.c1)
+               ->  Nested Loop
+                     Join Filter: (t1.c1 = t2.c1)
+                     ->  Nested Loop
+                           ->  Seq Scan on r3
+                                 Filter: ((ctid = '(1,1)'::tid) AND (c1 = 1))
+                           ->  Tid Scan on t1
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                     ->  Seq Scan on t2
+                           Filter: (ctid = '(1,1)'::tid)
+               ->  Index Scan using t3_pkey on t3
+                     Index Cond: (c1 = t2.c1)
+                     Filter: (ctid = '(1,1)'::tid)
+         ->  Bitmap Heap Scan on t4
+               Recheck Cond: (c1 = t2.c1)
+               Filter: (ctid = '(1,1)'::tid)
+               ->  Bitmap Index Scan on t4_pkey
+                     Index Cond: (c1 = t2.c1)
+ Aggregate
+   ->  Nested Loop
+         Join Filter: (t1.c1 = t4.c1)
+         ->  Nested Loop
+               Join Filter: (t1.c1 = t3.c1)
+               ->  Nested Loop
+                     Join Filter: (t1.c1 = t2.c1)
+                     ->  Nested Loop
+                           ->  Seq Scan on r3
+                                 Filter: ((ctid = '(1,1)'::tid) AND (c1 = 1))
+                           ->  Tid Scan on t1
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                     ->  Seq Scan on t2
+                           Filter: (ctid = '(1,1)'::tid)
+               ->  Index Scan using t3_pkey on t3
+                     Index Cond: (c1 = t2.c1)
+                     Filter: (ctid = '(1,1)'::tid)
+         ->  Bitmap Heap Scan on t4
+               Recheck Cond: (c1 = t2.c1)
+               Filter: (ctid = '(1,1)'::tid)
+               ->  Bitmap Index Scan on t4_pkey
+                     Index Cond: (c1 = t2.c1)
+(68 rows)
+
+EXPLAIN (COSTS false) UPDATE s1.r3_ SET c1 = c1 WHERE c1 = 1 AND ctid = '(1,1)';
+                           QUERY PLAN                            
+-----------------------------------------------------------------
+ Aggregate
+   ->  Nested Loop
+         Join Filter: (b1t1.c1 = b1t4.c1)
+         ->  Nested Loop
+               Join Filter: (b1t1.c1 = b1t3.c1)
+               ->  Nested Loop
+                     Join Filter: (b1t1.c1 = b1t2.c1)
+                     ->  Nested Loop
+                           ->  Tid Scan on r3_
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                                 Filter: (c1 = 1)
+                           ->  Tid Scan on t1 b1t1
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                     ->  Seq Scan on t2 b1t2
+                           Filter: (ctid = '(1,1)'::tid)
+               ->  Tid Scan on t3 b1t3
+                     TID Cond: (ctid = '(1,1)'::tid)
+         ->  Tid Scan on t4 b1t4
+               TID Cond: (ctid = '(1,1)'::tid)
+ Aggregate
+   ->  Nested Loop
+         Join Filter: (b2t1.c1 = b2t4.c1)
+         ->  Nested Loop
+               Join Filter: (b2t1.c1 = b2t3.c1)
+               ->  Nested Loop
+                     Join Filter: (b2t1.c1 = b2t2.c1)
+                     ->  Nested Loop
+                           ->  Tid Scan on r3_
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                                 Filter: (c1 = 1)
+                           ->  Tid Scan on t1 b2t1
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                     ->  Seq Scan on t2 b2t2
+                           Filter: (ctid = '(1,1)'::tid)
+               ->  Tid Scan on t3 b2t3
+                     TID Cond: (ctid = '(1,1)'::tid)
+         ->  Tid Scan on t4 b2t4
+               TID Cond: (ctid = '(1,1)'::tid)
+ Aggregate
+   ->  Nested Loop
+         Join Filter: (b3t1.c1 = b3t4.c1)
+         ->  Nested Loop
+               Join Filter: (b3t1.c1 = b3t3.c1)
+               ->  Nested Loop
+                     Join Filter: (b3t1.c1 = b3t2.c1)
+                     ->  Nested Loop
+                           ->  Tid Scan on r3_
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                                 Filter: (c1 = 1)
+                           ->  Tid Scan on t1 b3t1
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                     ->  Seq Scan on t2 b3t2
+                           Filter: (ctid = '(1,1)'::tid)
+               ->  Tid Scan on t3 b3t3
+                     TID Cond: (ctid = '(1,1)'::tid)
+         ->  Tid Scan on t4 b3t4
+               TID Cond: (ctid = '(1,1)'::tid)
+(59 rows)
+
+/*+TidScan(b1t1)SeqScan(b1t2)IndexScan(b1t3 t3_pkey)BitmapScan(b1t4 t4_pkey)
+BitmapScan(b2t1 t1_pkey)TidScan(b2t2)SeqScan(b2t3)IndexScan(b2t4 t4_pkey)
+IndexScan(b3t1 t1_pkey)BitmapScan(b3t2 t2_pkey)TidScan(b3t3)SeqScan(b3t4)
+SeqScan(r3_)*/
+EXPLAIN (COSTS false) UPDATE s1.r3_ SET c1 = c1 WHERE c1 = 1 AND ctid = '(1,1)';
+LOG:  available indexes for IndexScan(b1t3): t3_pkey
+LOG:  available indexes for BitmapScan(b1t4): t4_pkey
+LOG:  pg_hint_plan:
+used hint:
+TidScan(b1t1)
+SeqScan(b1t2)
+IndexScan(b1t3 t3_pkey)
+BitmapScan(b1t4 t4_pkey)
+SeqScan(r3_)
+not used hint:
+BitmapScan(b2t1 t1_pkey)
+TidScan(b2t2)
+SeqScan(b2t3)
+IndexScan(b2t4 t4_pkey)
+IndexScan(b3t1 t1_pkey)
+BitmapScan(b3t2 t2_pkey)
+TidScan(b3t3)
+SeqScan(b3t4)
+duplication hint:
+error hint:
+
+LOG:  available indexes for BitmapScan(b2t1): t1_pkey
+LOG:  available indexes for IndexScan(b2t4): t4_pkey
+LOG:  pg_hint_plan:
+used hint:
+BitmapScan(b2t1 t1_pkey)
+TidScan(b2t2)
+SeqScan(b2t3)
+IndexScan(b2t4 t4_pkey)
+SeqScan(r3_)
+not used hint:
+TidScan(b1t1)
+SeqScan(b1t2)
+IndexScan(b1t3 t3_pkey)
+BitmapScan(b1t4 t4_pkey)
+IndexScan(b3t1 t1_pkey)
+BitmapScan(b3t2 t2_pkey)
+TidScan(b3t3)
+SeqScan(b3t4)
+duplication hint:
+error hint:
+
+LOG:  available indexes for IndexScan(b3t1): t1_pkey
+LOG:  available indexes for BitmapScan(b3t2): t2_pkey
+LOG:  pg_hint_plan:
+used hint:
+IndexScan(b3t1 t1_pkey)
+BitmapScan(b3t2 t2_pkey)
+TidScan(b3t3)
+SeqScan(b3t4)
+SeqScan(r3_)
+not used hint:
+TidScan(b1t1)
+SeqScan(b1t2)
+IndexScan(b1t3 t3_pkey)
+BitmapScan(b1t4 t4_pkey)
+BitmapScan(b2t1 t1_pkey)
+TidScan(b2t2)
+SeqScan(b2t3)
+IndexScan(b2t4 t4_pkey)
+duplication hint:
+error hint:
+
+                                  QUERY PLAN                                  
+------------------------------------------------------------------------------
+ Aggregate
+   ->  Nested Loop
+         Join Filter: (b1t1.c1 = b1t4.c1)
+         ->  Nested Loop
+               Join Filter: (b1t1.c1 = b1t3.c1)
+               ->  Nested Loop
+                     Join Filter: (b1t1.c1 = b1t2.c1)
+                     ->  Nested Loop
+                           ->  Seq Scan on r3_
+                                 Filter: ((ctid = '(1,1)'::tid) AND (c1 = 1))
+                           ->  Tid Scan on t1 b1t1
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                     ->  Seq Scan on t2 b1t2
+                           Filter: (ctid = '(1,1)'::tid)
+               ->  Index Scan using t3_pkey on t3 b1t3
+                     Index Cond: (c1 = b1t2.c1)
+                     Filter: (ctid = '(1,1)'::tid)
+         ->  Bitmap Heap Scan on t4 b1t4
+               Recheck Cond: (c1 = b1t2.c1)
+               Filter: (ctid = '(1,1)'::tid)
+               ->  Bitmap Index Scan on t4_pkey
+                     Index Cond: (c1 = b1t2.c1)
+ Aggregate
+   ->  Nested Loop
+         Join Filter: (b2t1.c1 = b2t4.c1)
+         ->  Nested Loop
+               Join Filter: (b2t2.c1 = b2t1.c1)
+               ->  Nested Loop
+                     Join Filter: (b2t2.c1 = b2t3.c1)
+                     ->  Nested Loop
+                           ->  Seq Scan on r3_
+                                 Filter: ((ctid = '(1,1)'::tid) AND (c1 = 1))
+                           ->  Tid Scan on t2 b2t2
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                     ->  Seq Scan on t3 b2t3
+                           Filter: (ctid = '(1,1)'::tid)
+               ->  Bitmap Heap Scan on t1 b2t1
+                     Recheck Cond: (c1 = b2t3.c1)
+                     Filter: (ctid = '(1,1)'::tid)
+                     ->  Bitmap Index Scan on t1_pkey
+                           Index Cond: (c1 = b2t3.c1)
+         ->  Index Scan using t4_pkey on t4 b2t4
+               Index Cond: (c1 = b2t2.c1)
+               Filter: (ctid = '(1,1)'::tid)
+ Aggregate
+   ->  Nested Loop
+         Join Filter: (b3t1.c1 = b3t2.c1)
+         ->  Nested Loop
+               Join Filter: (b3t3.c1 = b3t1.c1)
+               ->  Nested Loop
+                     Join Filter: (b3t3.c1 = b3t4.c1)
+                     ->  Nested Loop
+                           ->  Seq Scan on r3_
+                                 Filter: ((ctid = '(1,1)'::tid) AND (c1 = 1))
+                           ->  Tid Scan on t3 b3t3
+                                 TID Cond: (ctid = '(1,1)'::tid)
+                     ->  Seq Scan on t4 b3t4
+                           Filter: (ctid = '(1,1)'::tid)
+               ->  Index Scan using t1_pkey on t1 b3t1
+                     Index Cond: (c1 = b3t4.c1)
+                     Filter: (ctid = '(1,1)'::tid)
+         ->  Bitmap Heap Scan on t2 b3t2
+               Recheck Cond: (c1 = b3t3.c1)
+               Filter: (ctid = '(1,1)'::tid)
+               ->  Bitmap Index Scan on t2_pkey
+                     Index Cond: (c1 = b3t3.c1)
+(68 rows)
+
+-- No. S-2-3-4
+EXPLAIN (COSTS false) SELECT * FROM s1.v1 v1, s1.v1 v2 WHERE v1.c1 = v2.c1;
+             QUERY PLAN             
+------------------------------------
+ Hash Join
+   Hash Cond: (v1t1.c1 = v1t1_1.c1)
+   ->  Seq Scan on t1 v1t1
+   ->  Hash
+         ->  Seq Scan on t1 v1t1_1
+(5 rows)
+
+/*+BitmapScan(v1t1)*/
+EXPLAIN (COSTS false) SELECT * FROM s1.v1 v1, s1.v1 v2 WHERE v1.c1 = v2.c1;
+LOG:  pg_hint_plan:
+used hint:
+BitmapScan(v1t1)
+not used hint:
+duplication hint:
+error hint:
+
+                QUERY PLAN                
+------------------------------------------
+ Nested Loop
+   ->  Index Scan using t1_i1 on t1 v1t1
+   ->  Bitmap Heap Scan on t1 v1t1_1
+         Recheck Cond: (c1 = v1t1.c1)
+         ->  Bitmap Index Scan on t1_i1
+               Index Cond: (c1 = v1t1.c1)
+(6 rows)
+
+-- No. S-2-3-5
+EXPLAIN (COSTS false) SELECT * FROM s1.v1 v1, s1.v1_ v2 WHERE v1.c1 = v2.c1;
+            QUERY PLAN             
+-----------------------------------
+ Hash Join
+   Hash Cond: (v1t1.c1 = v1t1_.c1)
+   ->  Seq Scan on t1 v1t1
+   ->  Hash
+         ->  Seq Scan on t1 v1t1_
+(5 rows)
+
+/*+SeqScan(v1t1)BitmapScan(v1t1_)*/
+EXPLAIN (COSTS false) SELECT * FROM s1.v1 v1, s1.v1_ v2 WHERE v1.c1 = v2.c1;
+LOG:  pg_hint_plan:
+used hint:
+SeqScan(v1t1)
+BitmapScan(v1t1_)
+not used hint:
+duplication hint:
+error hint:
+
+                QUERY PLAN                
+------------------------------------------
+ Nested Loop
+   ->  Seq Scan on t1 v1t1
+   ->  Bitmap Heap Scan on t1 v1t1_
+         Recheck Cond: (c1 = v1t1.c1)
+         ->  Bitmap Index Scan on t1_i1
+               Index Cond: (c1 = v1t1.c1)
+(6 rows)
+
+-- No. S-2-3-6
+EXPLAIN (COSTS false) SELECT * FROM s1.r4 t1, s1.r4 t2 WHERE t1.c1 = t2.c1;
+             QUERY PLAN             
+------------------------------------
+ Hash Join
+   Hash Cond: (r4t1.c1 = r4t1_1.c1)
+   ->  Seq Scan on t1 r4t1
+   ->  Hash
+         ->  Seq Scan on t1 r4t1_1
+(5 rows)
+
+/*+BitmapScan(r4t1)*/
+EXPLAIN (COSTS false) SELECT * FROM s1.r4 t1, s1.r4 t2 WHERE t1.c1 = t2.c1;
+LOG:  pg_hint_plan:
+used hint:
+BitmapScan(r4t1)
+not used hint:
+duplication hint:
+error hint:
+
+                QUERY PLAN                
+------------------------------------------
+ Nested Loop
+   ->  Index Scan using t1_i1 on t1 r4t1
+   ->  Bitmap Heap Scan on t1 r4t1_1
+         Recheck Cond: (c1 = r4t1.c1)
+         ->  Bitmap Index Scan on t1_i1
+               Index Cond: (c1 = r4t1.c1)
+(6 rows)
+
+-- No. S-2-3-7
+EXPLAIN (COSTS false) SELECT * FROM s1.r4 t1, s1.r5 t2 WHERE t1.c1 = t2.c1;
+            QUERY PLAN            
+----------------------------------
+ Hash Join
+   Hash Cond: (r4t1.c1 = r5t1.c1)
+   ->  Seq Scan on t1 r4t1
+   ->  Hash
+         ->  Seq Scan on t1 r5t1
+(5 rows)
+
+/*+SeqScan(r4t1)BitmapScan(r5t1)*/
+EXPLAIN (COSTS false) SELECT * FROM s1.r4 t1, s1.r5 t2 WHERE t1.c1 = t2.c1;
+LOG:  pg_hint_plan:
+used hint:
+SeqScan(r4t1)
+BitmapScan(r5t1)
+not used hint:
+duplication hint:
+error hint:
+
+                QUERY PLAN                
+------------------------------------------
+ Nested Loop
+   ->  Seq Scan on t1 r4t1
+   ->  Bitmap Heap Scan on t1 r5t1
+         Recheck Cond: (c1 = r4t1.c1)
+         ->  Bitmap Index Scan on t1_i1
+               Index Cond: (c1 = r4t1.c1)
+(6 rows)
+
+----
+---- No. S-2-4 VALUES clause
+----
+-- No. S-2-4-1
+EXPLAIN (COSTS false) SELECT * FROM (VALUES(1,1,1,'1')) AS t1 (c1) WHERE t1.c1 = 1;
+ QUERY PLAN 
+------------
+ Result
+(1 row)
+
+/*+SeqScan(t1)*/
 EXPLAIN (COSTS false) SELECT * FROM (VALUES(1,1,1,'1')) AS t1 (c1) WHERE t1.c1 = 1;
 LOG:  pg_hint_plan:
 used hint:
@@ -2095,11 +2996,10 @@ SeqScan(t1)
 duplication hint:
 error hint:
 
-        QUERY PLAN         
----------------------------
- Values Scan on "*VALUES*"
-   Filter: (column1 = 1)
-(2 rows)
+ QUERY PLAN 
+------------
+ Result
+(1 row)
 
 /*+SeqScan(*VALUES*)*/
 EXPLAIN (COSTS false) SELECT * FROM (VALUES(1,1,1,'1')) AS t1 (c1) WHERE t1.c1 = 1;
@@ -2110,36 +3010,44 @@ SeqScan(*VALUES*)
 duplication hint:
 error hint:
 
-        QUERY PLAN         
----------------------------
- Values Scan on "*VALUES*"
-   Filter: (column1 = 1)
-(2 rows)
+ QUERY PLAN 
+------------
+ Result
+(1 row)
 
--- No. J-2-4-2
-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;
+-- No. S-2-4-2
+EXPLAIN (COSTS false) SELECT * FROM (VALUES(1,1,1,'1'), (3,3,3,'3')) AS t1 (c1, c2, c3, c4), (VALUES(1,1,1,'1'), (2,2,2,'2')) AS t2 (c1, c2) WHERE t1.c1 = t2.c1;
                         QUERY PLAN                        
 ----------------------------------------------------------
- Nested Loop
-   Join Filter: ("*VALUES*".column1 = "*VALUES*".column1)
-   ->  Values Scan on "*VALUES*"
+ Hash Join
+   Hash Cond: ("*VALUES*".column1 = "*VALUES*_1".column1)
    ->  Values Scan on "*VALUES*"
-(4 rows)
+   ->  Hash
+         ->  Values Scan on "*VALUES*_1"
+(5 rows)
 
 /*+SeqScan(t1 t2)*/
-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;
-INFO:  hint syntax error at or near "t2)"
-DETAIL:  Closed parenthesis is necessary.
+EXPLAIN (COSTS false) SELECT * FROM (VALUES(1,1,1,'1'), (3,3,3,'3')) AS t1 (c1, c2, c3, c4), (VALUES(1,1,1,'1'), (2,2,2,'2')) AS t2 (c1, c2) WHERE t1.c1 = t2.c1;
+INFO:  pg_hint_plan: hint syntax error at or near ""
+DETAIL:  SeqScan hint accepts only one relation.
+LOG:  pg_hint_plan:
+used hint:
+not used hint:
+duplication hint:
+error hint:
+SeqScan(t1 t2)
+
                         QUERY PLAN                        
 ----------------------------------------------------------
- Nested Loop
-   Join Filter: ("*VALUES*".column1 = "*VALUES*".column1)
-   ->  Values Scan on "*VALUES*"
+ Hash Join
+   Hash Cond: ("*VALUES*".column1 = "*VALUES*_1".column1)
    ->  Values Scan on "*VALUES*"
-(4 rows)
+   ->  Hash
+         ->  Values Scan on "*VALUES*_1"
+(5 rows)
 
 /*+SeqScan(*VALUES*)*/
-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;
+EXPLAIN (COSTS false) SELECT * FROM (VALUES(1,1,1,'1'), (3,3,3,'3')) AS t1 (c1, c2, c3, c4), (VALUES(1,1,1,'1'), (2,2,2,'2')) AS t2 (c1, c2) WHERE t1.c1 = t2.c1;
 LOG:  pg_hint_plan:
 used hint:
 not used hint:
@@ -2149,11 +3057,12 @@ error hint:
 
                         QUERY PLAN                        
 ----------------------------------------------------------
- Nested Loop
-   Join Filter: ("*VALUES*".column1 = "*VALUES*".column1)
-   ->  Values Scan on "*VALUES*"
+ Hash Join
+   Hash Cond: ("*VALUES*".column1 = "*VALUES*_1".column1)
    ->  Values Scan on "*VALUES*"
-(4 rows)
+   ->  Hash
+         ->  Values Scan on "*VALUES*_1"
+(5 rows)
 
 ----
 ---- No. S-3-1 scan method hint
@@ -2527,19 +3436,111 @@ EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 = 1;
    Index Cond: (c1 = 1)
 (2 rows)
 
-/*+NoTidScan(t1)*/
-EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 = 1;
+/*+NoTidScan(t1)*/
+EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 = 1;
+LOG:  pg_hint_plan:
+used hint:
+NoTidScan(t1)
+not used hint:
+duplication hint:
+error hint:
+
+          QUERY PLAN          
+------------------------------
+ Index Scan using t1_i1 on t1
+   Index Cond: (c1 = 1)
+(2 rows)
+
+-- No. S-3-1-17
+EXPLAIN (COSTS false) SELECT c1 FROM s1.t1 WHERE t1.c1 = 1;
+            QUERY PLAN             
+-----------------------------------
+ Index Only Scan using t1_i1 on t1
+   Index Cond: (c1 = 1)
+(2 rows)
+
+/*+IndexOnlyScan(t1)*/
+EXPLAIN (COSTS false) SELECT c1 FROM s1.t1 WHERE t1.c1 = 1;
+LOG:  pg_hint_plan:
+used hint:
+IndexOnlyScan(t1)
+not used hint:
+duplication hint:
+error hint:
+
+            QUERY PLAN             
+-----------------------------------
+ Index Only Scan using t1_i1 on t1
+   Index Cond: (c1 = 1)
+(2 rows)
+
+-- No. S-3-1-18
+EXPLAIN (COSTS false) SELECT c1 FROM s1.t1 WHERE t1.c1 >= 1;
+     QUERY PLAN      
+---------------------
+ Seq Scan on t1
+   Filter: (c1 >= 1)
+(2 rows)
+
+/*+IndexOnlyScan(t1)*/
+EXPLAIN (COSTS false) SELECT c1 FROM s1.t1 WHERE t1.c1 >= 1;
+LOG:  pg_hint_plan:
+used hint:
+IndexOnlyScan(t1)
+not used hint:
+duplication hint:
+error hint:
+
+            QUERY PLAN             
+-----------------------------------
+ Index Only Scan using t1_i1 on t1
+   Index Cond: (c1 >= 1)
+(2 rows)
+
+-- No. S-3-1-19
+EXPLAIN (COSTS false) SELECT c1 FROM s1.t1 WHERE t1.c1 = 1;
+            QUERY PLAN             
+-----------------------------------
+ Index Only Scan using t1_i1 on t1
+   Index Cond: (c1 = 1)
+(2 rows)
+
+/*+NoIndexOnlyScan(t1)*/
+EXPLAIN (COSTS false) SELECT c1 FROM s1.t1 WHERE t1.c1 = 1;
+LOG:  pg_hint_plan:
+used hint:
+NoIndexOnlyScan(t1)
+not used hint:
+duplication hint:
+error hint:
+
+          QUERY PLAN          
+------------------------------
+ Index Scan using t1_i1 on t1
+   Index Cond: (c1 = 1)
+(2 rows)
+
+-- No. S-3-1-20
+EXPLAIN (COSTS false) SELECT c1 FROM s1.t1 WHERE t1.c1 >= 1;
+     QUERY PLAN      
+---------------------
+ Seq Scan on t1
+   Filter: (c1 >= 1)
+(2 rows)
+
+/*+NoIndexOnlyScan(t1)*/
+EXPLAIN (COSTS false) SELECT c1 FROM s1.t1 WHERE t1.c1 >= 1;
 LOG:  pg_hint_plan:
 used hint:
-NoTidScan(t1)
+NoIndexOnlyScan(t1)
 not used hint:
 duplication hint:
 error hint:
 
-          QUERY PLAN          
-------------------------------
Index Scan using t1_i1 on t1
-   Index Cond: (c1 = 1)
+     QUERY PLAN      
+---------------------
Seq Scan on t1
+   Filter: (c1 >= 1)
 (2 rows)
 
 ----
@@ -2557,7 +3558,7 @@ SET enable_tidscan TO off;
 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE ti1.c2 = 1 AND ctid = '(1,1)';
            QUERY PLAN            
 ---------------------------------
- Index Scan using ti1_i2 on ti1
+ Index Scan using ti1_i4 on ti1
    Index Cond: (c2 = 1)
    Filter: (ctid = '(1,1)'::tid)
 (3 rows)
@@ -2569,15 +3570,23 @@ EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE ti1.c2 = 1 AND ctid = '(1,1)';
  Bitmap Heap Scan on ti1
    Recheck Cond: (c2 = 1)
    Filter: (ctid = '(1,1)'::tid)
-   ->  Bitmap Index Scan on ti1_i2
+   ->  Bitmap Index Scan on ti1_i4
          Index Cond: (c2 = 1)
 (5 rows)
 
 RESET enable_tidscan;
 RESET enable_indexscan;
+EXPLAIN (COSTS false) SELECT c2 FROM s1.ti1 WHERE ti1.c2 >= 1;
+     QUERY PLAN      
+---------------------
+ Seq Scan on ti1
+   Filter: (c2 >= 1)
+(2 rows)
+
 -- No. S-3-3-1
 /*+IndexScan(ti1 ti1_i3)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE ti1.c2 = 1 AND ctid = '(1,1)';
+LOG:  available indexes for IndexScan(ti1): ti1_i3
 LOG:  pg_hint_plan:
 used hint:
 IndexScan(ti1 ti1_i3)
@@ -2595,6 +3604,7 @@ error hint:
 -- No. S-3-3-2
 /*+IndexScan(ti1 ti1_i3 ti1_i2)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE ti1.c2 = 1 AND ctid = '(1,1)';
+LOG:  available indexes for IndexScan(ti1): ti1_i3 ti1_i2
 LOG:  pg_hint_plan:
 used hint:
 IndexScan(ti1 ti1_i3 ti1_i2)
@@ -2604,7 +3614,7 @@ error hint:
 
            QUERY PLAN            
 ---------------------------------
- Index Scan using ti1_i2 on ti1
+ Index Scan using ti1_i3 on ti1
    Index Cond: (c2 = 1)
    Filter: (ctid = '(1,1)'::tid)
 (3 rows)
@@ -2612,6 +3622,7 @@ error hint:
 -- No. S-3-3-3
 /*+IndexScan(ti1 ti1_i4 ti1_i3 ti1_i2 ti1_i1)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE ti1.c2 = 1 AND ctid = '(1,1)';
+LOG:  available indexes for IndexScan(ti1): ti1_i4 ti1_i3 ti1_i2 ti1_i1
 LOG:  pg_hint_plan:
 used hint:
 IndexScan(ti1 ti1_i4 ti1_i3 ti1_i2 ti1_i1)
@@ -2621,7 +3632,7 @@ error hint:
 
            QUERY PLAN            
 ---------------------------------
- Index Scan using ti1_i2 on ti1
+ Index Scan using ti1_i4 on ti1
    Index Cond: (c2 = 1)
    Filter: (ctid = '(1,1)'::tid)
 (3 rows)
@@ -2629,6 +3640,7 @@ error hint:
 -- No. S-3-3-4
 /*+BitmapScan(ti1 ti1_i3)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE ti1.c2 = 1 AND ctid = '(1,1)';
+LOG:  available indexes for BitmapScan(ti1): ti1_i3
 LOG:  pg_hint_plan:
 used hint:
 BitmapScan(ti1 ti1_i3)
@@ -2648,6 +3660,7 @@ error hint:
 -- No. S-3-3-5
 /*+BitmapScan(ti1 ti1_i3 ti1_i2)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE ti1.c2 = 1 AND ctid = '(1,1)';
+LOG:  available indexes for BitmapScan(ti1): ti1_i3 ti1_i2
 LOG:  pg_hint_plan:
 used hint:
 BitmapScan(ti1 ti1_i3 ti1_i2)
@@ -2660,13 +3673,14 @@ error hint:
  Bitmap Heap Scan on ti1
    Recheck Cond: (c2 = 1)
    Filter: (ctid = '(1,1)'::tid)
-   ->  Bitmap Index Scan on ti1_i2
+   ->  Bitmap Index Scan on ti1_i3
          Index Cond: (c2 = 1)
 (5 rows)
 
 -- No. S-3-3-6
 /*+BitmapScan(ti1 ti1_i4 ti1_i3 ti1_i2 ti1_i1)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE ti1.c2 = 1 AND ctid = '(1,1)';
+LOG:  available indexes for BitmapScan(ti1): ti1_i4 ti1_i3 ti1_i2 ti1_i1
 LOG:  pg_hint_plan:
 used hint:
 BitmapScan(ti1 ti1_i4 ti1_i3 ti1_i2 ti1_i1)
@@ -2679,26 +3693,76 @@ error hint:
  Bitmap Heap Scan on ti1
    Recheck Cond: (c2 = 1)
    Filter: (ctid = '(1,1)'::tid)
-   ->  Bitmap Index Scan on ti1_i2
+   ->  Bitmap Index Scan on ti1_i4
          Index Cond: (c2 = 1)
 (5 rows)
 
+-- No. S-3-3-7
+/*+IndexOnlyScan(ti1 ti1_i3)*/
+EXPLAIN (COSTS false) SELECT c2 FROM s1.ti1 WHERE ti1.c2 >= 1;
+LOG:  available indexes for IndexOnlyScan(ti1): ti1_i3
+LOG:  pg_hint_plan:
+used hint:
+IndexOnlyScan(ti1 ti1_i3)
+not used hint:
+duplication hint:
+error hint:
+
+             QUERY PLAN              
+-------------------------------------
+ Index Only Scan using ti1_i3 on ti1
+   Index Cond: (c2 >= 1)
+(2 rows)
+
+-- No. S-3-3-8
+/*+IndexOnlyScan(ti1 ti1_i3 ti1_i2)*/
+EXPLAIN (COSTS false) SELECT c2 FROM s1.ti1 WHERE ti1.c2 >= 1;
+LOG:  available indexes for IndexOnlyScan(ti1): ti1_i3 ti1_i2
+LOG:  pg_hint_plan:
+used hint:
+IndexOnlyScan(ti1 ti1_i3 ti1_i2)
+not used hint:
+duplication hint:
+error hint:
+
+             QUERY PLAN              
+-------------------------------------
+ Index Only Scan using ti1_i2 on ti1
+   Index Cond: (c2 >= 1)
+(2 rows)
+
+-- No. S-3-3-9
+/*+IndexOnlyScan(ti1 ti1_i4 ti1_i3 ti1_i2 ti1_i1)*/
+EXPLAIN (COSTS false) SELECT c2 FROM s1.ti1 WHERE ti1.c2 >= 1;
+LOG:  available indexes for IndexOnlyScan(ti1): ti1_i4 ti1_i3 ti1_i2 ti1_i1
+LOG:  pg_hint_plan:
+used hint:
+IndexOnlyScan(ti1 ti1_i4 ti1_i3 ti1_i2 ti1_i1)
+not used hint:
+duplication hint:
+error hint:
+
+             QUERY PLAN              
+-------------------------------------
+ Index Only Scan using ti1_i1 on ti1
+   Index Cond: (c2 >= 1)
+(2 rows)
+
 ----
 ---- No. S-3-4 index type
 ----
 \d s1.ti1
-        Table "s1.ti1"
- Column |  Type   | Modifiers 
---------+---------+-----------
- c1     | integer | not null
- c2     | integer | 
- c3     | integer | 
- c4     | text    | 
+                  Table "s1.ti1"
+ Column |  Type   | Collation | Nullable | Default 
+--------+---------+-----------+----------+---------
+ c1     | integer |           | not null | 
+ c2     | integer |           |          | 
+ c3     | integer |           |          | 
+ c4     | text    |           |          | 
 Indexes:
     "ti1_pkey" PRIMARY KEY, btree (c1)
-    "ti1_c2_key" UNIQUE CONSTRAINT, btree (c2)
-    "ti1_uniq" UNIQUE, btree (c1)
     "ti1_btree" btree (c1)
+    "ti1_c2_key" UNIQUE CONSTRAINT, btree (c2)
     "ti1_expr" btree ((c1 < 100))
     "ti1_gin" gin (c1)
     "ti1_gist" gist (c1)
@@ -2710,18 +3774,20 @@ Indexes:
     "ti1_multi" btree (c1, c2, c3, c4)
     "ti1_pred" btree (lower(c4))
     "ti1_ts" gin (to_tsvector('english'::regconfig, c4))
+    "ti1_uniq" UNIQUE, btree (c1)
 
 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)';
                                                                QUERY PLAN                                                                
 -----------------------------------------------------------------------------------------------------------------------------------------
  Tid Scan on ti1
    TID Cond: (ctid = '(1,1)'::tid)
-   Filter: ((c1 < 100) AND (c2 = 1) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery) AND (lower(c4) = '1'::text))
+   Filter: ((c1 < 100) AND (c2 = 1) AND (lower(c4) = '1'::text) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery))
 (3 rows)
 
 -- No. S-3-4-1
 /*+IndexScan(ti1 ti1_btree)*/
 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)';
+LOG:  available indexes for IndexScan(ti1): ti1_btree
 LOG:  pg_hint_plan:
 used hint:
 IndexScan(ti1 ti1_btree)
@@ -2733,12 +3799,13 @@ error hint:
 ----------------------------------------------------------------------------------------------------------------------------------------------------
  Index Scan using ti1_btree on ti1
    Index Cond: (c1 < 100)
-   Filter: ((c2 = 1) AND (ctid = '(1,1)'::tid) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery) AND (lower(c4) = '1'::text))
+   Filter: ((c2 = 1) AND (ctid = '(1,1)'::tid) AND (lower(c4) = '1'::text) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery))
 (3 rows)
 
 -- No. S-3-4-2
 /*+IndexScan(ti1 ti1_hash)*/
 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)';
+LOG:  available indexes for IndexScan(ti1): ti1_hash
 LOG:  pg_hint_plan:
 used hint:
 IndexScan(ti1 ti1_hash)
@@ -2750,12 +3817,13 @@ error hint:
 ----------------------------------------------------------------------------------------------------------------------------------------------------
  Index Scan using ti1_hash on ti1
    Index Cond: (c1 = 100)
-   Filter: ((c2 = 1) AND (ctid = '(1,1)'::tid) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery) AND (lower(c4) = '1'::text))
+   Filter: ((c2 = 1) AND (ctid = '(1,1)'::tid) AND (lower(c4) = '1'::text) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery))
 (3 rows)
 
 -- No. S-3-4-3
 /*+IndexScan(ti1 ti1_gist)*/
 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)';
+LOG:  available indexes for IndexScan(ti1): ti1_gist
 LOG:  pg_hint_plan:
 used hint:
 IndexScan(ti1 ti1_gist)
@@ -2767,12 +3835,13 @@ error hint:
 ----------------------------------------------------------------------------------------------------------------------------------------------------
  Index Scan using ti1_gist on ti1
    Index Cond: (c1 < 100)
-   Filter: ((c2 = 1) AND (ctid = '(1,1)'::tid) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery) AND (lower(c4) = '1'::text))
+   Filter: ((c2 = 1) AND (ctid = '(1,1)'::tid) AND (lower(c4) = '1'::text) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery))
 (3 rows)
 
 -- No. S-3-4-4
 /*+IndexScan(ti1 ti1_gin)*/
 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)';
+LOG:  available indexes for IndexScan(ti1): ti1_gin
 LOG:  pg_hint_plan:
 used hint:
 IndexScan(ti1 ti1_gin)
@@ -2784,12 +3853,13 @@ error hint:
 -----------------------------------------------------------------------------------------------------------------------------------------
  Tid Scan on ti1
    TID Cond: (ctid = '(1,1)'::tid)
-   Filter: ((c1 < 100) AND (c2 = 1) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery) AND (lower(c4) = '1'::text))
+   Filter: ((c1 < 100) AND (c2 = 1) AND (lower(c4) = '1'::text) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery))
 (3 rows)
 
 -- No. S-3-4-5
 /*+IndexScan(ti1 ti1_expr)*/
 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)';
+LOG:  available indexes for IndexScan(ti1): ti1_expr
 LOG:  pg_hint_plan:
 used hint:
 IndexScan(ti1 ti1_expr)
@@ -2797,16 +3867,17 @@ not used hint:
 duplication hint:
 error hint:
 
-                                                                            QUERY PLAN                                                                             
--------------------------------------------------------------------------------------------------------------------------------------------------------------------
+                                                                     QUERY PLAN                                                                     
+----------------------------------------------------------------------------------------------------------------------------------------------------
  Index Scan using ti1_expr on ti1
    Index Cond: ((c1 < 100) = true)
-   Filter: ((c1 < 100) AND (c2 = 1) AND (ctid = '(1,1)'::tid) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery) AND (lower(c4) = '1'::text))
+   Filter: ((c2 = 1) AND (ctid = '(1,1)'::tid) AND (lower(c4) = '1'::text) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery))
 (3 rows)
 
 -- No. S-3-4-6
 /*+IndexScan(ti1 ti1_pred)*/
 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)';
+LOG:  available indexes for IndexScan(ti1): ti1_pred
 LOG:  pg_hint_plan:
 used hint:
 IndexScan(ti1 ti1_pred)
@@ -2824,6 +3895,7 @@ error hint:
 -- No. S-3-4-7
 /*+IndexScan(ti1 ti1_uniq)*/
 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)';
+LOG:  available indexes for IndexScan(ti1): ti1_uniq
 LOG:  pg_hint_plan:
 used hint:
 IndexScan(ti1 ti1_uniq)
@@ -2835,12 +3907,13 @@ error hint:
 ----------------------------------------------------------------------------------------------------------------------------------------------------
  Index Scan using ti1_uniq on ti1
    Index Cond: (c1 < 100)
-   Filter: ((c2 = 1) AND (ctid = '(1,1)'::tid) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery) AND (lower(c4) = '1'::text))
+   Filter: ((c2 = 1) AND (ctid = '(1,1)'::tid) AND (lower(c4) = '1'::text) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery))
 (3 rows)
 
 -- No. S-3-4-8
 /*+IndexScan(ti1 ti1_multi)*/
 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)';
+LOG:  available indexes for IndexScan(ti1): ti1_multi
 LOG:  pg_hint_plan:
 used hint:
 IndexScan(ti1 ti1_multi)
@@ -2852,12 +3925,13 @@ error hint:
 ---------------------------------------------------------------------------------------------------------------------------------------
  Index Scan using ti1_multi on ti1
    Index Cond: ((c1 < 100) AND (c2 = 1))
-   Filter: ((ctid = '(1,1)'::tid) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery) AND (lower(c4) = '1'::text))
+   Filter: ((ctid = '(1,1)'::tid) AND (lower(c4) = '1'::text) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery))
 (3 rows)
 
 -- No. S-3-4-9
 /*+IndexScan(ti1 ti1_ts)*/
 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)';
+LOG:  available indexes for IndexScan(ti1): ti1_ts
 LOG:  pg_hint_plan:
 used hint:
 IndexScan(ti1 ti1_ts)
@@ -2869,12 +3943,13 @@ error hint:
 -----------------------------------------------------------------------------------------------------------------------------------------
  Tid Scan on ti1
    TID Cond: (ctid = '(1,1)'::tid)
-   Filter: ((c1 < 100) AND (c2 = 1) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery) AND (lower(c4) = '1'::text))
+   Filter: ((c1 < 100) AND (c2 = 1) AND (lower(c4) = '1'::text) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery))
 (3 rows)
 
 -- No. S-3-4-10
 /*+IndexScan(ti1 ti1_pkey)*/
 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)';
+LOG:  available indexes for IndexScan(ti1): ti1_pkey
 LOG:  pg_hint_plan:
 used hint:
 IndexScan(ti1 ti1_pkey)
@@ -2886,12 +3961,13 @@ error hint:
 ----------------------------------------------------------------------------------------------------------------------------------------------------
  Index Scan using ti1_pkey on ti1
    Index Cond: (c1 < 100)
-   Filter: ((c2 = 1) AND (ctid = '(1,1)'::tid) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery) AND (lower(c4) = '1'::text))
+   Filter: ((c2 = 1) AND (ctid = '(1,1)'::tid) AND (lower(c4) = '1'::text) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery))
 (3 rows)
 
 -- No. S-3-4-11
 /*+IndexScan(ti1 ti1_c2_key)*/
 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)';
+LOG:  available indexes for IndexScan(ti1): ti1_c2_key
 LOG:  pg_hint_plan:
 used hint:
 IndexScan(ti1 ti1_c2_key)
@@ -2903,12 +3979,13 @@ error hint:
 ------------------------------------------------------------------------------------------------------------------------------------------------------
  Index Scan using ti1_c2_key on ti1
    Index Cond: (c2 = 1)
-   Filter: ((c1 < 100) AND (ctid = '(1,1)'::tid) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery) AND (lower(c4) = '1'::text))
+   Filter: ((c1 < 100) AND (ctid = '(1,1)'::tid) AND (lower(c4) = '1'::text) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery))
 (3 rows)
 
 -- No. S-3-4-12
 /*+BitmapScan(ti1 ti1_btree)*/
 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)';
+LOG:  available indexes for BitmapScan(ti1): ti1_btree
 LOG:  pg_hint_plan:
 used hint:
 BitmapScan(ti1 ti1_btree)
@@ -2920,7 +3997,7 @@ error hint:
 ----------------------------------------------------------------------------------------------------------------------------------------------------
  Bitmap Heap Scan on ti1
    Recheck Cond: (c1 < 100)
-   Filter: ((c2 = 1) AND (ctid = '(1,1)'::tid) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery) AND (lower(c4) = '1'::text))
+   Filter: ((c2 = 1) AND (ctid = '(1,1)'::tid) AND (lower(c4) = '1'::text) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery))
    ->  Bitmap Index Scan on ti1_btree
          Index Cond: (c1 < 100)
 (5 rows)
@@ -2928,6 +4005,7 @@ error hint:
 -- No. S-3-4-13
 /*+BitmapScan(ti1 ti1_hash)*/
 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)';
+LOG:  available indexes for BitmapScan(ti1): ti1_hash
 LOG:  pg_hint_plan:
 used hint:
 BitmapScan(ti1 ti1_hash)
@@ -2939,7 +4017,7 @@ error hint:
 ----------------------------------------------------------------------------------------------------------------------------------------------------
  Bitmap Heap Scan on ti1
    Recheck Cond: (c1 = 100)
-   Filter: ((c2 = 1) AND (ctid = '(1,1)'::tid) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery) AND (lower(c4) = '1'::text))
+   Filter: ((c2 = 1) AND (ctid = '(1,1)'::tid) AND (lower(c4) = '1'::text) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery))
    ->  Bitmap Index Scan on ti1_hash
          Index Cond: (c1 = 100)
 (5 rows)
@@ -2947,6 +4025,7 @@ error hint:
 -- No. S-3-4-14
 /*+BitmapScan(ti1 ti1_gist)*/
 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)';
+LOG:  available indexes for BitmapScan(ti1): ti1_gist
 LOG:  pg_hint_plan:
 used hint:
 BitmapScan(ti1 ti1_gist)
@@ -2954,172 +4033,451 @@ not used hint:
 duplication hint:
 error hint:
 
-                                                                     QUERY PLAN                                                                     
-----------------------------------------------------------------------------------------------------------------------------------------------------
- Bitmap Heap Scan on ti1
-   Recheck Cond: (c1 < 100)
-   Filter: ((c2 = 1) AND (ctid = '(1,1)'::tid) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery) AND (lower(c4) = '1'::text))
-   ->  Bitmap Index Scan on ti1_gist
-         Index Cond: (c1 < 100)
-(5 rows)
+                                                                     QUERY PLAN                                                                     
+----------------------------------------------------------------------------------------------------------------------------------------------------
+ Bitmap Heap Scan on ti1
+   Recheck Cond: (c1 < 100)
+   Filter: ((c2 = 1) AND (ctid = '(1,1)'::tid) AND (lower(c4) = '1'::text) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery))
+   ->  Bitmap Index Scan on ti1_gist
+         Index Cond: (c1 < 100)
+(5 rows)
+
+-- No. S-3-4-15
+/*+BitmapScan(ti1 ti1_gin)*/
+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)';
+LOG:  available indexes for BitmapScan(ti1): ti1_gin
+LOG:  pg_hint_plan:
+used hint:
+BitmapScan(ti1 ti1_gin)
+not used hint:
+duplication hint:
+error hint:
+
+                                                                     QUERY PLAN                                                                     
+----------------------------------------------------------------------------------------------------------------------------------------------------
+ Bitmap Heap Scan on ti1
+   Recheck Cond: (c1 < 100)
+   Filter: ((c2 = 1) AND (ctid = '(1,1)'::tid) AND (lower(c4) = '1'::text) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery))
+   ->  Bitmap Index Scan on ti1_gin
+         Index Cond: (c1 < 100)
+(5 rows)
+
+-- No. S-3-4-16
+/*+BitmapScan(ti1 ti1_expr)*/
+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)';
+LOG:  available indexes for BitmapScan(ti1): ti1_expr
+LOG:  pg_hint_plan:
+used hint:
+BitmapScan(ti1 ti1_expr)
+not used hint:
+duplication hint:
+error hint:
+
+                                                                            QUERY PLAN                                                                             
+-------------------------------------------------------------------------------------------------------------------------------------------------------------------
+ Bitmap Heap Scan on ti1
+   Filter: ((c1 < 100) AND (c2 = 1) AND (ctid = '(1,1)'::tid) AND (lower(c4) = '1'::text) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery))
+   ->  Bitmap Index Scan on ti1_expr
+         Index Cond: ((c1 < 100) = true)
+(4 rows)
+
+-- No. S-3-4-17
+/*+BitmapScan(ti1 ti1_pred)*/
+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)';
+LOG:  available indexes for BitmapScan(ti1): ti1_pred
+LOG:  pg_hint_plan:
+used hint:
+BitmapScan(ti1 ti1_pred)
+not used hint:
+duplication hint:
+error hint:
+
+                                                              QUERY PLAN                                                               
+---------------------------------------------------------------------------------------------------------------------------------------
+ Bitmap Heap Scan on ti1
+   Recheck Cond: (lower(c4) = '1'::text)
+   Filter: ((c1 < 100) AND (c2 = 1) AND (ctid = '(1,1)'::tid) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery))
+   ->  Bitmap Index Scan on ti1_pred
+         Index Cond: (lower(c4) = '1'::text)
+(5 rows)
+
+-- No. S-3-4-18
+/*+BitmapScan(ti1 ti1_uniq)*/
+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)';
+LOG:  available indexes for BitmapScan(ti1): ti1_uniq
+LOG:  pg_hint_plan:
+used hint:
+BitmapScan(ti1 ti1_uniq)
+not used hint:
+duplication hint:
+error hint:
+
+                                                                     QUERY PLAN                                                                     
+----------------------------------------------------------------------------------------------------------------------------------------------------
+ Bitmap Heap Scan on ti1
+   Recheck Cond: (c1 < 100)
+   Filter: ((c2 = 1) AND (ctid = '(1,1)'::tid) AND (lower(c4) = '1'::text) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery))
+   ->  Bitmap Index Scan on ti1_uniq
+         Index Cond: (c1 < 100)
+(5 rows)
+
+-- No. S-3-4-19
+/*+BitmapScan(ti1 ti1_multi)*/
+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)';
+LOG:  available indexes for BitmapScan(ti1): ti1_multi
+LOG:  pg_hint_plan:
+used hint:
+BitmapScan(ti1 ti1_multi)
+not used hint:
+duplication hint:
+error hint:
+
+                                                              QUERY PLAN                                                               
+---------------------------------------------------------------------------------------------------------------------------------------
+ Bitmap Heap Scan on ti1
+   Recheck Cond: ((c1 < 100) AND (c2 = 1))
+   Filter: ((ctid = '(1,1)'::tid) AND (lower(c4) = '1'::text) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery))
+   ->  Bitmap Index Scan on ti1_multi
+         Index Cond: ((c1 < 100) AND (c2 = 1))
+(5 rows)
+
+-- No. S-3-4-20
+/*+BitmapScan(ti1 ti1_ts)*/
+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)';
+LOG:  available indexes for BitmapScan(ti1): ti1_ts
+LOG:  pg_hint_plan:
+used hint:
+BitmapScan(ti1 ti1_ts)
+not used hint:
+duplication hint:
+error hint:
+
+                                        QUERY PLAN                                         
+-------------------------------------------------------------------------------------------
+ Bitmap Heap Scan on ti1
+   Recheck Cond: (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery)
+   Filter: ((c1 < 100) AND (c2 = 1) AND (ctid = '(1,1)'::tid) AND (lower(c4) = '1'::text))
+   ->  Bitmap Index Scan on ti1_ts
+         Index Cond: (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery)
+(5 rows)
+
+-- No. S-3-4-21
+/*+BitmapScan(ti1 ti1_pkey)*/
+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)';
+LOG:  available indexes for BitmapScan(ti1): ti1_pkey
+LOG:  pg_hint_plan:
+used hint:
+BitmapScan(ti1 ti1_pkey)
+not used hint:
+duplication hint:
+error hint:
+
+                                                                     QUERY PLAN                                                                     
+----------------------------------------------------------------------------------------------------------------------------------------------------
+ Bitmap Heap Scan on ti1
+   Recheck Cond: (c1 < 100)
+   Filter: ((c2 = 1) AND (ctid = '(1,1)'::tid) AND (lower(c4) = '1'::text) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery))
+   ->  Bitmap Index Scan on ti1_pkey
+         Index Cond: (c1 < 100)
+(5 rows)
+
+-- No. S-3-4-22
+/*+BitmapScan(ti1 ti1_c2_key)*/
+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)';
+LOG:  available indexes for BitmapScan(ti1): ti1_c2_key
+LOG:  pg_hint_plan:
+used hint:
+BitmapScan(ti1 ti1_c2_key)
+not used hint:
+duplication hint:
+error hint:
+
+                                                                      QUERY PLAN                                                                      
+------------------------------------------------------------------------------------------------------------------------------------------------------
+ Bitmap Heap Scan on ti1
+   Recheck Cond: (c2 = 1)
+   Filter: ((c1 < 100) AND (ctid = '(1,1)'::tid) AND (lower(c4) = '1'::text) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery))
+   ->  Bitmap Index Scan on ti1_c2_key
+         Index Cond: (c2 = 1)
+(5 rows)
+
+-- No. S-3-4-23
+EXPLAIN (COSTS false) SELECT c1 FROM s1.ti1 WHERE c1 >= 1;
+     QUERY PLAN      
+---------------------
+ Seq Scan on ti1
+   Filter: (c1 >= 1)
+(2 rows)
+
+/*+IndexOnlyScan(ti1 ti1_btree)*/
+EXPLAIN (COSTS false) SELECT c1 FROM s1.ti1 WHERE c1 >= 1;
+LOG:  available indexes for IndexOnlyScan(ti1): ti1_btree
+LOG:  pg_hint_plan:
+used hint:
+IndexOnlyScan(ti1 ti1_btree)
+not used hint:
+duplication hint:
+error hint:
+
+               QUERY PLAN               
+----------------------------------------
+ Index Only Scan using ti1_btree on ti1
+   Index Cond: (c1 >= 1)
+(2 rows)
+
+-- No. S-3-4-24
+EXPLAIN (COSTS false) SELECT c1 FROM s1.ti1 WHERE c1 = 1;
+            QUERY PLAN            
+----------------------------------
+ Index Scan using ti1_hash on ti1
+   Index Cond: (c1 = 1)
+(2 rows)
+
+/*+IndexOnlyScan(ti1 ti1_hash)*/
+EXPLAIN (COSTS false) SELECT c1 FROM s1.ti1 WHERE c1 = 1;
+LOG:  available indexes for IndexOnlyScan(ti1): ti1_hash
+LOG:  pg_hint_plan:
+used hint:
+IndexOnlyScan(ti1 ti1_hash)
+not used hint:
+duplication hint:
+error hint:
+
+            QUERY PLAN            
+----------------------------------
+ Index Scan using ti1_hash on ti1
+   Index Cond: (c1 = 1)
+(2 rows)
+
+-- No. S-3-4-25
+EXPLAIN (COSTS false) SELECT c1 FROM s1.ti1 WHERE c1 < 1;
+              QUERY PLAN               
+---------------------------------------
+ Index Only Scan using ti1_uniq on ti1
+   Index Cond: (c1 < 1)
+(2 rows)
+
+/*+IndexOnlyScan(ti1 ti1_gist)*/
+EXPLAIN (COSTS false) SELECT c1 FROM s1.ti1 WHERE c1 < 1;
+LOG:  available indexes for IndexOnlyScan(ti1): ti1_gist
+LOG:  pg_hint_plan:
+used hint:
+IndexOnlyScan(ti1 ti1_gist)
+not used hint:
+duplication hint:
+error hint:
+
+              QUERY PLAN               
+---------------------------------------
+ Index Only Scan using ti1_gist on ti1
+   Index Cond: (c1 < 1)
+(2 rows)
+
+-- No. S-3-4-26
+EXPLAIN (COSTS false) SELECT c1 FROM s1.ti1 WHERE c1 = 1;
+            QUERY PLAN            
+----------------------------------
+ Index Scan using ti1_hash on ti1
+   Index Cond: (c1 = 1)
+(2 rows)
 
--- No. S-3-4-15
-/*+BitmapScan(ti1 ti1_gin)*/
-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)';
+/*+IndexOnlyScan(ti1 ti1_gin)*/
+EXPLAIN (COSTS false) SELECT c1 FROM s1.ti1 WHERE c1 = 1;
+LOG:  available indexes for IndexOnlyScan(ti1): ti1_gin
 LOG:  pg_hint_plan:
 used hint:
-BitmapScan(ti1 ti1_gin)
+IndexOnlyScan(ti1 ti1_gin)
 not used hint:
 duplication hint:
 error hint:
 
-                                                                     QUERY PLAN                                                                     
-----------------------------------------------------------------------------------------------------------------------------------------------------
+             QUERY PLAN             
+------------------------------------
  Bitmap Heap Scan on ti1
-   Recheck Cond: (c1 < 100)
-   Filter: ((c2 = 1) AND (ctid = '(1,1)'::tid) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery) AND (lower(c4) = '1'::text))
+   Recheck Cond: (c1 = 1)
    ->  Bitmap Index Scan on ti1_gin
-         Index Cond: (c1 < 100)
-(5 rows)
+         Index Cond: (c1 = 1)
+(4 rows)
 
--- No. S-3-4-16
-/*+BitmapScan(ti1 ti1_expr)*/
-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)';
+-- No. S-3-4-27
+EXPLAIN (COSTS false) SELECT c1 FROM s1.ti1 WHERE c1 < 100;
+              QUERY PLAN               
+---------------------------------------
+ Index Only Scan using ti1_uniq on ti1
+   Index Cond: (c1 < 100)
+(2 rows)
+
+/*+IndexOnlyScan(ti1 ti1_expr)*/
+EXPLAIN (COSTS false) SELECT c1 FROM s1.ti1 WHERE c1 < 100;
+LOG:  available indexes for IndexOnlyScan(ti1): ti1_expr
 LOG:  pg_hint_plan:
 used hint:
-BitmapScan(ti1 ti1_expr)
+IndexOnlyScan(ti1 ti1_expr)
 not used hint:
 duplication hint:
 error hint:
 
-                                                                            QUERY PLAN                                                                             
--------------------------------------------------------------------------------------------------------------------------------------------------------------------
- Bitmap Heap Scan on ti1
-   Filter: ((c1 < 100) AND (c2 = 1) AND (ctid = '(1,1)'::tid) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery) AND (lower(c4) = '1'::text))
-   ->  Bitmap Index Scan on ti1_expr
-         Index Cond: ((c1 < 100) = true)
-(4 rows)
+            QUERY PLAN             
+-----------------------------------
+ Index Scan using ti1_expr on ti1
+   Index Cond: ((c1 < 100) = true)
+(2 rows)
 
--- No. S-3-4-17
-/*+BitmapScan(ti1 ti1_pred)*/
-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)';
+-- No. S-3-4-28
+EXPLAIN (COSTS false) SELECT c4 FROM s1.ti1 WHERE lower(c4) >= '1';
+             QUERY PLAN             
+------------------------------------
+ Seq Scan on ti1
+   Filter: (lower(c4) >= '1'::text)
+(2 rows)
+
+/*+IndexOnlyScan(ti1 ti1_pred)*/
+EXPLAIN (COSTS false) SELECT c4 FROM s1.ti1 WHERE lower(c4) >= '1';
+LOG:  available indexes for IndexOnlyScan(ti1): ti1_pred
 LOG:  pg_hint_plan:
 used hint:
-BitmapScan(ti1 ti1_pred)
+IndexOnlyScan(ti1 ti1_pred)
 not used hint:
 duplication hint:
 error hint:
 
-                                                              QUERY PLAN                                                               
----------------------------------------------------------------------------------------------------------------------------------------
- Bitmap Heap Scan on ti1
-   Recheck Cond: (lower(c4) = '1'::text)
-   Filter: ((c1 < 100) AND (c2 = 1) AND (ctid = '(1,1)'::tid) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery))
-   ->  Bitmap Index Scan on ti1_pred
-         Index Cond: (lower(c4) = '1'::text)
-(5 rows)
+               QUERY PLAN               
+----------------------------------------
+ Index Scan using ti1_pred on ti1
+   Index Cond: (lower(c4) >= '1'::text)
+(2 rows)
 
--- No. S-3-4-18
-/*+BitmapScan(ti1 ti1_uniq)*/
-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)';
+-- No. S-3-4-29
+EXPLAIN (COSTS false) SELECT c1 FROM s1.ti1 WHERE c1 >= 1;
+     QUERY PLAN      
+---------------------
+ Seq Scan on ti1
+   Filter: (c1 >= 1)
+(2 rows)
+
+/*+IndexOnlyScan(ti1 ti1_uniq)*/
+EXPLAIN (COSTS false) SELECT c1 FROM s1.ti1 WHERE c1 >= 1;
+LOG:  available indexes for IndexOnlyScan(ti1): ti1_uniq
 LOG:  pg_hint_plan:
 used hint:
-BitmapScan(ti1 ti1_uniq)
+IndexOnlyScan(ti1 ti1_uniq)
 not used hint:
 duplication hint:
 error hint:
 
-                                                                     QUERY PLAN                                                                     
-----------------------------------------------------------------------------------------------------------------------------------------------------
- Bitmap Heap Scan on ti1
-   Recheck Cond: (c1 < 100)
-   Filter: ((c2 = 1) AND (ctid = '(1,1)'::tid) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery) AND (lower(c4) = '1'::text))
-   ->  Bitmap Index Scan on ti1_uniq
-         Index Cond: (c1 < 100)
-(5 rows)
+              QUERY PLAN               
+---------------------------------------
+ Index Only Scan using ti1_uniq on ti1
+   Index Cond: (c1 >= 1)
+(2 rows)
 
--- No. S-3-4-19
-/*+BitmapScan(ti1 ti1_multi)*/
-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)';
+-- No. S-3-4-30
+EXPLAIN (COSTS false) SELECT c1 FROM s1.ti1 WHERE c1 >= 1;
+     QUERY PLAN      
+---------------------
+ Seq Scan on ti1
+   Filter: (c1 >= 1)
+(2 rows)
+
+/*+IndexOnlyScan(ti1 ti1_multi)*/
+EXPLAIN (COSTS false) SELECT c1 FROM s1.ti1 WHERE c1 >= 1;
+LOG:  available indexes for IndexOnlyScan(ti1): ti1_multi
 LOG:  pg_hint_plan:
 used hint:
-BitmapScan(ti1 ti1_multi)
+IndexOnlyScan(ti1 ti1_multi)
 not used hint:
 duplication hint:
 error hint:
 
-                                                              QUERY PLAN                                                               
----------------------------------------------------------------------------------------------------------------------------------------
+               QUERY PLAN               
+----------------------------------------
+ Index Only Scan using ti1_multi on ti1
+   Index Cond: (c1 >= 1)
+(2 rows)
+
+-- No. S-3-4-31
+EXPLAIN (COSTS false) SELECT c1 FROM s1.ti1 WHERE to_tsvector('english', c4) @@ 'a & b';
+                                       QUERY PLAN                                        
+-----------------------------------------------------------------------------------------
  Bitmap Heap Scan on ti1
-   Recheck Cond: ((c1 < 100) AND (c2 = 1))
-   Filter: ((ctid = '(1,1)'::tid) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery) AND (lower(c4) = '1'::text))
-   ->  Bitmap Index Scan on ti1_multi
-         Index Cond: ((c1 < 100) AND (c2 = 1))
-(5 rows)
+   Recheck Cond: (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery)
+   ->  Bitmap Index Scan on ti1_ts
+         Index Cond: (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery)
+(4 rows)
 
--- No. S-3-4-20
-/*+BitmapScan(ti1 ti1_ts)*/
-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)';
+/*+IndexOnlyScan(ti1 ti1_ts)*/
+EXPLAIN (COSTS false) SELECT c1 FROM s1.ti1 WHERE to_tsvector('english', c4) @@ 'a & b';
+LOG:  available indexes for IndexOnlyScan(ti1): ti1_ts
 LOG:  pg_hint_plan:
 used hint:
-BitmapScan(ti1 ti1_ts)
+IndexOnlyScan(ti1 ti1_ts)
 not used hint:
 duplication hint:
 error hint:
 
-                                        QUERY PLAN                                         
--------------------------------------------------------------------------------------------
+                                       QUERY PLAN                                        
+-----------------------------------------------------------------------------------------
  Bitmap Heap Scan on ti1
    Recheck Cond: (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery)
-   Filter: ((c1 < 100) AND (c2 = 1) AND (ctid = '(1,1)'::tid) AND (lower(c4) = '1'::text))
    ->  Bitmap Index Scan on ti1_ts
          Index Cond: (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery)
-(5 rows)
+(4 rows)
 
--- No. S-3-4-10
-/*+BitmapScan(ti1 ti1_pkey)*/
-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)';
+-- No. S-3-4-32
+EXPLAIN (COSTS false) SELECT c1 FROM s1.ti1 WHERE c1 >= 1;
+     QUERY PLAN      
+---------------------
+ Seq Scan on ti1
+   Filter: (c1 >= 1)
+(2 rows)
+
+/*+IndexOnlyScan(ti1 ti1_pkey)*/
+EXPLAIN (COSTS false) SELECT c1 FROM s1.ti1 WHERE c1 >= 1;
+LOG:  available indexes for IndexOnlyScan(ti1): ti1_pkey
 LOG:  pg_hint_plan:
 used hint:
-BitmapScan(ti1 ti1_pkey)
+IndexOnlyScan(ti1 ti1_pkey)
 not used hint:
 duplication hint:
 error hint:
 
-                                                                     QUERY PLAN                                                                     
-----------------------------------------------------------------------------------------------------------------------------------------------------
- Bitmap Heap Scan on ti1
-   Recheck Cond: (c1 < 100)
-   Filter: ((c2 = 1) AND (ctid = '(1,1)'::tid) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery) AND (lower(c4) = '1'::text))
-   ->  Bitmap Index Scan on ti1_pkey
-         Index Cond: (c1 < 100)
-(5 rows)
+              QUERY PLAN               
+---------------------------------------
+ Index Only Scan using ti1_pkey on ti1
+   Index Cond: (c1 >= 1)
+(2 rows)
 
--- No. S-3-4-11
-/*+BitmapScan(ti1 ti1_c2_key)*/
-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)';
+-- No. S-3-4-33
+EXPLAIN (COSTS false) SELECT c2 FROM s1.ti1 WHERE c2 >= 1;
+     QUERY PLAN      
+---------------------
+ Seq Scan on ti1
+   Filter: (c2 >= 1)
+(2 rows)
+
+/*+IndexOnlyScan(ti1 ti1_c2_key)*/
+EXPLAIN (COSTS false) SELECT c2 FROM s1.ti1 WHERE c2 >= 1;
+LOG:  available indexes for IndexOnlyScan(ti1): ti1_c2_key
 LOG:  pg_hint_plan:
 used hint:
-BitmapScan(ti1 ti1_c2_key)
+IndexOnlyScan(ti1 ti1_c2_key)
 not used hint:
 duplication hint:
 error hint:
 
-                                                                      QUERY PLAN                                                                      
-------------------------------------------------------------------------------------------------------------------------------------------------------
- Bitmap Heap Scan on ti1
-   Recheck Cond: (c2 = 1)
-   Filter: ((c1 < 100) AND (ctid = '(1,1)'::tid) AND (to_tsvector('english'::regconfig, c4) @@ '''a'' & ''b'''::tsquery) AND (lower(c4) = '1'::text))
-   ->  Bitmap Index Scan on ti1_c2_key
-         Index Cond: (c2 = 1)
-(5 rows)
+               QUERY PLAN                
+-----------------------------------------
+ Index Only Scan using ti1_c2_key on ti1
+   Index Cond: (c2 >= 1)
+(2 rows)
 
 ----
 ---- No. S-3-5 not used index
 ----
 -- No. S-3-5-1
-/*+IndexScan(ti1 ti1_pred)*/
-EXPLAIN (COSTS true) SELECT * FROM s1.ti1 WHERE c1 = 100;
+\o results/ut-S.tmpout
+/*+IndexScan(ti1 ti1_pred)*/ EXPLAIN (COSTS true) SELECT * FROM s1.ti1 WHERE c1 = 100;
+LOG:  available indexes for IndexScan(ti1): ti1_pred
 LOG:  pg_hint_plan:
 used hint:
 IndexScan(ti1 ti1_pred)
@@ -3127,15 +4485,17 @@ not used hint:
 duplication hint:
 error hint:
 
-                               QUERY PLAN                               
-------------------------------------------------------------------------
- Seq Scan on ti1  (cost=10000000000.00..10000000018.50 rows=1 width=15)
+\o
+\! sql/maskout.sh results/ut-S.tmpout
+  QUERY PLAN
+----------------
+ Seq Scan on ti1  (cost={inf}..{inf} rows=1 width=xxx)
    Filter: (c1 = 100)
-(2 rows)
 
 -- No. S-3-5-2
-/*+BitmapScan(ti1 ti1_pred)*/
-EXPLAIN (COSTS true) SELECT * FROM s1.ti1 WHERE c1 = 100;
+\o results/ut-S.tmpout
+/*+BitmapScan(ti1 ti1_pred)*/ EXPLAIN (COSTS true) SELECT * FROM s1.ti1 WHERE c1 = 100;
+LOG:  available indexes for BitmapScan(ti1): ti1_pred
 LOG:  pg_hint_plan:
 used hint:
 BitmapScan(ti1 ti1_pred)
@@ -3143,18 +4503,35 @@ not used hint:
 duplication hint:
 error hint:
 
-                               QUERY PLAN                               
-------------------------------------------------------------------------
- Seq Scan on ti1  (cost=10000000000.00..10000000018.50 rows=1 width=15)
+\o
+\! sql/maskout.sh results/ut-S.tmpout
+  QUERY PLAN
+----------------
+ Seq Scan on ti1  (cost={inf}..{inf} rows=1 width=xxx)
    Filter: (c1 = 100)
-(2 rows)
 
-----
----- No. S-3-6 not exist index
-----
--- No. S-3-6-1
-/*+IndexScan(ti1 not_exist)*/
-EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 100;
+-- No. S-3-5-3
+\o results/ut-S.tmpout
+/*+IndexOnlyScan(ti1 ti1_pred)*/ EXPLAIN (COSTS true) SELECT c1 FROM s1.ti1 WHERE c1 = 100;
+LOG:  available indexes for IndexOnlyScan(ti1): ti1_pred
+LOG:  pg_hint_plan:
+used hint:
+IndexOnlyScan(ti1 ti1_pred)
+not used hint:
+duplication hint:
+error hint:
+
+\o
+\! sql/maskout.sh results/ut-S.tmpout
+  QUERY PLAN
+----------------
+ Seq Scan on ti1  (cost={inf}..{inf} rows=1 width=xxx)
+   Filter: (c1 = 100)
+
+-- No. S-3-5-4
+\o results/ut-S.tmpout
+/*+IndexScan(ti1 not_exist)*/ EXPLAIN (COSTS true) SELECT * FROM s1.ti1 WHERE c1 = 100;
+LOG:  available indexes for IndexScan(ti1):
 LOG:  pg_hint_plan:
 used hint:
 IndexScan(ti1 not_exist)
@@ -3162,15 +4539,17 @@ not used hint:
 duplication hint:
 error hint:
 
-      QUERY PLAN      
-----------------------
- Seq Scan on ti1
+\o
+\! sql/maskout.sh results/ut-S.tmpout
+  QUERY PLAN
+----------------
+ Seq Scan on ti1  (cost={inf}..{inf} rows=1 width=xxx)
    Filter: (c1 = 100)
-(2 rows)
 
--- No. S-3-6-2
-/*+BitmapScan(ti1 not_exist)*/
-EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 100;
+-- No. S-3-5-5
+\o results/ut-S.tmpout
+/*+BitmapScan(ti1 not_exist)*/ EXPLAIN (COSTS true) SELECT * FROM s1.ti1 WHERE c1 = 100;
+LOG:  available indexes for BitmapScan(ti1):
 LOG:  pg_hint_plan:
 used hint:
 BitmapScan(ti1 not_exist)
@@ -3178,14 +4557,57 @@ not used hint:
 duplication hint:
 error hint:
 
-      QUERY PLAN      
-----------------------
- Seq Scan on ti1
+\o
+\! sql/maskout.sh results/ut-S.tmpout
+  QUERY PLAN
+----------------
+ Seq Scan on ti1  (cost={inf}..{inf} rows=1 width=xxx)
+   Filter: (c1 = 100)
+
+-- No. S-3-5-6
+\o results/ut-S.tmpout
+/*+IndexOnlyScan(ti1 not_exist)*/ EXPLAIN (COSTS true) SELECT c1 FROM s1.ti1 WHERE c1 = 100;
+LOG:  available indexes for IndexOnlyScan(ti1):
+LOG:  pg_hint_plan:
+used hint:
+IndexOnlyScan(ti1 not_exist)
+not used hint:
+duplication hint:
+error hint:
+
+\o
+\! sql/maskout.sh results/ut-S.tmpout
+  QUERY PLAN
+----------------
+ Seq Scan on ti1  (cost={inf}..{inf} rows=1 width=xxx)
    Filter: (c1 = 100)
+
+-- No. S-3-5-7
+EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE t1.c1 = 1;
+          QUERY PLAN          
+------------------------------
+ Index Scan using t1_i1 on t1
+   Index Cond: (c1 = 1)
 (2 rows)
 
+\o results/ut-S.tmpout
+/*+TidScan(t1)*/ EXPLAIN (COSTS true) SELECT * FROM s1.t1 WHERE t1.c1 = 1;
+LOG:  pg_hint_plan:
+used hint:
+TidScan(t1)
+not used hint:
+duplication hint:
+error hint:
+
+\o
+\! sql/maskout.sh results/ut-S.tmpout
+  QUERY PLAN
+----------------
+ Seq Scan on t1  (cost={inf}..{inf} rows=1 width=xxx)
+   Filter: (c1 = 1)
+
 ----
----- No. S-3-7 query structure
+---- No. S-3-6 query structure
 ----
 EXPLAIN (COSTS false) SELECT * FROM s1.t1, s1.t2 WHERE t1.c1 = t2.c1 AND t1.ctid = '(1,1)';
                   QUERY PLAN                   
@@ -3198,7 +4620,7 @@ EXPLAIN (COSTS false) SELECT * FROM s1.t1, s1.t2 WHERE t1.c1 = t2.c1 AND t1.ctid
                TID Cond: (ctid = '(1,1)'::tid)
 (6 rows)
 
--- No. S-3-7-1
+-- No. S-3-6-1
 /*+SeqScan(t1)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.t1 WHERE c1 = 100;
 LOG:  pg_hint_plan:
@@ -3214,7 +4636,7 @@ error hint:
    Filter: (c1 = 100)
 (2 rows)
 
--- No. S-3-7-2
+-- No. S-3-6-2
 /*+SeqScan(t1)BitmapScan(t2)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.t1, s1.t2 WHERE t1.c1 = t2.c1 AND t1.ctid = '(1,1)';
 LOG:  pg_hint_plan:
@@ -3236,7 +4658,7 @@ error hint:
                Index Cond: (c1 = t1.c1)
 (7 rows)
 
--- No. S-3-7-3
+-- No. S-3-6-3
 /*+SeqScan(t1)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.t1, s1.t2 WHERE t1.c1 = t2.c1 AND t1.ctid = '(1,1)';
 LOG:  pg_hint_plan:
@@ -3257,9 +4679,9 @@ error hint:
 (6 rows)
 
 ----
----- No. S-3-8 query structure
+---- No. S-3-7 number of tables in a query block
 ----
--- No. S-3-8-1
+-- No. S-3-7-1
 EXPLAIN (COSTS false) 
 WITH c1 (c1) AS (
 SELECT max(b1t1.c1) FROM s1.t1 b1t1 WHERE b1t1.c1 = 1)
@@ -3269,26 +4691,25 @@ SELECT max(b2t1.c1) FROM s1.t1 b2t1 WHERE b2t1.c1 = 1
 SELECT max(b4t1.c1) FROM s1.t1 b4t1 WHERE b4t1.c1 = 1);
                              QUERY PLAN                              
 ---------------------------------------------------------------------
- Result
+ Aggregate
    InitPlan 2 (returns $1)
      ->  Result
            InitPlan 1 (returns $0)
              ->  Limit
-                   ->  Index Scan using t1_i1 on t1 b2t1
+                   ->  Index Only Scan using t1_i1 on t1 b2t1
                          Index Cond: ((c1 IS NOT NULL) AND (c1 = 1))
    InitPlan 4 (returns $3)
      ->  Result
            InitPlan 3 (returns $2)
              ->  Limit
-                   ->  Index Scan using t1_i1 on t1 b4t1
+                   ->  Index Only Scan using t1_i1 on t1 b4t1
                          Index Cond: ((c1 IS NOT NULL) AND (c1 = 1))
-   InitPlan 5 (returns $4)
-     ->  Limit
-           ->  Index Scan using t1_i1 on t1 b3t1
-                 Index Cond: ((c1 IS NOT NULL) AND (c1 = $3))
-(17 rows)
+   ->  Index Only Scan using t1_i1 on t1 b3t1
+         Index Cond: (c1 = $3)
+(15 rows)
 
-/*+BitmapScan(b1t1)BitmapScan(b2t1)BitmapScan(b3t1)BitmapScan(b4t1)*/
+/*+SeqScan(b1t1)IndexScan(b2t1 t1_pkey)BitmapScan(b3t1 t1_pkey)TidScan(b4t1)
+*/
 EXPLAIN (COSTS false) 
 WITH c1 (c1) AS (
 SELECT max(b1t1.c1) FROM s1.t1 b1t1 WHERE b1t1.c1 = 1)
@@ -3296,44 +4717,41 @@ SELECT max(b3t1.c1), (
 SELECT max(b2t1.c1) FROM s1.t1 b2t1 WHERE b2t1.c1 = 1
                   ) FROM s1.t1 b3t1 WHERE b3t1.c1 = (
 SELECT max(b4t1.c1) FROM s1.t1 b4t1 WHERE b4t1.c1 = 1);
+LOG:  available indexes for IndexScan(b2t1): t1_pkey
+LOG:  available indexes for IndexScan(b2t1): t1_pkey
+LOG:  available indexes for BitmapScan(b3t1): t1_pkey
 LOG:  pg_hint_plan:
 used hint:
-BitmapScan(b2t1)
-BitmapScan(b3t1)
-BitmapScan(b4t1)
+IndexScan(b2t1 t1_pkey)
+BitmapScan(b3t1 t1_pkey)
+TidScan(b4t1)
 not used hint:
-BitmapScan(b1t1)
+SeqScan(b1t1)
 duplication hint:
 error hint:
 
-                                QUERY PLAN                                 
----------------------------------------------------------------------------
- Result
+                             QUERY PLAN                              
+---------------------------------------------------------------------
+ Aggregate
    InitPlan 2 (returns $1)
      ->  Result
            InitPlan 1 (returns $0)
              ->  Limit
-                   ->  Bitmap Heap Scan on t1 b2t1
-                         Recheck Cond: ((c1 IS NOT NULL) AND (c1 = 1))
-                         ->  Bitmap Index Scan on t1_i1
-                               Index Cond: ((c1 IS NOT NULL) AND (c1 = 1))
+                   ->  Index Scan using t1_pkey on t1 b2t1
+                         Index Cond: ((c1 IS NOT NULL) AND (c1 = 1))
    InitPlan 4 (returns $3)
      ->  Result
            InitPlan 3 (returns $2)
              ->  Limit
-                   ->  Bitmap Heap Scan on t1 b4t1
-                         Recheck Cond: ((c1 IS NOT NULL) AND (c1 = 1))
-                         ->  Bitmap Index Scan on t1_i1
-                               Index Cond: ((c1 IS NOT NULL) AND (c1 = 1))
-   InitPlan 5 (returns $4)
-     ->  Limit
-           ->  Bitmap Heap Scan on t1 b3t1
-                 Recheck Cond: ((c1 IS NOT NULL) AND (c1 = $3))
-                 ->  Bitmap Index Scan on t1_i1
-                       Index Cond: ((c1 IS NOT NULL) AND (c1 = $3))
-(23 rows)
+                   ->  Seq Scan on t1 b4t1
+                         Filter: ((c1 IS NOT NULL) AND (c1 = 1))
+   ->  Bitmap Heap Scan on t1 b3t1
+         Recheck Cond: (c1 = $3)
+         ->  Bitmap Index Scan on t1_pkey
+               Index Cond: (c1 = $3)
+(17 rows)
 
--- No. S-3-8-2
+-- No. S-3-7-2
 EXPLAIN (COSTS false) 
 WITH cte1 (c1) AS (
 SELECT max(b1t1.c1) FROM s1.t1 b1t1 JOIN s1.t2 b1t2 ON(b1t1.c1 = b1t2.c1) WHERE b1t1.c1 = 1)
@@ -3341,41 +4759,41 @@ SELECT max(b3t1.c1), (
 SELECT max(b2t1.c1) FROM s1.t1 b2t1 JOIN s1.t2 b2t2 ON(b2t1.c1 = b2t2.c1) WHERE b2t1.c1 = 1
                   ) FROM s1.t1 b3t1 JOIN s1.t2 b3t2 ON(b3t1.c1 = b3t2.c1) JOIN cte1 ON(b3t1.c1 = cte1.c1) WHERE b3t1.c1 = (
 SELECT max(b4t1.c1) FROM s1.t1 b4t1 JOIN s1.t2 b4t2 ON(b4t1.c1 = b4t2.c1) WHERE b4t1.c1 = 1);
-                      QUERY PLAN                       
--------------------------------------------------------
+                           QUERY PLAN                           
+----------------------------------------------------------------
  Aggregate
-   CTE cte1
-     ->  Aggregate
-           ->  Nested Loop
-                 ->  Index Scan using t1_i1 on t1 b1t1
-                       Index Cond: (c1 = 1)
-                 ->  Seq Scan on t2 b1t2
-                       Filter: (c1 = 1)
-   InitPlan 2 (returns $1)
+   InitPlan 1 (returns $0)
      ->  Aggregate
            ->  Nested Loop
-                 ->  Index Scan using t1_i1 on t1 b2t1
+                 ->  Index Only Scan using t1_i1 on t1 b2t1
                        Index Cond: (c1 = 1)
                  ->  Seq Scan on t2 b2t2
                        Filter: (c1 = 1)
-   InitPlan 3 (returns $2)
+   InitPlan 2 (returns $1)
      ->  Aggregate
            ->  Nested Loop
-                 ->  Index Scan using t1_i1 on t1 b4t1
+                 ->  Index Only Scan using t1_i1 on t1 b4t1
                        Index Cond: (c1 = 1)
                  ->  Seq Scan on t2 b4t2
                        Filter: (c1 = 1)
    ->  Nested Loop
          ->  Nested Loop
-               ->  Index Scan using t1_i1 on t1 b3t1
-                     Index Cond: (c1 = $2)
+               ->  Index Only Scan using t1_i1 on t1 b3t1
+                     Index Cond: (c1 = $1)
                ->  Seq Scan on t2 b3t2
-                     Filter: (c1 = $2)
-         ->  CTE Scan on cte1
-               Filter: (c1 = $2)
-(30 rows)
+                     Filter: (c1 = $1)
+         ->  Aggregate
+               Filter: (max(b1t1.c1) = $1)
+               ->  Nested Loop
+                     ->  Index Only Scan using t1_i1 on t1 b1t1
+                           Index Cond: (c1 = 1)
+                     ->  Seq Scan on t2 b1t2
+                           Filter: (c1 = 1)
+(28 rows)
 
-/*+BitmapScan(b1t1)BitmapScan(b2t1)BitmapScan(b3t1)BitmapScan(b4t1)BitmapScan(b1t2)BitmapScan(b2t2)BitmapScan(b3t2)BitmapScan(b4t2)*/
+/*+SeqScan(b1t1)IndexScan(b2t1 t1_pkey)BitmapScan(b3t1 t1_pkey)TidScan(b4t1)
+TidScan(b1t2)SeqScan(b2t2)IndexScan(b3t2 t2_pkey)BitmapScan(b4t2 t2_pkey)
+*/
 EXPLAIN (COSTS false) 
 WITH cte1 (c1) AS (
 SELECT max(b1t1.c1) FROM s1.t1 b1t1 JOIN s1.t2 b1t2 ON(b1t1.c1 = b1t2.c1) WHERE b1t1.c1 = 1)
@@ -3383,71 +4801,61 @@ SELECT max(b3t1.c1), (
 SELECT max(b2t1.c1) FROM s1.t1 b2t1 JOIN s1.t2 b2t2 ON(b2t1.c1 = b2t2.c1) WHERE b2t1.c1 = 1
                   ) FROM s1.t1 b3t1 JOIN s1.t2 b3t2 ON(b3t1.c1 = b3t2.c1) JOIN cte1 ON(b3t1.c1 = cte1.c1) WHERE b3t1.c1 = (
 SELECT max(b4t1.c1) FROM s1.t1 b4t1 JOIN s1.t2 b4t2 ON(b4t1.c1 = b4t2.c1) WHERE b4t1.c1 = 1);
+LOG:  available indexes for IndexScan(b2t1): t1_pkey
+LOG:  available indexes for BitmapScan(b4t2): t2_pkey
+LOG:  available indexes for BitmapScan(b3t1): t1_pkey
+LOG:  available indexes for IndexScan(b3t2): t2_pkey
 LOG:  pg_hint_plan:
 used hint:
-BitmapScan(b1t1)
-BitmapScan(b1t2)
-BitmapScan(b2t1)
-BitmapScan(b2t2)
-BitmapScan(b3t1)
-BitmapScan(b3t2)
-BitmapScan(b4t1)
-BitmapScan(b4t2)
+SeqScan(b1t1)
+TidScan(b1t2)
+IndexScan(b2t1 t1_pkey)
+SeqScan(b2t2)
+BitmapScan(b3t1 t1_pkey)
+IndexScan(b3t2 t2_pkey)
+TidScan(b4t1)
+BitmapScan(b4t2 t2_pkey)
 not used hint:
 duplication hint:
-error hint:
-
-                      QUERY PLAN                      
-------------------------------------------------------
- Aggregate
-   CTE cte1
-     ->  Aggregate
-           ->  Nested Loop
-                 ->  Bitmap Heap Scan on t1 b1t1
-                       Recheck Cond: (c1 = 1)
-                       ->  Bitmap Index Scan on t1_i1
-                             Index Cond: (c1 = 1)
-                 ->  Bitmap Heap Scan on t2 b1t2
-                       Recheck Cond: (c1 = 1)
-                       ->  Bitmap Index Scan on t2_i1
-                             Index Cond: (c1 = 1)
-   InitPlan 2 (returns $1)
+error hint:
+
+                       QUERY PLAN                        
+---------------------------------------------------------
+ Aggregate
+   InitPlan 1 (returns $0)
      ->  Aggregate
            ->  Nested Loop
-                 ->  Bitmap Heap Scan on t1 b2t1
-                       Recheck Cond: (c1 = 1)
-                       ->  Bitmap Index Scan on t1_i1
-                             Index Cond: (c1 = 1)
-                 ->  Bitmap Heap Scan on t2 b2t2
-                       Recheck Cond: (c1 = 1)
-                       ->  Bitmap Index Scan on t2_i1
-                             Index Cond: (c1 = 1)
-   InitPlan 3 (returns $2)
+                 ->  Index Scan using t1_pkey on t1 b2t1
+                       Index Cond: (c1 = 1)
+                 ->  Seq Scan on t2 b2t2
+                       Filter: (c1 = 1)
+   InitPlan 2 (returns $1)
      ->  Aggregate
            ->  Nested Loop
-                 ->  Bitmap Heap Scan on t1 b4t1
-                       Recheck Cond: (c1 = 1)
-                       ->  Bitmap Index Scan on t1_i1
-                             Index Cond: (c1 = 1)
+                 ->  Seq Scan on t1 b4t1
+                       Filter: (c1 = 1)
                  ->  Bitmap Heap Scan on t2 b4t2
                        Recheck Cond: (c1 = 1)
-                       ->  Bitmap Index Scan on t2_i1
+                       ->  Bitmap Index Scan on t2_pkey
                              Index Cond: (c1 = 1)
    ->  Nested Loop
          ->  Nested Loop
                ->  Bitmap Heap Scan on t1 b3t1
-                     Recheck Cond: (c1 = $2)
-                     ->  Bitmap Index Scan on t1_i1
-                           Index Cond: (c1 = $2)
-               ->  Bitmap Heap Scan on t2 b3t2
-                     Recheck Cond: (c1 = $2)
-                     ->  Bitmap Index Scan on t2_i1
-                           Index Cond: (c1 = $2)
-         ->  CTE Scan on cte1
-               Filter: (c1 = $2)
-(46 rows)
+                     Recheck Cond: (c1 = $1)
+                     ->  Bitmap Index Scan on t1_pkey
+                           Index Cond: (c1 = $1)
+               ->  Index Scan using t2_pkey on t2 b3t2
+                     Index Cond: (c1 = $1)
+         ->  Aggregate
+               Filter: (max(b1t1.c1) = $1)
+               ->  Nested Loop
+                     ->  Seq Scan on t1 b1t1
+                           Filter: (c1 = 1)
+                     ->  Seq Scan on t2 b1t2
+                           Filter: (c1 = 1)
+(32 rows)
 
--- No. S-3-8-3
+-- No. S-3-7-3
 EXPLAIN (COSTS false) 
 WITH cte1 (c1) AS (
 SELECT max(b1t1.c1) FROM s1.t1 b1t1 JOIN s1.t2 b1t2 ON(b1t1.c1 = b1t2.c1) WHERE b1t1.c1 = 1)
@@ -3458,36 +4866,36 @@ SELECT max(b4t1.c1) FROM s1.t1 b4t1 WHERE b4t1.c1 = 1);
                              QUERY PLAN                              
 ---------------------------------------------------------------------
  Aggregate
-   CTE cte1
-     ->  Aggregate
-           ->  Nested Loop
-                 ->  Index Scan using t1_i1 on t1 b1t1
-                       Index Cond: (c1 = 1)
-                 ->  Seq Scan on t2 b1t2
-                       Filter: (c1 = 1)
-   InitPlan 3 (returns $2)
+   InitPlan 2 (returns $1)
      ->  Result
-           InitPlan 2 (returns $1)
+           InitPlan 1 (returns $0)
              ->  Limit
-                   ->  Index Scan using t1_i1 on t1 b2t1
+                   ->  Index Only Scan using t1_i1 on t1 b2t1
                          Index Cond: ((c1 IS NOT NULL) AND (c1 = 1))
-   InitPlan 5 (returns $4)
+   InitPlan 4 (returns $3)
      ->  Result
-           InitPlan 4 (returns $3)
+           InitPlan 3 (returns $2)
              ->  Limit
-                   ->  Index Scan using t1_i1 on t1 b4t1
+                   ->  Index Only Scan using t1_i1 on t1 b4t1
                          Index Cond: ((c1 IS NOT NULL) AND (c1 = 1))
    ->  Nested Loop
          ->  Nested Loop
-               ->  Index Scan using t1_i1 on t1 b3t1
-                     Index Cond: (c1 = $4)
+               ->  Index Only Scan using t1_i1 on t1 b3t1
+                     Index Cond: (c1 = $3)
                ->  Seq Scan on t2 b3t2
-                     Filter: (c1 = $4)
-         ->  CTE Scan on cte1
-               Filter: (c1 = $4)
-(28 rows)
-
-/*+BitmapScan(b1t1)BitmapScan(b2t1)BitmapScan(b3t1)BitmapScan(b4t1)BitmapScan(b1t2)BitmapScan(b3t2)*/
+                     Filter: (c1 = $3)
+         ->  Aggregate
+               Filter: (max(b1t1.c1) = $3)
+               ->  Nested Loop
+                     ->  Index Only Scan using t1_i1 on t1 b1t1
+                           Index Cond: (c1 = 1)
+                     ->  Seq Scan on t2 b1t2
+                           Filter: (c1 = 1)
+(26 rows)
+
+/*+SeqScan(b1t1)IndexScan(b2t1 t1_pkey)BitmapScan(b3t1 t1_pkey)TidScan(b4t1)
+TidScan(b1t2)IndexScan(b3t2 t2_pkey)
+*/
 EXPLAIN (COSTS false) 
 WITH cte1 (c1) AS (
 SELECT max(b1t1.c1) FROM s1.t1 b1t1 JOIN s1.t2 b1t2 ON(b1t1.c1 = b1t2.c1) WHERE b1t1.c1 = 1)
@@ -3495,66 +4903,58 @@ SELECT max(b3t1.c1), (
 SELECT max(b2t1.c1) FROM s1.t1 b2t1 WHERE b2t1.c1 = 1
                   ) FROM s1.t1 b3t1 JOIN s1.t2 b3t2 ON(b3t1.c1 = b3t2.c1) JOIN cte1 ON(b3t1.c1 = cte1.c1) WHERE b3t1.c1 = (
 SELECT max(b4t1.c1) FROM s1.t1 b4t1 WHERE b4t1.c1 = 1);
+LOG:  available indexes for IndexScan(b2t1): t1_pkey
+LOG:  available indexes for IndexScan(b2t1): t1_pkey
+LOG:  available indexes for BitmapScan(b3t1): t1_pkey
+LOG:  available indexes for IndexScan(b3t2): t2_pkey
 LOG:  pg_hint_plan:
 used hint:
-BitmapScan(b1t1)
-BitmapScan(b1t2)
-BitmapScan(b2t1)
-BitmapScan(b3t1)
-BitmapScan(b3t2)
-BitmapScan(b4t1)
+SeqScan(b1t1)
+TidScan(b1t2)
+IndexScan(b2t1 t1_pkey)
+BitmapScan(b3t1 t1_pkey)
+IndexScan(b3t2 t2_pkey)
+TidScan(b4t1)
 not used hint:
 duplication hint:
 error hint:
 
-                                QUERY PLAN                                 
----------------------------------------------------------------------------
+                             QUERY PLAN                              
+---------------------------------------------------------------------
  Aggregate
-   CTE cte1
-     ->  Aggregate
-           ->  Nested Loop
-                 ->  Bitmap Heap Scan on t1 b1t1
-                       Recheck Cond: (c1 = 1)
-                       ->  Bitmap Index Scan on t1_i1
-                             Index Cond: (c1 = 1)
-                 ->  Bitmap Heap Scan on t2 b1t2
-                       Recheck Cond: (c1 = 1)
-                       ->  Bitmap Index Scan on t2_i1
-                             Index Cond: (c1 = 1)
-   InitPlan 3 (returns $2)
+   InitPlan 2 (returns $1)
      ->  Result
-           InitPlan 2 (returns $1)
+           InitPlan 1 (returns $0)
              ->  Limit
-                   ->  Bitmap Heap Scan on t1 b2t1
-                         Recheck Cond: ((c1 IS NOT NULL) AND (c1 = 1))
-                         ->  Bitmap Index Scan on t1_i1
-                               Index Cond: ((c1 IS NOT NULL) AND (c1 = 1))
-   InitPlan 5 (returns $4)
+                   ->  Index Scan using t1_pkey on t1 b2t1
+                         Index Cond: ((c1 IS NOT NULL) AND (c1 = 1))
+   InitPlan 4 (returns $3)
      ->  Result
-           InitPlan 4 (returns $3)
+           InitPlan 3 (returns $2)
              ->  Limit
-                   ->  Bitmap Heap Scan on t1 b4t1
-                         Recheck Cond: ((c1 IS NOT NULL) AND (c1 = 1))
-                         ->  Bitmap Index Scan on t1_i1
-                               Index Cond: ((c1 IS NOT NULL) AND (c1 = 1))
+                   ->  Seq Scan on t1 b4t1
+                         Filter: ((c1 IS NOT NULL) AND (c1 = 1))
    ->  Nested Loop
          ->  Nested Loop
                ->  Bitmap Heap Scan on t1 b3t1
-                     Recheck Cond: (c1 = $4)
-                     ->  Bitmap Index Scan on t1_i1
-                           Index Cond: (c1 = $4)
-               ->  Bitmap Heap Scan on t2 b3t2
-                     Recheck Cond: (c1 = $4)
-                     ->  Bitmap Index Scan on t2_i1
-                           Index Cond: (c1 = $4)
-         ->  CTE Scan on cte1
-               Filter: (c1 = $4)
-(40 rows)
+                     Recheck Cond: (c1 = $3)
+                     ->  Bitmap Index Scan on t1_pkey
+                           Index Cond: (c1 = $3)
+               ->  Index Scan using t2_pkey on t2 b3t2
+                     Index Cond: (c1 = $3)
+         ->  Aggregate
+               Filter: (max(b1t1.c1) = $3)
+               ->  Nested Loop
+                     ->  Seq Scan on t1 b1t1
+                           Filter: (c1 = 1)
+                     ->  Seq Scan on t2 b1t2
+                           Filter: (c1 = 1)
+(28 rows)
 
 ----
----- No. S-3-9 inheritance table select type
+---- No. S-3-8 inheritance table select/update type
 ----
--- No. S-3-9-1
+-- No. S-3-8-1
 EXPLAIN (COSTS false) SELECT * FROM ONLY s1.p1 WHERE c1 = 1;
      QUERY PLAN     
 --------------------
@@ -3571,23 +4971,22 @@ not used hint:
 duplication hint:
 error hint:
 
-           QUERY PLAN           
---------------------------------
- Index Scan using p1_pkey on p1
+         QUERY PLAN          
+-----------------------------
+ Index Scan using p1_i on p1
    Index Cond: (c1 = 1)
 (2 rows)
 
--- No. S-3-9-2
+-- No. S-3-8-2
 EXPLAIN (COSTS false) SELECT * FROM s1.p1 WHERE c1 = 1;
-           QUERY PLAN            
----------------------------------
- Result
-   ->  Append
-         ->  Seq Scan on p1
-               Filter: (c1 = 1)
-         ->  Seq Scan on p1c1 p1
-               Filter: (c1 = 1)
-(6 rows)
+         QUERY PLAN          
+-----------------------------
+ Append
+   ->  Seq Scan on p1 p1_1
+         Filter: (c1 = 1)
+   ->  Seq Scan on p1c1 p1_2
+         Filter: (c1 = 1)
+(5 rows)
 
 /*+IndexScan(p1)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.p1 WHERE c1 = 1;
@@ -3598,30 +4997,127 @@ not used hint:
 duplication hint:
 error hint:
 
-                   QUERY PLAN                   
-------------------------------------------------
- Result
-   ->  Append
-         ->  Index Scan using p1_pkey on p1
-               Index Cond: (c1 = 1)
-         ->  Index Scan using p1c1_i on p1c1 p1
-               Index Cond: (c1 = 1)
-(6 rows)
+                 QUERY PLAN                 
+--------------------------------------------
+ Append
+   ->  Index Scan using p1_i on p1 p1_1
+         Index Cond: (c1 = 1)
+   ->  Index Scan using p1c1_i on p1c1 p1_2
+         Index Cond: (c1 = 1)
+(5 rows)
+
+-- No. S-3-8-3
+EXPLAIN (COSTS false) UPDATE ONLY s1.p1 SET c4 = c4 WHERE c1 = 1;
+        QUERY PLAN        
+--------------------------
+ Update on p1
+   ->  Seq Scan on p1
+         Filter: (c1 = 1)
+(3 rows)
+
+/*+IndexScan(p1)*/
+EXPLAIN (COSTS false) UPDATE ONLY s1.p1 SET c4 = c4 WHERE c1 = 1;
+LOG:  pg_hint_plan:
+used hint:
+IndexScan(p1)
+not used hint:
+duplication hint:
+error hint:
+
+            QUERY PLAN             
+-----------------------------------
+ Update on p1
+   ->  Index Scan using p1_i on p1
+         Index Cond: (c1 = 1)
+(3 rows)
+
+/*+IndexScan(p1 p1_pkey)*/
+EXPLAIN (COSTS false) UPDATE ONLY s1.p1 SET c4 = c4 WHERE c1 = 1;
+LOG:  available indexes for IndexScan(p1): p1_pkey
+LOG:  pg_hint_plan:
+used hint:
+IndexScan(p1 p1_pkey)
+not used hint:
+duplication hint:
+error hint:
+
+              QUERY PLAN              
+--------------------------------------
+ Update on p1
+   ->  Index Scan using p1_pkey on p1
+         Index Cond: (c1 = 1)
+(3 rows)
+
+-- No. S-3-8-4
+EXPLAIN (COSTS false) UPDATE s1.p1 SET c4 = c4 WHERE c1 = 1;
+         QUERY PLAN          
+-----------------------------
+ Update on p1
+   Update on p1
+   Update on p1c1 p1_1
+   ->  Seq Scan on p1
+         Filter: (c1 = 1)
+   ->  Seq Scan on p1c1 p1_1
+         Filter: (c1 = 1)
+(7 rows)
+
+/*+IndexScan(p1)*/
+EXPLAIN (COSTS false) UPDATE s1.p1 SET c4 = c4 WHERE c1 = 1;
+LOG:  pg_hint_plan:
+used hint:
+IndexScan(p1)
+not used hint:
+duplication hint:
+error hint:
+
+                 QUERY PLAN                 
+--------------------------------------------
+ Update on p1
+   Update on p1
+   Update on p1c1 p1_1
+   ->  Index Scan using p1_i on p1
+         Index Cond: (c1 = 1)
+   ->  Index Scan using p1c1_i on p1c1 p1_1
+         Index Cond: (c1 = 1)
+(7 rows)
+
+/*+IndexScan(p1 p1_pkey)*/
+EXPLAIN (COSTS false) UPDATE s1.p1 SET c4 = c4 WHERE c1 = 1;
+LOG:  available indexes for IndexScan(p1): p1_pkey
+LOG:  available indexes for IndexScan(p1c1): p1c1_pkey
+LOG:  available indexes for IndexScan(p1): p1_pkey
+LOG:  available indexes for IndexScan(p1c1): p1c1_pkey
+LOG:  pg_hint_plan:
+used hint:
+IndexScan(p1 p1_pkey)
+not used hint:
+duplication hint:
+error hint:
+
+                  QUERY PLAN                   
+-----------------------------------------------
+ Update on p1
+   Update on p1
+   Update on p1c1 p1_1
+   ->  Index Scan using p1_pkey on p1
+         Index Cond: (c1 = 1)
+   ->  Index Scan using p1c1_pkey on p1c1 p1_1
+         Index Cond: (c1 = 1)
+(7 rows)
 
 ----
----- No. S-3-10 inheritance table number
+---- No. S-3-9 inheritance table number
 ----
--- No. S-3-10-1
+-- No. S-3-9-1
 EXPLAIN (COSTS false) SELECT * FROM s1.p1 WHERE c1 = 1;
-           QUERY PLAN            
----------------------------------
- Result
-   ->  Append
-         ->  Seq Scan on p1
-               Filter: (c1 = 1)
-         ->  Seq Scan on p1c1 p1
-               Filter: (c1 = 1)
-(6 rows)
+         QUERY PLAN          
+-----------------------------
+ Append
+   ->  Seq Scan on p1 p1_1
+         Filter: (c1 = 1)
+   ->  Seq Scan on p1c1 p1_2
+         Filter: (c1 = 1)
+(5 rows)
 
 /*+IndexScan(p1)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.p1 WHERE c1 = 1;
@@ -3632,29 +5128,27 @@ not used hint:
 duplication hint:
 error hint:
 
-                   QUERY PLAN                   
-------------------------------------------------
- Result
-   ->  Append
-         ->  Index Scan using p1_pkey on p1
-               Index Cond: (c1 = 1)
-         ->  Index Scan using p1c1_i on p1c1 p1
-               Index Cond: (c1 = 1)
-(6 rows)
+                 QUERY PLAN                 
+--------------------------------------------
+ Append
+   ->  Index Scan using p1_i on p1 p1_1
+         Index Cond: (c1 = 1)
+   ->  Index Scan using p1c1_i on p1c1 p1_2
+         Index Cond: (c1 = 1)
+(5 rows)
 
--- No. S-3-10-2
+-- No. S-3-9-2
 EXPLAIN (COSTS false) SELECT * FROM s1.p2 WHERE c1 = 1;
-            QUERY PLAN             
------------------------------------
- Result
-   ->  Append
-         ->  Seq Scan on p2
-               Filter: (c1 = 1)
-         ->  Seq Scan on p2c1 p2
-               Filter: (c1 = 1)
-         ->  Seq Scan on p2c1c1 p2
-               Filter: (c1 = 1)
-(8 rows)
+          QUERY PLAN           
+-------------------------------
+ Append
+   ->  Seq Scan on p2 p2_1
+         Filter: (c1 = 1)
+   ->  Seq Scan on p2c1 p2_2
+         Filter: (c1 = 1)
+   ->  Seq Scan on p2c1c1 p2_3
+         Filter: (c1 = 1)
+(7 rows)
 
 /*+IndexScan(p2)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.p2 WHERE c1 = 1;
@@ -3665,35 +5159,33 @@ not used hint:
 duplication hint:
 error hint:
 
-                     QUERY PLAN                     
-----------------------------------------------------
- Result
-   ->  Append
-         ->  Index Scan using p2_pkey on p2
-               Index Cond: (c1 = 1)
-         ->  Index Scan using p2c1_i on p2c1 p2
-               Index Cond: (c1 = 1)
-         ->  Index Scan using p2c1c1_i on p2c1c1 p2
-               Index Cond: (c1 = 1)
-(8 rows)
+                   QUERY PLAN                   
+------------------------------------------------
+ Append
+   ->  Index Scan using p2_i on p2 p2_1
+         Index Cond: (c1 = 1)
+   ->  Index Scan using p2c1_i on p2c1 p2_2
+         Index Cond: (c1 = 1)
+   ->  Index Scan using p2c1c1_i on p2c1c1 p2_3
+         Index Cond: (c1 = 1)
+(7 rows)
 
 ----
----- No. S-3-11 inheritance table specified table
+---- No. S-3-10 inheritance table specified table
 ----
 EXPLAIN (COSTS false) SELECT * FROM s1.p2 WHERE c1 = 1;
-            QUERY PLAN             
------------------------------------
- Result
-   ->  Append
-         ->  Seq Scan on p2
-               Filter: (c1 = 1)
-         ->  Seq Scan on p2c1 p2
-               Filter: (c1 = 1)
-         ->  Seq Scan on p2c1c1 p2
-               Filter: (c1 = 1)
-(8 rows)
+          QUERY PLAN           
+-------------------------------
+ Append
+   ->  Seq Scan on p2 p2_1
+         Filter: (c1 = 1)
+   ->  Seq Scan on p2c1 p2_2
+         Filter: (c1 = 1)
+   ->  Seq Scan on p2c1c1 p2_3
+         Filter: (c1 = 1)
+(7 rows)
 
--- No. S-3-11-1
+-- No. S-3-10-1
 /*+IndexScan(p2)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.p2 WHERE c1 = 1;
 LOG:  pg_hint_plan:
@@ -3703,65 +5195,106 @@ not used hint:
 duplication hint:
 error hint:
 
-                     QUERY PLAN                     
-----------------------------------------------------
- Result
-   ->  Append
-         ->  Index Scan using p2_pkey on p2
-               Index Cond: (c1 = 1)
-         ->  Index Scan using p2c1_i on p2c1 p2
-               Index Cond: (c1 = 1)
-         ->  Index Scan using p2c1c1_i on p2c1c1 p2
-               Index Cond: (c1 = 1)
-(8 rows)
+                   QUERY PLAN                   
+------------------------------------------------
+ Append
+   ->  Index Scan using p2_i on p2 p2_1
+         Index Cond: (c1 = 1)
+   ->  Index Scan using p2c1_i on p2c1 p2_2
+         Index Cond: (c1 = 1)
+   ->  Index Scan using p2c1c1_i on p2c1c1 p2_3
+         Index Cond: (c1 = 1)
+(7 rows)
 
--- No. S-3-11-2
+-- No. S-3-10-2
 /*+IndexScan(p2c1)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.p2 WHERE c1 = 1;
 LOG:  pg_hint_plan:
 used hint:
-not used hint:
 IndexScan(p2c1)
+not used hint:
 duplication hint:
 error hint:
 
-            QUERY PLAN             
------------------------------------
- Result
-   ->  Append
-         ->  Seq Scan on p2
-               Filter: (c1 = 1)
-         ->  Seq Scan on p2c1 p2
-               Filter: (c1 = 1)
-         ->  Seq Scan on p2c1c1 p2
-               Filter: (c1 = 1)
-(8 rows)
+                 QUERY PLAN                 
+--------------------------------------------
+ Append
+   ->  Seq Scan on p2 p2_1
+         Filter: (c1 = 1)
+   ->  Index Scan using p2c1_i on p2c1 p2_2
+         Index Cond: (c1 = 1)
+   ->  Seq Scan on p2c1c1 p2_3
+         Filter: (c1 = 1)
+(7 rows)
 
--- No. S-3-11-3
-/*+IndexScan(p2 p2_pkey p2c1_pkey p2c1c1_pkey)*/
-EXPLAIN (COSTS false) SELECT * FROM s1.p2 WHERE c1 = 1;
+-- No. S-3-10-3
+\o results/ut-S.tmpout
+EXPLAIN SELECT c4 FROM s1.p1 WHERE c2 * 2 < 100 AND c1 < 10;
+\o
+\! sql/maskout.sh results/ut-S.tmpout
+  QUERY PLAN
+----------------
+ Append  (cost=xxx..xxx rows=4 width=xxx)
+   ->  Seq Scan on p1 p1_1  (cost=xxx..xxx rows=1 width=xxx)
+         Filter: ((c1 < 10) AND ((c2 * 2) < 100))
+   ->  Seq Scan on p1c1 p1_2  (cost=xxx..xxx rows=3 width=xxx)
+         Filter: ((c1 < 10) AND ((c2 * 2) < 100))
+
+\o results/ut-S.tmpout
+/*+IndexScan(p1 p1_parent)*/ EXPLAIN SELECT c4 FROM s1.p1 WHERE c2 * 2 < 100 AND c1 < 10;
+LOG:  available indexes for IndexScan(p1): p1_parent
+LOG:  available indexes for IndexScan(p1c1): p1c1_c4_expr_idx
 LOG:  pg_hint_plan:
 used hint:
-IndexScan(p2 p2_pkey p2c1_pkey p2c1c1_pkey)
+IndexScan(p1 p1_parent)
 not used hint:
 duplication hint:
 error hint:
 
-                     QUERY PLAN                     
-----------------------------------------------------
- Result
-   ->  Append
-         ->  Index Scan using p2_pkey on p2
-               Index Cond: (c1 = 1)
-         ->  Index Scan using p2c1_i on p2c1 p2
-               Index Cond: (c1 = 1)
-         ->  Index Scan using p2c1c1_i on p2c1c1 p2
-               Index Cond: (c1 = 1)
-(8 rows)
+\o
+\! sql/maskout.sh results/ut-S.tmpout
+  QUERY PLAN
+----------------
+ Append  (cost=xxx..xxx rows=4 width=xxx)
+   ->  Index Scan using p1_parent on p1 p1_1  (cost=xxx..xxx rows=1 width=xxx)
+         Filter: ((c2 * 2) < 100)
+   ->  Index Scan using p1c1_c4_expr_idx on p1c1 p1_2  (cost=xxx..xxx rows=3 width=xxx)
+         Filter: ((c2 * 2) < 100)
+
+-- No. S-3-10-4
+\o results/ut-S.tmpout
+/*+IndexScan(p1 p1_i2)*/ EXPLAIN SELECT c2 FROM s1.p1 WHERE c2 = 1;
+LOG:  available indexes for IndexScan(p1): p1_i2
+LOG:  available indexes for IndexScan(p1c1):
+LOG:  available indexes for IndexScan(p1c2):
+LOG:  available indexes for IndexScan(p1c3):
+LOG:  pg_hint_plan:
+used hint:
+IndexScan(p1 p1_i2)
+not used hint:
+duplication hint:
+error hint:
 
--- No. S-3-11-4
-/*+IndexScan(p2 p2c1_pkey)*/
-EXPLAIN (COSTS true) SELECT * FROM s1.p2 WHERE c1 = 1;
+\o
+\! sql/maskout.sh results/ut-S.tmpout
+  QUERY PLAN
+----------------
+ Append  (cost=xxx..xxx rows=4 width=xxx)
+   ->  Index Scan using p1_i2 on p1 p1_1  (cost=xxx..xxx rows=1 width=xxx)
+         Index Cond: (c2 = 1)
+   ->  Seq Scan on p1c1 p1_2  (cost={inf}..{inf} rows=1 width=xxx)
+         Filter: (c2 = 1)
+   ->  Seq Scan on p1c2 p1_3  (cost={inf}..{inf} rows=1 width=xxx)
+         Filter: (c2 = 1)
+   ->  Seq Scan on p1c3 p1_4  (cost={inf}..{inf} rows=1 width=xxx)
+         Filter: (c2 = 1)
+
+-- No. S-3-10-5
+\o results/ut-S.tmpout
+/*+IndexScan(p2 p2c1_pkey)*/ EXPLAIN (COSTS true) SELECT * FROM s1.p2 WHERE c1 = 1;
+LOG:  available indexes for IndexScan(p2):
+LOG:  available indexes for IndexScan(p2c1): p2c1_pkey
+LOG:  available indexes for IndexScan(p2c1c1):
 LOG:  pg_hint_plan:
 used hint:
 IndexScan(p2 p2c1_pkey)
@@ -3769,17 +5302,17 @@ not used hint:
 duplication hint:
 error hint:
 
-                                      QUERY PLAN                                       
----------------------------------------------------------------------------------------
- Result  (cost=0.00..24.80 rows=3 width=34)
-   ->  Append  (cost=0.00..24.80 rows=3 width=34)
        ->  Index Scan using p2_pkey on p2  (cost=0.00..8.27 rows=1 width=44)
-               Index Cond: (c1 = 1)
-         ->  Index Scan using p2c1_i on p2c1 p2  (cost=0.00..8.27 rows=1 width=44)
-               Index Cond: (c1 = 1)
-         ->  Index Scan using p2c1c1_i on p2c1c1 p2  (cost=0.00..8.27 rows=1 width=14)
-               Index Cond: (c1 = 1)
-(8 rows)
+\o
+\! sql/maskout.sh results/ut-S.tmpout
+  QUERY PLAN
+----------------
Append  (cost={inf}..{inf} rows=3 width=xxx)
+   ->  Seq Scan on p2 p2_1  (cost={inf}..{inf} rows=1 width=xxx)
+         Filter: (c1 = 1)
+   ->  Index Scan using p2c1_pkey on p2c1 p2_2  (cost=xxx..xxx rows=1 width=xxx)
+         Index Cond: (c1 = 1)
+   ->  Seq Scan on p2c1c1 p2_3  (cost={inf}..{inf} rows=1 width=xxx)
+         Filter: (c1 = 1)
 
 ----
 ---- No. S-3-12 specified same table
@@ -3787,7 +5320,7 @@ error hint:
 -- No. S-3-12-1
 /*+IndexScan(ti1) BitmapScan(ti1)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
-INFO:  hint syntax error at or near "IndexScan(ti1) BitmapScan(ti1)"
+INFO:  pg_hint_plan: hint syntax error at or near "IndexScan(ti1) BitmapScan(ti1)"
 DETAIL:  Conflict scan method hint.
 LOG:  pg_hint_plan:
 used hint:
@@ -3802,15 +5335,16 @@ error hint:
  Bitmap Heap Scan on ti1
    Recheck Cond: (c1 = 1)
    Filter: (ctid = '(1,1)'::tid)
-   ->  Bitmap Index Scan on ti1_uniq
+   ->  Bitmap Index Scan on ti1_hash
          Index Cond: (c1 = 1)
 (5 rows)
 
 -- No. S-3-12-2
 /*+IndexScan(ti1 ti1_pkey) BitmapScan(ti1 ti1_btree)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
-INFO:  hint syntax error at or near "IndexScan(ti1 ti1_pkey) BitmapScan(ti1 ti1_btree)"
+INFO:  pg_hint_plan: hint syntax error at or near "IndexScan(ti1 ti1_pkey) BitmapScan(ti1 ti1_btree)"
 DETAIL:  Conflict scan method hint.
+LOG:  available indexes for BitmapScan(ti1): ti1_btree
 LOG:  pg_hint_plan:
 used hint:
 BitmapScan(ti1 ti1_btree)
@@ -3831,9 +5365,9 @@ error hint:
 -- No. S-3-12-3
 /*+BitmapScan(ti1) IndexScan(ti1) BitmapScan(ti1)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
-INFO:  hint syntax error at or near "BitmapScan(ti1) IndexScan(ti1) BitmapScan(ti1)"
+INFO:  pg_hint_plan: hint syntax error at or near "BitmapScan(ti1) IndexScan(ti1) BitmapScan(ti1)"
 DETAIL:  Conflict scan method hint.
-INFO:  hint syntax error at or near "IndexScan(ti1) BitmapScan(ti1)"
+INFO:  pg_hint_plan: hint syntax error at or near "IndexScan(ti1) BitmapScan(ti1)"
 DETAIL:  Conflict scan method hint.
 LOG:  pg_hint_plan:
 used hint:
@@ -3849,17 +5383,18 @@ error hint:
  Bitmap Heap Scan on ti1
    Recheck Cond: (c1 = 1)
    Filter: (ctid = '(1,1)'::tid)
-   ->  Bitmap Index Scan on ti1_uniq
+   ->  Bitmap Index Scan on ti1_hash
          Index Cond: (c1 = 1)
 (5 rows)
 
 -- No. S-3-12-4
 /*+BitmapScan(ti1 ti1_hash) IndexScan(ti1 ti1_pkey) BitmapScan(ti1 ti1_btree)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
-INFO:  hint syntax error at or near "BitmapScan(ti1 ti1_hash) IndexScan(ti1 ti1_pkey) BitmapScan(ti1 ti1_btree)"
+INFO:  pg_hint_plan: hint syntax error at or near "BitmapScan(ti1 ti1_hash) IndexScan(ti1 ti1_pkey) BitmapScan(ti1 ti1_btree)"
 DETAIL:  Conflict scan method hint.
-INFO:  hint syntax error at or near "IndexScan(ti1 ti1_pkey) BitmapScan(ti1 ti1_btree)"
+INFO:  pg_hint_plan: hint syntax error at or near "IndexScan(ti1 ti1_pkey) BitmapScan(ti1 ti1_btree)"
 DETAIL:  Conflict scan method hint.
+LOG:  available indexes for BitmapScan(ti1): ti1_btree
 LOG:  pg_hint_plan:
 used hint:
 BitmapScan(ti1 ti1_btree)
@@ -3879,7 +5414,7 @@ error hint:
 (5 rows)
 
 ----
----- No. S-3-13 message output
+---- No. S-3-13 message output of hint
 ----
 -- No. S-3-13-1
 /*+SeqScan(ti1)*/
@@ -3900,8 +5435,15 @@ error hint:
 -- No. S-3-13-2
 /*+SeqScan(ti1 ti1_pkey)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
-INFO:  hint syntax error at or near "ti1_pkey)"
-DETAIL:  Closed parenthesis is necessary.
+INFO:  pg_hint_plan: hint syntax error at or near ""
+DETAIL:  SeqScan hint accepts only one relation.
+LOG:  pg_hint_plan:
+used hint:
+not used hint:
+duplication hint:
+error hint:
+SeqScan(ti1 ti1_pkey)
+
             QUERY PLAN             
 -----------------------------------
  Tid Scan on ti1
@@ -3912,8 +5454,15 @@ DETAIL:  Closed parenthesis is necessary.
 -- No. S-3-13-3
 /*+SeqScan(ti1 ti1_pkey ti1_btree)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
-INFO:  hint syntax error at or near "ti1_pkey ti1_btree)"
-DETAIL:  Closed parenthesis is necessary.
+INFO:  pg_hint_plan: hint syntax error at or near ""
+DETAIL:  SeqScan hint accepts only one relation.
+LOG:  pg_hint_plan:
+used hint:
+not used hint:
+duplication hint:
+error hint:
+SeqScan(ti1 ti1_pkey ti1_btree)
+
             QUERY PLAN             
 -----------------------------------
  Tid Scan on ti1
@@ -3933,7 +5482,7 @@ error hint:
 
             QUERY PLAN            
 ----------------------------------
- Index Scan using ti1_uniq on ti1
+ Index Scan using ti1_hash on ti1
    Index Cond: (c1 = 1)
    Filter: (ctid = '(1,1)'::tid)
 (3 rows)
@@ -3941,6 +5490,7 @@ error hint:
 -- No. S-3-13-5
 /*+IndexScan(ti1 ti1_pkey)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
+LOG:  available indexes for IndexScan(ti1): ti1_pkey
 LOG:  pg_hint_plan:
 used hint:
 IndexScan(ti1 ti1_pkey)
@@ -3958,6 +5508,7 @@ error hint:
 -- No. S-3-13-6
 /*+IndexScan(ti1 ti1_pkey ti1_btree)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
+LOG:  available indexes for IndexScan(ti1): ti1_btree ti1_pkey
 LOG:  pg_hint_plan:
 used hint:
 IndexScan(ti1 ti1_pkey ti1_btree)
@@ -3987,13 +5538,14 @@ error hint:
  Bitmap Heap Scan on ti1
    Recheck Cond: (c1 = 1)
    Filter: (ctid = '(1,1)'::tid)
-   ->  Bitmap Index Scan on ti1_uniq
+   ->  Bitmap Index Scan on ti1_hash
          Index Cond: (c1 = 1)
 (5 rows)
 
 -- No. S-3-13-8
 /*+BitmapScan(ti1 ti1_pkey)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
+LOG:  available indexes for BitmapScan(ti1): ti1_pkey
 LOG:  pg_hint_plan:
 used hint:
 BitmapScan(ti1 ti1_pkey)
@@ -4013,6 +5565,7 @@ error hint:
 -- No. S-3-13-9
 /*+BitmapScan(ti1 ti1_pkey ti1_btree)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
+LOG:  available indexes for BitmapScan(ti1): ti1_btree ti1_pkey
 LOG:  pg_hint_plan:
 used hint:
 BitmapScan(ti1 ti1_pkey ti1_btree)
@@ -4049,8 +5602,15 @@ error hint:
 -- No. S-3-13-11
 /*+TidScan(ti1 ti1_pkey)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
-INFO:  hint syntax error at or near "ti1_pkey)"
-DETAIL:  Closed parenthesis is necessary.
+INFO:  pg_hint_plan: hint syntax error at or near ""
+DETAIL:  TidScan hint accepts only one relation.
+LOG:  pg_hint_plan:
+used hint:
+not used hint:
+duplication hint:
+error hint:
+TidScan(ti1 ti1_pkey)
+
             QUERY PLAN             
 -----------------------------------
  Tid Scan on ti1
@@ -4061,8 +5621,15 @@ DETAIL:  Closed parenthesis is necessary.
 -- No. S-3-13-12
 /*+TidScan(ti1 ti1_pkey ti1_btree)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
-INFO:  hint syntax error at or near "ti1_pkey ti1_btree)"
-DETAIL:  Closed parenthesis is necessary.
+INFO:  pg_hint_plan: hint syntax error at or near ""
+DETAIL:  TidScan hint accepts only one relation.
+LOG:  pg_hint_plan:
+used hint:
+not used hint:
+duplication hint:
+error hint:
+TidScan(ti1 ti1_pkey ti1_btree)
+
             QUERY PLAN             
 -----------------------------------
  Tid Scan on ti1
@@ -4090,8 +5657,15 @@ error hint:
 -- No. S-3-13-14
 /*+NoSeqScan(ti1 ti1_pkey)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
-INFO:  hint syntax error at or near "ti1_pkey)"
-DETAIL:  Closed parenthesis is necessary.
+INFO:  pg_hint_plan: hint syntax error at or near ""
+DETAIL:  NoSeqScan hint accepts only one relation.
+LOG:  pg_hint_plan:
+used hint:
+not used hint:
+duplication hint:
+error hint:
+NoSeqScan(ti1 ti1_pkey)
+
             QUERY PLAN             
 -----------------------------------
  Tid Scan on ti1
@@ -4102,8 +5676,15 @@ DETAIL:  Closed parenthesis is necessary.
 -- No. S-3-13-15
 /*+NoSeqScan(ti1 ti1_pkey ti1_btree)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
-INFO:  hint syntax error at or near "ti1_pkey ti1_btree)"
-DETAIL:  Closed parenthesis is necessary.
+INFO:  pg_hint_plan: hint syntax error at or near ""
+DETAIL:  NoSeqScan hint accepts only one relation.
+LOG:  pg_hint_plan:
+used hint:
+not used hint:
+duplication hint:
+error hint:
+NoSeqScan(ti1 ti1_pkey ti1_btree)
+
             QUERY PLAN             
 -----------------------------------
  Tid Scan on ti1
@@ -4131,8 +5712,15 @@ error hint:
 -- No. S-3-13-17
 /*+NoIndexScan(ti1 ti1_pkey)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
-INFO:  hint syntax error at or near "ti1_pkey)"
-DETAIL:  Closed parenthesis is necessary.
+INFO:  pg_hint_plan: hint syntax error at or near ""
+DETAIL:  NoIndexScan hint accepts only one relation.
+LOG:  pg_hint_plan:
+used hint:
+not used hint:
+duplication hint:
+error hint:
+NoIndexScan(ti1 ti1_pkey)
+
             QUERY PLAN             
 -----------------------------------
  Tid Scan on ti1
@@ -4143,8 +5731,15 @@ DETAIL:  Closed parenthesis is necessary.
 -- No. S-3-13-18
 /*+NoIndexScan(ti1 ti1_pkey ti1_btree)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
-INFO:  hint syntax error at or near "ti1_pkey ti1_btree)"
-DETAIL:  Closed parenthesis is necessary.
+INFO:  pg_hint_plan: hint syntax error at or near ""
+DETAIL:  NoIndexScan hint accepts only one relation.
+LOG:  pg_hint_plan:
+used hint:
+not used hint:
+duplication hint:
+error hint:
+NoIndexScan(ti1 ti1_pkey ti1_btree)
+
             QUERY PLAN             
 -----------------------------------
  Tid Scan on ti1
@@ -4172,8 +5767,15 @@ error hint:
 -- No. S-3-13-20
 /*+NoBitmapScan(ti1 ti1_pkey)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
-INFO:  hint syntax error at or near "ti1_pkey)"
-DETAIL:  Closed parenthesis is necessary.
+INFO:  pg_hint_plan: hint syntax error at or near ""
+DETAIL:  NoBitmapScan hint accepts only one relation.
+LOG:  pg_hint_plan:
+used hint:
+not used hint:
+duplication hint:
+error hint:
+NoBitmapScan(ti1 ti1_pkey)
+
             QUERY PLAN             
 -----------------------------------
  Tid Scan on ti1
@@ -4184,8 +5786,15 @@ DETAIL:  Closed parenthesis is necessary.
 -- No. S-3-13-21
 /*+NoBitmapScan(ti1 ti1_pkey ti1_btree)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
-INFO:  hint syntax error at or near "ti1_pkey ti1_btree)"
-DETAIL:  Closed parenthesis is necessary.
+INFO:  pg_hint_plan: hint syntax error at or near ""
+DETAIL:  NoBitmapScan hint accepts only one relation.
+LOG:  pg_hint_plan:
+used hint:
+not used hint:
+duplication hint:
+error hint:
+NoBitmapScan(ti1 ti1_pkey ti1_btree)
+
             QUERY PLAN             
 -----------------------------------
  Tid Scan on ti1
@@ -4205,7 +5814,7 @@ error hint:
 
             QUERY PLAN            
 ----------------------------------
- Index Scan using ti1_uniq on ti1
+ Index Scan using ti1_hash on ti1
    Index Cond: (c1 = 1)
    Filter: (ctid = '(1,1)'::tid)
 (3 rows)
@@ -4213,8 +5822,15 @@ error hint:
 -- No. S-3-13-23
 /*+NoTidScan(ti1 ti1_pkey)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
-INFO:  hint syntax error at or near "ti1_pkey)"
-DETAIL:  Closed parenthesis is necessary.
+INFO:  pg_hint_plan: hint syntax error at or near ""
+DETAIL:  NoTidScan hint accepts only one relation.
+LOG:  pg_hint_plan:
+used hint:
+not used hint:
+duplication hint:
+error hint:
+NoTidScan(ti1 ti1_pkey)
+
             QUERY PLAN             
 -----------------------------------
  Tid Scan on ti1
@@ -4225,8 +5841,15 @@ DETAIL:  Closed parenthesis is necessary.
 -- No. S-3-13-24
 /*+NoTidScan(ti1 ti1_pkey ti1_btree)*/
 EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c1 = 1 AND ctid = '(1,1)';
-INFO:  hint syntax error at or near "ti1_pkey ti1_btree)"
-DETAIL:  Closed parenthesis is necessary.
+INFO:  pg_hint_plan: hint syntax error at or near ""
+DETAIL:  NoTidScan hint accepts only one relation.
+LOG:  pg_hint_plan:
+used hint:
+not used hint:
+duplication hint:
+error hint:
+NoTidScan(ti1 ti1_pkey ti1_btree)
+
             QUERY PLAN             
 -----------------------------------
  Tid Scan on ti1
@@ -4234,3 +5857,326 @@ DETAIL:  Closed parenthesis is necessary.
    Filter: (c1 = 1)
 (3 rows)
 
+-- No. S-3-13-25
+/*+IndexOnlyScan(ti1)*/
+EXPLAIN (COSTS false) SELECT c1 FROM s1.ti1 WHERE c1 >= 1;
+LOG:  pg_hint_plan:
+used hint:
+IndexOnlyScan(ti1)
+not used hint:
+duplication hint:
+error hint:
+
+              QUERY PLAN               
+---------------------------------------
+ Index Only Scan using ti1_uniq on ti1
+   Index Cond: (c1 >= 1)
+(2 rows)
+
+-- No. S-3-13-26
+/*+IndexOnlyScan(ti1 ti1_pkey)*/
+EXPLAIN (COSTS false) SELECT c1 FROM s1.ti1 WHERE c1 >= 1;
+LOG:  available indexes for IndexOnlyScan(ti1): ti1_pkey
+LOG:  pg_hint_plan:
+used hint:
+IndexOnlyScan(ti1 ti1_pkey)
+not used hint:
+duplication hint:
+error hint:
+
+              QUERY PLAN               
+---------------------------------------
+ Index Only Scan using ti1_pkey on ti1
+   Index Cond: (c1 >= 1)
+(2 rows)
+
+-- No. S-3-13-27
+/*+IndexOnlyScan(ti1 ti1_pkey ti1_btree)*/
+EXPLAIN (COSTS false) SELECT c1 FROM s1.ti1 WHERE c1 >= 1;
+LOG:  available indexes for IndexOnlyScan(ti1): ti1_btree ti1_pkey
+LOG:  pg_hint_plan:
+used hint:
+IndexOnlyScan(ti1 ti1_pkey ti1_btree)
+not used hint:
+duplication hint:
+error hint:
+
+               QUERY PLAN               
+----------------------------------------
+ Index Only Scan using ti1_btree on ti1
+   Index Cond: (c1 >= 1)
+(2 rows)
+
+-- No. S-3-13-28
+/*+NoIndexOnlyScan(ti1)*/
+EXPLAIN (COSTS false) SELECT c1 FROM s1.ti1 WHERE c1 = 1;
+LOG:  pg_hint_plan:
+used hint:
+NoIndexOnlyScan(ti1)
+not used hint:
+duplication hint:
+error hint:
+
+            QUERY PLAN            
+----------------------------------
+ Index Scan using ti1_hash on ti1
+   Index Cond: (c1 = 1)
+(2 rows)
+
+-- No. S-3-13-29
+/*+NoIndexOnlyScan(ti1 ti1_pkey)*/
+EXPLAIN (COSTS false) SELECT c1 FROM s1.ti1 WHERE c1 = 1;
+INFO:  pg_hint_plan: hint syntax error at or near ""
+DETAIL:  NoIndexOnlyScan hint accepts only one relation.
+LOG:  pg_hint_plan:
+used hint:
+not used hint:
+duplication hint:
+error hint:
+NoIndexOnlyScan(ti1 ti1_pkey)
+
+            QUERY PLAN            
+----------------------------------
+ Index Scan using ti1_hash on ti1
+   Index Cond: (c1 = 1)
+(2 rows)
+
+-- No. S-3-13-30
+/*+NoIndexOnlyScan(ti1 ti1_pkey ti1_btree)*/
+EXPLAIN (COSTS false) SELECT c1 FROM s1.ti1 WHERE c1 = 1;
+INFO:  pg_hint_plan: hint syntax error at or near ""
+DETAIL:  NoIndexOnlyScan hint accepts only one relation.
+LOG:  pg_hint_plan:
+used hint:
+not used hint:
+duplication hint:
+error hint:
+NoIndexOnlyScan(ti1 ti1_pkey ti1_btree)
+
+            QUERY PLAN            
+----------------------------------
+ Index Scan using ti1_hash on ti1
+   Index Cond: (c1 = 1)
+(2 rows)
+
+----
+---- No. S-3-14 regular expression
+----
+EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c2 = 1;
+           QUERY PLAN           
+--------------------------------
+ Index Scan using ti1_i4 on ti1
+   Index Cond: (c2 = 1)
+(2 rows)
+
+-- No. S-3-14-1
+/*+IndexScanRegexp(ti1 ti1_.*_key)*/
+EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c2 = 1;
+LOG:  available indexes for IndexScanRegexp(ti1): ti1_c2_key
+LOG:  pg_hint_plan:
+used hint:
+IndexScanRegexp(ti1 ti1_.*_key)
+not used hint:
+duplication hint:
+error hint:
+
+             QUERY PLAN             
+------------------------------------
+ Index Scan using ti1_c2_key on ti1
+   Index Cond: (c2 = 1)
+(2 rows)
+
+-- No. S-3-14-2
+/*+IndexScanRegexp(ti1 ti1_i.)*/
+EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c2 = 1;
+LOG:  available indexes for IndexScanRegexp(ti1): ti1_i4 ti1_i3 ti1_i2 ti1_i1
+LOG:  pg_hint_plan:
+used hint:
+IndexScanRegexp(ti1 ti1_i.)
+not used hint:
+duplication hint:
+error hint:
+
+           QUERY PLAN           
+--------------------------------
+ Index Scan using ti1_i4 on ti1
+   Index Cond: (c2 = 1)
+(2 rows)
+
+-- No. S-3-14-3
+/*+IndexScanRegexp(ti1 no.*_exist)*/
+EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c2 = 1;
+LOG:  available indexes for IndexScanRegexp(ti1):
+LOG:  pg_hint_plan:
+used hint:
+IndexScanRegexp(ti1 no.*_exist)
+not used hint:
+duplication hint:
+error hint:
+
+     QUERY PLAN     
+--------------------
+ Seq Scan on ti1
+   Filter: (c2 = 1)
+(2 rows)
+
+-- No. S-3-14-4
+/*+IndexScanRegexp(p1 .*pkey)*/
+EXPLAIN (COSTS false) SELECT * FROM s1.p1 WHERE c1 = 1;
+LOG:  available indexes for IndexScanRegexp(p1): p1_pkey
+LOG:  available indexes for IndexScanRegexp(p1c1): p1c1_pkey
+LOG:  pg_hint_plan:
+used hint:
+IndexScanRegexp(p1 .*pkey)
+not used hint:
+duplication hint:
+error hint:
+
+                  QUERY PLAN                   
+-----------------------------------------------
+ Append
+   ->  Index Scan using p1_pkey on p1 p1_1
+         Index Cond: (c1 = 1)
+   ->  Index Scan using p1c1_pkey on p1c1 p1_2
+         Index Cond: (c1 = 1)
+(5 rows)
+
+-- No. S-3-14-5
+/*+IndexScanRegexp(p1 p1.*i)*/
+EXPLAIN (COSTS false) SELECT * FROM s1.p1 WHERE c1 = 1;
+LOG:  available indexes for IndexScanRegexp(p1): p1_i2 p1_i
+LOG:  available indexes for IndexScanRegexp(p1c1): p1c1_i p1c1_c4_expr_idx
+LOG:  pg_hint_plan:
+used hint:
+IndexScanRegexp(p1 p1.*i)
+not used hint:
+duplication hint:
+error hint:
+
+                 QUERY PLAN                 
+--------------------------------------------
+ Append
+   ->  Index Scan using p1_i on p1 p1_1
+         Index Cond: (c1 = 1)
+   ->  Index Scan using p1c1_i on p1c1 p1_2
+         Index Cond: (c1 = 1)
+(5 rows)
+
+-- No. S-3-14-6
+/*+IndexScanRegexp(p1 no.*_exist)*/
+EXPLAIN (COSTS false) SELECT * FROM s1.p1 WHERE c1 = 1;
+LOG:  available indexes for IndexScanRegexp(p1):
+LOG:  available indexes for IndexScanRegexp(p1c1):
+LOG:  pg_hint_plan:
+used hint:
+IndexScanRegexp(p1 no.*_exist)
+not used hint:
+duplication hint:
+error hint:
+
+         QUERY PLAN          
+-----------------------------
+ Append
+   ->  Seq Scan on p1 p1_1
+         Filter: (c1 = 1)
+   ->  Seq Scan on p1c1 p1_2
+         Filter: (c1 = 1)
+(5 rows)
+
+----
+---- No. S-3-15 message output of index candidate
+----
+-- No. S-3-15-1
+/*+IndexScan(ti1 ti1_i1)*/
+EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c2 = 1;
+LOG:  available indexes for IndexScan(ti1): ti1_i1
+LOG:  pg_hint_plan:
+used hint:
+IndexScan(ti1 ti1_i1)
+not used hint:
+duplication hint:
+error hint:
+
+           QUERY PLAN           
+--------------------------------
+ Index Scan using ti1_i1 on ti1
+   Index Cond: (c2 = 1)
+(2 rows)
+
+-- No. S-3-15-2
+/*+IndexScan(ti1 not_exist)*/
+EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c2 = 1;
+LOG:  available indexes for IndexScan(ti1):
+LOG:  pg_hint_plan:
+used hint:
+IndexScan(ti1 not_exist)
+not used hint:
+duplication hint:
+error hint:
+
+     QUERY PLAN     
+--------------------
+ Seq Scan on ti1
+   Filter: (c2 = 1)
+(2 rows)
+
+-- No. S-3-15-3
+/*+IndexScan(ti1 ti1_i1 ti1_i2)*/
+EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c2 = 1;
+LOG:  available indexes for IndexScan(ti1): ti1_i2 ti1_i1
+LOG:  pg_hint_plan:
+used hint:
+IndexScan(ti1 ti1_i1 ti1_i2)
+not used hint:
+duplication hint:
+error hint:
+
+           QUERY PLAN           
+--------------------------------
+ Index Scan using ti1_i2 on ti1
+   Index Cond: (c2 = 1)
+(2 rows)
+
+-- No. S-3-15-4
+/*+IndexScan(ti1 ti1_i1 not_exist)*/
+EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c2 = 1;
+LOG:  available indexes for IndexScan(ti1): ti1_i1
+LOG:  pg_hint_plan:
+used hint:
+IndexScan(ti1 ti1_i1 not_exist)
+not used hint:
+duplication hint:
+error hint:
+
+           QUERY PLAN           
+--------------------------------
+ Index Scan using ti1_i1 on ti1
+   Index Cond: (c2 = 1)
+(2 rows)
+
+-- No. S-3-15-5
+/*+IndexScan(ti1 not_exist1 not_exist2)*/
+EXPLAIN (COSTS false) SELECT * FROM s1.ti1 WHERE c2 = 1;
+LOG:  available indexes for IndexScan(ti1):
+LOG:  pg_hint_plan:
+used hint:
+IndexScan(ti1 not_exist1 not_exist2)
+not used hint:
+duplication hint:
+error hint:
+
+     QUERY PLAN     
+--------------------
+ Seq Scan on ti1
+   Filter: (c2 = 1)
+(2 rows)
+
+DELETE FROM pg_db_role_setting WHERE setrole = (SELECT oid FROM pg_roles WHERE rolname = current_user);
+ALTER SYSTEM SET session_preload_libraries TO DEFAULT;
+SELECT pg_reload_conf();
+ pg_reload_conf 
+----------------
+ t
+(1 row)
+
+\! rm results/ut-S.tmpout