dirty index doesn't need to cover false case

This commit is contained in:
Damien Elmes 2020-02-08 18:06:49 +10:00
parent bf50f88540
commit 1ca11e4268

View File

@ -5,6 +5,6 @@ create table media (
dirty int not null
);
create index idx_media_dirty on media (dirty);
create index idx_media_dirty on media (dirty) where dirty=1;
create table meta (dirMod int, lastUsn int); insert into meta values (0, 0);