ZENOTME commented on issue #1355: URL: https://github.com/apache/iceberg-rust/issues/1355#issuecomment-2958880312
Thanks @Nathan-Fenner! The problem is that not(ROWS_MIGHT_MATCH) can be ROWS_MIGHT_MATCH or CANNOT_MATCH. E.g. following above: - `2<= count <= 7` is ROWS_MIGHT_MATCH and `not(2<= count <= 7)` is CANNOT_MATCH - `2<= count` is ROWS_MIGHT_MATCH and `not(2<= count)` is ROWS_MIGHT_MATCH We need to separate these two kind of case. But I think `2<= count <= 7` is also not means MUTS_MATCH🤔 It's more like "ROW_COVER". But I think the more easier way to solve this maybe use the `rewrite_not` to avoid not before evaluate. cc @liurenjie1024 -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: issues-unsubscr...@iceberg.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org --------------------------------------------------------------------- To unsubscribe, e-mail: issues-unsubscr...@iceberg.apache.org For additional commands, e-mail: issues-h...@iceberg.apache.org
