MYSQL上测试了一下， EXISTS运算符是判断子查询是否返回空集，如果不是空集，就返回TRUE。这三个子查询都返回了值，不是空集（空集是什么都没有，而这几个至少还返回个常量）。