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
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
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
3 matches
Mail list logo