재귀 CTE에 대한 BOL 설명은 재귀 실행의 의미를 다음과 같이 설명합니다.

1. CTE 표현식을 앵커 및 재귀 멤버로 분할하십시오.
2. 첫 번째 호출 또는 기본 결과 세트 (T0)를 작성하는 앵커 멤버를 실행하십시오.
3. Ti를 입력으로하고 Ti + 1을 출력으로하여 재귀 멤버를 실행합니다.
4. 빈 세트가 반환 될 때까지 3 단계를 반복하십시오.
5. 결과 집합을 반환합니다. 이것은 T0에서 Tn까지의 UNION ALL입니다.

따라서 각 레벨은 지금까지 누적 된 전체 결과 세트가 아닌 레벨을 입력으로 만 가지고 있습니다.

위의 방법은 논리적으로 작동합니다 . 물리적 재귀 CTE는 현재 SQL Server에서 항상 중첩 루프와 스택 스풀로 구현됩니다. 이것은 여기 와 여기에 설명 되어 있으며 실제로 각 재귀 요소는 전체 수준이 아니라 이전 수준 의 부모 행 과 함께 작동한다는 것을 의미합니다 . 그러나 재귀 CTE에서 허용되는 구문에 대한 다양한 제한은이 접근 방식이 효과적이라는 것을 의미합니다.

ORDER BY쿼리에서 를 제거하면 결과는 다음과 같이 정렬됩니다.

+---------+
|    N    |
+---------+
|       3 |
|       5 |
|       7 |
|      49 |
|    2401 |
| 5764801 |
|      25 |
|     625 |
|  390625 |
|       9 |
|      81 |
|    6561 |
+---------+

실행 계획이 다음과 매우 유사하게 작동하기 때문입니다 C#

using System;
using System.Collections.Generic;
using System.Diagnostics;

public class Program
{
    private static readonly Stack<dynamic> StackSpool = new Stack<dynamic>();

    private static void Main(string[] args)
    {
        //temp table #NUMS
        var nums = new[] { 3, 5, 7 };

        //Anchor member
        foreach (var number in nums)
            AddToStackSpoolAndEmit(number, 0);

        //Recursive part
        ProcessStackSpool();

        Console.WriteLine("Finished");
        Console.ReadLine();
    }

    private static void AddToStackSpoolAndEmit(long number, int recursionLevel)
    {
        StackSpool.Push(new { N = number, RecursionLevel = recursionLevel });
        Console.WriteLine(number);
    }

    private static void ProcessStackSpool()
    {
        //recursion base case
        if (StackSpool.Count == 0)
            return;

        var row = StackSpool.Pop();

        int thisLevel = row.RecursionLevel + 1;
        long thisN = row.N * row.N;

        Debug.Assert(thisLevel <= 100, "max recursion level exceeded");

        if (thisN < 10000000)
            AddToStackSpoolAndEmit(thisN, thisLevel);

        ProcessStackSpool();
    }
}

NB1는 : 앵커 부재의 제 아이 때에는 상기와 3그 형제에 대한 모든 정보를 처리하고 5그리고 7, 그들의 자손, 이미 스풀로부터 폐기되지 더 이상 액세스 할 수있다.

NB2 : 위의 C #은 실행 계획과 동일한 전체 의미를 갖지만 연산자가 파이프 라인 된 실행 방식으로 작업하므로 실행 계획의 흐름은 동일하지 않습니다. 이는 접근 방식의 요지를 보여주는 간단한 예입니다. 계획 자체에 대한 자세한 내용은 이전 링크를 참조하십시오.

NB3 : 스택 스풀 자체는 분명히 재귀 수준의 키 열과 필요에 따라 추가 된 고유 식별자를 갖는 고유하지 않은 클러스터형 인덱스로 구현됩니다 ( source ).

답변