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

[Adrian Nistor (JIRA)]

     [ https://issues.jboss.org/browse/ISPN-5388?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Adrian Nistor updated ISPN-5388:
--------------------------------
    Status: Open  (was: New)


> 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.11#6341)