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

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.