[ASTERIXDB-2834] Recognize Applicable Nested Universal Quantification Queries for Array Indexes

• Type: New Feature
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Component/s: IDX - Indexes
• Assignee: Glenn Justo Galvizo
• Reporter: Glenn Justo Galvizo
• Created: 11/Feb/21 04:08
• Updated: 20/Jul/21 19:57
• Resolved: 20/Jul/21 19:57

Description

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:

 

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

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

 

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

Issue Links

• Blocked: ASTERIXDB-2830 Fix INLJ Bug for LOJ Queries w/ Array Indexes