[
https://issues.apache.org/jira/browse/SPARK-14029?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Michael Armbrust updated SPARK-14029:
-------------------------------------
Assignee: Dongjoon Hyun
> Improve BooleanSimplification optimization by implementing `Not`
> canonicalization
> ---------------------------------------------------------------------------------
>
> Key: SPARK-14029
> URL: https://issues.apache.org/jira/browse/SPARK-14029
> Project: Spark
> Issue Type: Improvement
> Components: SQL
> Reporter: Dongjoon Hyun
> Assignee: Dongjoon Hyun
> Priority: Minor
> Fix For: 2.0.0
>
>
> Currently, *BooleanSimplification* optimization can handle the following
> cases.
> * a && (!'a || 'b ) ==> 'a && 'b
> * a && ('b || !'a ) ==> 'a && 'b
> However, it can not handle the followings cases since those equations fails
> at the comparisons between their canonicalized forms.
> * a < 1 && (!('a < 1) || 'b) ==> ('a < 1) && 'b
> * a <= 1 && (!('a <= 1) || 'b) ==> ('a <= 1) && 'b
> * a > 1 && (!('a > 1) || 'b) ==> ('a > 1) && 'b
> * a >= 1 && (!('a >= 1) || 'b) ==> ('a >= 1) && 'b
> This issue aims to handle the above cases and extends toward the followings
> too.
> * a < 1 && ('a >= 1 || 'b ) ==> ('a < 1) && 'b
> * a <= 1 && ('a > 1 || 'b ) ==> ('a <= 1) && 'b
> * a > 1 && (('a <= 1) || 'b) ==> ('a > 1) && 'b
> * a >= 1 && (('a < 1) || 'b) ==> ('a >= 1) && 'b
--
This message was sent by Atlassian JIRA
(v6.3.4#6332)
---------------------------------------------------------------------
To unsubscribe, e-mail: issues-unsubscr...@spark.apache.org
For additional commands, e-mail: issues-h...@spark.apache.org
