TransposeAggSemiJoinProject.java

// Licensed to the Apache Software Foundation (ASF) under one
// or more contributor license agreements.  See the NOTICE file
// distributed with this work for additional information
// regarding copyright ownership.  The ASF licenses this file
// to you under the Apache License, Version 2.0 (the
// "License"); you may not use this file except in compliance
// with the License.  You may obtain a copy of the License at
//
//   http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing,
// software distributed under the License is distributed on an
// "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
// KIND, either express or implied.  See the License for the
// specific language governing permissions and limitations
// under the License.

package org.apache.doris.nereids.rules.exploration;

import org.apache.doris.nereids.rules.Rule;
import org.apache.doris.nereids.rules.RuleType;
import org.apache.doris.nereids.rules.rewrite.TransposeSemiJoinAgg;
import org.apache.doris.nereids.trees.plans.GroupPlan;
import org.apache.doris.nereids.trees.plans.Plan;
import org.apache.doris.nereids.trees.plans.logical.LogicalJoin;
import org.apache.doris.nereids.trees.plans.logical.LogicalProject;

import com.google.common.collect.ImmutableList;

/**
 * Pull up SemiJoin through Agg.
 */
public class TransposeAggSemiJoinProject extends OneExplorationRuleFactory {
    public static final TransposeAggSemiJoinProject INSTANCE = new TransposeAggSemiJoinProject();

    @Override
    public Rule build() {
        return logicalAggregate(logicalProject(
                logicalJoin().when(join -> join.getJoinType().isLeftSemiOrAntiJoin() && !join.isMarkJoin())))
                // the transpose moves the project from above the semi/anti join (where it is
                // evaluated on the pruned rows) to below the aggregate (where it is evaluated
                // on all left rows, before the join prunes): a NoneMovableFunction (assert_true)
                // or volatile expression there would run on rows the join removes, turning
                // returned rows into errors. reject the transpose then.
                .whenNot(agg -> agg.child().containsNoneMovableOrVolatile())
                .then(agg -> {
                    LogicalProject<LogicalJoin<GroupPlan, GroupPlan>> project = agg.child();
                    LogicalJoin<GroupPlan, GroupPlan> join = project.child();
                    if (!TransposeSemiJoinAgg.canTranspose(agg, join)) {
                        return null;
                    }
                    Plan newJoin = join.withChildren(agg.withChildren(project.withChildren(join.left())), join.right());
                    return new LogicalProject<>(ImmutableList.copyOf(agg.getOutput()), newJoin);
                })
                .toRule(RuleType.TRANSPOSE_LOGICAL_AGG_SEMI_JOIN_PROJECT);
    }
}