NOTICE:  QUERY PLAN:

Merge Join  (cost=2389.66..2414.66 rows=10000 width=18)
  ->  Sort  (cost=2319.83..2319.83 rows=1000 width=4)
        ->  Seq Scan on device  (cost=0.00..2270.00 rows=1000 width=4)
              SubPlan
                ->  Seq Scan on stat  (cost=0.00..22.50 rows=10 width=8)
  ->  Sort  (cost=69.83..69.83 rows=1000 width=14)
        ->  Seq Scan on stat  (cost=0.00..20.00 rows=1000 width=14)

NOTICE:  QUERY PLAN:

Aggregate  (cost=2270.01..2270.02 rows=0 width=4)
  ->  Group  (cost=2270.01..2270.01 rows=1 width=4)
        ->  Sort  (cost=2270.01..2270.01 rows=1 width=4)
              ->  Seq Scan on device  (cost=0.00..2270.00 rows=1 width=4)
                    SubPlan
                      ->  Seq Scan on stat  (cost=0.00..22.50 rows=10 width=8)

EXPLAIN

-- verbose
NOTICE:  QUERY DUMP:

{ NESTLOOP :startup_cost 0.00 :total_cost 1.34 :rows 1 :width 18 :state <> :qptargetlist ({ TARGETENTRY :resdom { RESDOM :resno 1 :restype 23 :restypmod -1 :resname id :reskey 0 :reskeyop 0 :ressortgroupref 0 :resjunk false } :expr { VAR :varno 65000 :varattno 1 :vartype 23 :vartypmod -1  :varlevelsup 0 :varnoold 5 :varoattno 1}} { TARGETENTRY :resdom { RESDOM :resno 2 :restype 23 :restypmod -1 :resname c_num :reskey 0 :reskeyop 0 :ressortgroupref 0 :resjunk false } :expr { EXPR :typeOid 23  :opType op :oper { OPER :opno 551 :opid 177 :opresulttype 23 } :args ({ VAR :varno 65000 :varattno 2 :vartype 23 :vartypmod -1  :varlevelsup 0 :varnoold 5 :varoattno 2} { AGGREG :aggname count :basetype 0 :aggtype 23 :target { CONST :consttype 23 :constlen 4 :constisnull false :constvalue  4 [ 1 0 0 0 ]  :constbyval true } :usenulls false :aggstar true :aggdistinct false })}} { TARGETENTRY :resdom { RESDOM :resno 3 :restype 27 :restypmod -1 :resname ctid :reskey 0 :reskeyop 0 :ressortgroupref 0 :resjunk true } :expr { VAR :varno 65000 :varattno 3 :vartype 27 :vartypmod -1  :varlevelsup 0 :varnoold 5 :varoattno -1}}) :qpqual ({ EXPR :typeOid 16  :opType op :oper { OPER :opno 96 :opid 65 :opresulttype 16 } :args ({ VAR :varno 65000 :varattno 1 :vartype 23 :vartypmod -1  :varlevelsup 0 :varnoold 5 :varoattno 1} { VAR :varno 65001 :varattno 1 :vartype 23 :vartypmod -1  :varlevelsup 0 :varnoold 1 :varoattno 1})}) :lefttree { SEQSCAN :startup_cost 0.00 :total_cost 1.15 :rows 15 :width 4 :state <> :qptargetlist ({ TARGETENTRY :resdom { RESDOM :resno 1 :restype 23 :restypmod -1 :resname <> :reskey 0 :reskeyop 0 :ressortgroupref 0 :resjunk false } :expr { VAR :varno 1 :varattno 1 :vartype 23 :vartypmod -1  :varlevelsup 0 :varnoold 1 :varoattno 1}}) :qpqual ({ EXPR :typeOid 16  :opType subp :oper { SUBPLAN :plan { SEQSCAN :startup_cost 0.00 :total_cost 0.00 :rows 1 :width 8 :state <> :qptargetlist ({ TARGETENTRY :resdom { RESDOM :resno 1 :restype 23 :restypmod -1 :resname id :reskey 0 :reskeyop 0 :ressortgroupref 0 :resjunk false } :expr { VAR :varno 1 :varattno 1 :vartype 23 :vartypmod -1  :varlevelsup 0 :varnoold 1 :varoattno 1}} { TARGETENTRY :resdom { RESDOM :resno 2 :restype 23 :restypmod -1 :resname c_num :reskey 0 :reskeyop 0 :ressortgroupref 0 :resjunk false } :expr { VAR :varno 1 :varattno 2 :vartype 23 :vartypmod -1  :varlevelsup 0 :varnoold 1 :varoattno 2}}) :qpqual ({ EXPR :typeOid 16  :opType op :oper { OPER :opno 96 :opid 65 :opresulttype 16 } :args ({ VAR :varno 1 :varattno 1 :vartype 23 :vartypmod -1  :varlevelsup 0 :varnoold 1 :varoattno 1} { PARAM :paramkind 15 :paramid 0 :paramname <> :paramtype 23 :param_tlist <>})}) :lefttree <> :righttree <> :extprm ( 0) :locprm () :initplan <> :nprm 0  :scanrelid 1 } :planid 0 :rtable ({ RTE :relname stat :ref { ATTR :relname stat :attrs <>} :relid 259545 :inh false :inFromCl true :inJoinSet true :skipAcl false}) :setprm () :parprm ( 0) :slink { SUBLINK :subLinkType 0 :useor false :lefthand <> :oper <> :subselect <>}} :args ({ VAR :varno 1 :varattno 1 :vartype 23 :vartypmod -1  :varlevelsup 0 :varnoold 1 :varoattno 1})}) :lefttree <> :righttree <> :extprm () :locprm () :initplan <> :nprm 0  :scanrelid 1 } :righttree { SEQSCAN :startup_cost 0.00 :total_cost 0.00 :rows 1 :width 14 :state <> :qptargetlist ({ TARGETENTRY :resdom { RESDOM :resno 1 :restype 23 :restypmod -1 :resname <> :reskey 0 :reskeyop 0 :ressortgroupref 0 :resjunk false } :expr { VAR :varno 5 :varattno 1 :vartype 23 :vartypmod -1  :varlevelsup 0 :varnoold 5 :varoattno 1}} { TARGETENTRY :resdom { RESDOM :resno 2 :restype 23 :restypmod -1 :resname <> :reskey 0 :reskeyop 0 :ressortgroupref 0 :resjunk false } :expr { VAR :varno 5 :varattno 2 :vartype 23 :vartypmod -1  :varlevelsup 0 :varnoold 5 :varoattno 2}} { TARGETENTRY :resdom { RESDOM :resno 3 :restype 27 :restypmod -1 :resname <> :reskey 0 :reskeyop 0 :ressortgroupref 0 :resjunk false } :expr { VAR :varno 5 :varattno -1 :vartype 27 :vartypmod -1  :varlevelsup 0 :varnoold 5 :varoattno -1}}) :qpqual <> :lefttree <> :righttree <> :extprm () :locprm () :initplan <> :nprm 0  :scanrelid 5 } :extprm () :locprm () :initplan <> :nprm 1 }
NOTICE:  QUERY PLAN:

Nested Loop  (cost=0.00..1.34 rows=1 width=18)
  ->  Seq Scan on device  (cost=0.00..1.15 rows=15 width=4)
        SubPlan
          ->  Seq Scan on stat (cost=0.00..0.00 rows=1 width=8)
  ->  Seq Scan on stat  (cost=0.00..0.00 rows=1 width=14)
NOTICE:  QUERY DUMP:

{ AGG :startup_cost 1.16 :total_cost 1.16 :rows 0 :width 4 :state <> :qptargetlist ({ TARGETENTRY :resdom { RESDOM :resno 1 :restype 23 :restypmod -1 :resname id :reskey 0 :reskeyop 0 :ressortgroupref 1 :resjunk false } :expr { VAR :varno 0 :varattno 1 :vartype 23 :vartypmod -1  :varlevelsup 0 :varnoold 1 :varoattno 1}} { TARGETENTRY :resdom { RESDOM :resno 2 :restype 23 :restypmod -1 :resname c_num :reskey 0 :reskeyop 0 :ressortgroupref 0 :resjunk false } :expr { AGGREG :aggname count :basetype 0 :aggtype 23 :target { CONST :consttype 23 :constlen 4 :constisnull false :constvalue  4 [ 1 0 0 0 ]  :constbyval true } :usenulls false :aggstar true :aggdistinct false }}) :qpqual <> :lefttree { GRP :startup_cost 1.16 :total_cost 1.16 :rows 1 :width 4 :state <> :qptargetlist ({ TARGETENTRY :resdom { RESDOM :resno 1 :restype 23 :restypmod -1 :resname <> :reskey 0 :reskeyop 0 :ressortgroupref 0 :resjunk false } :expr { VAR :varno 0 :varattno 1 :vartype 23 :vartypmod -1  :varlevelsup 0 :varnoold 1 :varoattno 1}}) :qpqual <> :lefttree { SORT :startup_cost 1.16 :total_cost 1.16 :rows 1 :width 4 :state <> :qptargetlist ({ TARGETENTRY :resdom { RESDOM :resno 1 :restype 23 :restypmod -1 :resname <> :reskey 1 :reskeyop 66 :ressortgroupref 0 :resjunk false } :expr { VAR :varno 1 :varattno 1 :vartype 23 :vartypmod -1  :varlevelsup 0 :varnoold 1 :varoattno 1}}) :qpqual <> :lefttree { SEQSCAN :startup_cost 0.00 :total_cost 1.15 :rows 1 :width 4 :state <> :qptargetlist ({ TARGETENTRY :resdom { RESDOM :resno 1 :restype 23 :restypmod -1 :resname <> :reskey 0 :reskeyop 0 :ressortgroupref 0 :resjunk false } :expr { VAR :varno 1 :varattno 1 :vartype 23 :vartypmod -1  :varlevelsup 0 :varnoold 1 :varoattno 1}}) :qpqual ({ EXPR :typeOid 16  :opType not :oper <> :args ({ EXPR :typeOid 16  :opType subp :oper { SUBPLAN :plan { SEQSCAN :startup_cost 0.00 :total_cost 0.00 :rows 1 :width 8 :state <> :qptargetlist ({ TARGETENTRY :resdom { RESDOM :resno 1 :restype 23 :restypmod -1 :resname id :reskey 0 :reskeyop 0 :ressortgroupref 0 :resjunk false } :expr { VAR :varno 1 :varattno 1 :vartype 23 :vartypmod -1  :varlevelsup 0 :varnoold 1 :varoattno 1}} { TARGETENTRY :resdom { RESDOM :resno 2 :restype 23 :restypmod -1 :resname c_num :reskey 0 :reskeyop 0 :ressortgroupref 0 :resjunk false } :expr { VAR :varno 1 :varattno 2 :vartype 23 :vartypmod -1  :varlevelsup 0 :varnoold 1 :varoattno 2}}) :qpqual ({ EXPR :typeOid 16  :opType op :oper { OPER :opno 96 :opid 65 :opresulttype 16 } :args ({ VAR :varno 1 :varattno 1 :vartype 23 :vartypmod -1  :varlevelsup 0 :varnoold 1 :varoattno 1} { PARAM :paramkind 15 :paramid 0 :paramname <> :paramtype 23 :param_tlist <>})}) :lefttree <> :righttree <> :extprm ( 0) :locprm () :initplan <> :nprm 0  :scanrelid 1 } :planid 0 :rtable ({ RTE :relname stat :ref { ATTR :relname stat :attrs <>} :relid 259545 :inh false :inFromCl true :inJoinSet true :skipAcl false}) :setprm () :parprm ( 0) :slink { SUBLINK :subLinkType 0 :useor false :lefthand <> :oper <> :subselect <>}} :args ({ VAR :varno 1 :varattno 1 :vartype 23 :vartypmod -1  :varlevelsup 0 :varnoold 1 :varoattno 1})})}) :lefttree <> :righttree <> :extprm () :locprm () :initplan <> :nprm 0  :scanrelid 1 } :righttree <> :extprm () :locprm () :initplan <> :nprm 0  :nonameid 0 :keycount 1 } :righttree <> :extprm () :locprm () :initplan <> :nprm 0  :numCols 1 :tuplePerGroup true } :righttree <> :extprm () :locprm () :initplan <> :nprm 1 }
NOTICE:  QUERY PLAN:

Aggregate  (cost=1.16..1.16 rows=0 width=4)
  ->  Group  (cost=1.16..1.16 rows=1 width=4)
        ->  Sort  (cost=1.16..1.16 rows=1 width=4)
              ->  Seq Scan on device  (cost=0.00..1.15 rows=1 width=4)
                    SubPlan
                      ->  Seq Scan on stat  (cost=0.00..0.00 rows=1 width=8)

EXPLAIN