MySQL从8.0开始支持窗口函数(Window Functions),因其经常被用在数据分析的场景,窗口函数也被称为分析函数(Analytic Functions)。
目录
一、窗口函数概念
二、基础语法
2.1 窗口的定义
2.2 命名窗口
三、专用窗口函数
3.1 row_number()
3.2 rank()
3.3 dense_rank()
3.4 percent_rank()
3.5 cume_dist()
3.6 first_value()
3.7 last_value()
3.8 nth_value()
3.9 lag()
3.10 lead()
3.11 ntile()
四、窗口函数框架
4.1 框架的定义
4.2 框架定义示例
4.3 框架单位rows和range的区别
4.4 缺少order by子句时的默认框架
窗口的意思是将数据进行分组,每个分组即是一个窗口,这和使用聚合函数时的group by分组类似,但与聚合函数不同的地方是:
窗口函数会逐行计算,其重点是计算当前行与窗口内其他成员之间的关系,例如:组内排序,累积分布等。
窗口函数可以分为两类:
判断一个函数是不是窗口函数只需要盯着是否有 over 关键字即可。
窗口函数在使用时需要定义一个窗口(分组),然后对每一行应用窗口函数,正在计算的这行叫做"当前行"(current row)。
在使用聚合函数的时候我们通过 group by 关键字来定义如何分组,而窗口函数是通过 over 关键字和 partition by 关键字来定义分组(这里的 partition by 是分组的意思,和分区表没有任何关系)。
下面用一组示例来说明,先创建实验数据:
create table wf_example( id smallint unsigned not null auto_increment primary key, wind varchar(32), val smallint); insert into wf_example values (null,'Window_A',1), (null,'Window_A',2), (null,'Window_A',2), (null,'Window_A',3), (null,'Window_A',3), (null,'Window_A',3), (null,'Window_B',100), (null,'Window_B',200), (null,'Window_B',300), (null,'Window_B',400), (null,'Window_B',500); select * from wf_example;
对于 sum() 函数我们先作为聚合函数,按照wind列进行分组,求val列的和:
select wind,sum(val) from wf_example group by wind;
这是最简单的聚合函数示例,sum按wind列对数据分组后求和,每组分别返回一条数据。
下面在将 sum() 作为窗口函数使用:
select wind, sum(val) over () total_sum, sum(val) over (partition by wind) group_sum from wf_example;
这里我们在 sum 后增加了一个 over 关键字(代表sum作为窗口函数),over关键字后面括号中即是窗口定义。
从返回结果我们看到 sum() 针对每一行都进行计算并返回了数据:
当一个窗口被多次引用的时候,在每个over后面都写一遍定义就显得有些繁琐了,此场景可以通过命名窗口优化:一次定义,多次引用。
命名窗口的定义是通过 window wind_name as () 来进行定义的,括号内的部分就是原over子句后的窗口定义,在用over关键字调用窗口时,直接引用窗口名wind_name即可:
select wind, sum(val) over w group_sum -- 通过名称 w 引用窗口 from wf_example window w as (partition by wind); -- 命名窗口定义
通常情况下使用时只需要直接引用窗口名称即可,有时需要对窗口进一步加工,例如排序等,可以用括号将窗口名扩起来,后面跟上order by 子句:
select wind, first_value(val) over (w order by val desc) first_val_desc, -- 通过窗口名引用,并降序排列 first_value(val) over (w order by val asc) first_val_asc -- 通过窗口名引用,并升序排列 from wf_example window w as (partition by wind); -- 命名窗口定义
除了上面示例的sum,其他的聚合函数例如count, max, min, avg等都可以作为窗口函数使用,但是专用窗口函数在数据分析中更加常用。专用窗口函数在使用时必须搭配 over 关键字。
语法:row_number() over window
没有参数,返回当前行在组内的位置编号,从1开始,order by子句会影响行的编号顺序,如果没有order by,那么行的编号是不确定的。另外,即使行完全相同,它们的编号也是不同的,这点和后面的 rank() 和 dense_rank() 不同。
select wind, val, row_number() over w 组内编号 from wf_example window w as (partition by wind);
上面示例中:
语法:rank() over window
没有参数,返回当前行在组内的排序,排序带间隙(排名数字不连续),在partition by 后面可以跟上order by 子句来指定按某列排序,示例中按照val值升序排列:
select wind,val, rank() over (partition by wind order by val) 带间隙排序 from wf_example;
上面示例中:
语法:dense_rank() over window
没有参数,返回当前行在组内的排序,排序不带间隙(排名是连续的):
select wind, val, rank() over (partition by wind order by val) 带间隙排序, dense_rank() over (partition by wind order by val) 不带间隙排序 from wf_example;
上面示例中:
语法:percent_rank() over window
百分比排序,返回当前行在组内的百分比位置,返回值范围为[0, 1],可以用 当前行排序/(行数-1) 计算得出,但与rank不同,这里排序是从0开始而不是从1(相当于rank-1),因此第1行的百分比位置是0%,相当于:(rank-1)/(rows-1)。
select wind,val, rank() over (partition by wind order by val) 带间隙排序, percent_rank() over (partition by wind order by val) 百分比排序 from wf_example;
上面示例中:
语法:cume_dist() over window
累积分布(cumulative distribution)。返回 "当前行之前" 与 "和当前行相等(包含当前行)" 的行数,占组内行数的百分比。
(当前行及之前行数 + 和当前行相等的行数)/组内数量,这个和rank类似,但是统计的是一个累积的比例,数据分布从0到1.
select wind,val, rank() over w 行编号, percent_rank() over w 百分比排序, cume_dist() over w 累积比例 from wf_example window w as (partition by wind order by val);
上面示例中:
语法:first_value(expr) over window
返回当前框架内第一行计算出的expr值,第一个值会随着排序定义而不同。
这里引入了一个重要概念:框架(frame),框架是一个动态的概念,是组的子集,first_value中每一行的默认框架由3部分组成:
这3部分相当于框架定义:range between unbound preceding and current row,框架定义语法在后面解释。
select wind,val, first_value(val) over (w order by val desc) 指定列倒序框架内第一个值, first_value(val) over (w order by val asc) 指定列正序框架内第一个值 from wf_example window w as (partition by wind);
上面示例中:
语法:last_value(expr) over window
last_value返回当前框架的最后一行计算出的expr值,从last_value函数可以更好看出框架的动态变化:
select wind,val, last_value(val*10) over w 框架内最后一个值的十倍 from wf_example window w as (partition by wind order by val);
上面的示例中:
语法:nth_value(expr, N) over window
返回框架内的第N行计算出的表达式expr值,当没有时返回null:
select wind,val, nth_value(val, 2) over w 框架内第二个值, nth_value(val, 3) over w 框架内第三个值, nth_value(val, 4) over w 框架内第四个值 from wf_example window w as (partition by wind order by val);
上面的示例中:
语法:lag(expr [, N [, default]])
返回在当前窗口内,当前行的“前面N行”计算出的expr结果,如果没有满足条件的行,则返回default,其中参数N和default可以省略,如果省略了则默认N为1,default为null。
select wind,val, lag(val*10) over w 当前行前面一个值, lag(val*10,1,'不存在') over w 当前行前面一个值带默认值, val-lag(val,2) over w 当前值与前两个值的差 from wf_example window w as (partition by wind order by val);
上面的示例中:
语法:lead(expr [N [, default]])
lead() 和lag() 类似,返回在当前窗口内,当前行的“后面N行”计算出的expr结果,如果没有满足条件的行,则返回default,其中参数N和default可以省略,如果省略了则默认N为1,default为null。
select wind,val, lead(val*10) over w 当前行后面一个值的十倍, lead(val*10,1,'不存在') over w 当前行后面一个值十倍带默认值, val-lead(val,2) over w 当前行与后面第二个值的差 from wf_example window w as (partition by wind order by val);
上面的示例中:
语法:ntile(N) over window
将组内成员再次分为N个小组(子分组/buckets),返回子分组的编号。
select wind,val, ntile(2) over w 将每个组再次分为2个组, ntile(4) over w 将每个组再次分为4个组, ntile(100) over w 将每个组再次分为100个组 from wf_example window w as (partition by wind order by val);
上面示例中:
框架(frame)是窗口的一个子集,它会根据当前行动态变化。在前面在first_vlalue和 last_value 函数中,我们提到了框架的定义,它们默认的框架是从组内第一行到当前行(也包含和当前行相等的行)。
窗口函数还支持框架子句,让你可以显式定义框架的范围,根据当前行的位置,来计算组内一小部分集合的数据。
框架的定义语法:frame_units frame_extent
框架的定义由frame_units(框架单位)和 frame_extent(框架范围)两子句组成。
当定义框架时,我们首先要指定框架使用的单位(frame_units子句),框架单位可以有2种选择:
rows:通过起始行和结束行来划定框架的范围,边界是明确的一行。
range:通过具有相同值的行来划定框架的范围,边界是一个范围,具有相同值的行作为一个整体看待。
定义好单位后,我们还需要定义框架范围(frame_extent子句),也有两种定义方式:
合法的frame_start和frame_end可以有如下5种选择:
光看定义可能有些晦涩,我们通过几个示例来帮助理解。
我们用几个示例来加深对框架定义的理解:
select wind,val, last_value(val*10) over (partition by wind order by val rows unbounded preceding) 显式定义框架内最后一个值的十倍 from wf_example;
上面示例中:
下面的示例为滚动求和,计算当前行和前一行的和:
select wind,val, sum(val) over (partition by wind order by val rows 1 preceding) 当前行和前1行的和, sum(val) over (partition by wind order by val rows between 1 preceding and current row) 第二种定义方式 from wf_example;
上面示例中:
这里仅仅将上一个滚动求和SQL中的框架单位定义由rows改为range,再看一下效果:
select wind,val, sum(val) over (partition by wind order by val range 1 preceding) range单位下当前行和当前行值减1范围的和 from wf_example;
上面示例中,当框架单位变为range时:
上面的SQL通过加入first_value和last_value函数我们可以更直观的看出框架的边界(first_value返回框架内第1个值,last_value返回框架内最后一个值):
select wind,val, sum(val) over (partition by wind order by val range 1 preceding) range单位下当前行和当前行值减1范围的和, first_value(val) over (partition by wind order by val range 1 preceding) first_val, last_value(val) over (partition by wind order by val range 1 preceding) last_val from wf_example;
但如果我们把range 1 preceding改成 range 100 preceding,则Window_B中框架可以触及前面的行:
select wind,val, sum(val) over (partition by wind order by val range 100 preceding) range单位下当前行和当前行值减1范围的和, first_value(val) over (partition by wind order by val range 100 preceding) first_val, last_value(val) over (partition by wind order by val range 100 preceding) last_val from wf_example;
可以看到Window_B中求和列变成了当前行和前1行的val的和,同时框架的first_val变成了前1行的值(代表当前行的框架包含前1行)。
框架单位rows和range的区别总结就是:
当没有显式的框架定义时,某些函数会采用默认框架定义,而默认框架定义会受到是否有order by子句影响,因此是否有order by子句可能会导致某些函数的计算结果不同。
根据窗口定义是否有order by子句:
即:当有order by 子句时,框架是从组内第一行到当前行(注意框架单位是range,也包含当前行相同值的行)。当没有order by 子句时,框架就是从组内第1行到最后一行(组内所有行),所有的行都是相等的。
我们通过最初的sum函数来观察这种默认框架的区别:
select wind,val, sum(val) over (partition by wind order by val) 带orderby子句, sum(val) over (partition by wind) 不带orderby子句 from wf_example;
上面示例中: