Рассмотрим следующую простую 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!
Как я могу предотвратить повторный запрос запроса на подграфы, которые уже были описаны? Я мог бы добиться этого, если в моей части "рекурсивного члена" запроса я мог бы ссылаться на все данные, которые были получены рекурсивным CTE до сих пор (и предоставить предикат, указывающий в рекурсивном элементе, исключая уже посетившие узлы). Тем не менее, я думаю, что я могу получить доступ к данным, которые были возвращены последней итерацией только рекурсивного члена.
Это не будет хорошо масштабироваться, когда будет много такого повторения. Есть ли способ предотвратить эту ненужную дополнительную рекурсию?
Обратите внимание, что я могу использовать "select distinct" в последней строке моего утверждения для достижения желаемых результатов, но это, кажется, применяется после завершения (повторной) рекурсии, поэтому я не думаю, что это идеальное решение.
Edit - hainstech предлагает остановить рекурсию, добавив предикат, чтобы исключить рекурсивные пустые пути, которые явно были в стартовом наборе, т.е. только рекурсия where foo.child_id not in (1,3)
. Это работает только для случая, потому что это просто - все повторяющиеся разделы начинаются в наборе узлов привязки. Он не решает общий случай, когда они не могут быть. например, рассмотреть добавление краев 1- > 4 и 4- > 5 в вышеуказанное множество. Edge 4- > 5 будет захватываться дважды, даже с предлагаемым предикатом.: (