TiDB 3.0:窗口函数初体验

SQL:2003 是 SQL 标准的第四个修订版, 该版本引入了若干新特性,其中便包括窗口函数 (SQL Window Function)。在 Oracle 数据库中窗口函数被称作『分析函数』(Analytics Functions), 其他主流数据库产品也都有各自的实现。MySQL 于版本 8.0.2(2017 年 7 月发布)开始支持一部分窗口函数语法,TiDB 则于 版本 3.0 1 (2019 年 6 月发布) 实现了与 MySQL 兼容的语法支持。

本文尝试在 TiDB 3.0 上运行一些包含窗口函数调用语法的 SQL,实地体验一下 TiDB 对窗口函数的支持。

准备环境

  • 准备 TiDB 3.0 环境 。若手边有一套 TiDB 3.0 环境,则足以运行本文后面列出的所有 SQL。建议在非生产环境执行这些 SQL,以免影响到线上业务。如果手边没有合适的 TiDB 3.0 环境,建议在个人电脑上以 Docker 形式运行 Standalone 模式的 TiDB Server。 这里 1 列出了具体的做法。
  • 开启 TiDB 窗口函数支持 。全局变量 tidb_enable_window_function 须设置为 1。在我使用的测试环境里,把 TiDB 从版本 v2.1.x 升级到 3.0.1 之后,该变量虽然默认被置为了 1,但仍然无法识别窗口函数语法。 须再次手动设定一下方才生效。具体细节可参考 这里 .

复制代码

tidb> set global tidb_enable_window_function = 1;
Query OK, 0 rows affected (0.01 sec)
{1}
{1}tidb> show variables like '%window%';
+-----------------------------+-------+
| Variable_name | Value |
+-----------------------------+-------+
| tidb_enable_window_function | 1 |
+-----------------------------+-------+
1 row in set (0.01 sec)
  • 准备测试数据 。运行本文后面列出的 SQL 需要一个名为 sample_db.emp 的表以及少量测试数据。我在 这里 准备了一个 SQL 脚本,不妨直接导入。

复制代码

tidb>show create table sample_db.emp \G
***************************1. row***************************
Table: EMP
Create Table: CREATE TABLE `EMP` (
`EMPNO` int(11) NOT NULL,
`ENAME` varchar(10) DEFAULT NULL,
`JOB` varchar(9) DEFAULT NULL,
`MGR` int(11) DEFAULT NULL,
`HIREDATE` date DEFAULT NULL,
`SAL` int(11) DEFAULT NULL,
`COMM` int(11) DEFAULT NULL,
`DEPTNO` int(11) DEFAULT NULL,
PRIMARY KEY (`EMPNO`)
) ENGINE=InnoDB DEFAULT CHARSET=utf8mb4 COLLATE=utf8mb4_bin
1 row in set (0.00 sec)

tidb>select*from sample_db.emp;
+-------+--------+-----------+------+------------+------+------+--------+
|EMPNO|ENAME|JOB|MGR|HIREDATE|SAL|COMM|DEPTNO|
+-------+--------+-----------+------+------------+------+------+--------+
|7369|SMITH|CLERK|7902|1980-12-17|800|NULL|20|
|7499|ALLEN|SALESMAN|7698|1981-02-20|1600|300|30|
|7521|WARD|SALESMAN|7698|1981-02-22|1250|500|30|
|7566|JONES|MANAGER|7839|1981-04-02|2975|NULL|20|
|7654|MARTIN|SALESMAN|7698|1981-09-28|1250|1400|30|
|7698|BLAKE|MANAGER|7839|1981-05-01|2850|NULL|30|
|7782|CLARK|MANAGER|7839|1981-06-09|2450|NULL|10|
|7788|SCOTT|ANALYST|7566|1982-12-09|3000|NULL|20|
|7839|KING|PRESIDENT|NULL|1981-11-17|5000|NULL|10|
|7844|TURNER|SALESMAN|7698|1981-09-08|1500|0|30|
|7876|ADAMS|CLERK|7788|1983-01-12|1100|NULL|20|
|7900|JAMES|CLERK|7698|1981-12-03|950|NULL|30|
|7902|FORD|ANALYST|7566|1981-12-03|3000|NULL|20|
|7934|MILLER|CLERK|7782|1982-01-23|1300|NULL|10|
+-------+--------+-----------+------+------------+------+------+--------+
14 rows in set (0.00 sec)

上面几项就绪,则不妨试着执行下述 SQL 验证一下环境:

复制代码

tidb>select
-> ENAME,
-> DEPTNO,
-> count(*) over(partition by DEPTNO) as dept_cnt
-> from EMP
-> order by DEPTNO
-> ;
+--------+--------+----------+
|ENAME|DEPTNO|dept_cnt|
+--------+--------+----------+
|CLARK|10|3|
|KING|10|3|
|MILLER|10|3|
|FORD|20|5|
|ADAMS|20|5|
|JONES|20|5|
|SCOTT|20|5|
|SMITH|20|5|
|MARTIN|30|6|
|TURNER|30|6|
|WARD|30|6|
|JAMES|30|6|
|ALLEN|30|6|
|BLAKE|30|6|
+--------+--------+----------+
14 rows in set (0.00 sec)

如果在你的环境里也能成功执行,并输出相同结果,则证明环境搭建成功。

SQL 分组操作

什么是『SQL 分组操作』(SQL Grouping)?一言以蔽之,凡是使用了 GROUP BY 的 SELECT 语句都在执行 SQL 分组操作。那么,它和窗口函数有什么关系呢?分组是窗口函数的基础。我们也可以这么说,『 窗口函数是更为高级的 SQL 分组操作 』。

下面我们来执行一个有分组操作的 SQL,列出 EMP 表中员工人数超过 3 人的部门:

复制代码

tidb>selectDEPTNO, count(*)
->fromEMP
->groupbyDEPTNO
->havingcount(*) >3
->orderbycount(*)desc;
+--------+----------+
| DEPTNO | count(*) |
+--------+----------+
|30|6|
|20|5|
+--------+----------+
2rowsinset(0.00sec)

上述 SQL 按照部门编号( DEPTNO )把 EMP 表的数据记录分成了三组(使用 GROUP BY 分组,结果如下所示),分别计算每个分组包含多少行记录(调用聚合函数 COUNT(*)),最后筛选出记录行数超过 3 的分组(使用 HAVING 关键字)。

复制代码

tidb>select*from EMP order by DEPTNO;
+-------+--------+-----------+------+------------+------+------+--------+
|EMPNO|ENAME|JOB|MGR|HIREDATE|SAL|COMM|DEPTNO|
+-------+--------+-----------+------+------------+------+------+--------+
|7782|CLARK|MANAGER|7839|1981-06-09|2450|NULL|10|
|7839|KING|PRESIDENT|NULL|1981-11-17|5000|NULL|10|
|7934|MILLER|CLERK|7782|1982-01-23|1300|NULL|10|
|7902|FORD|ANALYST|7566|1981-12-03|3000|NULL|20|
|7876|ADAMS|CLERK|7788|1983-01-12|1100|NULL|20|
|7566|JONES|MANAGER|7839|1981-04-02|2975|NULL|20|
|7788|SCOTT|ANALYST|7566|1982-12-09|3000|NULL|20|
|7369|SMITH|CLERK|7902|1980-12-17|800|NULL|20|
|7654|MARTIN|SALESMAN|7698|1981-09-28|1250|1400|30|
|7844|TURNER|SALESMAN|7698|1981-09-08|1500|0|30|
|7521|WARD|SALESMAN|7698|1981-02-22|1250|500|30|
|7900|JAMES|CLERK|7698|1981-12-03|950|NULL|30|
|7499|ALLEN|SALESMAN|7698|1981-02-20|1600|300|30|
|7698|BLAKE|MANAGER|7839|1981-05-01|2850|NULL|30|
+-------+--------+-----------+------+------------+------+------+--------+
14 rows in set (0.00 sec)

SQL 分组操作有几个要点:

  • 聚合函数(Aggregate Function,也可以叫 GROUP BY Function):通常而言,分组是为了执行聚合函数,而聚合函数一定会把某个分组作为运算对象。除了上面使用到的 COUNT,常见的聚合函数还有 AVG(求均值),SUM(求和) 和 MAX(求最大值)等。TiDB 支持的聚合函数列表在 这里 1 .

  • 大多数聚合函数都会忽略掉 NULL,唯独 COUNT(*) 例外。COUNT(_) 会直接计数相应分组的记录行数, 而不在意某个字段值是否为 NULL。如下述 SQL 所示,COUNT(_) 的计算结果是 14,COUNT(COMM) 的结果则为 4。这是因为 EMP 表中有 10 行记录 COMM 值都是 NULL。与此类似,AVG(COMM) 的计算结果是 COMM 字段不为 NULL 的 4 行记录的平均值:(1400 + 0 + 500 + 300) / 4 = 550。请注意,这里的除数是 4,不是 EMP 表总行数 14。

复制代码

tidb>select count(*), count(COMM), avg(COMM) from EMP;
+----------+-------------+-----------+
| count(*) | count(COMM) | avg(COMM) |
+----------+-------------+-----------+
| 14 | 4 | 550.0000 |
+----------+-------------+-----------+
1 row in set (0.01 sec)
  • 聚合函数一定要和 GROUP BY 一起出现吗?未必 。 上面的 SQL 使用到了 COUNT 和 AVG 函数,却没有出现 GROUP BY。我们不难猜到,COUNT 和 AVG 函数把 EMP 表里的全部记录当做一个『大分组』来处理了。在如下所示的 SQL 里,COUNT 函数则把所有匹配 JOB = 'CLERK' 的记录行归到了一个分组。这个例子说明, WHERE 条件会影响窗口函数的运算结果。

复制代码

tidb>selectcount(*)
-> from EMP
-> where JOB = 'CLERK';
+----------+
| count(*)|
+----------+
|4|
+----------+
1rowinset(0.00sec)
  • 可以只出现 GROUP BY,而不调用聚合函数吗?当然可以 。 下面第一个 SQL 筛选出 JOB = 'CLERK' 的记录,并按照部门编号分组, 最后提取出部门编号。从查询结果不难看出,GROUP BY 会自动去重。这和 DISTINCT 查询(下面第二个 SQL)效果一致。因此,有了 GROUP BY 就不需要使用 DISTINCT 去重。

复制代码

tidb>select DEPTNO
-> from EMP
-> where JOB = 'CLERK'
-> group by DEPTNO
-> order by DEPTNO;
+--------+
| DEPTNO |
+--------+
| 10 |
| 20 |
| 30 |
+--------+
3 rows in set (0.00 sec)

tidb>select distinct DEPTNO
-> from EMP
-> where JOB = 'CLERK'
-> order by DEPTNO;
+--------+
| DEPTNO |
+--------+
| 10 |
| 20 |
| 30 |
+--------+
3 rows in set (0.00 sec)
  • 建议开启 SQL 模式选项 ONLY_FULL_GROUP_BY 1 。开启了 ONLY_FULL_GROUP_BY 之后,在含有 GROUP BY 的 SELECT 语句里, SELECT 后面不能出现非聚合列。如下所示,sql_mode 变量里不含 ONLY_FULL_GROUP_BY 选项时,TiDB 允许一条不规范的 GROUP BY 语句成功执行(须注意, 此时查询结果里的 JOB 值可能与你的预期不符);加入了 ONLY_FULL_GROUP_BY 选项后,则 TiDB 会直接报错。

复制代码

tidb>showvariableslike'%sql_mode%';
+---------------+--------------------------------------------+
| Variable_name |Value|
+---------------+--------------------------------------------+
| sql_mode | STRICT_TRANS_TABLES,NO_ENGINE_SUBSTITUTION |
+---------------+--------------------------------------------+
1rowinset(0.00sec)

tidb>selectDEPTNO, JOB, count(*)
->fromEMP
->groupbyDEPTNO;
+--------+----------+----------+
| DEPTNO | JOB | count(*) |
+--------+----------+----------+
|10| MANAGER |3|
|30| SALESMAN |6|
|20| CLERK |5|
+--------+----------+----------+
3rowsinset(0.00sec)

tidb>setsql_mode ='STRICT_TRANS_TABLES,NO_ENGINE_SUBSTITUTION,ONLY_FULL_GROUP_BY';
Query OK,0rowsaffected (0.00sec)

tidb>selectDEPTNO, JOB, count(*)
->fromEMP
->groupbyDEPTNO;
ERROR1055(42000): Expression #2ofSELECTlistisnotinGROUPBYclauseandcontains nonaggregatedcolumn'JOB'whichisnotfunctionally dependentoncolumnsinGROUPBYclause; thisisincompatiblewithsql_mode=only_full_group_by

窗口函数入门

现在,不妨再回头看一遍『 准备环境 』一节我们执行过的那个 SQL,请注意这一行:

复制代码

count(*)over(partitionbyDEPTNO)asdept_cnt

我们关于窗口函数基本语法的介绍就从这一行代码展开。

OVER 关键字

当 COUNT 函数后面跟着 OVER 关键字,行为就发生变化了:TiDB 会把它当做窗口函数,而不是聚合函数。我们熟悉的那些聚合函数几乎都可以后接 OVER 关键字,从而摇身一变成为窗口函数。

TiDB 还提供了一些 非聚合窗口函数 (Non-aggregate Window Function),比如 ROW_NUMBERRANKLAGLEAD 。可以在 这里 1 找到TiDB 支持的非聚合窗口函数列表。这里,我们来看一个非聚合窗口函数的例子。下列SQL 调用 ROW_NUMBER 函数为员工自动编号:左数第一列是整个公司范围内的流水号,第二列则是部门内的流水号。这个 SQL 表明,ROW_NUMBER 会根据不同的数据窗口生成不同的流水号。

复制代码

tidb>select
-> ROW_NUMBER() over() as '#',
-> ROW_NUMBER() over(partition by DEPTNO) as '##',
-> ENAME,
-> DEPTNO
-> from EMP
-> order by DEPTNO;
+------+------+--------+--------+
|#|##|ENAME|DEPTNO|
+------+------+--------+--------+
|1|1|CLARK|10|
|2|2|KING|10|
|3|3|MILLER|10|
|4|1|FORD|20|
|5|2|ADAMS|20|
|6|3|JONES|20|
|7|4|SCOTT|20|
|8|5|SMITH|20|
|9|1|MARTIN|30|
|10|2|TURNER|30|
|11|3|WARD|30|
|12|4|JAMES|30|
|13|5|ALLEN|30|
|14|6|BLAKE|30|
+------+------+--------+--------+
14 rows in set (0.00 sec)

何时执行?

基本上,窗口函数代码的执行会被放在一个 SELECT 语句执行过程的最后面,但会早于 ORDER BY 和 LIMIT 等决定最终结果集展示的部分。因此,在一个 SELECT 语句里,原始数据集经过 FROM、JOIN、WHERE 和 GROUP BY 过滤后才会传递给窗口函数做进一步的计算处理。

我们来看下面这个例子。相较于前一个 SQL,下述 SQL 增加了过滤条件 DEPTNO = 10 。这导致部门编号等于 20 和 30 的记录行被提前过滤掉了,因此最后只有三行记录被查出来,而前一个 SQL 的查询结果则含有 14 行结果。两相对比,不难看出 TiDB 会先执行 WHERE 条件,后执行窗口函数。

复制代码

tidb>select
-> ROW_NUMBER() over()as'#',
-> ROW_NUMBER() over(partitionbyDEPTNO)as'##',
-> ENAME,
-> DEPTNO
-> from EMP
->whereDEPTNO =10
-> orderbyDEPTNO;
+------+------+--------+--------+
|# | ## | ENAME|DEPTNO|
+------+------+--------+--------+
| 1|1|CLARK|10|
| 2|2|KING|10|
| 3|3|MILLER|10|
+------+------+--------+--------+
3rowsinset(0.00sec)

最后不妨这样来总结一下:对于下面 SQL,通常的执行顺序会是 FROM → JOIN → WHERE → GROUP BY → 窗口函数调用处理 → ORDER BY → LIMIT ,窗口函数调用通常会被作为最后的部分来处理。

复制代码

select
...,
win_func() over(...),
...
fromt1
join t2 on...
where...
groupby...
order by...
limit...

PARTITION BY 子句

PARTITION BY 子句本质上等同于 GROUP BY,它做的事情其实就是『 分组 』。在讲述窗口函数用法的书籍和文档中,『分组』和『分区』可以视为同义词;一个分组(分区)也可以被称作一个『窗口』,而操作这个『窗口』的函数就被称作『窗口函数』。『窗口函数』是 SQL 标准里规定的叫法,Oracle 中叫分析函数,DB2 则称之为 OLAP 函数。

上述 count(*) over(partition by DEPTNO) 的语义是先按照 DEPTNO 字段把记录集分组,然后计算每一组的记录行数。当然,OVER 后面的括号里也可以空着什么都不填: count(*) over() ,这时整个记录集会被当做一个『大分组』来对待。

在一个 SQL 语句里,PARTITION BY 子句可以出现多次,并且每次用于分组的字段也可以不同。这样就做到了 GROUP BY 无法达成的事情:在一个 SELECT 语句里,以多种维度把数据分组并做不同的聚合计算处理; 并且,SELECT 后面可以出现任意列,不仅限于那些用于分组的列。

我们来看下面这个 SQL,它先按照 DEPTNO 字段分组,计算每个员工所在部门的人员总数;接着按照 JOB 字段再次分组,计算每个员工的职位( JOB )在整个公司内出现的次数。

复制代码

tidb>select ENAME,
-> DEPTNO,
-> count(*) over(partition by DEPTNO) as dept_cnt,
-> JOB,
-> count(*) over(partition by JOB) as job_cnt
-> from EMP
-> order by DEPTNO, ENAME;
+--------+--------+----------+-----------+---------+
|ENAME|DEPTNO|dept_cnt|JOB|job_cnt|
+--------+--------+----------+-----------+---------+
|CLARK|10|3|MANAGER|3|
|KING|10|3|PRESIDENT|1|
|MILLER|10|3|CLERK|4|
|ADAMS|20|5|CLERK|4|
|FORD|20|5|ANALYST|2|
|JONES|20|5|MANAGER|3|
|SCOTT|20|5|ANALYST|2|
|SMITH|20|5|CLERK|4|
|ALLEN|30|6|SALESMAN|4|
|BLAKE|30|6|MANAGER|3|
|JAMES|30|6|CLERK|4|
|MARTIN|30|6|SALESMAN|4|
|TURNER|30|6|SALESMAN|4|
|WARD|30|6|SALESMAN|4|
+--------+--------+----------+-----------+---------+
14 rows in set (0.00 sec)

两个 PARTITION BY 子句,两次维度不同的分组操作,他们相互独立,互不影响。想一想,如果不用窗口函数,我们该如何做到这一点呢? 我能想到两种替代方案:

  • 关联子查询方案 :SQL 如下所示。该 SQL 在执行代价上应该会大挺多。窗口函数方案只需要把 EMP 表从磁盘载入内存一次,而 (不考虑 SQL 自动优化和重写的话)关联子查询方案每一行结果集产生的过程中都要额外把 EMP 表的数据多加载两次。

复制代码

tidb>select ENAME,
-> DEPTNO,
-> (select count(*) from EMP t1 where t1.DEPTNO = t.DEPTNO) as dept_cnt,
-> JOB,
-> (select count(*) from EMP t2 where t2.JOB = t.JOB) as job_cnt
-> from EMP t
-> order by DEPTNO, ENAME;
+--------+--------+----------+-----------+---------+
|ENAME|DEPTNO|dept_cnt|JOB|job_cnt|
+--------+--------+----------+-----------+---------+
|CLARK|10|3|MANAGER|3|
|KING|10|3|PRESIDENT|1|
|MILLER|10|3|CLERK|4|
|ADAMS|20|5|CLERK|4|
|FORD|20|5|ANALYST|2|
|JONES|20|5|MANAGER|3|
|SCOTT|20|5|ANALYST|2|
|SMITH|20|5|CLERK|4|
|ALLEN|30|6|SALESMAN|4|
|BLAKE|30|6|MANAGER|3|
|JAMES|30|6|CLERK|4|
|MARTIN|30|6|SALESMAN|4|
|TURNER|30|6|SALESMAN|4|
|WARD|30|6|SALESMAN|4|
+--------+--------+----------+-----------+---------+
14 rows in set (0.00 sec)
  • 多表关联方案 :SQL 如下所示。使用 JOIN 可以避免在每一行结果集计算的过程中额外加载两次数据,但仍然需要关联两个子查询,略显复杂。

复制代码

tidb>select t.ENAME,
-> t.DEPTNO,
-> t1.dept_cnt,
-> t.JOB,
-> t2.job_cnt
-> from EMP t
->leftjoin (select DEPTNO, count(*) as dept_cnt from EMP group by DEPTNO) t1 on t1.DEPTNO = t.DEPTNO
-> left join (select JOB, count(*)asjob_cnt from EMP groupbyJOB) t2 on t2.JOB = t.JOB
-> orderbyt.DEPTNO, t.ENAME;
+--------+--------+----------+-----------+---------+
|ENAME|DEPTNO|dept_cnt|JOB|job_cnt|
+--------+--------+----------+-----------+---------+
| CLARK|10|3|MANAGER|3|
| KING|10|3|PRESIDENT|1|
| MILLER|10|3|CLERK|4|
| ADAMS|20|5|CLERK|4|
| FORD|20|5|ANALYST|2|
| JONES|20|5|MANAGER|3|
| SCOTT|20|5|ANALYST|2|
| SMITH|20|5|CLERK|4|
| ALLEN|30|6|SALESMAN|4|
| BLAKE|30|6|MANAGER|3|
| JAMES|30|6|CLERK|4|
| MARTIN|30|6|SALESMAN|4|
| TURNER|30|6|SALESMAN|4|
| WARD|30|6|SALESMAN|4|
+--------+--------+----------+-----------+---------+
14rowsinset(0.01sec)

PARTITION BY 子句对于 NULL 的处理方式,和 GROUP BY 有异曲同工之处。我们来看下面这个例子:

复制代码

tidb>select ENAME,
-> COMM,
-> coalesce(COMM, -1) as comm_value,
-> count(*) over(partition by COMM) as cnt1,
-> count(COMM) over(partition by COMM) as cnt2
-> from EMP;
+--------+------+------------+------+------+
|ENAME|COMM|comm_value|cnt1|cnt2|
+--------+------+------------+------+------+
|KING|NULL|-1|10|0|
|FORD|NULL|-1|10|0|
|JAMES|NULL|-1|10|0|
|JONES|NULL|-1|10|0|
|ADAMS|NULL|-1|10|0|
|BLAKE|NULL|-1|10|0|
|CLARK|NULL|-1|10|0|
|SCOTT|NULL|-1|10|0|
|SMITH|NULL|-1|10|0|
|MILLER|NULL|-1|10|0|
|TURNER|0|0|1|1|
|ALLEN|300|300|1|1|
|WARD|500|500|1|1|
|MARTIN|1400|1400|1|1|
+--------+------+------------+------+------+
14 rows in set (0.00 sec)

count(*) over(partition by COMM) as cnt1 仍然针对 COUNT(*) 做了特殊化处理,把符合 COMM IS NULL 条件的记录行都划归进一组,因此结果集的前十行 cnt1 = 10

count(COMM) over(partition by COMM) as cnt2 则视 NULL 为无物,前十行 cnt2 都是 0。

NULL 是易燃易爆品,每一个使用 SQL 编程的程序员都应该警惕这个坑,务必小心在意,徐徐绕行;每一个 DBA 在做 SQL 审核的时候都要时刻提着一把锤子,把一根名为 NOT NULL 的铁钉尽可能钉在每个字段定义的后面。

现在, 不妨回头再看一遍『 SQL 分组操作 』一节着重提过的几个要点,是不是对『 窗口函数是更为高级的 SQL 分组操作 』这句话多了点一手体验?其实,窗口函数可以做到更多。

ORDER BY 和 Frame 子句

在 OVER 子句里可以嵌入 ORDER BY,从而实现一种『滚动累加』(Running Total)效果。我们先来看一个 SQL:

复制代码

tidb>select DEPTNO,
-> ENAME,
-> HIREDATE,
-> SAL,
->sum(SAL) over(orderbyHIREDATE)asrunning_total
-> from EMP
->whereDEPTNO =10
-> ;
+--------+--------+------------+------+---------------+
|DEPTNO|ENAME|HIREDATE|SAL|running_total|
+--------+--------+------------+------+---------------+
| 10|CLARK|1981-06-09|2450|2450|
| 10|KING|1981-11-17|5000|7450|
| 10|MILLER|1982-01-23|1300|8750|
+--------+--------+------------+------+---------------+
3rowsinset(0.00sec)

猜一下上述结果集里 running_total 列究竟是怎么算出来的?其实是这么来的:

  • 第一行:2450 = 2450
  • 第二行:7450 = 2450 + 5000
  • 第三行:8750 = 2450 + 5000 + 1300

结合下图来看会更容易理解一些:

我们可以描述一下 sum(SAL) over(order by HIREDATE) as running_total 的处理过程:先按照 HIREDATE 字段排序,然后针对每一行数据算出来『从第一行到当前行 SAL 的加和』。换句话说,每一行计算结果的产生过程都是这样的:先确定一个『滑动的数据窗口』,第一次仅包含第一行数据,第二次包含前两行,第三次则是前三行;然后针对该数据窗口计算 SUM(SAL)。

一句简单的 order by HIREDATE 就代表了这么复杂的操作,是不是也太晦涩难懂了?这和 SQL 直来直去的语言风格严重不符啊?你说得对!其实 order by HIREDATE 只是一种省略形式,完整写法是这样的:

复制代码

tidb>select DEPTNO,
-> ENAME,
-> HIREDATE,
-> SAL,
->sum(SAL) over(ORDER BY HIREDATE
-> RANGE BETWEEN UNBOUNDED PRECEDING
-> AND CURRENT ROW)asrunning_total
-> from EMP
->whereDEPTNO =10;
+--------+--------+------------+------+---------------+
|DEPTNO|ENAME|HIREDATE|SAL|running_total|
+--------+--------+------------+------+---------------+
| 10|CLARK|1981-06-09|2450|2450|
| 10|KING|1981-11-17|5000|7450|
| 10|MILLER|1982-01-23|1300|8750|
+--------+--------+------------+------+---------------+
3rowsinset(0.00sec)

注意观察加粗的部分:

复制代码

ORDERBYHIREDATE
RANGEBETWEENUNBOUNDEDPRECEDING
ANDCURRENTROW

跟随在 OVER 关键字后面的 ORDER BY 配合 RANGE BETWEEN 语法(或者另一种 ROW BETWEEN 语法)被称作 Frame 子句 1 。它的作用是在窗口函数执行过程中临时确定一个滑动的数据窗口,并在此窗口之上施行运算(使用聚合窗口函数或者非聚合窗口函数)。简单来讲,Frame 子句会决定两件事:

  • 在滑动的数据窗口形成之前,决定数据如何排序。 ORDER BY HIREDATE 即是把数据按照 HIREDATE 字段升序排列(默认排序方式为 ASC )。
  • 在每一次运算过程中,确定当前数据窗口的起止边界。 RANGE BETWEEN UNBOUNDED PRECEDING AND CURRENT ROW 的意思是『从最上面的一行到当前行 (包括当前行)』。TiDB 提供了 一些表达式和关键字 1 帮助我们灵活指定窗口范围:
    • UNBOUNDED PRECEDING :最上面一行
    • UNBOUNDED FOLLOWING :最下面一行
    • CURRENT ROW :当前行
    • n PRECEDING :当前行往上数 n
    • n FOLLOWING :当前行往下数 n

下面这个例子展示了上述语法:

复制代码

tidb>select DEPTNO,
-> ENAME,
-> SAL,
->sum(SAL) over(partitionbyDEPTNO)astotal1,
->sum(SAL) over()astotal2,
->sum(SAL) over(orderbyHIREDATE
-> range between unbounded preceding
-> and current row)asrunning_total1,
->sum(SAL) over(orderbyHIREDATE
-> rows between1preceding
-> and current row)asrunning_total2,
->sum(SAL) over(orderbyHIREDATE
-> range between current row
-> and unbounded following)asrunning_total3,
->sum(SAL) over(orderbyHIREDATE
-> rows between current row
-> and1following)asrunning_total4
-> from EMP
->whereDEPTNO =10;
+--------+--------+------+--------+--------+----------------+----------------+----------------+----------------+
|DEPTNO|ENAME|SAL|total1|total2|running_total1|running_total2|running_total3|running_total4|
+--------+--------+------+--------+--------+----------------+----------------+----------------+----------------+
| 10|CLARK|2450|8750|8750|2450|2450|8750|7450|
| 10|KING|5000|8750|8750|7450|7450|6300|6300|
| 10|MILLER|1300|8750|8750|8750|6300|1300|1300|
+--------+--------+------+--------+--------+----------------+----------------+----------------+----------------+
3rowsinset(0.01sec)

命名窗口

命名窗口 (Named Window)其实是一种语法糖,用于简化窗口函数代码的写法。我们先来看一个例子:

复制代码

tidb>SELECT
-> ENAME,
-> DEPTNO,
-> row_number() over (partition by DEPTNO) AS 'row_number',
-> rank() over (partition by DEPTNO) AS 'rank',
-> dense_rank() over (partition by DEPTNO) AS 'dense_rank'
-> FROM EMP;
+--------+--------+------------+------+------------+
|ENAME|DEPTNO|row_number|rank|dense_rank|
+--------+--------+------------+------+------------+
|CLARK|10|1|1|1|
|KING|10|2|1|1|
|MILLER|10|3|1|1|
|FORD|20|1|1|1|
|ADAMS|20|2|1|1|
|JONES|20|3|1|1|
|SCOTT|20|4|1|1|
|SMITH|20|5|1|1|
|MARTIN|30|1|1|1|
|TURNER|30|2|1|1|
|WARD|30|3|1|1|
|JAMES|30|4|1|1|
|ALLEN|30|5|1|1|
|BLAKE|30|6|1|1|
+--------+--------+------------+------+------------+
14 rows in set (0.00 sec)

上述 SQL 中出现了三处 partition by DEPTNO ,略显冗长。我们可以这样来改写:

复制代码

tidb>SELECT
-> ENAME,
-> DEPTNO,
-> row_number() over was'row_number',
-> rank() over was'rank',
-> dense_rank() over was'dense_rank'
-> FROM EMP
-> window was(partitionbyDEPTNO);
+--------+--------+------------+------+------------+
|ENAME|DEPTNO|row_number|rank|dense_rank|
+--------+--------+------------+------+------------+
| CLARK|10|1|1|1|
| KING|10|2|1|1|
| MILLER|10|3|1|1|
| FORD|20|1|1|1|
| ADAMS|20|2|1|1|
| JONES|20|3|1|1|
| SCOTT|20|4|1|1|
| SMITH|20|5|1|1|
| MARTIN|30|1|1|1|
| TURNER|30|2|1|1|
| WARD|30|3|1|1|
| JAMES|30|4|1|1|
| ALLEN|30|5|1|1|
| BLAKE|30|6|1|1|
+--------+--------+------------+------+------------+
14rowsinset(0.00sec)

总结

我们在 TiDB 3.0 上运行了一些窗口函数 SQL,主要涉及如下语法元素:

  • 窗口函数, 包括聚合窗口函数(如 COUNTSUM )和非聚合窗口函数(如 ROW_NUMBERRANK
  • OVER 子句
  • PARTITION BY 子句
  • ORDER BY 子句和 Frame 子句,包括 RANGE BETWEEN 和 ROWS BETWEEN 语法
  • 命名窗口

TiDB 3.0 实现了和 MySQL 8.0 相兼容的窗口函数语法,这有助于程序员写出更加现代化的 SQL 代码(相比于 SQL92 标准)。有了窗口函数,我们有望在不包含子查询的单一 SELECT 语句里轻松实现多维度分组操作,在返回结果中也能做到同时呈现明细列和聚合计算结果列。这些都是传统 GROUP BY 语法无法胜任的。除此之外,在执行代价和性能层面,窗口函数相较于传统做法无疑有着更大的优势。

囿于篇幅,本文没有对具体的窗口函数用法做更多展开。例如, RANKLEADLAST_VALUE 等非聚合窗口函数其实有着更加细微有趣且变化繁多的使用技巧,从事报表和数据分析任务的程序员若能熟练掌握则可事半功倍。

致谢

本文多处 SQL 代码示例出自《SQL 经典实例》一书的附录 A 『窗口函数简介』,行文思路也多有借鉴。该书的附录 A 用了二十多页篇幅对窗口函数的基本概念和用法做了言简意赅的介绍。从个人经验而言,这篇附录大概算得上关于窗口函数最为精炼的入门材料了。读者若有兴趣,不妨移步该书 官方主页 3 下载附录 A 的内容。感谢图灵社免费开放了该章节的下载。

作者介绍:

刘春辉,Sea Group DBA,TiDB User Group (TUG) 大使。

本文转载自 AskTUG。

原文链接:

https://asktug.com/t/tidb-3-0/348