add propagate_empty_relation optimizer rule

[jackwener]

Which issue does this PR close?

Closes #3864.

We can propagate empty_relation to eliminate useless plan.

This is a bottom-up rule.

| logical_plan after eliminate_filter| Projection: t1.column1                        |
|                                    |   Inner Join: t1.column1 = ta1.column1        |
|                                    |     TableScan: t1                             |
|                                    |     Projection: ta1.column1, alias=ta1        |
|                                    |       Projection: t2.column1, alias=ta1       |
|                                    |         Inner Join: t2.column1 = ta2.column1  |
|                                    |           TableScan: t2                       |
|                                    |           Projection: ta2.column1, alias=ta2  |
|                                    |             Projection: t3.column1, alias=ta2 |
|                                    |               EmptyRelation                   |
| logical_plan after eliminate_limit | EmptyRelation                                 |

Rationale for this change

What changes are included in this PR?

Are these changes tested?

Are there any user-facing changes?

[jackwener]

Thanks @mingmwang.
Condition for Join is complex😂, I leave a TODO for it.

[mingmwang]

Thank you so much @jackwener. Overall, the PR LGTM.

[alamb]

The only thing I would recommend it at least one test in https://github.com/apache/arrow-datafusion/blob/master/datafusion/optimizer/tests/integration-test.rs that shows this optimization working with other optimization passes

[alamb]

Thank you @jackwener

[jackwener]

Thanks @mingmwang @alamb @Dandandan review❤️

[alamb]

This looks really nice @jackwener -- thank you so much.

I'll wait a day to see if @mingmwang or @Dandandan want to review again as well and then I'll plan to merge it in.

[alamb]

👍

[alamb]

Thanks again @jackwener

[ursabot]

Benchmark runs are scheduled for baseline = f0359a7 and contender = 5de9709. 5de9709 is a master commit associated with this PR. Results will be available as each benchmark for each run completes.
Conbench compare runs links:
[Skipped ⚠️ Benchmarking of arrow-datafusion-commits is not supported on ec2-t3-xlarge-us-east-2] ec2-t3-xlarge-us-east-2
[Skipped ⚠️ Benchmarking of arrow-datafusion-commits is not supported on test-mac-arm] test-mac-arm
[Skipped ⚠️ Benchmarking of arrow-datafusion-commits is not supported on ursa-i9-9960x] ursa-i9-9960x
[Skipped ⚠️ Benchmarking of arrow-datafusion-commits is not supported on ursa-thinkcentre-m75q] ursa-thinkcentre-m75q
Buildkite builds:
Supported benchmarks:
ec2-t3-xlarge-us-east-2: Supported benchmark langs: Python, R. Runs only benchmarks with cloud = True
test-mac-arm: Supported benchmark langs: C++, Python, R
ursa-i9-9960x: Supported benchmark langs: Python, R, JavaScript
ursa-thinkcentre-m75q: Supported benchmark langs: C++, Java