8

Me gustaría saber si, bajo SQL Server 2012, una sentencia A OR B, al evaluar la veracidad de A retorna true como resultado del OR sin la necesidad de evaluar B.

2 respuestas 2

9

Entiendo que la razón de tu pregunta no es que no entiendas cual es el resultado del operador OR, sino que quieres saber si SQL Server toma la pena de evaluar la segunda condición si el resultado se puede determinar evaluando la primera solamente.

Y me imagino que la pregunta surge porque otros lenguajes como C# o Java tienen esa optimización que se conoce como evaluación cortocircuitada (short-circuit evaluation).

Para SQL Server, y otras bases de datos, la respuesta es la misma: el motor de bases de datos también tiene la capacidad de efectuar short-circuit evaluation, o sea, no evaluar la segunda condición si no es necesaria. Pero no existe garantía de que lo haga siempre de esa forma.

En realidad, siempre es bueno recordar que, contrario a otros lenguajes como C# or Java, el lenguaje SQL es un lenguaje declarativo que se limita a definir cual resultado queremos, pero no impone cómo obtenerlo. De modo que el motor de base de datos tiene derecho a cambiar el SQL y la forma de evaluar las condiciones cómo le dé las ganas, mientras el resultado sea el mismo.

Por ejemplo, si tu condición es A or B. El motor de bases de datos tiene derecho a modificar la condición a B or A, por lo que no puedes asumir que B no será evaluado. El comportamiento puede variar según las circunstancias.

Enlaces de interés que tratan el tema con mas detalles y ejemplos para demostrar que no existen garantías:

Sobre todo esa última referencia, recomiendo su lectura. Aquí dejo traducida parte de lo que menciona:

Varios desarolladores que están acostumbrados a lenguajes imperativos como C asumen que se usa evaluación booleana cortocicuitada cuando se ejecutan consultas SQL.

SQL es un lenguaje declarativo. El optimizador tiene derecho a escoger cualquier plan de ejecución que provea el resultado deseado. Evaluación cortocircuitada de operadores booleanos NO ESTÁ GARANTIZADO.

9
  • 1
    Tema aclarado. Muchas gracias.
    – Andrés
    el 30 mar. 2017 a las 13:47
  • Por ejemplo, si tu condición es A or B. El motor de bases de datos tiene derecho a modificar la condición a B or A ¿¿ ... ?? Eso no es cierto, a no ser una evaluación complicada en la que te hayas puesto paréntesis equivocados. Eso no aparece documentado en Transact SQL.
    – A. Cedano
    el 30 mar. 2017 a las 13:54
  • 3
    @A. Cedano: Claro que puede. Si estamos de acuerdo que A or B y B or A son equivalentes, el optimzador tiene derecho a evaluar las condiciones en el orden que considere mas optimal. Tal vez piense que evaluar B sea menos costoso que evaluar A. Esto se menciona aquí: The order of evaluation of logical operators can vary depending on choices made by the query optimizer..
    – sstan
    el 30 mar. 2017 a las 14:00
  • @sstan Eso es otra cosa. Está hablando de condiciones de búsqueda, como operadores lógicos anidados en los cuales el manejador de BD determinará el orden de evaluación. Ahí no se habla de un simple A OR B en el cual independientemente del valor de B el resultado será TRUE si A=TRUE y además, aunque cambie el orden de evaluación, el resultado será siempre el mismo en el caso expuesto por el OP en la pregunta. ¿No lees en la pregunta del OP la palabra resultado?
    – A. Cedano
    el 30 mar. 2017 a las 14:11
  • @Andres Sugiero que si el sentido de tu pregunta era el que expone Sttan modifiques por favor tu pregunta: Me gustaría saber si, bajo SQL Server 2012, una sentencia A OR B, al evaluar la veracidad de A retorna true como resultado del OR sin la necesidad de evaluar B. Que indiques que lo te interesa saber es si B es evaluado. Como está planteado ahora parece indicar que lo que te interesa es el resultado, pero parece que no es eso. En ese caso borraré mi respuesta. Gracias.
    – A. Cedano
    el 30 mar. 2017 a las 14:15
-1

La pregunta que haces es la siguiente:

Me gustaría saber si, bajo SQL Server 2012, una sentencia A OR B, al evaluar la veracidad de A retorna true como resultado del OR sin la necesidad de evaluar B.

Entiendo que quieres saber el resultado que arrojará el comparador lógico OR en el caso de que A sea igual a TRUE.

Según la Documentación oficial de Transact-SQL

OR devuelve TRUE cuando cualquiera de las condiciones es TRUE.

Esto es válido para SQL Server (a partir de 2008), Azure SQL Database, Azure SQL Data Warehouse, Parallel Data Warehouse.

Por tanto, sin tener que evaluar B, el comparador OR devolverá siempre TRUE cuando Asea igual a TRUE.


Cómo funcionan los operadores lógicos

Si te fijas en la tabla, B (q en el caso de la imagen) sólo serán evaluados en el caso de que A (p en el caso de la imagen) sea igual a false o a unknown. En cambio, si A es true no es necesario que haya más evaluaciones, el comparador asignará automáticamente al resultado el valor true. introducir la descripción de la imagen aquí

Nota:

Otra cosa serían la precedencia en operaciones complicadas, en las que el orden de evaluación podría cambiar. Pero no se plantea nada de eso en la pregunta.

12
  • 1
    es una buena respuesta, pero OP no pregunto eso, si no que pregunto si al evaluar A no se evalua B como pasa en C por ejemplo. se que pascal evalua las dos, pero no se que hace sql server.
    – gbianchi
    el 30 mar. 2017 a las 13:28
  • @gbianchi Si te fijas en la tabla, B (q en el caso de la imagen) sólo serán evaluados en el caso de que A (p en el caso de la imagen) sea igual a false o a unknown. En cambio, si A es true no es necesario que haya más evaluaciones, el comparador asignará automáticamente al resultado el valor true. ¿Más claro de ahí?
    – A. Cedano
    el 30 mar. 2017 a las 13:30
  • 4
    si te entiendo, pero no necesariamente funciona asi. no todos los lenguajes lo hacen asi y por eso OP pregunta especificamente para qsl server 2012
    – gbianchi
    el 30 mar. 2017 a las 13:33
  • @gbianchi La información está tomada de SQL Server, ver enlace. El comportamiento es tal y como se refleja en la tabla.
    – A. Cedano
    el 30 mar. 2017 a las 13:34
  • No veo nada en la referencia que apoye la afirmación que B solo será evaluado si A es false o unknown. De hecho, no existe esa garantía en SQL Server.
    – sstan
    el 30 mar. 2017 a las 13:43

Tu Respuesta

By clicking “Publica tu respuesta”, you agree to our terms of service and acknowledge you have read our privacy policy.

¿No es la respuesta que buscas? Examina otras preguntas con la etiqueta o formula tu propia pregunta.