Как называется этот язык, который описывает синтаксис языка?

Question

например:

<SELECT statement> ::=  
    [WITH <common_table_expression> [,...n]]
    <query_expression> 
    [ ORDER BY { order_by_expression | column_position [ ASC | DESC ] } 
  [ ,...n ] ] 
    [ COMPUTE 
  { { AVG | COUNT | MAX | MIN | SUM } ( expression ) } [ ,...n ] 
  [ BY expression [ ,...n ] ] 
    ] 
    [ <FOR Clause>] 
    [ OPTION ( <query_hint> [ ,...n ] ) ] 
<query_expression> ::= 
    { <query_specification> | ( <query_expression> ) } 
    [  { UNION [ ALL ] | EXCEPT | INTERSECT }
        <query_specification> | ( <query_expression> ) [...n ] ] 
<query_specification> ::= 
SELECT [ ALL | DISTINCT ] 
    [TOP expression [PERCENT] [ WITH TIES ] ] 
    < select_list > 
    [ INTO new_table ] 
    [ FROM { <table_source> } [ ,...n ] ] 
    [ WHERE <search_condition> ] 
    [ <GROUP BY> ] 
    [ HAVING < search_condition > ] 

как называется язык?

Answer 1

Это Форма Бэкуса-Наура , фактически Расширенная Форма Бэкуса-Наура .

Answer 2

Это не язык, а формальное описание синтаксиса (в данном случае для операторов выбора SQL) в BNF (форма Бэкуса-Наура).

Answer 3

Это немного похоже на определение части SQL в BNF.

Answer 4

Поскольку в приведенном вами примере используются «необязательные» скобки [...], на самом деле это Расширенная форма Backus Naur .