starocean999 opened a new pull request, #66574:
URL: https://github.com/apache/doris/pull/66574
### What problem does this PR solve?
Issue Number: close #xxx
Related PR: #xxx
Problem Summary:
A query with a subquery inside the ON condition of an anti join failed at
physical planning with "A expression contains slot not from children", e.g.:
```sql
SELECT t1.* FROM t1 LEFT ANTI JOIN t2
ON t1.k2 = t2.k3 AND t1.k1 NOT IN (SELECT t3.k1 FROM t3 WHERE t1.k2 =
t3.k2);
```
The subquery is unnested into a mark join `(t1 LEFT ANTI JOIN t3)` that
produces
a mark slot, and the outer anti join references the mark slot in its
conjuncts.
Root cause: the exploration rule `SemiJoinSemiJoinTransposeProject`
transposes
two nested left semi/anti joins `(A ⟕̸ B) ⟕̸ C` into `(A ⟕̸ C) ⟕̸ B`. When
the
bottom join `(A ⟕̸ B)` is a mark join, the transposed plan builds
`newBottomSemi = (A ⟕̸ C)` from the top join, inheriting the top join's
conjuncts
that reference the bottom mark slot, while the mark slot is now produced
above by
the new top mark join. The mark slot is therefore referenced by a join whose
children don't output it, and physical planning fails with "slot not from
children".
The fix rejects the transpose when the bottom semi join is a mark join and
the
top semi join references the bottom mark slot in its conjuncts, so the mark
join
is always kept below the join that consumes the mark slot. After the fix the
query above executes correctly and returns the expected result.
### Release note
None
### Check List (For Author)
- Test <!-- At least one of them must be included. -->
- [ ] Regression test
- [ ] Unit Test
- [ ] Manual test (add detailed scripts or steps below)
- [ ] No need to test or manual test. Explain why:
- [ ] This is a refactor/code format and no logic has been changed.
- [ ] Previous test can cover this change.
- [ ] No code files have been changed.
- [ ] Other reason <!-- Add your reason? -->
- Behavior changed:
- [ ] No.
- [ ] Yes. <!-- Explain the behavior change -->
- Does this need documentation?
- [ ] No.
- [ ] Yes. <!-- Add document PR link here. eg:
https://github.com/apache/doris-website/pull/1214 -->
### Check List (For Reviewer who merge this PR)
- [ ] Confirm the release note
- [ ] Confirm test cases
- [ ] Confirm document
- [ ] Add branch pick label <!-- Add branch pick label that this PR should
merge into -->
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: [email protected]
For queries about this service, please contact Infrastructure at:
[email protected]
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
