/ Check-in [1b243032]
Login

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:When considering partial indexes, do not assume that a "CASE x ..." expression implies "x IS NOT NULL".
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA3-256: 1b24303220b7b4f59520176a0150fc619c668865450b4fdaa9ce4113a56e9687
User & Date: dan 2019-05-11 16:14:42
Context
2019-05-11
19:36
A new implementation for the sqlite3ExprImpliesExpr() theorem prover that does a better job of answering TRUE to "(NOT A) OR B" when B is a NOT NULL expression. check-in: b3413197 user: drh tags: trunk
16:14
When considering partial indexes, do not assume that a "CASE x ..." expression implies "x IS NOT NULL". check-in: 1b243032 user: dan tags: trunk
13:04
Do not assume that "x IS NOT ?" implies "x NOT NULL" when considering partial indexes. Fix for ticket [8025674847]. check-in: 0ba6d709 user: dan tags: trunk
Changes
Unified Diffs Side-by-Side Diffs Patch

Changes to src/expr.c.

Changes to test/index6.test.