Structured Query Language，结构化查询语言
理论依据
ref: SQL - 维基百科，自由的百科全书
SQL 是关系化查询语言，基于关系代数和关系演算，属于一阶逻辑的分支。其基础是数理逻辑和集合论。
SQL 是非过程化语言，是声明式的，无法用直接编程过程。从图灵机看，标准的 SQL 是非图灵完备的语言。
语法结构
组成部分：
- 子句 clause：语句或者查询的组成部分
- 表达式 expression：产生标量值或者数据库表
- 谓词 predicate：三值逻辑，true/false/unknown，限制语句和查询的效果，改变程序流程。表示了一个“判断”的过程。
- 语句 statement