问基于Dask的拼图谓词下推过滤

EN

在读取DataFrame时，如何应用基于Parquet min/max值的谓词下推筛选器？

假设您有一个包含4个Parquet文件的数据池，每个文件都有nickname和age列。此表显示每个文件的Parquet文件名、年龄最小值和年龄最大值。

| File          | min | max |
|---------------|-----|-----|
| pets1.parquet | 1   | 9   |
| pets2.parquet | 3   | 9   |
| pets3.parquet | 2   | 4   |
| pets4.parquet | 7   | 12  |

假设您希望对年龄大于10的所有数据行执行分析。您知道在执行此分析时可以跳过pets1.parquet、pets2.parquet和pets3.parquet，因为这些文件中的最大年龄小于筛选器查询中的最小值。跳过文件可以使一些分析运行得更快。

下面是API文档中的read_parquet方法签名：dask.dataframe.read_parquet(path, columns=None, filters=None, categories=None, index=None, storage_options=None, engine='auto', gather_statistics=None, split_row_groups=None, chunksize=None, **kwargs)。

filter参数有帮助吗？你能提供一个代码片段吗？