SQL之递归查询

SQL允许使用创建临时表（create temporary table）命令来创建临时表；这些表仅在执行查询的内部事务才可用，并随事务的完成而被删除。而且，如果一个过程/函数的两个实例同时运行，那么每个实例都拥有它自己的临时表副本；如果它们共享一份副本，那么它们的结果就会出错。

SQL标准使用with recursive子句来支持递归的受限形式，其中的视图（或临时视图）是用自身来表示的。with子句可用于定义一个临时视图，该视图的定义仅在定义它的查询中是可用的。附加的关键字recursive指名了视图是递归的。
任何递归视图都被定义为两个子查询的并：非递归的基查询（base query）和使用递归视图的递归查询（recursive query）。
对递归视图含义的最好的理解方式如下：首先计算基查询，并把所有结果元组添加到递归定义的视图关系中（它初始为空）。然后用视图关系的当前内容计算递归查询，并把所有结果元组加回到视图关系中。持续重复上述步骤直至没有新的元组添加到视图关系中为止。所得到的视图关系实例被称为递归视图定义的不动点（ fixed_point )。（术语“不动”是指不会再有进一步变化。）这样，视图关系就被定义为正好包含不动点实例中的元组。
在递归视图中的递归查询上是有一些限制的：具体地说，该查询必须是单调的（ monotonic )。也就是说，如果视图关系实例V₁是视图关系实例 V₂ 的超集，那么该查询在V₁上的结果必须是它在V₂上的结果的超集。从直观上讲，如果更多的元组被添加到视图关系中，则递归查询必须返回至少与以前相同的元组集，并且还可能返回额外的元组。
特别地，递归查询不能使用如下任何结构，因为它们会导致查询的非单调性：
●递归视图上的聚集。
●在使用递归视图的子查询上的 not exists 运算。
●右端使用递归视图的集差（ except ）运算。
例如，如果递归查询形如 r-v ，其中 v 是递归视图，那么如果我们在 v 中增加一个元组，则查询结果可能会变得更小，可见该査询不是单调的。
只要递归查询是单调的，递归视图的含义就可以通过迭代过程来定义；如果递归查询是非单调的，则视图的含义就难以确定。因此 SQL 要求査询必须是单调的。
SQL 还允许通过使用创建递归视图（ create recursive view ）代替 with recursive 来创建递归定义的永久性视图。一些系统实现支持使用不同语法的递归査询。这包括 Oracle 称作层次查询的 start with / connect by prior 语法。进一步的细节请参考各自的系统手册。