You are viewing a plain text version of this content. The canonical link for it is here.

Posted to issues@calcite.apache.org by "Julian Hyde (JIRA)" <ji...@apache.org> on 2016/06/13 18:56:30 UTC

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

Julian Hyde created CALCITE-1290:
------------------------------------

             Summary: 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: Julian Hyde


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)