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>