pushdown

谓词下推:

为什么可以谓词下推?

因为交换律结合律

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

rule instance

语义