feat(query): Add rule - Push filter down to aggregate

[johnhaxx7]

I hereby agree to the terms of the CLA available at: https://databend.rs/dev/policies/cla/

Summary

Detail is added as comment in rule_push_down_filter_aggregate.rs

Closes #8439

[vercel]

The latest updates on your projects. Learn more about Vercel for Git ↗︎

1 Ignored Deployment

Name	Status	Preview	Comments	Updated
databend	⬜️ Ignored (Inspect)	Visit Preview		Mar 1, 2023 at 5:07AM (UTC)

[johnhaxx7]

Hi @sundy-li, @BohuTANG PTAL, thanks!

BTW, I was looking at TiDB for heuristic rules. Seems like we don't have push filter to sort.
https://github.com/datafuselabs/databend/blob/1ae0a3dc06e89890d57de263aded04c230daa8f5/src/query/sql/src/planner/optimizer/rule/rule.rs#L34-L64

I'm not really sure if that's applied to storage layer. The filter in TableScan is empty but I'm not sure can you help confirm?

mysql> explain select a, b from t1 order by a limit 10;
+--------------------------------------------------------+
| explain                                                |
+--------------------------------------------------------+
| Limit                                                  |
| ├── limit: 10                                          |
| ├── offset: 0                                          |
| ├── estimated rows: 0.00                               |
| └── Sort                                               |
|     ├── sort keys: [a ASC NULLS LAST]                  |
|     ├── estimated rows: 0.00                           |
|     └── TableScan                                      |
|         ├── table: default.default.t1                  |
|         ├── read rows: 0                               |
|         ├── read bytes: 0                              |
|         ├── partitions total: 0                        |
|         ├── partitions scanned: 0                      |
|         ├── push downs: [filters: [], limit: 10]       |
|         └── estimated rows: 0.00                       |
+--------------------------------------------------------+

[sundy-li]

Seems like we don't have push filter to sort

Yes, we can have that.

[BohuTANG]

@mergify update

[mergify]

update

✅ Branch has been successfully updated