Bug 1022469

Summary: "Exists OR" rules are compiled inconsistently
Product: [Retired] JBoss BRMS Platform 6 Reporter: Mario Fusco <mfusco>
Component: BREAssignee: Mario Fusco <mfusco>
Status: CLOSED CURRENTRELEASE QA Contact: Marek Winkler <mwinkler>
Severity: high Docs Contact:
Priority: high    
Version: 6.0.0   
Target Milestone: ER5   
Target Release: 6.0.0   
Hardware: Unspecified   
OS: Unspecified   
Whiteboard:
Fixed In Version: Doc Type: Bug Fix
Doc Text:
Story Points: ---
Clone Of: Environment:
Last Closed: 2014-08-06 20:19:42 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:
Embargoed:

Description Mario Fusco 2013-10-23 11:01:16 UTC 
Exists ( A or B ) is transformed into ( Exists A ) or ( Exists B )
In case both A and B are asserted, they result in two activations,
whereas one would expect only one.
Moreover, the equivalent not ( (not A) and (not B) ) results in only
one activation.
Comment 1 Mario Fusco 2013-10-23 11:02:04 UTC 
Fixed by https://github.com/droolsjbpm/drools/commit/66dabe8b1
Comment 3 Marek Winkler 2013-12-13 07:18:49 UTC 
Verified on BRMS 6.0.0 ER5.