[
https://issues.apache.org/jira/browse/OPTIQ-394?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=14118425#comment-14118425
]
Julian Hyde commented on OPTIQ-394:
-----------------------------------
I think the right answer is
{code}
(x=1 OR x=2 OR x=3)
AND (x=1 OR x=2 OR a=3)
AND (x=1 OR x=2 OR b=3)
AND (x=1 OR y=2 OR x=3)
AND (x=1 OR y=2 OR a=3)
AND (x=1 OR y=2 OR b=3)
AND (x=1 OR a=2 OR x=3)
AND (x=1 OR a=2 OR a=3)
AND (x=1 OR a=2 OR b=3)
AND (y=1 OR x=2 OR x=3)
AND (y=1 OR x=2 OR a=3)
AND (y=1 OR x=2 OR b=3)
AND (y=1 OR y=2 OR x=3)
AND (y=1 OR y=2 OR a=3)
AND (y=1 OR y=2 OR b=3)
AND (y=1 OR a=2 OR x=3)
AND (y=1 OR a=2 OR a=3)
AND (y=1 OR a=2 OR b=3)
AND (z=1 OR x=2 OR x=3)
AND (z=1 OR x=2 OR a=3)
AND (z=1 OR x=2 OR b=3)
AND (z=1 OR y=2 OR x=3)
AND (z=1 OR y=2 OR a=3)
AND (z=1 OR y=2 OR b=3)
AND (z=1 OR a=2 OR x=3)
AND (z=1 OR a=2 OR a=3)
AND (z=1 OR a=2 OR b=3)
{code}
> 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)
