73 lines
		
	
	
		
			2.3 KiB
		
	
	
	
		
			Plaintext
		
	
	
	
	
	
			
		
		
	
	
			73 lines
		
	
	
		
			2.3 KiB
		
	
	
	
		
			Plaintext
		
	
	
	
	
	
| # 2015-03-16
 | |
| #
 | |
| # 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.
 | |
| #
 | |
| #***********************************************************************
 | |
| # This file implements regression tests for SQLite library.  The
 | |
| # focus of this file is testing OR expressions where terms can be
 | |
| # factored from either side of the OR and combined into a single new
 | |
| # AND term that is beneficial to the search.  Examples:
 | |
| #
 | |
| #      (x>A OR x=A)              -->    ... AND (x>=A)
 | |
| #      (x>A OR (x=A AND y>=B)    -->    ... AND (x>=A)
 | |
| #
 | |
| 
 | |
| 
 | |
| 
 | |
| set testdir [file dirname $argv0]
 | |
| source $testdir/tester.tcl
 | |
| set ::testprefix whereK
 | |
| 
 | |
| do_execsql_test 1.1 {
 | |
|   CREATE TABLE t1(a,b,c);
 | |
|   WITH RECURSIVE c(x) AS (VALUES(0) UNION ALL SELECT x+1 FROM c WHERE x<99)
 | |
|     INSERT INTO t1(a,b,c) SELECT x, x/10, x%10 FROM c;
 | |
|   CREATE INDEX t1bc ON t1(b,c);
 | |
|   SELECT a FROM t1 WHERE b>9 OR b=9 ORDER BY +a;
 | |
| } {90 91 92 93 94 95 96 97 98 99}
 | |
| do_execsql_test 1.1eqp {
 | |
|   EXPLAIN QUERY PLAN
 | |
|   SELECT a FROM t1 WHERE b>9 OR b=9 ORDER BY +a;
 | |
| } {/SEARCH TABLE t1 USING INDEX t1bc/}
 | |
| 
 | |
| do_execsql_test 1.2 {
 | |
|   SELECT a FROM t1 WHERE b>8 OR (b=8 AND c>7) ORDER BY +a;
 | |
| } {88 89 90 91 92 93 94 95 96 97 98 99}
 | |
| do_execsql_test 1.2eqp {
 | |
|   EXPLAIN QUERY PLAN
 | |
|   SELECT a FROM t1 WHERE b>8 OR (b=8 AND c>7) ORDER BY +a;
 | |
| } {/SEARCH TABLE t1 USING INDEX t1bc/}
 | |
| 
 | |
| do_execsql_test 1.3 {
 | |
|   SELECT a FROM t1 WHERE (b=8 AND c>7) OR b>8 ORDER BY +a;
 | |
| } {88 89 90 91 92 93 94 95 96 97 98 99}
 | |
| do_execsql_test 1.3eqp {
 | |
|   EXPLAIN QUERY PLAN
 | |
|   SELECT a FROM t1 WHERE (b=8 AND c>7) OR b>8 ORDER BY +a;
 | |
| } {/SEARCH TABLE t1 USING INDEX t1bc/}
 | |
| 
 | |
| do_execsql_test 1.4 {
 | |
|   SELECT a FROM t1 WHERE (b=8 AND c>7) OR 8<b ORDER BY +a;
 | |
| } {88 89 90 91 92 93 94 95 96 97 98 99}
 | |
| do_execsql_test 1.4eqp {
 | |
|   EXPLAIN QUERY PLAN
 | |
|   SELECT a FROM t1 WHERE (b=8 AND c>7) OR 8<b ORDER BY +a;
 | |
| } {/SEARCH TABLE t1 USING INDEX t1bc/}
 | |
| 
 | |
| do_execsql_test 1.5 {
 | |
|   SELECT a FROM t1 WHERE (b=8 AND c>7) OR (b>8 AND c NOT IN (4,5,6))
 | |
|    ORDER BY +a;
 | |
| } {88 89 90 91 92 93 97 98 99}
 | |
| do_execsql_test 1.5eqp {
 | |
|   EXPLAIN QUERY PLAN
 | |
|   SELECT a FROM t1 WHERE (b=8 AND c>7) OR (b>8 AND c NOT IN (4,5,6))
 | |
|    ORDER BY +a;
 | |
| } {/SEARCH TABLE t1 USING INDEX t1bc/}
 | |
| 
 | |
| finish_test
 | 
