8.2.4 由EXISTS引导的嵌套查询