[jira] [Updated] (SPARK-6624) Convert filters into CNF for data sources

2019-05-20 Thread Hyukjin Kwon (JIRA)


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

Hyukjin Kwon updated SPARK-6624:

Labels: bulk-closed  (was: )

> Convert filters into CNF for data sources
> -
>
> Key: SPARK-6624
> URL: https://issues.apache.org/jira/browse/SPARK-6624
> Project: Spark
>  Issue Type: Sub-task
>  Components: SQL
>Reporter: Reynold Xin
>Priority: Major
>  Labels: bulk-closed
>
> We should turn filters into conjunctive normal form (CNF) before we pass them 
> to data sources. Otherwise, filters are not very useful if there is a single 
> filter with a bunch of ORs.
> Note that we already try to do some of these in BooleanSimplification, but I 
> think we should just formalize it to use CNF.



--
This message was sent by Atlassian JIRA
(v7.6.3#76005)

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



[jira] [Updated] (SPARK-6624) Convert filters into CNF for data sources

2016-09-26 Thread Reynold Xin (JIRA)

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

Reynold Xin updated SPARK-6624:
---
Assignee: (was: Yijie Shen)

> Convert filters into CNF for data sources
> -
>
> Key: SPARK-6624
> URL: https://issues.apache.org/jira/browse/SPARK-6624
> Project: Spark
>  Issue Type: Sub-task
>  Components: SQL
>Reporter: Reynold Xin
>
> We should turn filters into conjunctive normal form (CNF) before we pass them 
> to data sources. Otherwise, filters are not very useful if there is a single 
> filter with a bunch of ORs.
> Note that we already try to do some of these in BooleanSimplification, but I 
> think we should just formalize it to use CNF.



--
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



[jira] [Updated] (SPARK-6624) Convert filters into CNF for data sources

2015-08-14 Thread Cheng Lian (JIRA)

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

Cheng Lian updated SPARK-6624:
--
Assignee: Yijie Shen

 Convert filters into CNF for data sources
 -

 Key: SPARK-6624
 URL: https://issues.apache.org/jira/browse/SPARK-6624
 Project: Spark
  Issue Type: Sub-task
  Components: SQL
Reporter: Reynold Xin
Assignee: Yijie Shen

 We should turn filters into conjunctive normal form (CNF) before we pass them 
 to data sources. Otherwise, filters are not very useful if there is a single 
 filter with a bunch of ORs.
 Note that we already try to do some of these in BooleanSimplification, but I 
 think we should just formalize it to use CNF.



--
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



[jira] [Updated] (SPARK-6624) Convert filters into CNF for data sources

2015-08-13 Thread Reynold Xin (JIRA)

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

Reynold Xin updated SPARK-6624:
---
Parent Issue: SPARK-9932  (was: SPARK-5180)

 Convert filters into CNF for data sources
 -

 Key: SPARK-6624
 URL: https://issues.apache.org/jira/browse/SPARK-6624
 Project: Spark
  Issue Type: Sub-task
  Components: SQL
Reporter: Reynold Xin

 We should turn filters into conjunctive normal form (CNF) before we pass them 
 to data sources. Otherwise, filters are not very useful if there is a single 
 filter with a bunch of ORs.
 Note that we already try to do some of these in BooleanSimplification, but I 
 think we should just formalize it to use CNF.



--
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