PostgreSQL服务过程中的那些事二：Pg服务进程处理简单查询二：SQL解析为parsetree

        话说查询“selectcname, comp from test1, test2 where test1.id=test2.id;” 发送到服务器端，走查询分支exec_simple_query，先调用start_xact_command初始化了事务管理相关对象和资源，接着调用pg_parse_query，通过Lex和Yacc对传入SQL语句进行词法语法解析，生成解析树。

1

下面是解析SQL语句的调用序列图。

Postgres服务进程简查之开始事务调用序列图

 

         上图红色方框中显示了解析SQL语句的方法调用过程，在raw_parser方法中对SQL语句进行词法、语法解析并返回解析树parsetree的列表，因为传入的SQL串（从客户端传入）可能有多个命令。

 

        通过Lex和Yacc对传入SQL语句进行词法语法解析，主要是把SQL语句里的目前字段、DISTINCT子句、FROM子句、WHERE子句、GROUP BY子句、HAVING子句、ORDER BY子句等解析到各自对应的结构中，组织成各自的数据结构，最后组成解析树parsetree。分析完后对应SQL语句“selectcname, comp from test1, test2 where test1.id=test2.id;”的解析树结构如下图：

例子中SQL语句对应的解析树结构

pg输出的解析树如下：

2011-11-2306:57:39 HKT DETAIL:    

           {QUERY

           :commandType 1

           :querySource 0

           :canSetTag true

           :utilityStmt <>

           :resultRelation 0

           :intoClause <>

           :hasAggs false

           :hasWindowFuncs false

           :hasSubLinks false

           :hasDistinctOn false

           :hasRecursive false

           :hasModifyingCTE false

           :hasForUpdate false

           :cteList <>

           :rtable (

              {RTE

              :alias <>

              :eref

                 {ALIAS

                 :aliasname pg_type

                 :colnames ("typname" "typnamespace""typowner" "typlen" "typbyval" "t

                 yptype" "typcategory" "typispreferred""typisdefined" "typdelim" "typ

                 relid" "typelem" "typarray""typinput" "typoutput" "typreceive" "typs

                 end" "typmodin" "typmodout""typanalyze" "typalign" "typstorage" "typ

                 notnull" "typbasetype" "typtypmod""typndims" "typcollation" "typdefa

                 ultbin" "typdefault")

                 }

               :rtekind 0

              :relid 1247

              :relkind r

              :inh true

              :inFromCl true

              :requiredPerms 2

              :checkAsUser 0

              :selectedCols (b 6)

              :modifiedCols (b)

              }

           )

           :jointree

              {FROMEXPR

              :fromlist (

                 {RANGETBLREF

                 :rtindex 1

                 }

              )

              :quals

                 {OPEXPR

                 :opno 607

                 :opfuncid 184

                 :opresulttype 16

                 :opretset false

                 :opcollid 0

                 :inputcollid 0

                 :args (

                     {VAR

                     :varno 1

                     :varattno -2

                     :vartype 26

                     :vartypmod -1

                     :varcollid 0

                     :varlevelsup 0

                     :varnoold 1

                     :varoattno -2

                    :location 57

                     }

                     {RELABELTYPE

                     :arg

                        {CONST

                        :consttype 23

                        :consttypmod -1

                        :constcollid 0

                        :constlen 4

                        :constbyval true

                        :constisnull false

                        :location 63

                        :constvalue 4 [ 19 4 0 0 ]

                        }

                     :resulttype 26

                     :resulttypmod -1

                     :resultcollid 0

                     :relabelformat 2

                     :location -1

                     }

                 )

                 :location 61

                 }

              }

           :targetList (

              {TARGETENTRY

              :expr

                 {FUNCEXPR

                 :funcid 1081

                 :funcresulttype 25

                 :funcretset false

                 :funcformat 0

                 :funccollid 100

                 :inputcollid 0

                 :args (

                     {VAR

                     :varno 1

                     :varattno -2

                     :vartype 26

                     :vartypmod -1

                     :varcollid 0

                    :varlevelsup 0

                     :varnoold 1

                     :varoattno -2

                     :location 19

                     }

                     {CONST

                     :consttype 23

                     :consttypmod -1

                     :constcollid 0

                     :constlen 4

                    :constbyval true

                     :constisnull false

                     :location 23

                     :constvalue 4 [ 34 0 0 0 ]

                     }

                 )

                 :location 7

                 }

              :resno 1

              :resname typname

              :ressortgroupref 0

               :resorigtbl 0

              :resorigcol 0

              :resjunk false

              }

           )

           :returningList <>

           :groupClause <>

           :havingQual <>

           :windowClause <>

           :distinctClause <>

           :sortClause <>

           :limitOffset <>

           :limitCount <>

           :rowMarks <>

           :setOperations <>

           :constraintDeps <>

           }

 

         关于进行词法语法分析的Lex和Yacc请参考下面的资料，这些内容引自博客文章《一天之内不再畏惧lex&yacc之必备参考资料》，url是http://blog.sciencenet.cn/blog-419883-309595.html

1.  Lex and YACC primer/HOWTO http://tldp.org/HOWTO/Lex-YACC-HOWTO.html ，短短20页，足够让你建立自信，一个上午足够了吧。
2. A Compact Guide to Lex & Yacc http://epaperpress.com/lexandyacc/ ,修行再提高一步，一个下午搞定。
3. 创始人写的书你得看看吧，Lex and yacc, By John R. Levine, Tony Mason, Doug Brown ，不能下载，没关系，这里有：http://www.filefront.com/16046001/lex--yacc.pdf/ ，第五章Parsing SQL你不看一看？晚上吃完饭在教室里摆开架势三个小时敲定这短短30页的第5章，一气呵成，搞定。

有这三篇文档给你揣在兜里，我想你走路的时候应该“保劲”吧。

 

 

------------
转载请注明出处，来自博客：
blog.csdn.net/beiigang
beigang.iteye.com