[core][flink] supports count star pushdown for all-global-indexed filters.

paimon-core/src/main/java/org/apache/paimon/globalindex/ScalarIndexedFieldsVisitor.java

@@ -0,0 +1,163 @@
+/*
+ * Licensed to the Apache Software Foundation (ASF) under one
+ * or more contributor license agreements.  See the NOTICE file
+ * distributed with this work for additional information
+ * regarding copyright ownership.  The ASF licenses this file
+ * to you under the Apache License, Version 2.0 (the
+ * "License"); you may not use this file except in compliance
+ * with the License.  You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+package org.apache.paimon.globalindex;
+
+import org.apache.paimon.index.GlobalIndexMeta;
+import org.apache.paimon.manifest.IndexManifestEntry;
+import org.apache.paimon.partition.PartitionPredicate;
+import org.apache.paimon.predicate.And;
+import org.apache.paimon.predicate.Between;
+import org.apache.paimon.predicate.CompoundFunction;
+import org.apache.paimon.predicate.CompoundPredicate;
+import org.apache.paimon.predicate.Equal;
+import org.apache.paimon.predicate.FieldRef;
+import org.apache.paimon.predicate.In;
+import org.apache.paimon.predicate.IsNull;
+import org.apache.paimon.predicate.LeafFunction;
+import org.apache.paimon.predicate.LeafPredicate;
+import org.apache.paimon.predicate.Or;
+import org.apache.paimon.predicate.Predicate;
+import org.apache.paimon.predicate.PredicateBuilder;
+import org.apache.paimon.predicate.PredicateVisitor;
+import org.apache.paimon.table.FileStoreTable;
+import org.apache.paimon.table.Table;
+import org.apache.paimon.utils.Pair;
+
+import javax.annotation.Nullable;
+
+import java.util.List;
+import java.util.Objects;
+import java.util.Optional;
+import java.util.Set;
+import java.util.stream.Collectors;
+
+import static org.apache.paimon.partition.PartitionPredicate.splitPartitionPredicatesAndDataPredicates;
+import static org.apache.paimon.table.source.snapshot.TimeTravelUtil.tryTravelOrLatest;
+
+/** A visitor to test whether a predicate is fully covered by scalar index. */
+public class ScalarIndexedFieldsVisitor implements PredicateVisitor<Boolean> {
+
+    private static final String BTREE_INDEX_TYPE = "btree";
+
+    private final Set<String> scalarIndexedFields;
+
+    public ScalarIndexedFieldsVisitor(Set<String> scalarIndexedFields) {
+        this.scalarIndexedFields = scalarIndexedFields;
+    }
+
+    public static boolean allFieldsIndexed(
+            Table table,
+            @Nullable Predicate predicate,
+            @Nullable PartitionPredicate partitionPredicate) {
+        if (!(table instanceof FileStoreTable)) {
+            return false;
+        }
+
+        FileStoreTable storeTable = (FileStoreTable) table;
+
+        if (!storeTable.coreOptions().dataEvolutionEnabled()) {
+            return false;
+        }
+
+        if (predicate == null || !storeTable.coreOptions().globalIndexEnabled()) {
+            return false;
+        }
+
+        // We should split the PartitionPredicate to filter index entries, or the result may be
+        // wrong. For example, if we have two partitions `dt=1`(indexed) and `dt=2`(unindexed),
+        // the where condition `id=10 AND dt=2` should not be consumed. Because the index evaluation
+        // during the plan phase will decide not to use the index.
+        Pair<Optional<PartitionPredicate>, List<Predicate>> splitPredicates =
+                splitPartitionPredicatesAndDataPredicates(
+                        predicate, table.rowType(), table.partitionKeys());
+        PartitionPredicate effectivePartPredicate =
+                partitionPredicate != null
+                        ? partitionPredicate
+                        : splitPredicates.getLeft().orElse(null);
+
+        Set<String> indexedFields =
+                storeTable.store().newIndexFileHandler()
+                        .scan(tryTravelOrLatest(storeTable), entryFilter(effectivePartPredicate))
+                        .stream()
+                        .map(IndexManifestEntry::indexFile)
+                        .map(indexFile -> indexFile.globalIndexMeta())
+                        .filter(Objects::nonNull)
+                        .map(GlobalIndexMeta::indexFieldId)
+                        .filter(storeTable.rowType()::containsField)
+                        .map(fieldId -> storeTable.rowType().getField(fieldId).name())
+                        .collect(Collectors.toSet());
+
+        if (indexedFields.isEmpty()) {
+            return false;
+        }
+
+        return PredicateBuilder.and(splitPredicates.getRight())
+                .visit(new ScalarIndexedFieldsVisitor(indexedFields));
+    }
+
+    private static org.apache.paimon.utils.Filter<IndexManifestEntry> entryFilter(
+            PartitionPredicate partitionPredicate) {
+        return entry -> {
+            if (partitionPredicate != null && !partitionPredicate.test(entry.partition())) {
+                return false;
+            }
+            GlobalIndexMeta globalIndexMeta = entry.indexFile().globalIndexMeta();
+            return globalIndexMeta != null
+                    && BTREE_INDEX_TYPE.equals(entry.indexFile().indexType());
+        };
+    }
+
+    @Override
+    public Boolean visit(LeafPredicate predicate) {
+        Optional<FieldRef> fieldRefOptional = predicate.fieldRefOptional();
+        if (!fieldRefOptional.isPresent()) {
+            return false;
+        }
+
+        FieldRef fieldRef = fieldRefOptional.get();
+        if (!isScalarIndexed(fieldRef)) {
+            return false;
+        }
+
+        LeafFunction function = predicate.function();
+        return function instanceof Equal
+                || function instanceof In
+                || function instanceof Between
+                || function instanceof IsNull;
+    }
+
+    @Override
+    public Boolean visit(CompoundPredicate predicate) {
+        CompoundFunction function = predicate.function();
+        if (!(function instanceof And) && !(function instanceof Or)) {
+            return false;
+        }
+
+        for (Predicate child : predicate.children()) {
+            if (!child.visit(this)) {
+                return false;
+            }
+        }
+        return true;
+    }
+
+    private boolean isScalarIndexed(FieldRef fieldRef) {
+        return scalarIndexedFields.contains(fieldRef.name());
+    }
+}

paimon-core/src/test/java/org/apache/paimon/globalindex/ScalarIndexedFieldsVisitorTest.java

@@ -0,0 +1,92 @@
+/*
+ * Licensed to the Apache Software Foundation (ASF) under one
+ * or more contributor license agreements.  See the NOTICE file
+ * distributed with this work for additional information
+ * regarding copyright ownership.  The ASF licenses this file
+ * to you under the Apache License, Version 2.0 (the
+ * "License"); you may not use this file except in compliance
+ * with the License.  You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+package org.apache.paimon.globalindex;
+
+import org.apache.paimon.data.BinaryString;
+import org.apache.paimon.predicate.Equal;
+import org.apache.paimon.predicate.FieldRef;
+import org.apache.paimon.predicate.LeafPredicate;
+import org.apache.paimon.predicate.Predicate;
+import org.apache.paimon.predicate.PredicateBuilder;
+import org.apache.paimon.predicate.UpperTransform;
+import org.apache.paimon.types.DataField;
+import org.apache.paimon.types.DataTypes;
+import org.apache.paimon.types.RowType;
+
+import org.junit.jupiter.api.Test;
+
+import java.util.Arrays;
+import java.util.Collections;
+import java.util.HashSet;
+
+import static org.assertj.core.api.Assertions.assertThat;
+
+/** Tests for {@link ScalarIndexedFieldsVisitor}. */
+public class ScalarIndexedFieldsVisitorTest {
+
+    private static final RowType ROW_TYPE =
+            new RowType(
+                    Arrays.asList(
+                            new DataField(0, "id", DataTypes.INT()),
+                            new DataField(1, "name", DataTypes.STRING()),
+                            new DataField(2, "score", DataTypes.INT())));
+
+    private static final PredicateBuilder BUILDER = new PredicateBuilder(ROW_TYPE);
+
+    private static final ScalarIndexedFieldsVisitor VISITOR =
+            new ScalarIndexedFieldsVisitor(new HashSet<>(Arrays.asList("id", "score")));
+
+    @Test
+    public void testSupportedPredicates() {
+        assertThat(BUILDER.equal(0, 10).visit(VISITOR)).isTrue();
+        assertThat(BUILDER.in(0, Arrays.asList(1, 2, 3)).visit(VISITOR)).isTrue();
+        assertThat(BUILDER.between(2, 90, 100).visit(VISITOR)).isTrue();
+        assertThat(BUILDER.isNull(0).visit(VISITOR)).isTrue();
+    }
+
+    @Test
+    public void testCompoundPredicates() {
+        Predicate andPredicate =
+                PredicateBuilder.and(BUILDER.equal(0, 10), BUILDER.between(2, 90, 100));
+        Predicate orPredicate =
+                PredicateBuilder.or(BUILDER.in(0, Arrays.asList(1, 2, 3)), BUILDER.isNull(2));
+
+        assertThat(andPredicate.visit(VISITOR)).isTrue();
+        assertThat(orPredicate.visit(VISITOR)).isTrue();
+    }
+
+    @Test
+    public void testUnsupportedPredicates() {
+        assertThat(BUILDER.greaterThan(0, 10).visit(VISITOR)).isFalse();
+        assertThat(BUILDER.equal(1, BinaryString.fromString("name_10")).visit(VISITOR)).isFalse();
+    }
+
+    @Test
+    public void testNonFieldPredicate() {
+        LeafPredicate upperNameEquals =
+                LeafPredicate.of(
+                        new UpperTransform(
+                                Collections.singletonList(
+                                        new FieldRef(1, "name", DataTypes.STRING()))),
+                        Equal.INSTANCE,
+                        Collections.singletonList(BinaryString.fromString("NAME_10")));
+
+        assertThat(upperNameEquals.visit(VISITOR)).isFalse();
+    }
+}

paimon-flink/paimon-flink-common/src/main/java/org/apache/paimon/flink/source/FlinkTableSource.java

@@ -26,6 +26,7 @@
 import org.apache.paimon.flink.lookup.DynamicPartitionLoader;
 import org.apache.paimon.flink.lookup.PartitionLoader;
 import org.apache.paimon.flink.lookup.StaticPartitionLoader;
+import org.apache.paimon.globalindex.ScalarIndexedFieldsVisitor;
 import org.apache.paimon.manifest.PartitionEntry;
 import org.apache.paimon.options.Options;
 import org.apache.paimon.partition.PartitionPredicate;
@@ -115,6 +116,7 @@ public Result applyFilters(List<ResolvedExpression> filters) {
         List<ResolvedExpression> unConsumedFilters = new ArrayList<>();
         List<ResolvedExpression> consumedFilters = new ArrayList<>();
         List<Predicate> converted = new ArrayList<>();
+        boolean hasUnconvertedFilter = false;
         PredicateVisitor<Boolean> onlyPartFieldsVisitor =
                 new PartitionPredicateVisitor(partitionKeys);
 
@@ -123,6 +125,7 @@ public Result applyFilters(List<ResolvedExpression> filters) {
 
             if (!predicateOptional.isPresent()) {
                 unConsumedFilters.add(filter);
+                hasUnconvertedFilter = true;
             } else {
                 Predicate p = predicateOptional.get();
                 if (isUnbounded() || !p.visit(onlyPartFieldsVisitor)) {
@@ -134,6 +137,16 @@ public Result applyFilters(List<ResolvedExpression> filters) {
             }
         }
         predicate = converted.isEmpty() ? null : PredicateBuilder.and(converted);
+
+        // If all predicates are covered by global index, they can be consumed.
+        if (!isUnbounded()
+                && !hasUnconvertedFilter
+                && ScalarIndexedFieldsVisitor.allFieldsIndexed(
+                        table, predicate, partitionPredicate)) {
+            unConsumedFilters.clear();
+            consumedFilters = new ArrayList<>(filters);
+        }
+
         LOG.info("Consumed filters: {} of {}", consumedFilters, filters);
 
         return Result.of(filters, unConsumedFilters);