怎么理解PostgreSQL语法分析中的上下文无关语法

本篇内容介绍了“怎么理解postgresql语法分析中的上下文无关语法”的有关知识，在实际案例的操作过程中，不少人都会遇到这样的困境，接下来就让小编带领大家学习一下如何处理这些情况吧！希望大家仔细阅读，能够学有所成！

一、上下文无关语法

基本概念
下面是来自维基百科的解释

上下文无关文法(语法)（英语：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 = ‘’

“怎么理解PostgreSQL语法分析中的上下文无关语法”的内容就介绍到这里了，感谢大家的阅读。如果想了解更多行业相关的知识可以关注编程网网站，小编将为大家输出更多高质量的实用文章！