是否对SQL WHERE子句进行了短路评估？

沙漠里的沙丁鱼

是否在SQL WHERE子句中对布尔表达式进行短路求值 ？
* P1 C3 \1 L* z  `4 D  Q例如：
; ^, u' W0 v% ^5 O& JSELECT *
FROM Table t
WHERE @key IS NULL OR (@key IS NOT NULL AND @key = t.Key)
如果 @key IS NULL的 计算结果为true，则 @key不是NOT AND @key = t.Key的 计算结果吗？
' v5 G- q" ]2 V3 f如果否，为什么不呢？
! U2 B9 g" w$ G6 D% n( Q% [如果是，是否可以保证？它是ANSI SQL的一部分还是特定于数据库的？
) o: i( I# Y& w, ]4 C如果是特定于数据库的SqlServer？甲骨文？MySQL的？
1 X8 ]+ t, I8 ~: y               
解决方案:
- |3 r$ }! G* N$ y2 j/ _               
, H8 |1 W* _6 C: E
/ W8 s6 N# z& ]) |
# r5 Z3 J* J) p; {) \8 E( i                ANSI SQL草稿2003 5WD-01-Framework-2003-09.pdf

9 G7 n- T5 B, A/ h* s8 S6.3.3.3规则评估顺序
5 c, r$ ?+ c5 F6 ^[…]
如果优先级不是由格式或括号确定的，则通常从左到右执行表达式的有效评估。但是， 取决于 表达式是否实际上是从左到右求值，这 取决于实现
, x6 x. V$ M& z# A; ?7 t5 B，特别是在操作数或运算符可能导致条件升高 或是否可以在不完全评估表达式的所有部分的情况下确定表达式的结果时。