la función se bloquea con la operación de caso nulo

Creé una función que acepta una fecha de inicio y finalización, siendo la fecha de finalización opcional. Luego escribí un CASEen el filtro para usar la fecha de inicio si no se pasa ninguna fecha de finalización.

CASE WHEN @dateEnd IS NULL
    THEN @dateStart
    ELSE @dateEnd
END

Cuando llamo a la función para el mes más reciente de los datos:

SELECT * FROM theFunction ('2013-06-01', NULL)

... la consulta se cuelga. Si especifico la fecha de finalización:

SELECT * FROM theFunction ('2013-06-01', '2013-06-01')

... el resultado se devuelve normalmente. Saqué el código de la función y lo ejecuté bien dentro de una ventana de consulta. No puedo duplicar el problema del violín tampoco. Una consulta como:

SELECT * FROM theFunction ('2013-04-01', '2013-06-01')

... también funciona bien.

¿Hay algo en la consulta (a continuación) que pueda causar que la función se bloquee cuando NULLse pasa un para la fecha de finalización?

Violín de SQL

• Plan de ejecución paraSELECT * FROM theFunction ('2013-06-01', '2013-06-01')
• Plan estimado paraSELECT * FROM theFunction ('2013-06-01', NULL)

Parte de su consulta inicial es la siguiente.

  FROM   [dbo].[calendar] a
          LEFT JOIN [dbo].[colleagueList] b
            ON b.[Date] = a.d
   WHERE  DAY(a.[d]) = 1
          AND a.[d] BETWEEN @dateStart AND COALESCE(@dateEnd,@dateStart) 

Esa sección del plan se muestra a continuación

Su consulta revisada BETWEEN @dateStart AND ISNULL(@dateEnd,@dateStart)tiene esto para la misma combinación

La diferencia parece ser que se ISNULLsimplifica aún más y, como resultado, obtienes estadísticas de cardinalidad más precisas en la próxima unión. Esta es una función con valores de tabla en línea y la está llamando con valores literales para que pueda hacer algo así.

 a.[d] BETWEEN @dateStart AND ISNULL(@dateEnd,@dateStart) 
 a.[d] BETWEEN '2013-06-01' AND ISNULL(NULL,'2013-06-01') 
 a.[d] BETWEEN '2013-06-01' AND '2013-06-01'
 a.[d] = '2013-06-01'

Y como hay un predicado de equi join, b.[Date] = a.del plan también muestra un predicado de igualdad b.[Date] = '2013-06-01'. Como resultado, 28,393es probable que la estimación de cardinalidad de las filas sea bastante precisa.

Para la versión CASE/ COALESCEcuando @dateStarty @dateEndson el mismo valor, entonces simplifica OK a la misma expresión de igualdad y proporciona el mismo plan, pero cuando @dateStart = '2013-06-01'y @dateEnd IS NULLsolo va tan lejos como

a.[d]>='2013-06-01' AND a.[Date]<=CASE WHEN (1) THEN '2013-06-01' ELSE NULL END

que también se aplica como un predicado implícito en ColleagueList. El número estimado de filas esta vez es 79.8filas.

La próxima unión es

   LEFT JOIN colleagueTime
     ON colleagueTime.TC_DATE = colleagueList.Date
        AND colleagueTime.ASSOC_ID = CAST(colleagueList.ID AS VARCHAR(10)) 

colleagueTimees una 3,249,590tabla de filas que (de nuevo) aparentemente es un montón sin índices útiles.

Esta discrepancia en las estimaciones afecta la elección de combinación utilizada. El ISNULLplan elige una combinación hash que solo escanea la tabla una vez. El COALESCEplan elige una unión de bucles anidados y estima que solo tendrá que escanear la tabla una vez y poder poner en cola el resultado y reproducirlo 78 veces. es decir, estima que los parámetros correlacionados no cambiarán.

Por el hecho de que el plan de bucles anidados seguía funcionando después de dos horas, esta suposición de un solo escaneo en contra colleagueTimeparece ser muy inexacta.

En cuanto a por qué el número estimado de filas entre las dos uniones es mucho menor, no estoy seguro sin poder ver las estadísticas en las tablas. La única forma en que logré sesgar los recuentos de filas estimados tanto en mis pruebas fue agregando una carga de NULLfilas (esto redujo el recuento de filas estimado a pesar de que el número real de filas devueltas permaneció igual).

El recuento de filas estimado en el COALESCEplan con mis datos de prueba fue del orden de

number of rows matching >= condition * 30% * (proportion of rows in the table not null)

O en SQL

SELECT 1E0 * COUNT([Date]) / COUNT(*) * ( COUNT(CASE
                                                  WHEN [Date] >= '2013-06-01' THEN 1
                                                END) * 0.30 )
FROM   [dbo].[colleagueList] 

pero esto no cuadra con su comentario de que la columna no tiene NULLvalores.

Parece que hubo un problema con los tipos de datos. ISNULLsolucionado el problema (gracias ypercube ). Después de un poco de investigación, COALESCEes el equivalente a la CASEdeclaración que estaba usando:

CASE
   WHEN (expression1 IS NOT NULL) THEN expression1
   WHEN (expression2 IS NOT NULL) THEN expression2
   ...
   ELSE expressionN
END

Paul White explica que:

COALESCE( expression [ ,...n ] ) devuelve el tipo de datos de la expresión con la mayor prioridad de tipo de datos.

ISNULL(check_expression, replacement_value) devuelve el mismo tipo que check_expression.

Para evitar problemas de tipo de datos, parece que ISNULLes la función apropiada para tratar solo con dos expresiones.

Extractos del plan XML

El plan XML que usa la CASEexpresión 2 es NULL:

SELECT * FROM theFunction ('2013-06-01', NULL)

<ScalarOperator ScalarString="CASE WHEN (1) THEN '2013-06-01' ELSE NULL END">
  <IF>
    <Condition>
      <ScalarOperator>
        <Const ConstValue="(1)"/>
      </ScalarOperator>
    </Condition>
    <Then>
      <ScalarOperator>
        <Const ConstValue="'2013-06-01'"/>
      </ScalarOperator>
    </Then>
    <Else>
      <ScalarOperator>
        <Const ConstValue="NULL"/>
      </ScalarOperator>
    </Else>
  </IF>
</ScalarOperator>

Plan XML utilizando CASE, la expresión 2 es una fecha:

SELECT * FROM theFunction ('2013-06-01', '2013-06-01')

<ScalarOperator ScalarString="CASE WHEN [Expr1035]=(0) THEN NULL ELSE [Expr1036] END">
  <IF>
    <Condition>
      <ScalarOperator>
        <Compare CompareOp="EQ">
          <ScalarOperator>
            <Identifier>
              <ColumnReference Column="Expr1035"/>
            </Identifier>
          </ScalarOperator>
          <ScalarOperator>
            <Const ConstValue="(0)"/>
          </ScalarOperator>
        </Compare>
      </ScalarOperator>
    </Condition>
    <Then>
      <ScalarOperator>
        <Const ConstValue="NULL"/>
      </ScalarOperator>
      </Then>
    <Else>
      <ScalarOperator>
        <Identifier>
          <ColumnReference Column="Expr1036"/>
        </Identifier>
      </ScalarOperator>
    </Else>
  </IF>
</ScalarOperator>

El plan XML que usa la ISNULLexpresión 2 es NULL:

SELECT * FROM theFunction ('2013-06-01', NULL)

<ScalarOperator ScalarString="CASE WHEN [Expr1035]=(0) THEN NULL ELSE [Expr1036] END">
  <IF>
    <Condition>
      <ScalarOperator>
        <Compare CompareOp="EQ">
          <ScalarOperator>
            <Identifier>
              <ColumnReference Column="Expr1035"/>
            </Identifier>
          </ScalarOperator>
          <ScalarOperator>
            <Const ConstValue="(0)"/>
          </ScalarOperator>
        </Compare>
      </ScalarOperator>
    </Condition>
    <Then>
      <ScalarOperator>
        <Const ConstValue="NULL"/>
      </ScalarOperator>
    </Then>
    <Else>
      <ScalarOperator>
        <Identifier>
          <ColumnReference Column="Expr1036"/>
        </Identifier>
      </ScalarOperator>
    </Else>
  </IF>
</ScalarOperator>

Plan XML utilizando ISNULL, la expresión 2 es una fecha:

SELECT * FROM theFunction ('2013-06-01', '2013-06-01')

<ScalarOperator ScalarString="CASE WHEN [Expr1035]=(0) THEN NULL ELSE [Expr1036] END">
  <IF>
    <Condition>
      <ScalarOperator>
        <Compare CompareOp="EQ">
          <ScalarOperator>
            <Identifier>
              <ColumnReference Column="Expr1035"/>
            </Identifier>
          </ScalarOperator>
          <ScalarOperator>
            <Const ConstValue="(0)"/>
          </ScalarOperator>
        </Compare>
      </ScalarOperator>
    </Condition>
    <Then>
      <ScalarOperator>
        <Const ConstValue="NULL"/>
      </ScalarOperator>
    </Then>
    <Else>
      <ScalarOperator>
        <Identifier>
          <ColumnReference Column="Expr1036"/>
        </Identifier>
      </ScalarOperator>
    </Else>
  </IF>
</ScalarOperator>