Bug 780533 (SOA-2968)

Summary: Incorrect rewrite of not disjunctive criteria
Product: [JBoss] JBoss Enterprise SOA Platform 5 Reporter: Steven Hawkins <shawkins>
Component: EDSAssignee: Van Halbert <vhalbert>
Status: CLOSED NEXTRELEASE QA Contact:
Severity: urgent Docs Contact:
Priority: urgent    
Version: 5.1.0 GA   
Target Milestone: ---   
Target Release: 5.2.0 ER1   
Hardware: Unspecified   
OS: Unspecified   
URL: http://jira.jboss.org/jira/browse/SOA-2968
Whiteboard:
Fixed In Version: Doc Type: Bug Fix
Doc Text:
Story Points: ---
Clone Of: Environment:
Last Closed: 2011-10-11 22:00:14 UTC Type: Bug
Regression: --- Mount Type: ---
Documentation: --- CRM:
Verified Versions: Category: ---
oVirt Team: --- RHEL 7.3 requirements from Atomic Host:
Cloudforms Team: --- Target Upstream Version:

Description Steven Hawkins 2011-03-08 13:58:34 UTC 
Complexity: Low
Workaround: Workaround Exists
Workaround Description: 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))"
project_key: SOA

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.
Comment 1 Van Halbert 2011-03-08 13:58:35 UTC 
Link: Added: This issue Cloned from TEIID-1498
Comment 2 Van Halbert 2011-03-08 13:59:01 UTC 
Security: Added: Public
Comment 4 David Le Sage 2011-09-01 03:54:26 UTC 
Release Notes Docs Status: Added: Documented as Resolved Issue
Writer: Added: dlesage
Release Notes Text: Added: https://issues.jboss.org/browse/SOA-2968

The coding for "not disjunctive" conditional criteria was inaccurate.  This has now been fixed so users can add these conditions and find that they will be interpreted accurately by the software.
Comment 5 Paul Nittel 2011-10-11 22:00:14 UTC 
Tested and closed!