pg查询树的简单解读

前端之家收集整理的这篇文章主要介绍了pg查询树的简单解读前端之家小编觉得挺不错的,现在分享给大家,也给大家做个参考。
准备环境:Postgresql 9.2
前提准备: debug_print_parse = on
debug_print_rewritten = on
debug_print_plan = on
debug_pretty_print = on
启动条件:-l logfile(为了更好的查看log)
表:create table aa(a int,b int);
数据:insert into aa values (0,1),(1,0),1);
执行查询语句: select * from aa where ((4-3)/a>1 and a>0);
LOG: parse tree:
DETAIL: {QUERY
:commandType 1
:querySource 0
:canSetTag true
:utilityStmt <>
:resultRelation 0
:hasAggs false
:hasWindowFuncs false
:hasSubLinks false
:hasDistinctOn false
:hasRecursive false
:hasModifyingCTE false
:hasForUpdate false
:cteList <>
:rtable (
{RTE
:alias <>
:eref
{ALIAS
:aliasname aa
:colnames ("a" "b")
}
:rtekind 0
:relid 16384
:relkind r
:inh true
:inFromCl true
:requiredPerms 2
:checkAsUser 0
:selectedCols (b 9 10)
:modifiedCols (b)
}
)
:jointree
{FROMEXPR
:fromlist (
{RANGETBLREF
:rtindex 1
}
)
:quals
{BOOLEXPR
:boolop and
:args ( //这里重点说一下参数,主要看的是参数。表达式是((4-3)/a>1 and a>0),一共有6个参数
{OPEXPR // 操作符
:opno 521 // 操作符oid ">"
:opfuncid 147 // 调用函数oid int4gt
:opresulttype 16 // 返回的数据类型oid bool
:opretset false
:opcollid 0
:inputcollid 0
:args (
{OPEXPR // 操作符
:opno 528 // 操作符oid "/"
:opfuncid 154 // 调用函数oid int4div
:opresulttype 23 // 返回的数据类型oid int4
:opretset false
:opcollid 0
:inputcollid 0
:args (
{OPEXPR // 操作符
:opno 555 // 操作符oid "-"
:opfuncid 181 // 调用函数oid int4mi
:opresulttype 23 // 返回的数据类型oid int4
:opretset false
:opcollid 0
:inputcollid 0
:args (
{CONST //常数
:consttype 23 //常量数据类型oid int4
:consttypmod -1 //常量的typmod(现在不是很明白typmod,只知道是数据的一个属性,常为-1)
:constcollid 0
:constlen 4 //常量数据的长度
:constbyval true
:constisnull false
:location 25
:constvalue 4 [ 4 0 0 0 0 0 0 0 ] //第一个参数:4
}
{CONST //常数
:consttype 23 //常量数据类型oid int4
:consttypmod -1 //常量的typmod(现在不是很明白typmod,只知道是数据的一个属性,常为-1)
:constcollid 0
:constlen 4 //常量数据的长度
:constbyval true
:constisnull false
:location 27
:constvalue 4 [ 3 0 0 0 0 0 0 0 ] //第二个参数:3
}
)
:location 26
}
{VAR //变量,就是涉及列的数据,第三个参数:a
:varno 1
:varattno 1
:vartype 23 //变量的数据类型oid int4
:vartypmod -1 //变量的typmod
:varcollid 0
:varlevelsup 0
:varnoold 1
:varoattno 1
:location 30
}
)
:location 29
}
{CONST //常数
:consttype 23 //常量数据类型oid int4
:consttypmod -1 //常量的typmod
:constcollid 0
:constlen 4 //常量数据的长度
:constbyval true
:constisnull false
:location 32
:constvalue 4 [ 1 0 0 0 0 0 0 0 ] //第四个参数:1
}
)
:location 31
}
{OPEXPR // 操作符
:opno 521 // 操作符oid ">"
:opfuncid 147 // 调用函数oid int4gt
:opresulttype 16 // 返回的数据类型oid bool
:opretset false
:opcollid 0
:inputcollid 0
:args (
{VAR //变量,就是涉及列的数据,第五个参数:a
:varno 1
:varattno 1
:vartype 23 //变量的数据类型oid int4
:vartypmod -1 //变量的typmod
:varcollid 0
:varlevelsup 0
:varnoold 1
:varoattno 1
:location 38
}
{CONST //常数
:consttype 23 //常量数据类型oid int4
:consttypmod -1 //常量的typmod
:constcollid 0
:constlen 4 //常量数据的长度
:constbyval true
:constisnull false
:location 40
:constvalue 4 [ 0 0 0 0 0 0 0 0 ] //第六个参数:0
}
)
:location 39
}
)
:location 34
}
}
:targetList ( //因为是*,所以需要输出的列是a、b
{TARGETENTRY
:expr
{VAR
:varno 1
:varattno 1
:vartype 23
:vartypmod -1
:varcollid 0
:varlevelsup 0
:varnoold 1
:varoattno 1
:location 7
}
:resno 1
:resname a
:ressortgroupref 0
:resorigtbl 16384
:resorigcol 1
:resjunk false
}
{TARGETENTRY
:expr
{VAR
:varno 1
:varattno 2
:vartype 23
:vartypmod -1
:varcollid 0
:varlevelsup 0
:varnoold 1
:varoattno 2
:location 7
}
:resno 2
:resname b
:ressortgroupref 0
:resorigtbl 16384
:resorigcol 2
:resjunk false
}
)
:returningList <>
:groupClause <>
:havingQual <>
:windowClause <>
:distinctClause <>
:sortClause <>
:limitOffset <>
:limitCount <>
:rowMarks <>
:setOperations <>
:constraintDeps <>
}
STATEMENT: select * from aa where ((4-3)/a>1 and a>0);
下面是执行计划的结构体:
/* ----------------
* PlannedStmt node
*
* The output of the planner is a Plan tree headed by a PlannedStmt node.
* PlannedStmt holds the "one time" information needed by the executor.
* ----------------
*/
typedef struct PlannedStmt
{
NodeTag type;

CmdType commandType; /* select|insert|update|delete */

uint32 queryId; /* query identifier (copied from Query) */

bool hasReturning; /* is it insert|update|delete RETURNING? */

bool hasModifyingCTE; /* has insert|update|delete in WITH? */

bool canSetTag; /* do I set the command result tag? */

bool transientPlan; /* redo plan when TransactionXmin changes? */

struct Plan *planTree; /* tree of Plan nodes */

List *rtable; /* list of RangeTblEntry nodes */

/* rtable indexes of target relations for INSERT/UPDATE/DELETE */
List *resultRelations; /* integer list of RT indexes,or NIL */

Node *utilityStmt; /* non-null if this is DECLARE CURSOR */

List *subplans; /* Plan trees for SubPlan expressions */

Bitmapset *rewindPlanIDs; /* indices of subplans that require REWIND */

List *rowMarks; /* a list of PlanRowMark's */

List *relationOids; /* OIDs of relations the plan depends on */

List *invalItems; /* other dependencies,as PlanInvalItems */

int nParamExec; /* number of PARAM_EXEC Params used */
} PlannedStmt;

rewrite未对节点的顺序进行修改,这里就不做讨论了,下面是执行计划,这对节点的顺序发生了修改

LOG: plan:
DETAIL: {PLANNEDSTMT
:commandType 1
:queryId 0
:hasReturning false
:hasModifyingCTE false
:canSetTag true
:transientPlan false
:planTree
{SEQSCAN //执行计划看到的估算值
:startup_cost 0.00
:total_cost 47.45
:plan_rows 238
:plan_width 8
:targetlist (
{TARGETENTRY
:expr
{VAR
:varno 1
:varattno 1
:vartype 23
:vartypmod -1
:varcollid 0
:varlevelsup 0
:varnoold 1
:varoattno 1
:location 7
}
:resno 1
:resname a
:ressortgroupref 0
:resorigtbl 16384
:resorigcol 1
:resjunk false
}
{TARGETENTRY
:expr
{VAR
:varno 1
:varattno 2
:vartype 23
:vartypmod -1
:varcollid 0
:varlevelsup 0
:varnoold 1
:varoattno 2
:location 7
}
:resno 2
:resname b
:ressortgroupref 0
:resorigtbl 16384
:resorigcol 2
:resjunk false
}
)
:qual (
{OPEXPR
:opno 521
:opfuncid 147
:opresulttype 16
:opretset false
:opcollid 0
:inputcollid 0
:args (
{VAR
:varno 1
:varattno 1
:vartype 23
:vartypmod -1
:varcollid 0
:varlevelsup 0
:varnoold 1
:varoattno 1
:location 38
}
{CONST
:consttype 23
:consttypmod -1
:constcollid 0
:constlen 4
:constbyval true
:constisnull false
:location 40
:constvalue 4 [ 0 0 0 0 0 0 0 0 ]
}
)
:location 39
}
{OPEXPR
:opno 521
:opfuncid 147
:opresulttype 16
:opretset false
:opcollid 0
:inputcollid 0
:args (
{OPEXPR
:opno 528
:opfuncid 154
:opresulttype 23
:opretset false
:opcollid 0
:inputcollid 0
:args (
{CONST
:consttype 23
:consttypmod -1
:constcollid 0
:constlen 4
:constbyval true
:constisnull false
:location -1
:constvalue 4 [ 1 0 0 0 0 0 0 0 ]
}
{VAR
:varno 1
:varattno 1
:vartype 23
:vartypmod -1
:varcollid 0
:varlevelsup 0
:varnoold 1
:varoattno 1
:location 30
}
)
:location 29
}
{CONST
:consttype 23
:consttypmod -1
:constcollid 0
:constlen 4
:constbyval true
:constisnull false
:location 32
:constvalue 4 [ 1 0 0 0 0 0 0 0 ]
}
)
:location 31
}
)
:lefttree <>
:righttree <>
:initPlan <>
:extParam (b)
:allParam (b)
:scanrelid 1
}
:rtable (
{RTE
:alias <>
:eref
{ALIAS
:aliasname aa
:colnames ("a" "b")
}
:rtekind 0
:relid 16384
:relkind r
:inh false
:inFromCl true
:requiredPerms 2
:checkAsUser 0
:selectedCols (b 9 10)
:modifiedCols (b)
}
)
:resultRelations <>
:utilityStmt <>
:subplans <>
:rewindPlanIDs (b)
:rowMarks <>
:relationOids (o 16384)
:invalItems <>
:nParamExec 0
}
STATEMENT: select * from aa where ((4-3)/a>1 and a>0);

经过查看,对一个查询做的操作如下(在此以上述的sql语句为例分析,只是针对where后的语句),这是解析时生成的树的结构(重写为对其进行更改):
(4 - 3) / a > 1 and a > 0

location 25 27

location 26 30

location 29 32 38 40

location 31 39

location 34

下面是执行的顺序:
a > 0 and (4 - 3) / a > 1

location 25 27

location 26 30

location 38 40 29 32

location 39 31

location 34

首先对这颗树进行介绍(以执行计划的顺序介绍,其中首先是进行了操作符优先级的解析,gram里解析的):
首先,这里的都是二叉树结构的,以深度优先进行遍历的,其中根节点是and(location:34),两个子节点分别是(a>0) 和 (4-3)/a>1 。
其中左子又以">"为根结点,a和0作为子节点,同样的右子是以">"为根结点,(4-3)/a和1为子节点,而(4-3)又是以"-"为根结点,4和3为
子节点。
当执行时,首先进行的是39节点的操作(a>0),而后进行的是26节点的操作(4-3),再进行29节点的操作(26,30节点的"/"操作),再进行31节点的操作,
然后在对39,40两个节点进行and操作。
原文链接:https://www.f2er.com/postgresql/196200.html

猜你在找的Postgre SQL相关文章