[jira] [Commented] (CALCITE-1290) When converting to CNF, fail if the expression exceeds a threshold

["Jesus Camacho Rodriguez (JIRA)" <ji...@apache.org>]

    [ https://issues.apache.org/jira/browse/CALCITE-1290?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15436805#comment-15436805 ] 

Jesus Camacho Rodriguez commented on CALCITE-1290:
--------------------------------------------------

I created a PR in https://github.com/apache/calcite/pull/273 , including tests for the new function. [~julianhyde], could you take a look? Thanks

> When converting to CNF, fail if the expression exceeds a threshold
> ------------------------------------------------------------------
>
>                 Key: CALCITE-1290
>                 URL: https://issues.apache.org/jira/browse/CALCITE-1290
>             Project: Calcite
>          Issue Type: Bug
>            Reporter: Julian Hyde
>            Assignee: Jesus Camacho Rodriguez
>
> When converting to conjunctive normal form (CNF), fail if the expression exceeds a threshold. CNF can explode exponentially in the size of the input expression, but rarely does so in practice. Add a {{maxNodeCount}} parameter to {{RexUtil.toCnf}} and throw or return null if it is exceeded.
> I don't believe it is possible to predict the size of the CNF from the input expression (especially if there are duplicate terms) but I might be wrong.



--
This message was sent by Atlassian JIRA
(v6.3.4#6332)