[jira] [Assigned] (ASTERIXDB-2834) Recognize Applicable Nested Universal Quantification Queries for Array Indexes

["Glenn Justo Galvizo (Jira)" <ji...@apache.org>]

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

Glenn Justo Galvizo reassigned ASTERIXDB-2834:
----------------------------------------------

    Assignee: Glenn Justo Galvizo

> Recognize Applicable Nested Universal Quantification Queries for Array Indexes
> ------------------------------------------------------------------------------
>
>                 Key: ASTERIXDB-2834
>                 URL: https://issues.apache.org/jira/browse/ASTERIXDB-2834
>             Project: Apache AsterixDB
>          Issue Type: New Feature
>          Components: IDX - Indexes
>            Reporter: Glenn Justo Galvizo
>            Assignee: Glenn Justo Galvizo
>            Priority: Major
>
> Currently users can utilize array indexes w/ array depth > 1 for only existential quantification and explicit unnest queries, but not for universal quantification clauses that aren't at the top-level. 
>  
> For example, the query below is optimized because the universal quantification is the outermost quantification:
>  
> {code:java}
> SELECT C.business_id
> FROM YelpCheckin C
> WHERE LEN(C.checkin_times) > 0 AND
>       (EVERY CT IN C.checkin_times
>        SATISFIES (
>            SOME D IN CT.dates
>            SATISFIES "2019-06-07" = D
>       ));
> {code}
> But if we switch the "EVERY" and "SOME", then the query is not optimized (even though we can). Here, the universal quantification is on an array that isn't at the "top-level".
>  
> {code:java}
> SELECT C.business_id
> FROM YelpCheckin C
> WHERE LEN(C.checkin_times) > 0 AND
>       (SOME CT IN C.checkin_times
>        SATISFIES (
>            EVERY D IN CT.dates
>            SATISFIES "2019-06-07" = D
>       ));
> {code}



--
This message was sent by Atlassian Jira
(v8.3.4#803005)