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/08/25 20:02:20 UTC
[jira] [Resolved] (CALCITE-1290) When converting to CNF, fail if
the expression exceeds a threshold
[ https://issues.apache.org/jira/browse/CALCITE-1290?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Julian Hyde resolved CALCITE-1290.
----------------------------------
Resolution: Fixed
Fix Version/s: 1.9.0
Fixed in http://git-wip-us.apache.org/repos/asf/calcite/commit/77315c06.
> 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
> Fix For: 1.9.0
>
>
> 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)