Обнаружено деление TSQL на ноль, несмотря на отсутствие столбцов, содержащих 0

SQL — декларативный язык; вы пишете запрос, который логически описывает желаемый результат, но оптимизатор должен создать физический план. Этот физический план может не иметь большого отношения к письменной форме запроса, потому что оптимизатор не просто переупорядочивает «шаги», полученные из текстовой формы запроса, он может применять более 300 различных преобразований, чтобы найти эффективную стратегию выполнения.

Оптимизатор имеет значительную свободу в переупорядочивании выражений, объединений и других конструкций логических запросов. Это означает, что вы не можете, вообще говоря, полагаться на какую-либо письменную форму запроса, чтобы принудительно оценить одну вещь перед другой. В частности, переписывание, предложенное Ливеном, не заставляет вычислять предикат предложения WHERE перед выражением. Оптимизатор может, в зависимости от оценки стоимости, решить вычислить выражение там, где это кажется наиболее эффективным. В некоторых случаях это может даже означать, что выражение вычисляется более одного раза.

Первоначальный вопрос рассматривал эту возможность, но отвергал ее как «не имеющую особого смысла». Тем не менее, продукт работает именно так: если SQL Server оценит, что объединение уменьшит размер набора настолько, что это удешевит вычисление выражения для результата объединения, он может это сделать.

Общее правило состоит в том, чтобы никогда не зависеть от конкретного порядка вычисления, чтобы избежать таких вещей, как ошибки переполнения или деления на ноль. В этом примере можно использовать оператор CASE для проверки делителя нуля — пример защитного программирования.

Свобода оптимизатора переупорядочивать вещи является фундаментальным принципом его дизайна. Вы можете найти случаи, когда это приводит к нелогичному поведению, но в целом преимущества намного перевешивают недостатки.

Павел

Основные шаги, которые SQL Server использует для обработки одного оператора SELECT, включают следующий

1. Синтаксический анализатор просматривает инструкцию SELECT и разбивает ее на логические единицы, такие как ключевые слова, выражения, операторы и идентификаторы.
2. Дерево запросов, иногда называемое деревом последовательности, строится с описанием логических шагов, необходимых для преобразования исходных данных в формат, требуемый результирующим набором.
3. Оптимизатор запросов анализирует различные способы доступа к исходным таблицам. Затем он выбирает последовательность шагов, которая дает самые быстрые результаты при использовании меньшего количества ресурсов. Дерево запросов обновляется, чтобы записать именно эту последовательность шагов. Окончательная оптимизированная версия дерева запросов называется планом выполнения.
4. Реляционный механизм начинает выполнение плана выполнения. По мере обработки шагов, требующих данных из базовых таблиц, реляционная машина запрашивает, чтобы машина хранения передала данные из наборов строк, запрошенных из реляционной машины.
5. Реляционный механизм обрабатывает данные, возвращенные из механизма хранения, в формат, определенный для набора результатов, и возвращает набор результатов клиенту.

Моя интерпретация вещей заключается в том, что нет нет гарантии, что ваше предложение where будет оценено до оценки вычисляемого столбца для всех строк.

Вы можете проверить это предположение, изменив свой запрос, как показано ниже, и заставив предложение where оцениваться перед вычислением.

SELECT
    TotalSize,
    FreeSpace,
    (FreeSpace / TotalSize * 100)
FROM (
  SELECT
      TotalSize,
      FreeSpace,
  FROM
      tblComputer
  ...[ couple of joins ]...
  WHERE
      SomeCondition = SomeValue
  ) t

Какие строки возвращаются при запуске:

SELECT
   TotalSize
FROM
   tblComputer
   ...[ couple of joins ]...
WHERE
   SomeCondition = SomeValue
   and ((TotalSize * 100) = 0)

Это может дать вам представление о том, как SQL Server оценивает (TotalSize * 100) как ноль.

Еще одна идея: есть ли что-то в вашем операторе where, что также может быть проблемой?
Вы предполагаете, что это TotalSize, но это может быть где-то еще.

Я столкнулся с той же проблемой. В моем случае значения NULL были приемлемы, поэтому я смог исправить это следующим образом:

Select Expression1 / Expression2 -- Caused Division By 0
Select Expression1 / NULLIF(Expression2,0) -- Causes result to be NULL

Если вам нужна другая обработка, вы можете обернуть все выражение в функцию ISNULL следующим образом:

Select ISNULL(Expression1 / NULLIF(Expression2,0)-5) -- Returns -5 instead of null or divide by 0