DBCC CHECKDB corrupción no reparable: la vista indizada contiene filas que no fueron producidas por la definición de vista

TL; DR: Tengo una corrupción no reparable en una vista indizada. Aquí están los detalles:

Corriendo

DBCC CHECKDB([DbName]) WITH EXTENDED_LOGICAL_CHECKS, DATA_PURITY, NO_INFOMSGS, ALL_ERRORMSGS

en una de mis bases de datos produce el siguiente error:

Mensaje 8907, Nivel 16, Estado 1, Línea 1 El índice espacial, el índice XML o la vista indizada 'ViewName' (ID de objeto 784109934) contiene filas que no fueron producidas por la definición de la vista. Esto no representa necesariamente un problema de integridad con los datos en esta base de datos. (...)

CHECKDB encontró 0 errores de asignación y 1 errores de coherencia en la tabla 'ViewName'.

repair_rebuild es el nivel mínimo de reparación (...).

Entiendo que este mensaje indica que los datos materializados de la vista indexada 'ViewName' no son idénticos a los que produce la consulta subyacente. Sin embargo, la verificación manual de los datos no genera ninguna discrepancia:

SELECT * FROM ViewName WITH (NOEXPAND)
EXCEPT
SELECT ...
from T1 WITH (FORCESCAN)
join T2 on ...

SELECT ...
from T1 WITH (FORCESCAN)
join T2 on ...
EXCEPT
SELECT * FROM ViewName WITH (NOEXPAND)

NOEXPANDse usó para forzar el uso del (único) índice en ViewName. FORCESCANse usó para evitar que ocurriera coincidencia de vista indexada. El plan de ejecución confirma que ambas medidas están funcionando.

Aquí no se devuelven filas, lo que significa que las dos tablas son idénticas. (Solo hay columnas enteras y guid, las colaciones no entran en juego).

El error no se puede solucionar recreando el índice en la vista o ejecutando DBCC CHECKDB REPAIR_ALLOW_DATA_LOSS. Repetir las correcciones tampoco ayudó. ¿Por qué DBCC CHECKDBinforma este error? Cómo deshacerse de él?

(Incluso si la reconstrucción lo solucionaba, mi pregunta seguiría en pie: ¿por qué se informa un error aunque mis consultas de verificación de datos se ejecutan correctamente?)

Actualización: el error se ha solucionado en algunas versiones. Ya no puedo reproducirlo en SQL Server 2014 SP2 CU 5. El SP2 KB 2014 contiene una corrección sin artículo de KB: Creating non-clustered index causes DBCC CheckDB With Extended_Logical_Checks to raise corruption error. Los dos errores de conexión sobre esto se han cerrado:

• https://connect.microsoft.com/SQLServer/feedback/details/847233/creating-non-clustered-index-causes-dbcc-checkdb-with-extended-logical-checks-to-raise-corruption-error
• https://connect.microsoft.com/SQLServer/feedback/details/795478/unfixable-dbcc-checkdb-error-that-is-also-a-false-positive-and-otherwise-strange

El procesador de consultas puede generar un plan de ejecución no válido para la consulta (correcta) generada por DBCC para verificar que el índice de vista produce las mismas filas que la consulta de vista subyacente.

El plan producido por el procesador de consultas maneja incorrectamente NULLsla ImageObjectIDcolumna. Motiva incorrectamente que la consulta de vista rechaza NULLsesta columna, cuando no lo hace. Pensando que NULLsestán excluidos, puede hacer coincidir el índice filtrado no agrupado en la Userstabla que se filtra ImageObjectID IS NOT NULL.

Al producir un plan que utiliza este índice filtrado, asegura que no se encuentren filas con NULLin ImageObjectID. Estas filas se devuelven (correctamente) desde el índice de vista, por lo que parece que hay una corrupción cuando no la hay.

La definición de la vista es:

SELECT
    dbo.Universities.ID AS Universities_ID, 
    dbo.Users.ImageObjectID AS Users_ImageObjectID
FROM dbo.Universities
JOIN dbo.Users
    ON dbo.Universities.AdminUserID = dbo.Users.ID

La ONcláusula de comparación de igualdad entre AdminUserIDy IDrechaza NULLsen esas columnas, pero no de la ImageObjectIDcolumna.

Parte de la consulta generada por DBCC es:

SELECT [Universities_ID], [Users_ImageObjectID], 0 as 'SOURCE'
FROM [dbo].[mv_Universities_Users_ID] tOuter WITH (NOEXPAND) 
WHERE NOT EXISTS
( 
    SELECT 1 
    FROM   [dbo].[mv_Universities_Users_ID] tInner
    WHERE 
    (
        (
            (
                [tInner].[Universities_ID] = [tOuter].[Universities_ID]
            ) 
            OR 
            (
                [tInner].[Universities_ID] IS NULL
                AND [tOuter].[Universities_ID] IS NULL
            )
        )
        AND
        (
            (
                [tInner].[Users_ImageObjectID] = [tOuter].[Users_ImageObjectID]
            ) 
            OR 
            (
                [tInner].[Users_ImageObjectID] IS NULL 
                AND [tOuter].[Users_ImageObjectID] IS NULL
            )
        )
    )
)
OPTION (EXPAND VIEWS);

Este es un código genérico que compara valores de manera NULLconsciente. Ciertamente es detallado, pero la lógica está bien.

El error en el razonamiento del procesador de consultas significa que se puede generar un plan de consulta que usa incorrectamente el índice filtrado, como en el fragmento de plan de ejemplo a continuación:

La consulta DBCC toma una ruta de código diferente a través del procesador de consultas de las consultas de los usuarios. Esta ruta de código contiene el error. Cuando se genera un plan que usa el índice filtrado, no se puede usar con la USE PLANsugerencia para forzar esa forma de plan con el mismo texto de consulta enviado desde una conexión de base de datos de usuario.

La ruta del código del optimizador principal (para consultas de usuarios) no contiene este error, por lo que es específica para consultas internas como las generadas por DBCC.

La investigación adicional muestra que este es un error en DBCC CHECKDB. Se ha abierto un error de Microsoft Connect: error de DBCC CHECKDB no reparable (que también es un falso positivo y de otro modo extraño) . Afortunadamente, pude producir una reproducción para que el error pueda ser encontrado y reparado.

El error puede ocultarse jugando con el esquema de la base de datos. Eliminar un índice filtrado no relacionado o eliminar el filtro oculta el error. Para más detalles, consulte el elemento de conexión.

El elemento de conexión también contiene la consulta interna que DBCC CHECKDB usa para validar el contenido de la vista. No devuelve resultados, lo que demuestra que se trata de un error.

El error se ha solucionado en algunas versiones. Ya no puedo reproducirlo en SQL Server 2014 SP2 CU 5.