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> ] 

我不在這裏？我確信有一個竅門，但我只是沒有看到它。

我希望你們的一些傑出人物能向我解釋這件事對我來說是怎樣的語法。

如何構建一個讓我們說一個遞歸體面的解析器來解決這個語法？

解析器需要遵循哪些步驟和/或規則？

最好的問候， 布賴恩·安德森