在 Oracle 中，EXISTS 子查询是一种谓词，用于检查主查询返回的结果集是否为空。当 EXISTS 子查询返回至少一行记录时，谓词返回 TRUE；否则返回 FALSE。
在执行 EXISTS 子查询和主查询时，Oracle 会先执行 EXISTS 子查询，如果 EXISTS 子查询返回 TRUE，则继续执行主查询；如果 EXISTS 子查询返回 FALSE，则跳过主查询，不再执行。
因此， EXISTS 子查询是在主查询之前执行的。这样一来，可以避免不必要的主查询执行，从而提高查询的效率。
