Soon
09/11/2025, 5:19 PMFILTER_SORTED_INDEX would it be the same as using FILTER_INVERTED_INDEX like sorted inverted index?Mayank
robert zych
09/11/2025, 6:15 PMSoon
09/11/2025, 7:05 PMFILTER_SORTED_INDEX instead of FILTER_INVERTED_INDEX and wanted to see if this would be already using inverted index behind the scene.Mayank
Mayank
Xiang Fu