OLD | NEW |
(Empty) | |
| 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 |
OLD | NEW |