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