Re: [sqlite] Partial NOT NULL index malfunctions with IS NOT/!=

2019-05-12 Thread Manuel Rigger
Great, thanks, Dan! Best, Manuel On Sat, May 11, 2019 at 4:05 PM Dan Kennedy wrote: > > On 11/5/62 16:54, Manuel Rigger wrote: > > Hi everyone, > > > > I found another test case that demonstrates a malfunctioning index: > > > > CREATE TABLE IF NOT EXISTS t0 (c0); > > CREATE INDEX IF NOT EXISTS

Re: [sqlite] Partial NOT NULL index malfunctions with IS NOT/!=

2019-05-11 Thread Dan Kennedy
On 11/5/62 16:54, Manuel Rigger wrote: Hi everyone, I found another test case that demonstrates a malfunctioning index: CREATE TABLE IF NOT EXISTS t0 (c0); CREATE INDEX IF NOT EXISTS i0 ON t0(1) WHERE c0 NOT NULL; INSERT INTO t0(c0) VALUES(NULL); SELECT * FROM t0 WHERE t0.c0 IS NOT 1; -- retur

[sqlite] Partial NOT NULL index malfunctions with IS NOT/!=

2019-05-11 Thread Manuel Rigger
Hi everyone, I found another test case that demonstrates a malfunctioning index: CREATE TABLE IF NOT EXISTS t0 (c0); CREATE INDEX IF NOT EXISTS i0 ON t0(1) WHERE c0 NOT NULL; INSERT INTO t0(c0) VALUES(NULL); SELECT * FROM t0 WHERE t0.c0 IS NOT 1; -- returns no row If the index is created, no row