You are viewing a plain text version of this content. The canonical link for it is here.
Posted to issues@calcite.apache.org by "Zoltan Haindrich (JIRA)" <ji...@apache.org> on 2018/05/30 06:54:00 UTC
[jira] [Commented] (CALCITE-2327) In 3 valued logic mode (b and not
b) may not be simplified to false
[ 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)