Annotation of embedaddon/sqlite3/test/fts2q.test, revision 1.1
1.1 ! misho 1: # 2008 June 26
! 2: #
! 3: # The author disclaims copyright to this source code. In place of
! 4: # a legal notice, here is a blessing:
! 5: #
! 6: # May you do good and not evil.
! 7: # May you find forgiveness for yourself and forgive others.
! 8: # May you share freely, never taking more than you give.
! 9: #
! 10: #*************************************************************************
! 11: # This file implements regression tests for SQLite library. The focus
! 12: # of this script is testing the FTS2 module's optimize() function.
! 13: #
! 14: # $Id: fts2q.test,v 1.2 2008/07/22 23:49:44 shess Exp $
! 15: #
! 16:
! 17: set testdir [file dirname $argv0]
! 18: source $testdir/tester.tcl
! 19:
! 20: # If SQLITE_ENABLE_FTS2 is not defined, omit this file.
! 21: ifcapable !fts2 {
! 22: finish_test
! 23: return
! 24: }
! 25:
! 26: #*************************************************************************
! 27: # Probe to see if support for the FTS2 dump_* functions is compiled in.
! 28: # TODO(shess): Change main.mk to do the right thing and remove this test.
! 29: db eval {
! 30: DROP TABLE IF EXISTS t1;
! 31: CREATE VIRTUAL TABLE t1 USING fts2(c);
! 32: INSERT INTO t1 (rowid, c) VALUES (1, 'x');
! 33: }
! 34:
! 35: set s {SELECT dump_terms(t1, 1) FROM t1 LIMIT 1}
! 36: set r {1 {unable to use function dump_terms in the requested context}}
! 37: if {[catchsql $s]==$r} {
! 38: finish_test
! 39: return
! 40: }
! 41:
! 42: #*************************************************************************
! 43: # Utility function to check for the expected terms in the segment
! 44: # level/index. _all version does same but for entire index.
! 45: proc check_terms {test level index terms} {
! 46: # TODO(shess): Figure out why uplevel in do_test can't catch
! 47: # $level and $index directly.
! 48: set ::level $level
! 49: set ::index $index
! 50: do_test $test.terms {
! 51: execsql {
! 52: SELECT dump_terms(t1, $::level, $::index) FROM t1 LIMIT 1;
! 53: }
! 54: } [list $terms]
! 55: }
! 56: proc check_terms_all {test terms} {
! 57: do_test $test.terms {
! 58: execsql {
! 59: SELECT dump_terms(t1) FROM t1 LIMIT 1;
! 60: }
! 61: } [list $terms]
! 62: }
! 63:
! 64: # Utility function to check for the expected doclist for the term in
! 65: # segment level/index. _all version does same for entire index.
! 66: proc check_doclist {test level index term doclist} {
! 67: # TODO(shess): Again, why can't the non-:: versions work?
! 68: set ::term $term
! 69: set ::level $level
! 70: set ::index $index
! 71: do_test $test {
! 72: execsql {
! 73: SELECT dump_doclist(t1, $::term, $::level, $::index) FROM t1 LIMIT 1;
! 74: }
! 75: } [list $doclist]
! 76: }
! 77: proc check_doclist_all {test term doclist} {
! 78: set ::term $term
! 79: do_test $test {
! 80: execsql {
! 81: SELECT dump_doclist(t1, $::term) FROM t1 LIMIT 1;
! 82: }
! 83: } [list $doclist]
! 84: }
! 85:
! 86: #*************************************************************************
! 87: # Test results when all rows are deleted and one is added back.
! 88: # Previously older segments would continue to exist, but now the index
! 89: # should be dropped when the table is empty. The results should look
! 90: # exactly like we never added the earlier rows in the first place.
! 91: db eval {
! 92: DROP TABLE IF EXISTS t1;
! 93: CREATE VIRTUAL TABLE t1 USING fts2(c);
! 94: INSERT INTO t1 (rowid, c) VALUES (1, 'This is a test');
! 95: INSERT INTO t1 (rowid, c) VALUES (2, 'That was a test');
! 96: INSERT INTO t1 (rowid, c) VALUES (3, 'This is a test');
! 97: DELETE FROM t1 WHERE 1=1; -- Delete each row rather than dropping table.
! 98: INSERT INTO t1 (rowid, c) VALUES (1, 'This is a test');
! 99: }
! 100:
! 101: # Should be a single initial segment.
! 102: do_test fts2q-1.segments {
! 103: execsql {
! 104: SELECT level, idx FROM t1_segdir ORDER BY level, idx;
! 105: }
! 106: } {0 0}
! 107: do_test fts2q-1.matches {
! 108: execsql {
! 109: SELECT OFFSETS(t1) FROM t1
! 110: WHERE t1 MATCH 'this OR that OR was OR a OR is OR test' ORDER BY rowid;
! 111: }
! 112: } {{0 0 0 4 0 4 5 2 0 3 8 1 0 5 10 4}}
! 113:
! 114: check_terms_all fts2q-1.1 {a is test this}
! 115: check_doclist_all fts2q-1.1.1 a {[1 0[2]]}
! 116: check_doclist_all fts2q-1.1.2 is {[1 0[1]]}
! 117: check_doclist_all fts2q-1.1.3 test {[1 0[3]]}
! 118: check_doclist_all fts2q-1.1.4 this {[1 0[0]]}
! 119:
! 120: check_terms fts2q-1.2 0 0 {a is test this}
! 121: check_doclist fts2q-1.2.1 0 0 a {[1 0[2]]}
! 122: check_doclist fts2q-1.2.2 0 0 is {[1 0[1]]}
! 123: check_doclist fts2q-1.2.3 0 0 test {[1 0[3]]}
! 124: check_doclist fts2q-1.2.4 0 0 this {[1 0[0]]}
! 125:
! 126: #*************************************************************************
! 127: # Test results when everything is optimized manually.
! 128: # NOTE(shess): This is a copy of fts2c-1.3. I've pulled a copy here
! 129: # because fts2q-2 and fts2q-3 should have identical results.
! 130: db eval {
! 131: DROP TABLE IF EXISTS t1;
! 132: CREATE VIRTUAL TABLE t1 USING fts2(c);
! 133: INSERT INTO t1 (rowid, c) VALUES (1, 'This is a test');
! 134: INSERT INTO t1 (rowid, c) VALUES (2, 'That was a test');
! 135: INSERT INTO t1 (rowid, c) VALUES (3, 'This is a test');
! 136: DELETE FROM t1 WHERE rowid IN (1,3);
! 137: DROP TABLE IF EXISTS t1old;
! 138: ALTER TABLE t1 RENAME TO t1old;
! 139: CREATE VIRTUAL TABLE t1 USING fts2(c);
! 140: INSERT INTO t1 (rowid, c) SELECT rowid, c FROM t1old;
! 141: DROP TABLE t1old;
! 142: }
! 143:
! 144: # Should be a single optimal segment with the same logical results.
! 145: do_test fts2q-2.segments {
! 146: execsql {
! 147: SELECT level, idx FROM t1_segdir ORDER BY level, idx;
! 148: }
! 149: } {0 0}
! 150: do_test fts2q-2.matches {
! 151: execsql {
! 152: SELECT OFFSETS(t1) FROM t1
! 153: WHERE t1 MATCH 'this OR that OR was OR a OR is OR test' ORDER BY rowid;
! 154: }
! 155: } {{0 1 0 4 0 2 5 3 0 3 9 1 0 5 11 4}}
! 156:
! 157: check_terms_all fts2q-2.1 {a test that was}
! 158: check_doclist_all fts2q-2.1.1 a {[2 0[2]]}
! 159: check_doclist_all fts2q-2.1.2 test {[2 0[3]]}
! 160: check_doclist_all fts2q-2.1.3 that {[2 0[0]]}
! 161: check_doclist_all fts2q-2.1.4 was {[2 0[1]]}
! 162:
! 163: check_terms fts2q-2.2 0 0 {a test that was}
! 164: check_doclist fts2q-2.2.1 0 0 a {[2 0[2]]}
! 165: check_doclist fts2q-2.2.2 0 0 test {[2 0[3]]}
! 166: check_doclist fts2q-2.2.3 0 0 that {[2 0[0]]}
! 167: check_doclist fts2q-2.2.4 0 0 was {[2 0[1]]}
! 168:
! 169: #*************************************************************************
! 170: # Test results when everything is optimized via optimize().
! 171: db eval {
! 172: DROP TABLE IF EXISTS t1;
! 173: CREATE VIRTUAL TABLE t1 USING fts2(c);
! 174: INSERT INTO t1 (rowid, c) VALUES (1, 'This is a test');
! 175: INSERT INTO t1 (rowid, c) VALUES (2, 'That was a test');
! 176: INSERT INTO t1 (rowid, c) VALUES (3, 'This is a test');
! 177: DELETE FROM t1 WHERE rowid IN (1,3);
! 178: SELECT OPTIMIZE(t1) FROM t1 LIMIT 1;
! 179: }
! 180:
! 181: # Should be a single optimal segment with the same logical results.
! 182: do_test fts2q-3.segments {
! 183: execsql {
! 184: SELECT level, idx FROM t1_segdir ORDER BY level, idx;
! 185: }
! 186: } {0 0}
! 187: do_test fts2q-3.matches {
! 188: execsql {
! 189: SELECT OFFSETS(t1) FROM t1
! 190: WHERE t1 MATCH 'this OR that OR was OR a OR is OR test' ORDER BY rowid;
! 191: }
! 192: } {{0 1 0 4 0 2 5 3 0 3 9 1 0 5 11 4}}
! 193:
! 194: check_terms_all fts2q-3.1 {a test that was}
! 195: check_doclist_all fts2q-3.1.1 a {[2 0[2]]}
! 196: check_doclist_all fts2q-3.1.2 test {[2 0[3]]}
! 197: check_doclist_all fts2q-3.1.3 that {[2 0[0]]}
! 198: check_doclist_all fts2q-3.1.4 was {[2 0[1]]}
! 199:
! 200: check_terms fts2q-3.2 0 0 {a test that was}
! 201: check_doclist fts2q-3.2.1 0 0 a {[2 0[2]]}
! 202: check_doclist fts2q-3.2.2 0 0 test {[2 0[3]]}
! 203: check_doclist fts2q-3.2.3 0 0 that {[2 0[0]]}
! 204: check_doclist fts2q-3.2.4 0 0 was {[2 0[1]]}
! 205:
! 206: #*************************************************************************
! 207: # Test optimize() against a table involving segment merges.
! 208: # NOTE(shess): Since there's no transaction, each of the INSERT/UPDATE
! 209: # statements generates a segment.
! 210: db eval {
! 211: DROP TABLE IF EXISTS t1;
! 212: CREATE VIRTUAL TABLE t1 USING fts2(c);
! 213:
! 214: INSERT INTO t1 (rowid, c) VALUES (1, 'This is a test');
! 215: INSERT INTO t1 (rowid, c) VALUES (2, 'That was a test');
! 216: INSERT INTO t1 (rowid, c) VALUES (3, 'This is a test');
! 217:
! 218: UPDATE t1 SET c = 'This is a test one' WHERE rowid = 1;
! 219: UPDATE t1 SET c = 'That was a test one' WHERE rowid = 2;
! 220: UPDATE t1 SET c = 'This is a test one' WHERE rowid = 3;
! 221:
! 222: UPDATE t1 SET c = 'This is a test two' WHERE rowid = 1;
! 223: UPDATE t1 SET c = 'That was a test two' WHERE rowid = 2;
! 224: UPDATE t1 SET c = 'This is a test two' WHERE rowid = 3;
! 225:
! 226: UPDATE t1 SET c = 'This is a test three' WHERE rowid = 1;
! 227: UPDATE t1 SET c = 'That was a test three' WHERE rowid = 2;
! 228: UPDATE t1 SET c = 'This is a test three' WHERE rowid = 3;
! 229:
! 230: UPDATE t1 SET c = 'This is a test four' WHERE rowid = 1;
! 231: UPDATE t1 SET c = 'That was a test four' WHERE rowid = 2;
! 232: UPDATE t1 SET c = 'This is a test four' WHERE rowid = 3;
! 233:
! 234: UPDATE t1 SET c = 'This is a test' WHERE rowid = 1;
! 235: UPDATE t1 SET c = 'That was a test' WHERE rowid = 2;
! 236: UPDATE t1 SET c = 'This is a test' WHERE rowid = 3;
! 237: }
! 238:
! 239: # 2 segments in level 0, 1 in level 1 (18 segments created, 16
! 240: # merged).
! 241: do_test fts2q-4.segments {
! 242: execsql {
! 243: SELECT level, idx FROM t1_segdir ORDER BY level, idx;
! 244: }
! 245: } {0 0 0 1 1 0}
! 246:
! 247: do_test fts2q-4.matches {
! 248: execsql {
! 249: SELECT OFFSETS(t1) FROM t1
! 250: WHERE t1 MATCH 'this OR that OR was OR a OR is OR test' ORDER BY rowid;
! 251: }
! 252: } [list {0 0 0 4 0 4 5 2 0 3 8 1 0 5 10 4} \
! 253: {0 1 0 4 0 2 5 3 0 3 9 1 0 5 11 4} \
! 254: {0 0 0 4 0 4 5 2 0 3 8 1 0 5 10 4}]
! 255:
! 256: check_terms_all fts2q-4.1 {a four is one test that this three two was}
! 257: check_doclist_all fts2q-4.1.1 a {[1 0[2]] [2 0[2]] [3 0[2]]}
! 258: check_doclist_all fts2q-4.1.2 four {}
! 259: check_doclist_all fts2q-4.1.3 is {[1 0[1]] [3 0[1]]}
! 260: check_doclist_all fts2q-4.1.4 one {}
! 261: check_doclist_all fts2q-4.1.5 test {[1 0[3]] [2 0[3]] [3 0[3]]}
! 262: check_doclist_all fts2q-4.1.6 that {[2 0[0]]}
! 263: check_doclist_all fts2q-4.1.7 this {[1 0[0]] [3 0[0]]}
! 264: check_doclist_all fts2q-4.1.8 three {}
! 265: check_doclist_all fts2q-4.1.9 two {}
! 266: check_doclist_all fts2q-4.1.10 was {[2 0[1]]}
! 267:
! 268: check_terms fts2q-4.2 0 0 {a four test that was}
! 269: check_doclist fts2q-4.2.1 0 0 a {[2 0[2]]}
! 270: check_doclist fts2q-4.2.2 0 0 four {[2]}
! 271: check_doclist fts2q-4.2.3 0 0 test {[2 0[3]]}
! 272: check_doclist fts2q-4.2.4 0 0 that {[2 0[0]]}
! 273: check_doclist fts2q-4.2.5 0 0 was {[2 0[1]]}
! 274:
! 275: check_terms fts2q-4.3 0 1 {a four is test this}
! 276: check_doclist fts2q-4.3.1 0 1 a {[3 0[2]]}
! 277: check_doclist fts2q-4.3.2 0 1 four {[3]}
! 278: check_doclist fts2q-4.3.3 0 1 is {[3 0[1]]}
! 279: check_doclist fts2q-4.3.4 0 1 test {[3 0[3]]}
! 280: check_doclist fts2q-4.3.5 0 1 this {[3 0[0]]}
! 281:
! 282: check_terms fts2q-4.4 1 0 {a four is one test that this three two was}
! 283: check_doclist fts2q-4.4.1 1 0 a {[1 0[2]] [2 0[2]] [3 0[2]]}
! 284: check_doclist fts2q-4.4.2 1 0 four {[1] [2 0[4]] [3 0[4]]}
! 285: check_doclist fts2q-4.4.3 1 0 is {[1 0[1]] [3 0[1]]}
! 286: check_doclist fts2q-4.4.4 1 0 one {[1] [2] [3]}
! 287: check_doclist fts2q-4.4.5 1 0 test {[1 0[3]] [2 0[3]] [3 0[3]]}
! 288: check_doclist fts2q-4.4.6 1 0 that {[2 0[0]]}
! 289: check_doclist fts2q-4.4.7 1 0 this {[1 0[0]] [3 0[0]]}
! 290: check_doclist fts2q-4.4.8 1 0 three {[1] [2] [3]}
! 291: check_doclist fts2q-4.4.9 1 0 two {[1] [2] [3]}
! 292: check_doclist fts2q-4.4.10 1 0 was {[2 0[1]]}
! 293:
! 294: # Optimize should leave the result in the level of the highest-level
! 295: # prior segment.
! 296: do_test fts2q-4.5 {
! 297: execsql {
! 298: SELECT OPTIMIZE(t1) FROM t1 LIMIT 1;
! 299: SELECT level, idx FROM t1_segdir ORDER BY level, idx;
! 300: }
! 301: } {{Index optimized} 1 0}
! 302:
! 303: # Identical to fts2q-4.matches.
! 304: do_test fts2q-4.5.matches {
! 305: execsql {
! 306: SELECT OFFSETS(t1) FROM t1
! 307: WHERE t1 MATCH 'this OR that OR was OR a OR is OR test' ORDER BY rowid;
! 308: }
! 309: } [list {0 0 0 4 0 4 5 2 0 3 8 1 0 5 10 4} \
! 310: {0 1 0 4 0 2 5 3 0 3 9 1 0 5 11 4} \
! 311: {0 0 0 4 0 4 5 2 0 3 8 1 0 5 10 4}]
! 312:
! 313: check_terms_all fts2q-4.5.1 {a is test that this was}
! 314: check_doclist_all fts2q-4.5.1.1 a {[1 0[2]] [2 0[2]] [3 0[2]]}
! 315: check_doclist_all fts2q-4.5.1.2 is {[1 0[1]] [3 0[1]]}
! 316: check_doclist_all fts2q-4.5.1.3 test {[1 0[3]] [2 0[3]] [3 0[3]]}
! 317: check_doclist_all fts2q-4.5.1.4 that {[2 0[0]]}
! 318: check_doclist_all fts2q-4.5.1.5 this {[1 0[0]] [3 0[0]]}
! 319: check_doclist_all fts2q-4.5.1.6 was {[2 0[1]]}
! 320:
! 321: check_terms fts2q-4.5.2 1 0 {a is test that this was}
! 322: check_doclist fts2q-4.5.2.1 1 0 a {[1 0[2]] [2 0[2]] [3 0[2]]}
! 323: check_doclist fts2q-4.5.2.2 1 0 is {[1 0[1]] [3 0[1]]}
! 324: check_doclist fts2q-4.5.2.3 1 0 test {[1 0[3]] [2 0[3]] [3 0[3]]}
! 325: check_doclist fts2q-4.5.2.4 1 0 that {[2 0[0]]}
! 326: check_doclist fts2q-4.5.2.5 1 0 this {[1 0[0]] [3 0[0]]}
! 327: check_doclist fts2q-4.5.2.6 1 0 was {[2 0[1]]}
! 328:
! 329: # Re-optimizing does nothing.
! 330: do_test fts2q-5.0 {
! 331: execsql {
! 332: SELECT OPTIMIZE(t1) FROM t1 LIMIT 1;
! 333: SELECT level, idx FROM t1_segdir ORDER BY level, idx;
! 334: }
! 335: } {{Index already optimal} 1 0}
! 336:
! 337: # Even if we move things around, still does nothing.
! 338: do_test fts2q-5.1 {
! 339: execsql {
! 340: UPDATE t1_segdir SET level = 2 WHERE level = 1 AND idx = 0;
! 341: SELECT OPTIMIZE(t1) FROM t1 LIMIT 1;
! 342: SELECT level, idx FROM t1_segdir ORDER BY level, idx;
! 343: }
! 344: } {{Index already optimal} 2 0}
! 345:
! 346: finish_test
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>