OVER ([PARTITION BY expr] ORDER BY expr) 通常，value_expression是一个你想要检索的数据列。参数offset是指你想要往前或往后读取的行数，default则是到达任意一个分区的开头或者结尾（即没有与之相匹配的行）时返回的数值。 脚本是一系列从工作地传感器自动收集来的数据。传感器装置自动给每一个测量值编上号，我们要找出结果有没有缺失。 我们将数据按照测量值编号排序，运用LAG函数，把偏移量设置为1，使得每一行与其前一行对应起来。第一行将没有对应量，所以相应地，将返回默认值0。因为间隙不可能发生在第一行，所以我们通过之前要求测量值大于0而将其删除。 剩下的就是一组虚拟的行，显示的是前一行的测量值编号（“before_gap”）和当前行的测量值编号（“after_gap”）。假如两者之差大于1，就说明这两行之间存在间隙。 同时也要注重到，WITH子句在查询开始的时候把解析子查询命名为“aquery”。那么我们就可以在主SELECT 语句中的WHERE 子句中访问“aquery”中的数列。
