还有两个重构工具，PushDown和PullUp，分别实现将类方法或者属性从一个类移动到其子类或父类中。
通过改变某些昵称属性，可以考虑叠加哪些操作，以提高性能。
下推连接键可用于索引下推或位向量下推。
但是仍需要用户的干预，将叠加逻辑插入到生成的模板中。
该访问计划假设，生成按prod_id排序的数据流的排序操作被推至（pushdown）到两个数据源。
这种文法规定的语言可以被非确定下推自动机接受。
索引下推使用下推键执行事实表外键索引的查询。
在本文中，我们研究下推系统和BPP上EGF逻辑的模型检测问题。
后来，需要在CMP方法中实现叠加过程。