You are viewing a plain text version of this content. The canonical link for it is here.
Posted to issues@calcite.apache.org by "Laljo John Pullokkaran (JIRA)" <ji...@apache.org> on 2014/09/02 19:34:20 UTC

[jira] [Commented] (OPTIQ-394) Add RexUtil.toCnf, to convert expressions to conjunctive normal form (CNF)

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

Laljo John Pullokkaran commented on OPTIQ-394:
----------------------------------------------

Example: 
(x=1 and y = 1 and z = 1) or (X=2 and Y = 2 and a =2) or (X=3 and a=3 and b =3)  -->
(x=1 or x=2 or x=3) and ((y=1 and z=1) or ( y=2 and a=2) or (a=3 and b=3))  -->
(x=1 or x=2 or x=3) and ( ((y=1 or y=2) and (z=1 or a=2)) or (a=3 and b=3) )

> Add RexUtil.toCnf, to convert expressions to conjunctive normal form (CNF)
> --------------------------------------------------------------------------
>
>                 Key: OPTIQ-394
>                 URL: https://issues.apache.org/jira/browse/OPTIQ-394
>             Project: Optiq
>          Issue Type: New Feature
>            Reporter: Julian Hyde
>            Assignee: Julian Hyde
>




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