yujun777 opened a new pull request, #59818:
URL: https://github.com/apache/doris/pull/59818
Add more inference rules:
1. simplify: `IsNull AND xx`
```
TA is null and TA > 10 => TA is null and null
TA is null and TA = 10 => TA is null and null
TA is null and TA != 10 => TA is null and null
```
2. simplify: `IsNotNull OR xx`
```
TA is not null or TA > 10 => TA is not null or null
TA is not null or TA = 10 => TA is not null or null
TA is not null or TA != 10 => TA is not null or null
```
3. simplify: IsNotNull(TA) AND RangeAll(TA) = IsNotNull(TA)
```
TA is not null and (TA is not null or null) => TA is not null
```
4. simplify: IsNull(TA) AND RangeAll(TA) = EmptyValue(TA)
```
TA is null and (TA is not null or null) = TA is null and null
```
5. simplify: IsNotNull(TA) or EmptyValue(TA) = RangeAll(TA)
```
TA is not null or (TA is null and null) = TA is not null or null
```
6. Fix merge compound value bug
if `A AND B` is FALSE/Empty, A AND (B OR C) = A AND C.
but this has bug, if 'A AND B' is FALSE, the equation is correct.
but if 'A AND B' is EmptyValue, the equation maybe wrong, for example: `a >
100 and (a = 1 or a is not null)`, it cann't simplify to `a > 100 and a is not
null`.
so if `A and B` is empty value, we replace B with EmptyValue, then we will
have `A AND (B OR C)` = `A AND (EmptyValue OR C)`.
for the same logical for OR, then for 'A OR (B AND C)', if A OR B is
RangeAll, then we replace B with RangeAll.
### 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]
