exists对外表用loop逐条查询，每次查询都会查看exists的条件语句，当 exists里的条件语句能够返回记录行时(无论记录行是的多少，只要能返回)，条件就为真，返回当前loop到的这条记录，反之如果exists里的条件语句不能返回记录行，则当前loop到的这条记录被丢弃，exists的条件就像一个bool条件，当能返回结果集则为true，不能返回结果集则为 false。
如下：
select * from A where exists (select 1);
对A表的记录逐条取出，由于子条件中的select 1永远能返回记录行，那么A表的所有记录都将被加入结果集，所以与 select * from A;是一样的。
又如下:
select * from A where exists (select * from A where a = 0);
可以知道对A表进行loop时，检查条件语句(select * from A where a = 0),由于a永远不为0，所以条件语句永远返回空集，条件永远为false，那么A表的所有记录都将被丢弃。
not exists与exists相反，也就是当exists条件有结果集返回时，loop到的记录将被丢弃，否则将loop到的记录加入结果集。
总的来说，如果A表有n条记录，那么exists查询就是将这n条记录逐条取出，然后判断n遍exists条件。