Reference: Explain Statement

Explain statements show the execution plan of a query. This is useful to understand the performance characteristics of a query.

Usage example:

-- TPC-H Query 4
explain
select o_orderpriority, count(*) as order_count
from orders
where o_orderdate >= date '1993-07-01' and o_orderdate < date '1993-07-01' + interval '3' month
  and exists (select * from lineitem
              where l_orderkey = o_orderkey
                and l_commitdate < l_receiptdate)
group by o_orderpriority
order by o_orderpriority
                     plan                     
----------------------------------------------
             ┌────────────┐                  +
             │ output     │                  +
             │ estimate 5 │                  +
             └──────┬─────┘                  +
                    │                        +
             ┌──────┴─────┐                  +
             │ sort       │                  +
             │ estimate 5 │                  +
             └──────┬─────┘                  +
                    │                        +
             ┌──────┴─────┐                  +
             │ group by   │                  +
             │ estimate 5 │                  +
             └─────┬──────┘                  +
                   │                         +
          ┌────────┴────────┐                +
          │ join (leftsemi) │                +
          │ indexnljoin     │                +
          │ estimate 53'025 │                +
          └────────┬────────┘                +
                   │                         +
          ┌────────┴──────────────┐          +
          │                       │          +
 ┌────────┴────────┐   ┌──────────┴─────────┐+
 │ tablescan       │   │ tablescan          │+
 │ orders          │   │ lineitem           │+
 │ estimate 54'199 │   │ estimate 3'832'807 │+
 └─────────────────┘   └────────────────────┘
(1 row)

This plan shows an overview over how CedarDB plans to execute the query. Annotated in the plan are the estimated output sizes of the operators, which CedarDB uses to determine the best algorithms and execution order.

How to read a plan:
CedarDBs query plans are usually tree-structured with the result output on top and input tables at the leaves on the bottom. CedarDB generally executes plans bottom-up from left to right: In the example, we can see two tables which are joined using an index, before the data is aggregated with a group by.

Explain Analyze

A regular explain only shows the plan, and does not execute the query. To investigate the runtime behavior of the query, you can specify the analyze option to also execute the query. This then shows the actual result cardinality to judge the quality of the plan estimates. In addition, CedarDB annotates timing information to identify costly operations.

explain analyze select ...
                     plan                     
----------------------------------------------
               ┌────────┐                    +
               │ output │                    +
               └────┬───┘                    +
                    │                        +
             ┌──────┴─────┐                  +
             │ sort       │                  +
             │ card     5 │                  +
             │ estimate 5 │                  +
             │ time 0     │                  +
             └──────┬─────┘                  +
                    │                        +
             ┌──────┴─────┐                  +
             │ group by   │                  +
             │ card     5 │                  +
             │ estimate 5 │                  +
             │ time 0     │                  +
             └─────┬──────┘                  +
                   │                         +
          ┌────────┴────────┐                +
          │ join (leftsemi) │                +
          │ indexnljoin     │                +
          │ card     52'523 │                +
          │ estimate 53'026 │                +
          └────────┬────────┘                +
                   │                         +
          ┌────────┴──────────────┐          +
          │                       │          +
 ┌────────┴────────┐   ┌──────────┴─────────┐+
 │ tablescan       │   │ tablescan          │+
 │ orders          │   │ lineitem           │+
 │ card     57'218 │   │ card             0 │+
 │ estimate 54'199 │   │ estimate 3'832'807 │+
 │ time 100 ***    │   └────────────────────┘+
 └─────────────────┘
(1 row)

In this example, we can see that almost the complete execution time was spent in the execution of the orders scan. Note that this includes the time for operations which can be pipelined, and do not need to materialize all tuples. In the example, the index-join is pipelined and, thus, has no time, but is attributed to the table scan.

Explain Verbose

By default explain only shows brief information about the operators, and does not include detailed information. If you want to see more details about the referenced columns, involved expressions, evaluated predicates, etc., you can enable verbose output:

explain verbose select ...
                                                        plan                                                        
--------------------------------------------------------------------------------------------------------------------
                                     ┌─────────────────────────────────┐                                           +
                                     │ output                          │                                           +
                                     │ o_orderpriority                 │                                           +
                                     │ "countstar(*)" as "order_count" │                                           +
                                     │ estimate 5                      │                                           +
                                     └─────────────────┬───────────────┘                                           +
                                                       │                                                           +
                                         ┌─────────────┴────────────┐                                              +
                                         │ sort                     │                                              +
                                         │ order by o_orderpriority │                                              +
                                         │ estimate 5               │                                              +
                                         └─────────────┬────────────┘                                              +
                                                       │                                                           +
                                        ┌──────────────┴─────────────┐                                             +
                                        │ group by                   │                                             +
                                        │ count(*) as "countstar(*)" │                                             +
                                        │ Key:                       │                                             +
                                        │ o_orderpriority3           │                                             +
                                        │ estimate 5                 │                                             +
                                        └─────────────┬──────────────┘                                             +
                                                      │                                                            +
                                        ┌─────────────┴─────────────┐                                              +
                                        │ join (leftsemi)           │                                              +
                                        │ indexnljoin               │                                              +
                                        │ l_orderkey=o_orderkey     │                                              +
                                        │ using index lineitem_pkey │                                              +
                                        │ estimate 53'025           │                                              +
                                        └─────────────┬─────────────┘                                              +
                                                      │                                                            +
                                         ┌────────────┴─────────────────────────────────────────────┐              +
                                         │                                                          │              +
 ┌───────────────────────────────────────┴───────────────────────────────────────┐   ┌──────────────┴─────────────┐+
 │ tablescan                                                                     │   │ tablescan                  │+
 │ orders                                                                        │   │ lineitem                   │+
 │ o_orderkey                                                                    │   │ l_orderkey                 │+
 │ o_orderpriority                                                               │   │ l_commitdate               │+
 │ Restrictions:                                                                 │   │ l_receiptdate              │+
 │ o_orderdate between cast('1993-07-01' as date) and cast('1993-09-30' as date) │   │ l_commitdate<l_receiptdate │+
 │ estimate 54'199                                                               │   │ estimate 3'832'807         │+
 └───────────────────────────────────────────────────────────────────────────────┘   └────────────────────────────┘

Here, you can now see the used index (lineitem_pkey), aggregated expressions (count(*)), etc.

Format SQL

CedarDB can also reconstruct the query plan as SQL:

explain (format sql) select ...
with scan_table_1 as (select "o_orderkey" as o_orderkey, "o_orderpriority" as o_orderpriority3 from "public"."orders" where "o_orderdate" between cast('1993-07-01' as date) and cast('1993-09-30' as date)),
scan_table_2 as (select * from (select "l_orderkey" as l_orderkey, "l_commitdate" as l_commitdate, "l_receiptdate" as l_receiptdate from "public"."lineitem") s where l_commitdate<l_receiptdate),
join_leftsemi_3 as (select * from scan_table_1 where exists(select 1 from scan_table_2 where l_orderkey=o_orderkey)),
groupby_4 as (select tv0 as o_orderpriority, count(*) as "countstar(*)" from (select o_orderpriority3 as tv0 from join_leftsemi_3) s group by tv0)
select o_orderpriority as "o_orderpriority", "countstar(*)" as "order_count" from groupby_4 order by o_orderpriority

Format JSON

For a machine-readable description, you can also use the JSON format:

explain (format json) select ...
{
  "plan":{
   "operator":"sort",
   "physicalOperator":"sort",
   "cardinality":5,
   "operatorId":1,
   "input":{
     ...
   },
   "order":[{"value":{"expression":"iuref", "iu":"o_orderpriority32"}, "collate":""}],
   "duplicateFree":true
  },
  "ius":[{"iu":"o_orderkey", "type":{"type":"integer"}}, {"iu":"o_custkey", "type":{"type":"integer"}}, {"iu":"o_orderstatus", "type":{"type":"char1"}}, {"iu":"o_totalprice", "type":{"type":"numeric", "precision":12, "scale":2}}, {"iu":"o_orderdate", "type":{"type":"date"}}, {"iu":"o_orderpriority", "type":{"type":"char", "precision":15}}, {"iu":"o_clerk", "type":{"type":"char", "precision":15}}, {"iu":"o_shippriority", "type":{"type":"integer"}}, {"iu":"o_comment", "type":{"type":"text", "precision":79}}, {"iu":"tid", "type":{"type":"bigint"}}, {"iu":"tableoid", "type":{"type":"integer"}}, {"iu":"rowstate", "type":{"type":"bigint"}}, {"iu":"l_orderkey", "type":{"type":"integer"}}, {"iu":"l_partkey", "type":{"type":"integer"}}, {"iu":"l_suppkey", "type":{"type":"integer"}}, {"iu":"l_linenumber", "type":{"type":"integer"}}, {"iu":"l_quantity", "type":{"type":"numeric", "precision":12, "scale":2}}, {"iu":"l_extendedprice", "type":{"type":"numeric", "precision":12, "scale":2}}, {"iu":"l_discount", "type":{"type":"numeric", "precision":12, "scale":2}}, {"iu":"l_tax", "type":{"type":"numeric", "precision":12, "scale":2}}, {"iu":"l_returnflag", "type":{"type":"char1"}}, {"iu":"l_linestatus", "type":{"type":"char1"}}, {"iu":"l_shipdate", "type":{"type":"date"}}, {"iu":"l_commitdate", "type":{"type":"date"}}, {"iu":"l_receiptdate", "type":{"type":"date"}}, {"iu":"l_shipinstruct", "type":{"type":"char", "precision":25}}, {"iu":"l_shipmode", "type":{"type":"char", "precision":10}}, {"iu":"l_comment", "type":{"type":"text", "precision":44}}, {"iu":"tid29", "type":{"type":"bigint"}}, {"iu":"tableoid30", "type":{"type":"integer"}}, {"iu":"rowstate31", "type":{"type":"bigint"}}, {"iu":"o_orderpriority32", "type":{"type":"char", "precision":15}}, {"iu":"countstar(*)", "type":{"type":"bigint"}}],
  "output":[{"name":"o_orderpriority", "iu":{"expression":"iuref", "iu":"o_orderpriority32"}}, {"name":"order_count", "iu":{"expression":"iuref", "iu":"countstar(*)"}}],
  "type":"select",
  "query":true
}