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: [email protected]
For queries about this service, please contact Infrastructure at:
[email protected]
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
