[
https://issues.apache.org/jira/browse/SPARK-31760?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=17217180#comment-17217180
]
Aoyuan Liao commented on SPARK-31760:
-------------------------------------
[~yumwang] To implement the containment rule:
If A contains A',
A OR (A' AND ..) => A
, the containment relation btw A and A' should be justified, which is equal to
justify A || A' == A. So, the simlification for the containment relation, e.g.
a > 1 || a > 2 => a > 1
would better be implemented first. Currently, this has not been done yet.
!image-2020-10-19-17-18-31-849.png!
Do we have a ticket for this simplification? Or did I miss a much easier way to
justify whether there is a containment relation?
> Simplification Based on Containment
> -----------------------------------
>
> Key: SPARK-31760
> URL: https://issues.apache.org/jira/browse/SPARK-31760
> Project: Spark
> Issue Type: Improvement
> Components: SQL
> Affects Versions: 3.1.0
> Reporter: Yuming Wang
> Priority: Major
> Labels: starter
> Attachments: image-2020-10-19-17-18-31-849.png
>
>
> https://docs.teradata.com/reader/Ws7YT1jvRK2vEr1LpVURug/V~FCwD9BL7gY4ac3WwHInw
--
This message was sent by Atlassian Jira
(v8.3.4#803005)
---------------------------------------------------------------------
To unsubscribe, e-mail: issues-unsubscr...@spark.apache.org
For additional commands, e-mail: issues-h...@spark.apache.org
