I am getting a very odd error. Consider the table below:
CREATE TABLE #MyTable (
Key1 INT , Key2 INT ,
x SMALLINT , y INT , z INT ,
a FLOAT , b FLOAT , c SMALLINT , s FLOAT
)
-- insert many records
CREATE UNIQUE CLUSTERED INDEX CI ON #MyTable ( Key1 , Key2 )
For some reason, the following update statement tries to divide by zero. This can only happen if c=0
or c=1
. The WHERE
clause clearly specifies c>1
.
-- this fails with divide-by-zero error
UPDATE #MyTable
SET s = CASE
WHEN a - SQUARE ( b ) / c <= 0 THEN 0
ELSE ( a - SQUARE ( b ) / c ) / ( c - 1 )
END
WHERE x <= 622 AND c > 1 AND ( y > 0 OR z > 0 )
The problem is completely eliminated if I redundantly check for c<=1
in my CASE
expression:
-- this completes without an error
UPDATE #MyTable
SET s = CASE
WHEN ( c <= 1 ) OR ( a - SQUARE ( b ) / c <= 0 ) THEN 0
ELSE ( a - SQUARE ( b ) / c ) / ( c - 1 )
END
WHERE x <= 622 AND c > 1 AND ( y > 0 OR z > 0 )
Has anyone encountered this before? Why would SQL Server touch the records with c>1
?
The problem is also avoided if there is no index on the table (the index is useful in steps later in the procedure). Why would the existence of an index cause a condition in the WHERE
clause to be ignored?
Best Answer
You should not make any assumptions about how SQL Server will process your query, except this: you should always assume that SQL Server can process your query in a way that is different from how it is explicitly written on the screen. And also this behavior can change based on any of the factors that can influence whether a new plan will be used for the next execution of even the same query, so if you apply a hint or change the query in any way or add or remove an index and the error goes away, don't assume the error won't come back tomorrow.
In this case, SQL Server is processing a calculation before it is eliminating rows from the
WHERE
clause. The way you avoid this is, like you said, ensuring that those rows are also filtered out inside theCASE
expression (not statement).A more common but similar approach is this kind of thing:
In many scenarios you will get an error message because SQL Server tried to apply the date functions against some values in the column that didn't turn out to be dates (and this attempt occurred prior to filtering). The workaround is tedious - use the
CASE
expression - but necessary unless you have some other way to verify the worthiness of the column (e.g. a computed column or fixing the data type in the first place). Just keep in mind that even this can fail to "short circuit" in some scenarios.This is explained more thoroughly in the following feedback item by Erland Sommarskog: