pushdown

Posted on:December 21, 2020 at 09:29 AM

谓词下推:

为什么可以谓词下推?

因为交换律结合律

怎么下推,也就是触发条件?

rule instance

语义