Bug 1022469 - "Exists OR" rules are compiled inconsistently
Summary: "Exists OR" rules are compiled inconsistently
Keywords:
Status: CLOSED CURRENTRELEASE
Alias: None
Product: JBoss BRMS Platform 6
Classification: Retired
Component: BRE
Version: 6.0.0
Hardware: Unspecified
OS: Unspecified
high
high
Target Milestone: ER5
: 6.0.0
Assignee: Mario Fusco
QA Contact: Marek Winkler
URL:
Whiteboard:
Depends On:
Blocks:
TreeView+ depends on / blocked
 
Reported: 2013-10-23 11:01 UTC by Mario Fusco
Modified: 2014-08-06 20:19 UTC (History)
0 users

Fixed In Version:
Doc Type: Bug Fix
Doc Text:
Clone Of:
Environment:
Last Closed: 2014-08-06 20:19:42 UTC
Type: Bug
Embargoed:

Attachments (Terms of Use)


Links
System ID Private Priority Status Summary Last Updated
Red Hat Issue Tracker DROOLS-254 0 Critical Resolved "Exists OR" rules are compiled inconsistently 2016-12-01 03:12:01 UTC

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.
Note You need to log in before you can comment on or make changes to this bug.