[jira] [Updated] (SPARK-43778) RewriteCorrelatedScalarSubquery should handle duplicate attributes

2023-10-20 Thread ASF GitHub Bot (Jira)


 [ 
https://issues.apache.org/jira/browse/SPARK-43778?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
 ]

ASF GitHub Bot updated SPARK-43778:
---
Labels: pull-request-available  (was: )

> RewriteCorrelatedScalarSubquery should handle duplicate attributes
> --
>
> Key: SPARK-43778
> URL: https://issues.apache.org/jira/browse/SPARK-43778
> Project: Spark
>  Issue Type: Bug
>  Components: SQL
>Affects Versions: 3.4.0
>Reporter: Andrey Gubichev
>Priority: Major
>  Labels: pull-request-available
> Fix For: 4.0.0
>
>
> This is a correctness problem caused by the fact that the decorrelation rule 
> does not dedup join attributes properly. This leads to the join on (c1 = c1), 
> which is simplified to True and the join becomes a cross product.
>  
> Example query:
>  
> {code:java}
> create view t(c1, c2) as values (0, 1), (0, 2), (1, 2)
> select c1, c2, (select count(*) cnt from t t2 where t1.c1 = t2.c1 having cnt 
> = 0) from t t1
> -- Correct answer: [(0, 1, null), (0, 2, null), (1, 2, null)]
> +---+---+--+
> |c1 |c2 |scalarsubquery(c1)|
> +---+---+--+
> |0  |1  |null  |
> |0  |1  |null  |
> |0  |2  |null  |
> |0  |2  |null  |
> |1  |2  |null  |
> |1  |2  |null  |
> +---+---+--+ {code}
>  
>  
>  



--
This message was sent by Atlassian Jira
(v8.20.10#820010)

-
To unsubscribe, e-mail: issues-unsubscr...@spark.apache.org
For additional commands, e-mail: issues-h...@spark.apache.org



[jira] [Updated] (SPARK-43778) RewriteCorrelatedScalarSubquery should handle duplicate attributes

2023-05-24 Thread Andrey Gubichev (Jira)


 [ 
https://issues.apache.org/jira/browse/SPARK-43778?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
 ]

Andrey Gubichev updated SPARK-43778:

Description: 
This is a correctness problem caused by the fact that the decorrelation rule 
does not dedup join attributes properly. This leads to the join on (c1 = c1), 
which is simplified to True and the join becomes a cross product.

 

Example query:

 
{code:java}
create view t(c1, c2) as values (0, 1), (0, 2), (1, 2)

select c1, c2, (select count(*) cnt from t t2 where t1.c1 = t2.c1 having cnt = 
0) from t t1
-- Correct answer: [(0, 1, null), (0, 2, null), (1, 2, null)]
+---+---+--+
|c1 |c2 |scalarsubquery(c1)|
+---+---+--+
|0  |1  |null  |
|0  |1  |null  |
|0  |2  |null  |
|0  |2  |null  |
|1  |2  |null  |
|1  |2  |null  |
+---+---+--+ {code}
 

 

 

  was:
This is a correctness problem caused by the fact that the decorrelation rule 
does not dedup join attributes properly. This leads to the join on (c1 = c1), 
which is simplified to True and the join becomes a cross product.

 

Example query:

create view t(c1, c2) as values (0, 1), (0, 2), (1, 2);

select c1, c2, (select count(*) cnt from t t2 where t1.c1 = t2.c1 having cnt = 
0) from t t1
– Correct answer: [(0, 1, null), (0, 2, null), (1, 2, null)]
{+}--{-}{-}{+}-{-}++{-}-
|c1|c2|scalarsubquery(c1)|

{+}--{-}{-}{+}-{-}++{-}-
|0|1|null|
|0|1|null|
|0|2|null|
|0|2|null|
|1|2|null|
|1|2|null|

{+}--{-}{-}{+}-{-}++{-}-

 


> RewriteCorrelatedScalarSubquery should handle duplicate attributes
> --
>
> Key: SPARK-43778
> URL: https://issues.apache.org/jira/browse/SPARK-43778
> Project: Spark
>  Issue Type: Bug
>  Components: SQL
>Affects Versions: 3.4.0
>Reporter: Andrey Gubichev
>Priority: Major
>
> This is a correctness problem caused by the fact that the decorrelation rule 
> does not dedup join attributes properly. This leads to the join on (c1 = c1), 
> which is simplified to True and the join becomes a cross product.
>  
> Example query:
>  
> {code:java}
> create view t(c1, c2) as values (0, 1), (0, 2), (1, 2)
> select c1, c2, (select count(*) cnt from t t2 where t1.c1 = t2.c1 having cnt 
> = 0) from t t1
> -- Correct answer: [(0, 1, null), (0, 2, null), (1, 2, null)]
> +---+---+--+
> |c1 |c2 |scalarsubquery(c1)|
> +---+---+--+
> |0  |1  |null  |
> |0  |1  |null  |
> |0  |2  |null  |
> |0  |2  |null  |
> |1  |2  |null  |
> |1  |2  |null  |
> +---+---+--+ {code}
>  
>  
>  



--
This message was sent by Atlassian Jira
(v8.20.10#820010)

-
To unsubscribe, e-mail: issues-unsubscr...@spark.apache.org
For additional commands, e-mail: issues-h...@spark.apache.org



[jira] [Updated] (SPARK-43778) RewriteCorrelatedScalarSubquery should handle duplicate attributes

2023-05-24 Thread Andrey Gubichev (Jira)


 [ 
https://issues.apache.org/jira/browse/SPARK-43778?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
 ]

Andrey Gubichev updated SPARK-43778:

Description: 
This is a correctness problem caused by the fact that the decorrelation rule 
does not dedup join attributes properly. This leads to the join on (c1 = c1), 
which is simplified to True and the join becomes a cross product.

 

Example query:

create view t(c1, c2) as values (0, 1), (0, 2), (1, 2);

select c1, c2, (select count(*) cnt from t t2 where t1.c1 = t2.c1 having cnt = 
0) from t t1
– Correct answer: [(0, 1, null), (0, 2, null), (1, 2, null)]
{+}--{-}{-}{+}-{-}++{-}-
|c1|c2|scalarsubquery(c1)|

{+}--{-}{-}{+}-{-}++{-}-
|0|1|null|
|0|1|null|
|0|2|null|
|0|2|null|
|1|2|null|
|1|2|null|

{+}--{-}{-}{+}-{-}++{-}-

 

  was:
This is a correctness problem caused by the fact that the decorrelation rule 
does not dedup join attributes properly. This leads to the join on (c1 = c1), 
which is simplified to True and the join becomes a cross product.

 

Example query:

create view t(c1, c2) as values (0, 1), (0, 2), (1, 2);

select c1, c2, (select count(*) cnt from t t2 where t1.c1 = t2.c1 having cnt = 
0) from t t1
-- Correct answer: [(0, 1, null), (0, 2, null), (1, 2, null)]
+---+---+--+
|c1 |c2 |scalarsubquery(c1)|
+---+---+--+
|0  |1  |null  |
|0  |1  |null  |
|0  |2  |null  |
|0  |2  |null  |
|1  |2  |null  |
|1  |2  |null  |
+---+---+--+

 


> RewriteCorrelatedScalarSubquery should handle duplicate attributes
> --
>
> Key: SPARK-43778
> URL: https://issues.apache.org/jira/browse/SPARK-43778
> Project: Spark
>  Issue Type: Bug
>  Components: SQL
>Affects Versions: 3.4.0
>Reporter: Andrey Gubichev
>Priority: Major
>
> This is a correctness problem caused by the fact that the decorrelation rule 
> does not dedup join attributes properly. This leads to the join on (c1 = c1), 
> which is simplified to True and the join becomes a cross product.
>  
> Example query:
> create view t(c1, c2) as values (0, 1), (0, 2), (1, 2);
> select c1, c2, (select count(*) cnt from t t2 where t1.c1 = t2.c1 having cnt 
> = 0) from t t1
> – Correct answer: [(0, 1, null), (0, 2, null), (1, 2, null)]
> {+}--{-}{-}{+}-{-}++{-}-
> |c1|c2|scalarsubquery(c1)|
> {+}--{-}{-}{+}-{-}++{-}-
> |0|1|null|
> |0|1|null|
> |0|2|null|
> |0|2|null|
> |1|2|null|
> |1|2|null|
> {+}--{-}{-}{+}-{-}++{-}-
>  



--
This message was sent by Atlassian Jira
(v8.20.10#820010)

-
To unsubscribe, e-mail: issues-unsubscr...@spark.apache.org
For additional commands, e-mail: issues-h...@spark.apache.org