“<标签> ::=”这个语法规则是怎么样看，请帮帮忙！

Question

规范 用于 
大写 Transact-SQL 关键字。 
斜体 Transact-SQL 语法中用户提供的参数。 
| （竖线） 分隔括号或大括号内的语法项目。只能选择一个项目。 
[ ] （方括号） 可选语法项目。不必键入方括号。 
{}（大括号） 必选语法项。不要键入大括号。 
[ ,...n ] 表示前面的项可重复 n 次。每一项由逗号分隔。 
[ ...n ] 表示前面的项可重复 n 次。每一项由空格分隔。 
加粗 数据库名、表名、列名、索引名、存储过程、实用工具、数据类型名以及必须按所显示的原样键入的文本。 
<标签> ::= 语法块的名称。此规则用于对可在语句中的多个位置使用的过长语法或语法单元部分进行分组和标记。适合使用语法块的每个位置由括在尖括号内的标签表示：<标签>。 
就是“<标签> ::=”这个标签不知道何意。
ALTER TABLE
通过更改、添加、除去列和约束，或者通过启用或禁用约束和触发器来更改表的定义。语法
ALTER TABLE table 
{ [ ALTER COLUMN column_name 
    { new_data_type [ ( precision [ , scale ] ) ]
        [ COLLATE < collation_name > ]
        [ NULL | NOT NULL ]
        | {ADD | DROP } ROWGUIDCOL }
    ] 
    | ADD
        { [ < column_definition > ]
        | column_name AS computed_column_expression
        } [ ,...n ]
    | [ WITH CHECK | WITH NOCHECK ] ADD
        { < table_constraint > } [ ,...n ] 
    | DROP
        { [ CONSTRAINT ] constraint_name 
            | COLUMN column } [ ,...n ] 
    | { CHECK | NOCHECK } CONSTRAINT
        { ALL | constraint_name [ ,...n ] }
    | { ENABLE | DISABLE } TRIGGER
        { ALL | trigger_name [ ,...n ] } 
}< column_definition > ::=
    { column_name data_type }
    [ [ DEFAULT constant_expression ] [ WITH VALUES ]
    | [ IDENTITY [ ( seed , increment ) [ NOT FOR REPLICATION ] ] ]
        ] 
    [ ROWGUIDCOL ]
    [ COLLATE < collation_name > ]
    [ < column_constraint > ] [ ...n ]< column_constraint > ::=
    [ CONSTRAINT constraint_name ]
    { [ NULL | NOT NULL ]
        | [ { PRIMARY KEY | UNIQUE }
            [ CLUSTERED | NONCLUSTERED ]
            [ WITH FILLFACTOR = fillfactor ]
            [ ON { filegroup | DEFAULT } ]
            ] 
        | [ [ FOREIGN KEY ]
            REFERENCES ref_table [ ( ref_column ) ]
            [ ON DELETE { CASCADE | NO ACTION } ]
            [ ON UPDATE { CASCADE | NO ACTION } ]
            [ NOT FOR REPLICATION ]
            ] 
        | CHECK [ NOT FOR REPLICATION ]
            ( logical_expression ) 
    }< table_constraint > ::=
    [ CONSTRAINT constraint_name ]
    { [ { PRIMARY KEY | UNIQUE }
        [ CLUSTERED | NONCLUSTERED ]
        { ( column [ ,...n ] ) } 
        [ WITH FILLFACTOR = fillfactor ]
        [ ON { filegroup | DEFAULT } ]
        ] 
        |    FOREIGN KEY
            [ ( column [ ,...n ] ) ]
            REFERENCES ref_table [ ( ref_column [ ,...n ] ) ]
            [ ON DELETE { CASCADE | NO ACTION } ]
            [ ON UPDATE { CASCADE | NO ACTION } ]
            [ NOT FOR REPLICATION ]
        | DEFAULT constant_expression
            [ FOR column ] [ WITH VALUES ]
        |    CHECK [ NOT FOR REPLICATION ]
            ( search_conditions ) 
    }

Answer 1

不好解释
表示 < column_definition > 可以有 哪些写法< column_definition > ::=
    { column_name data_type }
    [ [ DEFAULT constant_expression ] [ WITH VALUES ]
    | [ IDENTITY [ ( seed , increment ) [ NOT FOR REPLICATION ] ] ]
        ] 
    [ ROWGUIDCOL ]
    [ COLLATE < collation_name > ]
    [ < column_constraint > ] [ ...n ]

Answer 2

< column_definition >
< column_constraint >
< table_constraint >
的内容太长, 所以不写在原句里, 而是抽出写在后面, 这样使语法结构易读些
就像是代数中的换元法
(a+b)(a+b)+1/(a+b) 这个式子太长, 我可以设x=a+b, 式子可简化为x*x+1/x
这样的好处一个使式子好懂, 特别是当被替代的长内容出现多次, 就更显简化

Answer 3

下表列出了 Transact-SQL 参考的语法关系图中使用的约定，并进行了说明。约定  用于  
大写
 Transact-SQL 关键字。
 
斜体 
 用户提供的 Transact-SQL 语法的参数。
 
粗体 
 数据库名、表名、列名、索引名、存储过程、实用工具、数据类型名以及必须按所显示的原样键入的文本。
 
下划线 
 指示当语句中省略了包含带下划线的值的子句时应用的默认值。
 
|（竖线）
 分隔括号或大括号中的语法项。只能使用其中一项。
 
[ ]（方括号）
 可选语法项。不要键入方括号。
 
{ }（大括号）
 必选语法项。不要键入大括号。
 
[,...n]
 指示前面的项可以重复 n 次。各项之间以逗号分隔。
 
[...n]
 指示前面的项可以重复 n 次。每一项由空格分隔。
 
;
 Transact-SQL 语句终止符。虽然在此版本的 SQL Server 中大部分语句不需要分号，但将来的版本需要分号。
 
<label> ::=
 语法块的名称。此约定用于对可在语句中的多个位置使用的过长语法段或语法单元进行分组和标记。可使用语法块的每个位置由括在尖括号内的标签指示：<标签>。集是表达式的集合，例如 <分组集>；列表是集的集合，例如 <组合元素列表>。
 

Answer 4

这种语法描述方式叫BNF，“编译原理”课程都有讲，参看：
http://en.wikipedia.org/wiki/Backus–Naur_Form
http://baike.baidu.com/view/1137652.htm规则4楼已经说了。BNF可以严谨地描述一个语言的语法规则，但复杂的语法（比如CREATE TABLE、ALTER DATABASE）人工看的时候很累。我一般查看一个语句的语法时，先看有没有示例，没有示例再去深挖BNF的描述。这样效率或许高点。