＜メール送信に失敗していたので再送しています、複数届いた方おられましたらすみません＞

明智さん

波多野と申します。

ユーザー変数評価順の面白い挙動を見つけましたのでご参考にして頂けると幸いです。

SELECT @a:=0; SELECT @a FROM (SELECT 1) t WHERE @a:=1 AND @a = 1; 
と
SELECT @a:=1; SELECT @a FROM (SELECT 1) t WHERE @a:=1 AND @a = 1;

上の方は２つめの SELECT は Empty でしたが、
下の方は２つめの SELECT は 1 でした
一つ目のクエリでの代入で、２つ目のクエリの WHERE が True になるかどうか影響を受けました

それではということで WHERE での代入を 0 にすると、先行する SELECT @a:=1 はあっても
True にならなくなりました

SELECT @a:=1; SELECT @a FROM (SELECT 1) t WHERE @a:=0 AND @a = 1;

さらに WHERE での代入を @a:=2 にしてみますと

mysql> SELECT @a:=1; SELECT @a FROM (SELECT 1) t WHERE @a:=2 AND @a = 1; 
+-------+
| @a:=1 |
+-------+
|     1 |
+-------+
1 row in set (0.00 sec)

+------+
| @a   |
+------+
|    1 |
+------+
1 row in set (0.00 sec)

成立するようになります。（@a:=2 関係ないのなら何故 := 0 で挙動が変わったのかw）
このようなクエリを現実で書くことはないと思われますが、直観では結果を事前に予測することは難しかったです。

今手元で使ってみたバージョンはこちらでした

mysql  Ver 14.14 Distrib 5.6.25, for Linux (x86_64)