You are viewing a plain text version of this content. The canonical link for it is here.
Posted to issues@spark.apache.org by "Aoyuan Liao (Jira)" <ji...@apache.org> on 2020/10/20 00:21:00 UTC
[jira] [Commented] (SPARK-31760) Simplification Based on
Containment
[ 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-unsubscribe@spark.apache.org
For additional commands, e-mail: issues-help@spark.apache.org