drh
10e44bf373
value, because we do not know if two different strings might compare equal even if they have different byte sequences, due to collating functions. Formerly, the hash of a string or blob was just its length. This could all be improved. FossilOrigin-Name: cc8a0ee40cfc83ab42a0ff452de0a53fe17784aefb944ea7ac2cb078a8310730
119 lines
3.2 KiB
Plaintext
119 lines
3.2 KiB
Plaintext
# 2022 October 06
|
|
#
|
|
# The author disclaims copyright to this source code. In place of
|
|
# a legal notice, here is a blessing:
|
|
#
|
|
# May you do good and not evil.
|
|
# May you find forgiveness for yourself and forgive others.
|
|
# May you share freely, never taking more than you give.
|
|
#
|
|
#***********************************************************************
|
|
#
|
|
# Tests for queries that use bloom filters
|
|
|
|
set testdir [file dirname $argv0]
|
|
source $testdir/tester.tcl
|
|
source $testdir/lock_common.tcl
|
|
source $testdir/malloc_common.tcl
|
|
|
|
set testprefix bloom1
|
|
|
|
# Tests 1.* verify that the bloom filter code correctly handles the
|
|
# case where the RHS of an (<ipk-column> = ?) expression must be coerced
|
|
# to an integer before the comparison made.
|
|
#
|
|
do_execsql_test 1.0 {
|
|
CREATE TABLE t1(a, b);
|
|
CREATE TABLE t2(c INTEGER PRIMARY KEY, d);
|
|
}
|
|
|
|
do_execsql_test 1.1 {
|
|
INSERT INTO t1 VALUES('hello', 'world');
|
|
INSERT INTO t2 VALUES(14, 'fourteen');
|
|
}
|
|
|
|
do_execsql_test 1.2 {
|
|
ANALYZE sqlite_schema;
|
|
INSERT INTO sqlite_stat1 VALUES('t2','idx1','6 6');
|
|
ANALYZE sqlite_schema;
|
|
}
|
|
|
|
do_execsql_test 1.3 {
|
|
SELECT 'affinity!' FROM t1 CROSS JOIN t2 WHERE t2.c = '14';
|
|
} {affinity!}
|
|
|
|
|
|
reset_db
|
|
do_execsql_test 1.4 {
|
|
CREATE TABLE t1(a, b TEXT);
|
|
CREATE TABLE t2(c INTEGER PRIMARY KEY, d);
|
|
CREATE TABLE t3(e INTEGER PRIMARY KEY, f);
|
|
|
|
ANALYZE sqlite_schema;
|
|
INSERT INTO sqlite_stat1 VALUES('t1','idx1','600 6');
|
|
INSERT INTO sqlite_stat1 VALUES('t2','idx1','6 6');
|
|
INSERT INTO sqlite_stat1 VALUES('t3','idx2','6 6');
|
|
ANALYZE sqlite_schema;
|
|
|
|
INSERT INTO t1 VALUES(1, '123');
|
|
INSERT INTO t2 VALUES(123, 'one');
|
|
INSERT INTO t3 VALUES(123, 'two');
|
|
}
|
|
|
|
do_execsql_test 1.5 {
|
|
SELECT 'result' FROM t1, t2, t3
|
|
WHERE t2.c=t1.b AND t2.d!='silly'
|
|
AND t3.e=t1.b AND t3.f!='silly'
|
|
} {result}
|
|
|
|
# 2023-02-05
|
|
# https://sqlite.org/forum/forumpost/56de336385
|
|
#
|
|
# Do not employ a Bloom filter if the table being filtered or any table
|
|
# wo the left of the table being filtered lacks STAT1 data, since we
|
|
# cannot make a good Bloom filter usefulness determination without STAT1
|
|
# data.
|
|
#
|
|
reset_db
|
|
do_execsql_test 2.0 {
|
|
CREATE TABLE objs(c INTEGER, s INTEGER, p INTEGER, o INTEGER);
|
|
CREATE UNIQUE INDEX objs_cspo ON objs(o,p,c,s);
|
|
ANALYZE;
|
|
DELETE FROM sqlite_stat1;
|
|
INSERT INTO sqlite_stat1 VALUES('objs','objs_cspo','520138 21 20 19 1');
|
|
ANALYZE sqlite_schema;
|
|
}
|
|
do_eqp_test 2.1 {
|
|
WITH RECURSIVE transit(x) AS (
|
|
SELECT s FROM objs WHERE p=9 AND o=32805
|
|
UNION
|
|
SELECT objs.s FROM objs, transit WHERE objs.p=9 AND objs.o=transit.x
|
|
)
|
|
SELECT x FROM transit;
|
|
} {
|
|
QUERY PLAN
|
|
|--CO-ROUTINE transit
|
|
| |--SETUP
|
|
| | `--SEARCH objs USING COVERING INDEX objs_cspo (o=? AND p=?)
|
|
| `--RECURSIVE STEP
|
|
| |--SCAN transit
|
|
| `--SEARCH objs USING COVERING INDEX objs_cspo (o=? AND p=?)
|
|
`--SCAN transit
|
|
}
|
|
|
|
# 2023-02-28
|
|
# https://sqlite.org/forum/forumpost/0846211821
|
|
#
|
|
# Bloom filter gives an incorrect result if the collating sequence is
|
|
# anything other than binary.
|
|
#
|
|
reset_db
|
|
do_execsql_test 3.1 {
|
|
CREATE TABLE t0(x TEXT COLLATE rtrim);
|
|
INSERT INTO t0(x) VALUES ('a'), ('b'), ('c');
|
|
CREATE VIEW v0(y) AS SELECT DISTINCT x FROM t0;
|
|
SELECT count(*) FROM t0, v0 WHERE x='b ';
|
|
} 3
|
|
|
|
finish_test
|