Re: [sqlite] [EXTERNAL] Optimizer limitation with partial indexes

>Von: sqlite-users [mailto:sqlite-users-boun...@mailinglists.sqlite.org] Im >Auftrag von Jens Alfke >> On Feb 12, 2020, at 5:30 AM, Hick Gunter wrote: >> >> This is documented here https://sqlite.org/partialindex.html >> and here >> https://sqlite.org/queryp

Re: [sqlite] [EXTERNAL] Optimizer limitation with partial indexes

> On Feb 12, 2020, at 5:30 AM, Hick Gunter wrote: > > This is documented here https://sqlite.org/partialindex.html > and here > https://sqlite.org/queryplanner.html > > Specifically, SQLIte does not prove theorems

Re: [sqlite] [EXTERNAL] Optimizer limitation with partial indexes

This is documented here https://sqlite.org/partialindex.html and here https://sqlite.org/queryplanner.html Specifically, SQLIte does not prove theorems in first-order logic. To have a chance of using the partial indices, you would need to have your query translator formulate (expr1>val1 AND exp