輸入一條SQL語句,PostgreSQL如何解析輸入的SQL,識別SQL型別以及基表/欄位等資訊?接下來的幾節將逐一進行解析.
本節介紹了語法分析中的上下文無關語法.

### 一、上下文無關語法
**基本概念**
下面是來自維基百科的解釋
>>上下文無關文法(語法)（英語：context-free grammar，縮寫為CFG），在電腦科學中，若一個形式文法 G = (N, Σ, P, S) 的產生式規則都取如下的形式：V -> w，則謂之。其中 V∈N ，w∈(N∪Σ)* 。上下文無關文法取名為“上下文無關”的原因就是因為字元 V 總可以被字串 w 自由替換，而無需考慮字元 V 出現的上下文。一個形式語言是上下文無關的，如果它是由上下文無關文法生成的（條目上下文無關語言）。
上下文無關文法重要的原因在於它們擁有足夠強的表達力來表示大多數程式設計語言(包括SQL)的語法；實際上，幾乎所有程式設計語言都是透過上下文無關文法來定義的。另一方面，上下文無關文法又足夠簡單，使得我們可以構造有效的分析演算法來檢驗一個給定字串是否是由某個上下文無關文法產生的。BNF（巴克斯-諾爾正規化）經常用來表達上下文無關文法。

**形式定義**
>>上下文無關文法 G 是 4-元組：
G = ( V , Σ , R , S ) 這裡的
1. V 是“非終結”符號或變數的有限集合。它們表示在句子中不同型別的短語或子句。
2. Σ 是“終結符”的有限集合，無交集於 V，它們構成了句子的實際內容。
3. S 是開始變數，用來表示整個句子（或程式）。它必須是 V 的元素。
4. R 是從 V 到 (V∪Σ)∗的關係，使得∃w∈(V∪Σ)∗:(S,w)∈R。
此外， R是有限集合。 R 的成員叫做語法的“規則”或“產生式”。星號表示Kleene星號運算。

**示例**
比如我們可以定義一種簡單查詢語句,其上下文無關語法:
簡單查詢語句 = ( V , Σ , R , S )
其中:
V = {QUERY,STMT_SELECT,STMT_FROM,STMT_WHERE,OBJECT,VAR,EXPR}
S = {QUERY}
Σ = {select,from,where,[a-z][a-z0-9]+,[a-z][a-z0-9]\*,'}
R :
QUERY -> STMT_SELECT STMT_FROM STMT_WHERE
OBJECT -> [a-z][a-z0-9]+
VAR -> ['[a-z][a-z0-9]\*']
EXPR -> OBJECT = VAR
STMT_SELECT -> select OBJECT[,OBJECT]\*
STMT_FROM -> from OBJECT[,OBJECT]\*
STMT_WHERE -> where EXPR

按此上下文無關語法,可以得到該簡單查詢語句的一些樣例語句:
select a1,b2,aaacbdre from t1,t2 where c1 = 'axx1'
select c1,c2,xx from e1,t2xx where c1 = ''

### 二、參考資料
[上下文無關文法](https://zh.wikipedia.org/wiki/%E4%B8%8A%E4%B8%8B%E6%96%87%E6%97%A0%E5%85%B3%E6%96%87%E6%B3%95)

PostgreSQL 原始碼解讀（166）- 查詢#86(基礎知識-上下文無關語法)

相關文章