Stuck在连接子句中解析SQL Select语句（包括BNF语法）

Question

我很努力地理解这个SQL语法如何用来解析下面从解析器提供的SQL语句。我被困在WHERE标记之后的'Table reference'和'join'构造中。

BNF：http://www.contrib.andrew.cmu.edu/~shadow/sql/sql2bnf.aug92.txt

<table reference> ::= 
     <table name> [ <correlation specification> ] 
    | <derived table> <correlation specification> 
    | <joined table> 

<joined table> ::= 
     <cross join> 
    | <qualified join> 
    | <left paren> <joined table> <right paren> 

<cross join> ::= 
     <table reference> CROSS JOIN <table reference> 

<qualified join> ::= 
     <table reference> [ NATURAL ] [ <join type> ] JOIN <table reference> [ <join specification> ] 

<join type> ::= 
     INNER 
    | <outer join type> [ OUTER ] 
    | UNION 

<outer join type> ::= LEFT | RIGHT | FULL 

<join specification> ::= <join condition> | <named columns join> 

<join condition> ::= ON <search condition> 

<named columns join> ::= USING <left paren> <join column list> <right paren> 

SQL：

SELECT p.Name, v.Name 
FROM Production.Product p 
JOIN Purchasing.ProductVendor pv 
ON p.ProductID = pv.ProductID 
JOIN Purchasing.Vendor v 
ON pv.BusinessEntityID = v.BusinessEntityID 
WHERE ProductSubcategoryID = 15 
ORDER BY v.Name; 

跳转到FROM caluse。这里有一个TableName，后面跟着两个JOIN。

如果你看'表引用'，那么你会发现它包含'表名'。这我可以理解。

<table reference> ::= 
     **<table name> [ <correlation specification> ]** 
    | <derived table> <correlation specification> 
    | <joined table> 

但要获得参加解析器必须达到“加盟表”，它不能因为这一切准备好读“表名”。

要到达连接，解析器必须达到'合格连接'，但它不能因为BNF中没有重复。如果它以某种方式到达'Join table'元素，那么如果再次读取'Table reference'，然后再次到达'Qualifed join'，那么将会非常失望，并且....然后你会发生堆栈溢出。

<joined table> ::= 
     <cross join> 
    | <**qualified join>** 
    | <left paren> <joined table> <right paren> 

**<qualified join>** ::= 
     <table reference> [ NATURAL ] [ <join type> ] JOIN <table reference> [ <join specification> ] 

我不在这里？我确信有一个窍门，但我只是没有看到它。

我希望你们的一些杰出人物能向我解释这件事对我来说是怎样的语法。

如何构建一个让我们说一个递归体面的解析器来解决这个语法？

解析器需要遵循哪些步骤和/或规则？

最好的问候， 布赖恩·安德森