> On Jan 1, 2020, at 8:03 AM, Richard Hipp <d...@sqlite.org> wrote: > > expr_implies_expr(A,B) > > Return non-zero if expression A implies expression B. See > https://www.sqlite.org/src/artifact/971e442fd5?ln=5277-5299 for > details. This routine is used to determine if a partial index is > usable.
Thanks! This is also likely useful for programs that create their own synthetic indexes out of secondary tables. (I do this, partly because I need to index multiple values per row, e.g. indexing the elements of a JSON array.) If such an ‘index’ is partial, I need to figure out when it’s applicable to a query. —Jens _______________________________________________ sqlite-users mailing list sqlite-users@mailinglists.sqlite.org http://mailinglists.sqlite.org/cgi-bin/mailman/listinfo/sqlite-users