行を返さないサブクエリでEXISTS演算子を使用した場合、MySQLはどのように評価しますか？

EXIST演算子で使用されるサブクエリが行を返さない場合、式EXISTはFALSEを返し、MySQLは空のセットを出力として返します。表「顧客」からの次のデータを使用した簡単な例を使用して理解できます-

mysql> Select * from Customers;
+-------------+----------+
| Customer_Id | Name     |
+-------------+----------+
|           1 | Rahul    |
|           2 | Yashpal  |
|           3 | Gaurav   |
|           4 | Virender |
+-------------+----------+
4 rows in set (0.00 sec)

mysql> Select * from Reservations;
+------+-------------+------------+
| ID   | Customer_id | Day        |
+------+-------------+------------+
|    1 |           1 | 2017-12-30 |
|    2 |           2 | 2017-12-28 |
|    3 |           2 | 2017-12-29 |
|    4 |           1 | 2017-12-25 |
|    5 |           3 | 2017-12-26 |
+------+-------------+------------+
5 rows in set (0.00 sec)

以下のMySQLクエリには、行を返さないEXIST演算子を含むサブクエリがあります。この場合、EXIST式はFALSEを返すため、結果セットは空のセットになります。

mysql> Select Name from Customers WHERE EXISTS (SELECT * FROM Reservations WHERE customer_id = 4);
Empty set (0.00 sec)