tidb exists 语句优化器的执行效率问题

用 tiflash 来算得了。