考虑以下简单的DAG:
1->2->3->4
还有一个表#bar,描述了这个(我正在使用SQL Server 2005):
parent_id child_id
1 2
2 3
3 4
//... other edges, not connected to the subgraph above
现在假设我有一些其他任意标准来选择第一个和最后一个边,即1-> 2和3-> 4 . 我想用这些来查找我的图表的其余部分 .
我可以写一个递归CTE如下(我正在使用MSDN中的术语):
with foo(parent_id,child_id) as (
// anchor member that happens to select first and last edges:
select parent_id,child_id from #bar where parent_id in (1,3)
union all
// recursive member:
select #bar.* from #bar
join foo on #bar.parent_id = foo.child_id
)
select parent_id,child_id from foo
但是,这会导致边缘3-> 4被选中两次:
parent_id child_id
1 2
3 4
2 3
3 4 // 2nd appearance!
如何防止查询递归到已经描述过的子图?如果在查询的_11709433_部分中,我可以引用到目前为止由递归CTE检索的所有数据(并提供在递归成员中指示的谓词,不包括已访问的节点),我可以实现此目的 . 但是,我认为我可以访问仅由递归成员的最后一次迭代返回的数据 .
当有很多这样的重复时,这将无法很好地扩展 . 有没有办法防止这种不必要的额外递归?
请注意,我可以在语句的最后一行使用"select distinct"来获得所需的结果,但这似乎在所有(重复)递归完成后应用,所以我认为这不是一个理想的解决方案 .
编辑 - hainstech建议通过添加谓词来停止递归,以排除在起始集中明确显示的递归路径,即仅递归 where foo.child_id not in (1,3)
. 这适用于上述情况只是因为它很简单 - 所有重复的部分都在锚节点集内开始 . 它没有解决它们可能不存在的一般情况 . 例如,考虑将边缘1-> 4和4-> 5添加到上述集合中 . 边缘4-> 5将被捕获两次,即使使用建议的谓词 . :(
6 回答
CTE
是递归的 .当
CTE
有多个初始条件时,这意味着它们也有不同的递归堆栈,并且无法在另一个堆栈中使用来自一个堆栈的信息 .在您的示例中,递归堆栈将如下所示:
如您所见,这些递归堆栈不相交 .
您可以将访问的值记录在临时表中,每个值都带有temptable,并且如果找到它则不遵循此值,但
SQL Server
不支持这些内容 .所以你只需使用
SELECT DISTINCT
.这是我使用的方法 . 它已针对几种方法进行了测试,性能最佳 . 它结合了Quassnoi建议的临时表概念以及使用distinct和left连接来消除递归的冗余路径 . 递归的级别也包括在内 .
我在代码中留下了失败的CTE方法,因此您可以比较结果 .
如果有人有更好的想法,我很想知道 .
你碰巧知道这两个边缘中哪一个在树的更深层次上?因为在这种情况下,你可以使边缘
3->4
成为锚点成员并开始向上走树,直到找到边缘1->2
.像这样的东西:
这是你想要做的吗?
编辑 - @bacar - 我不认为这是Quasnoi提议的临时表解决方案 . 我相信他们建议在每次递归期间基本上复制整个递归成员内容,并将其用作连接以防止重新处理(并且ss2k5中不支持这种情况) . 我的方法是受支持的,对原始文件的唯一更改是在递归成员的谓词中,以排除在起始集中明确显示的递归路径 . 我只添加了表变量,以便您在一个位置定义起始parent_id,您可以很容易地将此谓词与原始查询一起使用:
编辑 - 这根本不起作用 . 这是一种停止追逐三角形路线的方法 . 它没有做OP想要的 .
或者您可以使用递归标记分隔的字符串 .
我在我的笔记本电脑上(没有sql服务器),所以这可能不完全正确但是这里.....
或类似的 . 对不起,现在已经很晚了,我无法测试 . 我会在星期一早上检查 . 对此必须归功于Peter Larsson(比索)
这个想法是在这里产生的:http://www.sqlteam.com/forums/topic.asp?TOPIC_ID=115290
(我不是图表专家,只是探索一下)
DISTINCT将保证每一行都是不同的,但它不会消除不会在最后一个边缘结束的图形路径 . 拿这个图:
这里的查询结果包括(1,5),其中不是从第一个边(1,2)到最后一个边(6,4)的路径的一部分 .
您可以尝试这样的方法,只查找以(1,2)开头并以(6,4)结尾的路线: