基本 SQL 语言语法

                        基本 SQL 语言语法

说明：
方括号间的选项为可选选项；
斜杠间的选项为默认选项；

#################### select 子句 ####################

subquery ::=
    SELECT [/ALL/ | DISTINCT] {* | expr [[AS] c_alias] [, expr [[AS] c_alias]...]}
        FROM tableref
        [WHERE search_condition]
        [GROUP BY colname [, colname...]]
        [HAVING search_condition]
    | subquery {UNION [ALL] | INTERSECT [ALL] | EXCEPT [ALL]} subquery

select statement ::=
    subquery [ORDER BY result_column [/ASC/ | DESC] [, result_column [/ASC/ | DESC]...]];

说明：
INTERSECT [ALL] 和 EXCEPT [ALL] 是高级特性，不属于基本 SQL (Entry SQL-92)，但包含于 Core SQL-99

#####################################################

################# 表引用 (tableref) #################

tableref ::=
    tablename [[AS] corr_name [(colname [, colname...])]]
    | (subquery) [AS] corr_name [(colname [, colname...])]
    | tableref [/INNER/ | {LEFT | RIGHT | FULL} [OUTER]] JOIN tableref
        {ON search_condition | USING (colname [, colname...])}

from_clause ::=
    FROM tableref [, tableref...]

#####################################################

####################### 谓词 ########################

比较谓词
    expr θ {expr | (subquery)}
BETWEEN 谓词
    expr [NOT] BETWEEN expr and expr
量化比较谓词
    expr θ{SOME | ANY | All}(subquery)
IN 谓词
    expr [NOT] IN {(subquery) | (val [, val...])}
EXIST 谓词
    [NOT] EXIST (subquery)
IS NULL 谓词
    colname IS [NOT] NULL
LIKE 谓词
    colname [NOT] LIKE val [ESCAPE val]

说明：其中θ是 {<, <=, =, <>, >, >=} 中的一个

#####################################################

##################### 集合函数 ######################

set_function_name([/ALL/ | DISTINCT] colname) | COUNT(*)
其中 set_function_name 是 {COUNT, SUM, MAX, MIN, AVG} 中的一个。

#####################################################

########### 求解 select 语句的概念性步骤 ############

1. 对 from 子句中的所有表做关系乘积；
2. 删除不满足 where 子句的行；
3. 根据 group by 子句对剩余的行进行分组；
4. 删除不满足 having 子句的值；
5. 求出 select 子句选择列表中的表达式的值；
6. 若有关键字 distinct 存在，则删除重复的行；
7. 求解子查询的 union、intersect 和 except；
8. 若有 order by 子句存在，则对所有选出来的行进行排序。

#####################################################





#################### insert 子句 ####################

INSERT INTO tablename [(colname [, colname...])]
    {VALUES (expr | NULL [, expr | NULL...]) | subquery};

#####################################################





#################### update 子句 ####################

UPDATE tablename
    SET colname = {expr | NULL | (subquery)}
        [, colname = {expr | NULL | (subquery)}...]
    [WHERE search_condition];

#####################################################





#################### delete 子句 ####################

DELETE FROM tablename
    [WHERE search_condition];

#####################################################





################# create table 子句 #################

CREATE TABLE [schema.]tablename
    ({colname datatype [DEFAULT {default_constant | /NULL/}] [col_constr [col_constr...]]
        | table_constr}
    [,{colname datatype [DEFAULT {default_constant | /NULL/}] [col_constr [col_col_constr...]]
        | table_constr}
    ...]);

#####################################################

################ 列约束 (col_constr) ################

{NOT NULL |
    [CONSTRAINT constraintname]
    UNIQUE
    | PRIMARY KEY
    | CHECK (search_condition)
    | REFERENCES tablename [(colname)]
        [ON DELETE CASCADE]}

说明：除了 NOT NULL 之外的约束均可以起名。

#####################################################

############### 表约束 (table_constr) ###############

[CONSTRAINT constraintname]
    {UNIQUE (colname [, colname...])
    | PRIMARY KEY (colname [, colname...])
    | CHECK (search_condition)
    | FOREIGN KEY (colname [, colname...])
        REFERENCES tablename [(colname [, colname...])]
            [ON DELETE CASCADE]}

说明：除了 NOT NULL 之外的约束均可以起名。

#####################################################