[infinispan-issues] [JBoss JIRA] (ISPN-5388) Optimize redundant predicates (non-indexed query)

[RH Bugzilla Integration (JIRA)]

    [ https://issues.jboss.org/browse/ISPN-5388?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=13096813#comment-13096813 ] 

RH Bugzilla Integration commented on ISPN-5388:
-----------------------------------------------

Martin Gencur <mgencur at redhat.com> changed the Status of [bug 1211944|https://bugzilla.redhat.com/show_bug.cgi?id=1211944] from ON_QA to VERIFIED

> Optimize redundant predicates (non-indexed query)
> -------------------------------------------------
>
>                 Key: ISPN-5388
>                 URL: https://issues.jboss.org/browse/ISPN-5388
>             Project: Infinispan
>          Issue Type: Enhancement
>          Components: Embedded Querying
>    Affects Versions: 7.0.0.Final
>            Reporter: Adrian Nistor
>            Assignee: Adrian Nistor
>             Fix For: 7.2.0.CR1, 7.2.0.Final
>
>
> Cases where predicates evaluate to constant values are already detected and handled. But besides such trivial simplifications we should also try to handle more advanced simplification rules like:
>        * X || X => X
>        * X && X => X
>        * !X || !X => !X
>        * !X && !X => !X
>        * X || !X => TRUE (tautology)
>        * X && !X => FALSE  (contradiction)
> (where X is a predicate not a general boolean expression)
> Even further simplification could be achieved if we were able to handle the general case where X is a general boolean expression, but we'll not try that yet for the sake of complexity.



--
This message was sent by Atlassian JIRA
(v6.3.15#6346)