You are viewing a plain text version of this content. The canonical link for it is here.
Posted to issues@iceberg.apache.org by "sungwy (via GitHub)" <gi...@apache.org> on 2026/09/16 15:39:25 UTC
[I] rewrite_to_dnf can expand exponentially on user-supplied filters [iceberg-python]
sungwy opened a new issue, #3982:
URL: https://github.com/apache/iceberg-python/issues/3982
`rewrite_to_dnf` converts an arbitrary boolean expression to disjunctive normal form:
```python
def rewrite_to_dnf(expr: BooleanExpression) -> tuple[BooleanExpression, ...]:
expr_without_not = rewrite_not(expr)
return visit(expr_without_not, _RewriteToDNF())
```
That conversion is exponential in the worst case, and nothing bounds the size of the result. Applications that pass user-supplied filters through it can see a small input produce a very large expression.
---
Issue investigation generated via claude, reviewed by Sung, Kevin, Fokko.
--
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-unsubscribe@iceberg.apache.org.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
---------------------------------------------------------------------
To unsubscribe, e-mail: issues-unsubscribe@iceberg.apache.org
For additional commands, e-mail: issues-help@iceberg.apache.org
Re: [I] rewrite_to_dnf can expand exponentially on user-supplied filters [iceberg-python]
Posted by "Fokko (via GitHub)" <gi...@apache.org>.
Fokko closed issue #3982: rewrite_to_dnf can expand exponentially on user-supplied filters
URL: https://github.com/apache/iceberg-python/issues/3982
--
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-unsubscribe@iceberg.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
---------------------------------------------------------------------
To unsubscribe, e-mail: issues-unsubscribe@iceberg.apache.org
For additional commands, e-mail: issues-help@iceberg.apache.org