tablea
aid aNAME  
1   A1
2   A2
3   A3

tableb
bID AID bNAME
1   1     B1
2   2     B2  
3   2     B3

这是俩张表...

select * from tablea a
where EXISTS (select * from tableb b where a.aid = b.aid )

select * from tablea a
where EXISTS (select * from tableb b where a.aid = 1 )

select * from tablea a
where EXISTS (select * from tableb b where b.aid = 1 )

下面三条语句的返回结果分别是:

1 A1
2 A2
============================

1 A1

============================
1 A1
2 A2
3 A3

可以这么理解
可以看成前面和后面的 双层 for循环
exists后面如果的语句， 每次执行 如果返回true， 前面的语句就会执行，如果每次执行返回false， 前面的语句就不执行。 就这么简单
例子1：
外面第一次循环 当 a.aid = 1 的时候 里面可以 能够有数据, 所以前面打印1
外面第二次循环 当 a.aid = 2 的时候 能够有数据, 所以前面打印2
外面第三次循环 当 a.aid = 3 的时候 没有数据,所以不打印

例子2:
外面第一次循环 , 当a.aid = 1 的时候 有数据,所以打印 1
外面第二次循环. 当a.aid =2 就不成立. 不打印...

例子3:
外面第一次循环, 里面也循环成立 打印
外面第二次循环, 里面也循环成立 打印
外面第三次循环, 里面也循环成立 打印