Skip to content

Commit

Permalink
[Feature] (Nereids) support un equals conjuncts in un scalar sub query (
Browse files Browse the repository at this point in the history
apache#15591)

support un equals conjuncts in un scalar sub query.
[fix] in correlated subquery wrong result
  • Loading branch information
zhengshiJ authored Jan 5, 2023
1 parent 5ee479f commit 5460c87
Show file tree
Hide file tree
Showing 13 changed files with 440 additions and 113 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -971,7 +971,7 @@ public PlanFragment visitPhysicalNestedLoopJoin(
.filter(Objects::nonNull)
.collect(Collectors.toList());

if (nestedLoopJoinNode.getConjuncts().isEmpty()
if (nestedLoopJoin.getOtherJoinConjuncts().isEmpty()
&& (joinType == JoinType.LEFT_ANTI_JOIN
|| joinType == JoinType.LEFT_SEMI_JOIN
|| joinType == JoinType.NULL_AWARE_LEFT_ANTI_JOIN)) {
Expand All @@ -983,7 +983,7 @@ public PlanFragment visitPhysicalNestedLoopJoin(
SlotDescriptor sd = context.createSlotDesc(intermediateDescriptor, sf);
leftIntermediateSlotDescriptor.add(sd);
}
} else if (nestedLoopJoinNode.getConjuncts().isEmpty()
} else if (nestedLoopJoin.getOtherJoinConjuncts().isEmpty()
&& (joinType == JoinType.RIGHT_ANTI_JOIN || joinType == JoinType.RIGHT_SEMI_JOIN)) {
for (SlotDescriptor rightSlotDescriptor : rightSlotDescriptors) {
if (!rightSlotDescriptor.isMaterialized()) {
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,7 @@
import org.apache.doris.nereids.CascadesContext;
import org.apache.doris.nereids.rules.rewrite.logical.ApplyPullFilterOnAgg;
import org.apache.doris.nereids.rules.rewrite.logical.ApplyPullFilterOnProjectUnderAgg;
import org.apache.doris.nereids.rules.rewrite.logical.EliminateFilterUnderApplyProject;
import org.apache.doris.nereids.rules.rewrite.logical.PushApplyUnderFilter;
import org.apache.doris.nereids.rules.rewrite.logical.PushApplyUnderProject;

Expand All @@ -43,6 +44,7 @@ public AdjustApplyFromCorrelateToUnCorrelateJob(CascadesContext cascadesContext)
topDownBatch(ImmutableList.of(
new PushApplyUnderProject(),
new PushApplyUnderFilter(),
new EliminateFilterUnderApplyProject(),
new ApplyPullFilterOnAgg(),
new ApplyPullFilterOnProjectUnderAgg()
))));
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -106,6 +106,7 @@ public enum RuleType {
// subquery rewrite rule
PUSH_APPLY_UNDER_PROJECT(RuleTypeClass.REWRITE),
PUSH_APPLY_UNDER_FILTER(RuleTypeClass.REWRITE),
ELIMINATE_FILTER_UNDER_APPLY_PROJECT(RuleTypeClass.REWRITE),
APPLY_PULL_FILTER_ON_AGG(RuleTypeClass.REWRITE),
APPLY_PULL_FILTER_ON_PROJECT_UNDER_AGG(RuleTypeClass.REWRITE),
SCALAR_APPLY_TO_JOIN(RuleTypeClass.REWRITE),
Expand Down
Original file line number Diff line number Diff line change
@@ -0,0 +1,97 @@
// 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.rewrite.logical;

import org.apache.doris.nereids.rules.Rule;
import org.apache.doris.nereids.rules.RuleType;
import org.apache.doris.nereids.rules.rewrite.OneRewriteRuleFactory;
import org.apache.doris.nereids.trees.expressions.Expression;
import org.apache.doris.nereids.trees.expressions.NamedExpression;
import org.apache.doris.nereids.trees.expressions.SlotReference;
import org.apache.doris.nereids.trees.plans.GroupPlan;
import org.apache.doris.nereids.trees.plans.Plan;
import org.apache.doris.nereids.trees.plans.logical.LogicalApply;
import org.apache.doris.nereids.trees.plans.logical.LogicalFilter;
import org.apache.doris.nereids.trees.plans.logical.LogicalProject;
import org.apache.doris.nereids.util.ExpressionUtils;
import org.apache.doris.nereids.util.PlanUtils;
import org.apache.doris.nereids.util.Utils;

import com.google.common.collect.ImmutableSet;

import java.util.ArrayList;
import java.util.List;
import java.util.Map;
import java.util.Set;

/**
* Adjust the order of Project and apply in correlated subqueries.
*
* before:
* apply
* / \
* Input(output:b) Project(output:a)
* |
* Filter(Correlated predicate/UnCorrelated predicate)
* |
* child
*
* after:
* apply(Correlated predicate)
* / \
* Input(output:b) Project(output:a)
* |
* Filter(UnCorrelated predicate)
* |
* child
*/
public class EliminateFilterUnderApplyProject extends OneRewriteRuleFactory {
@Override
public Rule build() {
return logicalApply(group(), logicalProject(logicalFilter()))
.when(LogicalApply::isCorrelated)
.when(LogicalApply::isIn)
.then(apply -> {
LogicalProject<LogicalFilter<GroupPlan>> project = apply.right();
LogicalFilter<GroupPlan> filter = project.child();
Set<Expression> conjuncts = filter.getConjuncts();
Map<Boolean, List<Expression>> split = Utils.splitCorrelatedConjuncts(
conjuncts, apply.getCorrelationSlot());
List<Expression> correlatedPredicate = split.get(true);
List<Expression> unCorrelatedPredicate = split.get(false);

// the representative has experienced the rule and added the correlated predicate to the apply node
if (correlatedPredicate.isEmpty()) {
return apply;
}

Plan child = PlanUtils.filterOrSelf(ImmutableSet.copyOf(unCorrelatedPredicate), filter.child());
List<NamedExpression> projects = new ArrayList<>();
projects.addAll(project.getProjects());
ExpressionUtils.collect(correlatedPredicate, SlotReference.class::isInstance).stream()
.filter(e -> filter.child().getOutput().contains(e))
.filter(e -> !projects.contains(e))
.map(NamedExpression.class::cast)
.forEach(projects::add);
LogicalProject newProject = new LogicalProject(projects, child);
return new LogicalApply<>(apply.getCorrelationSlot(), apply.getSubqueryExpr(),
ExpressionUtils.optionalAnd(correlatedPredicate),
apply.left(), newProject);
}).toRule(RuleType.ELIMINATE_FILTER_UNDER_APPLY_PROJECT);
}
}
Original file line number Diff line number Diff line change
Expand Up @@ -22,8 +22,9 @@
import org.apache.doris.nereids.rules.rewrite.OneRewriteRuleFactory;
import org.apache.doris.nereids.trees.expressions.ScalarSubquery;
import org.apache.doris.nereids.trees.expressions.Slot;
import org.apache.doris.nereids.trees.plans.GroupPlan;
import org.apache.doris.nereids.trees.plans.Plan;
import org.apache.doris.nereids.trees.plans.logical.LogicalApply;
import org.apache.doris.nereids.trees.plans.logical.LogicalFilter;
import org.apache.doris.nereids.trees.plans.logical.LogicalProject;

import java.util.ArrayList;
Expand All @@ -49,16 +50,20 @@
public class PushApplyUnderProject extends OneRewriteRuleFactory {
@Override
public Rule build() {
return logicalApply(group(), logicalProject()).when(LogicalApply::isCorrelated).then(apply -> {
LogicalProject<GroupPlan> project = apply.right();
LogicalApply newCorrelate = new LogicalApply<>(apply.getCorrelationSlot(), apply.getSubqueryExpr(),
apply.getCorrelationFilter(), apply.left(), project.child());
List<Slot> newSlots = new ArrayList<>();
newSlots.addAll(apply.left().getOutput());
if (apply.getSubqueryExpr() instanceof ScalarSubquery) {
newSlots.add(apply.right().getOutput().get(0));
}
return new LogicalProject(newSlots, newCorrelate);
}).toRule(RuleType.PUSH_APPLY_UNDER_PROJECT);
return logicalApply(group(), logicalProject(any()))
.when(LogicalApply::isCorrelated)
.whenNot(apply -> apply.right().child() instanceof LogicalFilter && apply.isIn())
.whenNot(LogicalApply::alreadyExecutedEliminateFilter)
.then(apply -> {
LogicalProject<Plan> project = apply.right();
LogicalApply newCorrelate = new LogicalApply<>(apply.getCorrelationSlot(), apply.getSubqueryExpr(),
apply.getCorrelationFilter(), apply.left(), project.child());
List<Slot> newSlots = new ArrayList<>();
newSlots.addAll(apply.left().getOutput());
if (apply.getSubqueryExpr() instanceof ScalarSubquery) {
newSlots.add(apply.right().getOutput().get(0));
}
return new LogicalProject(newSlots, newCorrelate);
}).toRule(RuleType.PUSH_APPLY_UNDER_PROJECT);
}
}
Original file line number Diff line number Diff line change
Expand Up @@ -17,10 +17,12 @@

package org.apache.doris.nereids.rules.rewrite.logical;

import org.apache.doris.nereids.exceptions.AnalysisException;
import org.apache.doris.nereids.rules.Rule;
import org.apache.doris.nereids.rules.RuleType;
import org.apache.doris.nereids.rules.rewrite.OneRewriteRuleFactory;
import org.apache.doris.nereids.trees.expressions.AssertNumRowsElement;
import org.apache.doris.nereids.trees.expressions.EqualTo;
import org.apache.doris.nereids.trees.expressions.Expression;
import org.apache.doris.nereids.trees.plans.JoinHint;
import org.apache.doris.nereids.trees.plans.JoinType;
Expand Down Expand Up @@ -63,6 +65,16 @@ private Plan unCorrelatedToJoin(LogicalApply apply) {

private Plan correlatedToJoin(LogicalApply apply) {
Optional<Expression> correlationFilter = apply.getCorrelationFilter();

if (correlationFilter.isPresent()) {
ExpressionUtils.extractConjunction(correlationFilter.get()).stream()
.filter(e -> !(e instanceof EqualTo))
.forEach(e -> {
throw new AnalysisException(
"scalar subquery's correlatedPredicates's operator must be EQ");
});
}

return new LogicalJoin<>(JoinType.LEFT_OUTER_JOIN,
ExpressionUtils.EMPTY_CONDITION,
correlationFilter
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -100,6 +100,10 @@ public boolean isCorrelated() {
return !correlationSlot.isEmpty();
}

public boolean alreadyExecutedEliminateFilter() {
return correlationFilter.isPresent();
}

@Override
public List<Slot> computeOutput() {
return ImmutableList.<Slot>builder()
Expand Down
32 changes: 23 additions & 9 deletions fe/fe-core/src/main/java/org/apache/doris/nereids/util/Utils.java
Original file line number Diff line number Diff line change
Expand Up @@ -19,6 +19,7 @@

import org.apache.doris.nereids.exceptions.AnalysisException;
import org.apache.doris.nereids.trees.expressions.Expression;
import org.apache.doris.nereids.trees.expressions.Not;
import org.apache.doris.nereids.trees.expressions.SlotReference;
import org.apache.doris.nereids.trees.expressions.shape.BinaryExpression;

Expand Down Expand Up @@ -176,23 +177,36 @@ public static List<Expression> getCorrelatedSlots(List<Expression> correlatedPre
List<Expression> correlatedSlots) {
List<Expression> slots = new ArrayList<>();
correlatedPredicates.forEach(predicate -> {
if (!(predicate instanceof BinaryExpression)) {
if (!(predicate instanceof BinaryExpression) && !(predicate instanceof Not)) {
throw new AnalysisException("UnSupported expr type: " + correlatedPredicates);
}
BinaryExpression binaryExpression = (BinaryExpression) predicate;
if (binaryExpression.left().anyMatch(correlatedSlots::contains)) {
if (binaryExpression.right() instanceof SlotReference) {
slots.add(binaryExpression.right());
}

BinaryExpression binaryExpression;
if (predicate instanceof Not) {
binaryExpression = (BinaryExpression) ((Not) predicate).child();
} else {
if (binaryExpression.left() instanceof SlotReference) {
slots.add(binaryExpression.left());
}
binaryExpression = (BinaryExpression) predicate;
}
slots.addAll(collectCorrelatedSlotsFromChildren(binaryExpression, correlatedSlots));
});
return slots;
}

private static List<Expression> collectCorrelatedSlotsFromChildren(
BinaryExpression binaryExpression, List<Expression> correlatedSlots) {
List<Expression> slots = new ArrayList<>();
if (binaryExpression.left().anyMatch(correlatedSlots::contains)) {
if (binaryExpression.right() instanceof SlotReference) {
slots.add(binaryExpression.right());
}
} else {
if (binaryExpression.left() instanceof SlotReference) {
slots.add(binaryExpression.left());
}
}
return slots;
}

public static Map<Boolean, List<Expression>> splitCorrelatedConjuncts(
Set<Expression> conjuncts, List<Expression> slots) {
return conjuncts.stream().collect(Collectors.partitioningBy(
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -28,6 +28,7 @@
import org.apache.doris.nereids.rules.rewrite.AggregateStrategies;
import org.apache.doris.nereids.rules.rewrite.logical.ApplyPullFilterOnAgg;
import org.apache.doris.nereids.rules.rewrite.logical.ApplyPullFilterOnProjectUnderAgg;
import org.apache.doris.nereids.rules.rewrite.logical.EliminateFilterUnderApplyProject;
import org.apache.doris.nereids.rules.rewrite.logical.ExistsApplyToJoin;
import org.apache.doris.nereids.rules.rewrite.logical.InApplyToJoin;
import org.apache.doris.nereids.rules.rewrite.logical.MergeProjects;
Expand Down Expand Up @@ -243,52 +244,41 @@ public void testInSql4AfterAnalyze() {
}

@Test
public void testInSql4AfterPushProjectRule() {
public void testInSql4AfterEliminateFilterUnderApplyProjectRule() {
PlanChecker.from(connectContext)
.analyze(sql4)
.applyBottomUp(new PushApplyUnderProject())
.matches(
logicalProject(
logicalApply().when(FieldChecker.check("correlationFilter", Optional.empty()))
.when(FieldChecker.check("correlationSlot", ImmutableList.of(
new SlotReference(new ExprId(1), "k2", BigIntType.INSTANCE, true,
ImmutableList.of("default_cluster:test", "t6")))))
).when(FieldChecker.check("projects", ImmutableList.of(
new SlotReference(new ExprId(0), "k1", BigIntType.INSTANCE, true,
ImmutableList.of("default_cluster:test", "t6")),
new SlotReference(new ExprId(1), "k2", BigIntType.INSTANCE, true,
ImmutableList.of("default_cluster:test", "t6")))))
);
}

@Test
public void testInSql4AfterPushFilterRule() {
PlanChecker.from(connectContext)
.analyze(sql4)
.applyBottomUp(new PushApplyUnderProject())
.applyBottomUp(new PushApplyUnderFilter())
.applyBottomUp(new EliminateFilterUnderApplyProject())
.matches(
logicalApply().when(FieldChecker.check("correlationFilter", Optional.of(
logicalApply(
any(),
logicalProject().when(FieldChecker.check("projects", ImmutableList.of(
new SlotReference(new ExprId(4), "k3", BigIntType.INSTANCE, true,
ImmutableList.of("default_cluster:test", "t7")),
new SlotReference(new ExprId(6), "v2", BigIntType.INSTANCE, true,
ImmutableList.of("default_cluster:test", "t7")))))
).when(FieldChecker.check("correlationFilter", Optional.of(
new EqualTo(new SlotReference(new ExprId(6), "v2", BigIntType.INSTANCE, true,
ImmutableList.of("default_cluster:test", "t7")),
new SlotReference(new ExprId(1), "k2", BigIntType.INSTANCE, true,
ImmutableList.of("default_cluster:test", "t6"))))))
.when(FieldChecker.check("correlationSlot", ImmutableList.of(
new SlotReference(new ExprId(1), "k2", BigIntType.INSTANCE, true,
ImmutableList.of("default_cluster:test", "t6")))))
);
}

@Test
public void testInSql4AfterInToJoin() {
PlanChecker.from(connectContext)
.analyze(sql4)
.applyBottomUp(new PushApplyUnderProject())
.applyBottomUp(new PushApplyUnderFilter())
.applyBottomUp(new EliminateFilterUnderApplyProject())
.applyBottomUp(new InApplyToJoin())
.matches(
logicalJoin().when(FieldChecker.check("joinType", JoinType.LEFT_SEMI_JOIN))
.when(FieldChecker.check("otherJoinConjuncts", ImmutableList.of(
new EqualTo(new SlotReference(new ExprId(0), "k1", BigIntType.INSTANCE, true,
ImmutableList.of("default_cluster:test", "t6")),
new SlotReference(new ExprId(2), "k1", BigIntType.INSTANCE, false,
new SlotReference(new ExprId(4), "k3", BigIntType.INSTANCE, false,
ImmutableList.of("default_cluster:test", "t7"))),
new EqualTo(new SlotReference(new ExprId(6), "v2", BigIntType.INSTANCE, true,
ImmutableList.of("default_cluster:test", "t7")),
Expand Down
Loading

0 comments on commit 5460c87

Please sign in to comment.