Uploaded image for project: 'Teiid'
  1. Teiid
  2. TEIID-1498

Incorrect rewrite of not disjunctive criteria

XMLWordPrintable

    • Icon: Bug Bug
    • Resolution: Done
    • Icon: Critical Critical
    • 7.1.1, 7.4
    • 7.0
    • Query Engine
    • None
    • Workaround Exists
    • Hide

      Use the conjunctive normal form of the condition, e.g. instead of "not((a or b) AND c)", use "(not(a) or not(c)) and (not(b) or not(c))"

      Show
      Use the conjunctive normal form of the condition, e.g. instead of "not((a or b) AND c)", use "(not(a) or not(c)) and (not(b) or not(c))"
    • Low

      The rewrite of a condition such as "not((a or b) AND c)" with a,b,c predicates where c a is predicate that is negatable, such as col1 = 1. The result should have the negated form of col1 <> 1, but instead has col1 = 1. This is because the col1 = 1 predicate is repeated in the result, but not cloned and the rewriter modifies the same instance.

              rhn-engineering-shawkins Steven Hawkins
              rhn-engineering-shawkins Steven Hawkins
              Votes:
              0 Vote for this issue
              Watchers:
              1 Start watching this issue

                Created:
                Updated:
                Resolved: