[
https://issues.apache.org/jira/browse/CALCITE-2327?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16494765#comment-16494765
]
Zoltan Haindrich commented on CALCITE-2327:
-------------------------------------------
[~jcamachorodriguez] Could you take a look?
I think satisfiability is another way to think about "IS TRUE" cases.
> In 3 valued logic mode (b and not b) may not be simplified to false
> -------------------------------------------------------------------
>
> Key: CALCITE-2327
> URL: https://issues.apache.org/jira/browse/CALCITE-2327
> Project: Calcite
> Issue Type: Bug
> Reporter: Zoltan Haindrich
> Assignee: Zoltan Haindrich
> Priority: Major
>
> currently its simplified to false; but that is not correct when a is unknown
--
This message was sent by Atlassian JIRA
(v7.6.3#76005)
