Що насправді означає слово "SARGable"?

Користувачі SQL Server використовують термін "sargable" . Мені цікаво, чи існує об'єктивне впровадження-агностичне позачасове визначення для "sargable".

Наприклад, WHERE foo LIKE '%bar%'багато хто вважає, що вони не піддаються обробці , але деякі RDBMS можуть використовувати індекси для таких запитів . Що ж тоді означає "не зряче" ?

Інші посилання

• Що робить оператор SQL придатним для використання?

Термін "саргаблі" вперше був введений P. Griffiths Selinger et al. у своїй роботі 1979 р. "Вибір шляху доступу в реляційній системі управління базами даних", опублікованій ACM . Для членів, які не входять до складу ОСББ, є його копія на веб- сторінці http://cs.stanford.edu/people/chrismre/cs345/rl/selinger.pdf

Термін визначений у цьому пункті:

Як сканування індексу, так і сегмент ¹ може необов'язково приймати набір предикатів, званих аргументами пошуку (або SARGS), які застосовуються до кортежу до того, як він повернеться до абонента RSI ² . Якщо кортеж задовольняє предикати, він повертається; в іншому випадку сканування триває, поки він не знайде кортеж, який задовольняє SARGS, або не вичерпає сегмент або заданий діапазон значень індексу. Це зменшує витрати за рахунок усунення накладних витрат на здійснення RSI-дзвінків за кортежі, які можуть бути ефективно відхилені в RSS. Не всі предикати мають форму, яка може стати SARGS. Sargable предикат є одним з форми (або який може бути введений в форму) «стовпець оператор порівняння значення». SARGS виражаються як бульне вираження таких предикатів у нормальній диз'юнктній формі.

Іншими словами, діючий предикат є таким, який може бути вирішений механізмом зберігання даних (метод доступу), безпосередньо спостерігаючи за записом таблиці або індексу. Нездатний предикат, навпаки, вимагає більш високого рівня СУБД, щоб вжити заходів. Наприклад, механізм зберігання даних WHERE lastname = 'Doe'може визначити результат, просто переглянувши вміст поля lastnameкожного запису. З іншого боку, WHERE UPPER(lastname) = 'DOE'вимагає виконання функції двигуном SQL, а це означає, що двигун зберігання даних повинен буде повернути всі рядки, які він читає (за умови, що вони відповідають можливим іншим, доступним предикатам) назад до SQL-двигуна для оцінки, що несе додаткові витрати на процесор .

З оригінального визначення видно, що знахідні предикати можуть застосовуватися не тільки до індексованого сканування, але і до табличного (сегмента в термінології System R) сканування, доки дотримуються умови "значення порівняння стовпців-оператора", і тому вони можуть бути оцінюється двигуном зберігання даних. Це справді так з Db2, нащадком системи R багато в чому :

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

Здатні до предикатів дані - це предикати, які не можуть бути оцінені менеджером індексів, але можуть бути оцінені службами управління даними (DMS). Як правило, ці предикати вимагають доступу до окремих рядків із базової таблиці. У разі необхідності DMS отримає стовпці, необхідні для оцінки предиката,

Той факт, що в SQL Server розмовляючі предикати є лише тими, які можна вирішити за допомогою пошуку індексів, ймовірно, визначається неможливістю механізму його зберігання застосовувати такі предикати під час сканування таблиць.

Здатні і немарговані предикати іноді описуються як предикати "стадії 1" та "стадії 2" відповідно (це також походить від термінології Db2 ). Предикати першого етапу можна оцінити на найнижчому рівні обробки запитів під час читання записів таблиці або індексу. Рядки, які відповідають умовам 1 етапу, якщо такі є, надсилаються на наступний рівень, етап 2, оцінки.

¹ - сегмент в System R - фізичне зберігання кортежів таблиці; сканування сегмента дещо еквівалентне скануванню таблиці в інших СУБД.

² - RSI - RSS ³ Інтерфейс, інтерфейс запитів, орієнтований на кортеж. Функцією інтерфейсу, що відповідає цій дискусії, є NEXT, яка повертає наступні рядки предикатів відповідності.

³ - RSS або дослідницька система зберігання, підсистема зберігання системи R.

Для мене SARGable означає, що SQL Server може виконувати пошук індексу, використовуючи ваші пошукові предикати.

Ви не можете просто сказати, що СУБД може "скористатися" індексом, тому що з не-зарядним предикатом SQL Server може в кінцевому підсумку сканувати некластеризований індекс.

За інформацією про внутрішній сервер SQL Server Дмитра Короткевича :

Ідентифікатор пошуку ARGument ABLE - це те, де SQL SERVER може використовувати операцію пошуку індексу, якщо індекс існує.

Предикат SARGable - це той, де SQL-сервер може виділити єдине значення або діапазон значень ключових індексів для обробки

SARGable предикат включає в себе наступні оператори: =, >, >=, <, <=, IN, BETWEEN, і LIKE( в разі збігу префікса )

Номери SARGable оператори включають в себе: NOT, NOT IN, <>, і LIKE( що не збігається префіксом ), а також використання функцій або розрахунків по таблиці, і перетворення типів , де тип даних не відповідає індексу створеного.

Приклад :

WHERE name like 'SARGable%'
WHERE name like '%non-SARGable%'

Демонстрація :

DROP TABLE dbo.Testing;
GO

CREATE TABLE Testing (
    WeirdDatatype   int NOT NULL,
    SomethingElse   char(200)
);

CREATE NONCLUSTERED INDEX IDX_ALWAYS_SARGable
    ON dbo.Testing( SomethingElse);

CREATE NONCLUSTERED INDEX IDX_NOT_ALWAYS_SARGable
    ON dbo.Testing(SomethingElse);

INSERT INTO dbo.Testing
        ( WeirdDatatype, SomethingElse )
SELECT TOP 1000 m.message_id, CONVERT(char(200), m.text)
FROM sys.messages AS m;

Тепер ми запускаємо:

SELECT *
FROM dbo.Testing AS t
WHERE  t.WeirdDatatype = 1001;
SELECT *
FROM dbo.Testing AS t
WHERE t.SomethingElse LIKE 'Line%'
SELECT *
FROM dbo.Testing AS t
WHERE t.SomethingElse LIKE '%Line%'
     AND t.WeirdDatatype = 1001;

Результати:

Давайте розглянемо властивості запиту SARGable (Index Seek)

Оптимізатор запитів здатний визначити межу в індексі початку та кінця. Він має аргумент пошуку для запиту.

Тепер запит без SARGable:

Ви можете побачити з початком предиката "% non ..%" не дозволяє оптимізатору запитів визначити початок і кінець або діапазон в індексі. Тепер він повинен шукати всю таблицю (сканувати).