Діапазон, що приєднується, шукають нульовий композитний індекс?

Для наведеної нижче схеми та прикладу даних

CREATE TABLE T
  (
     A INT NULL,
     B INT NOT NULL IDENTITY,
     C CHAR(8000) NULL,
     UNIQUE CLUSTERED (A, B)
  )

INSERT INTO T
            (A)
SELECT NULLIF(( ( ROW_NUMBER() OVER (ORDER BY @@SPID) - 1 ) / 1003 ), 0)
FROM   master..spt_values 

Додаток обробляє рядки з цієї таблиці у кластеризованому порядку індексом у 1000 фрагментах рядків.

Перші 1000 рядків отримують із наступного запиту.

SELECT TOP 1000 *
FROM   T
ORDER  BY A, B 

Останній ряд цього набору знаходиться нижче

+------+------+
|  A   |  B   |
+------+------+
| NULL | 1000 |
+------+------+

Чи є спосіб написати запит, який просто шукає цей складний індексний ключ, а потім слідує за ним, щоб отримати наступний фрагмент з 1000 рядків?

/*Pseudo Syntax*/
SELECT TOP 1000 *
FROM   T
WHERE (A, B) is_ordered_after (@A, @B)
ORDER  BY A, B 

Найменша кількість читань, які мені вдалося отримати до цього часу, - 1020, але запит здається занадто суперечливим. Чи є простіший спосіб однакової чи кращої ефективності? Можливо, той, кому вдається зробити це все в одному діапазоні?

DECLARE @A INT = NULL, @B INT = 1000

;WITH UnProcessed
     AS (SELECT *
         FROM   T
         WHERE  ( EXISTS(SELECT A
                         INTERSECT
                         SELECT @A)
                  AND B > @B )
         UNION ALL
         SELECT *
         FROM   T
         WHERE @A IS NULL AND A IS NOT NULL
         UNION ALL
         SELECT *
         FROM   T
         WHERE A > @A        
         )
SELECT TOP 1000 *
FROM   UnProcessed
ORDER  BY A,
          B 

FWIW: Якщо стовпець Aстворений NOT NULLі -1замість нього використовується дозорне значення , замість цього еквівалентний план виконання звичайно виглядає простішим

Але оператор одноосібного пошуку в плані все ж виконує два пошуки, а не згортання його в єдиний суміжний діапазон, і логічні зчитування майже однакові, тому я підозрюю, що, можливо, це є настільки ж добре, як це вийде?

Чи є спосіб написати запит, який просто шукає цей складний індексний ключ, а потім слідує за ним, щоб отримати наступний фрагмент з 1000 рядків?

Улюблене моє рішення - використовувати APIкурсор:

SET NOCOUNT ON;
SET STATISTICS IO ON;

DECLARE 
    @cur integer,
    -- FAST_FORWARD, AUTO_FETCH, AUTO_CLOSE, CHECK_ACCEPTED_TYPES, FAST_FORWARD_ACCEPTABLE
    @scrollopt integer = 16 | 8192 | 16384 | 32768 | 1048576,
    -- READ_ONLY, CHECK_ACCEPTED_OPTS, READ_ONLY_ACCEPTABLE
    @ccopt integer = 1 | 32768 | 65536, 
    @rowcount integer = 1000,
    @rc integer;

-- Open the cursor and return (up to) the first 1000 rows
EXECUTE @rc = sys.sp_cursoropen
    @cur OUTPUT,
    N'
    SELECT A, B, C
    FROM T
    ORDER BY A, B;
    ',
    @scrollopt OUTPUT,
    @ccopt OUTPUT,
    @rowcount OUTPUT;

IF @rc <> 16 -- FastForward cursor automatically closed
BEGIN
    -- Name the cursor so we can use CURSOR_STATUS
    EXECUTE sys.sp_cursoroption
        @cur, 
        2, 
        'MyCursorName';

    -- Until the cursor auto-closes
    WHILE CURSOR_STATUS('global', 'MyCursorName') = 1
    BEGIN
        EXECUTE sys.sp_cursorfetch
            @cur,
            2,
            0,
            1000;
    END;
END;

SET STATISTICS IO OFF;

Загальна стратегія - це одне сканування, яке запам'ятовує його положення між дзвінками. Використовуючи APIкурсор, ми можемо повернути блок рядків, а не один за одним, як це було б у випадку з T-SQLкурсором:

STATISTICS IOвихід:

Table 'T'. Scan count 1, logical reads 1011, physical reads 0, read-ahead reads 0
Table 'T'. Scan count 1, logical reads 1001, physical reads 0, read-ahead reads 0
Table 'T'. Scan count 1, logical reads 516, physical reads 0, read-ahead reads 0