feat: eliminate useless join | convert inner to outer when condition is true

[jackwener]

Which issue does this PR close?

Closes #.

Rationale for this change

What changes are included in this PR?

• eliminate useless join
• convert inner to outer when condition is true
• simplify code

Are these changes tested?

• UT
• sqllogicaltest

Are there any user-facing changes?

[alamb]

This looks good to me -- thank you @jackwener

I wonder if you actually hit any of these queries somehow or if this is a theoretical concern?

[jackwener]

I wonder if you actually hit any of these queries somehow or if this is a theoretical concern?

Yes, I hit this problem when I add optimization for Apache Doris. And It also is a theoretical concern.

we should do this optimization because inner join should exist real edge (equal/non-equal condition) in semantic, this rule convert fake inner join to be cross join.

If we don't handle it, some rule may ignore this corner case in some optimization, it may occur BUG. Such as Join Reorder....

Paper: On the Correct and Complete Enumeration of the Core Search Space describe this conditon is Degenerate Predicates

In the future, we should handle more Degenerate Predicates condition