0000: 23 20 32 30 31 33 2d 31 31 2d 31 33 0a 23 0a 23 # 2013-11-13.#.#
0010: 20 54 68 65 20 61 75 74 68 6f 72 20 64 69 73 63 The author disc
0020: 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68 74 20 laims copyright
0030: 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65 20 63 to this source c
0040: 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65 20 6f ode. In place o
0050: 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f 74 69 f.# a legal noti
0060: 63 65 2c 20 68 65 72 65 20 69 73 20 61 20 62 6c ce, here is a bl
0070: 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20 20 4d essing:.#.# M
0080: 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64 20 61 ay you do good a
0090: 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23 20 20 nd not evil..#
00a0: 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 20 66 May you find f
00b0: 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72 20 79 orgiveness for y
00c0: 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f 72 67 ourself and forg
00d0: 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20 20 20 ive others..#
00e0: 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20 66 May you share f
00f0: 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61 6b reely, never tak
0100: 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79 6f ing more than yo
0110: 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a 2a 2a u give..#.#*****
0120: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a ****************
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a ****************
0160: 2a 2a 0a 23 0a 23 20 54 68 69 73 20 66 69 6c 65 **.#.# This file
0170: 20 69 6d 70 6c 65 6d 65 6e 74 73 20 74 65 73 74 implements test
0180: 73 20 6f 66 20 74 68 65 20 22 73 6b 69 70 2d 73 s of the "skip-s
0190: 63 61 6e 22 20 71 75 65 72 79 20 73 74 72 61 74 can" query strat
01a0: 65 67 79 2e 0a 23 0a 0a 73 65 74 20 74 65 73 74 egy..#..set test
01b0: 64 69 72 20 5b 66 69 6c 65 20 64 69 72 6e 61 6d dir [file dirnam
01c0: 65 20 24 61 72 67 76 30 5d 0a 73 6f 75 72 63 65 e $argv0].source
01d0: 20 24 74 65 73 74 64 69 72 2f 74 65 73 74 65 72 $testdir/tester
01e0: 2e 74 63 6c 0a 0a 64 6f 5f 65 78 65 63 73 71 6c .tcl..do_execsql
01f0: 5f 74 65 73 74 20 73 6b 69 70 73 63 61 6e 31 2d _test skipscan1-
0200: 31 2e 31 20 7b 0a 20 20 43 52 45 41 54 45 20 54 1.1 {. CREATE T
0210: 41 42 4c 45 20 74 31 28 61 20 54 45 58 54 2c 20 ABLE t1(a TEXT,
0220: 62 20 49 4e 54 2c 20 63 20 49 4e 54 2c 20 64 20 b INT, c INT, d
0230: 49 4e 54 29 3b 0a 20 20 43 52 45 41 54 45 20 49 INT);. CREATE I
0240: 4e 44 45 58 20 74 31 61 62 63 20 4f 4e 20 74 31 NDEX t1abc ON t1
0250: 28 61 2c 62 2c 63 29 3b 0a 20 20 49 4e 53 45 52 (a,b,c);. INSER
0260: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 T INTO t1 VALUES
0270: 28 27 61 62 63 27 2c 31 32 33 2c 34 2c 35 29 3b ('abc',123,4,5);
0280: 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 . INSERT INTO t
0290: 31 20 56 41 4c 55 45 53 28 27 61 62 63 27 2c 32 1 VALUES('abc',2
02a0: 33 34 2c 35 2c 36 29 3b 0a 20 20 49 4e 53 45 52 34,5,6);. INSER
02b0: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 T INTO t1 VALUES
02c0: 28 27 61 62 63 27 2c 32 33 34 2c 36 2c 37 29 3b ('abc',234,6,7);
02d0: 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 . INSERT INTO t
02e0: 31 20 56 41 4c 55 45 53 28 27 61 62 63 27 2c 33 1 VALUES('abc',3
02f0: 34 35 2c 37 2c 38 29 3b 0a 20 20 49 4e 53 45 52 45,7,8);. INSER
0300: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 T INTO t1 VALUES
0310: 28 27 64 65 66 27 2c 35 36 37 2c 38 2c 39 29 3b ('def',567,8,9);
0320: 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 . INSERT INTO t
0330: 31 20 56 41 4c 55 45 53 28 27 64 65 66 27 2c 33 1 VALUES('def',3
0340: 34 35 2c 39 2c 31 30 29 3b 0a 20 20 49 4e 53 45 45,9,10);. INSE
0350: 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 RT INTO t1 VALUE
0360: 53 28 27 62 63 64 27 2c 31 30 30 2c 36 2c 31 31 S('bcd',100,6,11
0370: 29 3b 0a 0a 20 20 2f 2a 20 46 61 6b 65 20 74 68 );.. /* Fake th
0380: 65 20 73 71 6c 69 74 65 5f 73 74 61 74 31 20 74 e sqlite_stat1 t
0390: 61 62 6c 65 20 73 6f 20 74 68 61 74 20 74 68 65 able so that the
03a0: 20 71 75 65 72 79 20 70 6c 61 6e 6e 65 72 20 62 query planner b
03b0: 65 6c 69 65 76 65 73 0a 20 20 2a 2a 20 74 68 65 elieves. ** the
03c0: 20 74 61 62 6c 65 20 63 6f 6e 74 61 69 6e 73 20 table contains
03d0: 74 68 6f 75 73 61 6e 64 73 20 6f 66 20 72 6f 77 thousands of row
03e0: 73 20 61 6e 64 20 74 68 61 74 20 74 68 65 20 66 s and that the f
03f0: 69 72 73 74 20 66 65 77 0a 20 20 2a 2a 20 63 6f irst few. ** co
0400: 6c 75 6d 6e 73 20 61 72 65 20 6e 6f 74 20 73 65 lumns are not se
0410: 6c 65 63 74 69 76 65 2e 20 2a 2f 0a 20 20 41 4e lective. */. AN
0420: 41 4c 59 5a 45 3b 0a 20 20 44 45 4c 45 54 45 20 ALYZE;. DELETE
0430: 46 52 4f 4d 20 73 71 6c 69 74 65 5f 73 74 61 74 FROM sqlite_stat
0440: 31 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 1;. INSERT INTO
0450: 20 73 71 6c 69 74 65 5f 73 74 61 74 31 20 56 41 sqlite_stat1 VA
0460: 4c 55 45 53 28 27 74 31 27 2c 27 74 31 61 62 63 LUES('t1','t1abc
0470: 27 2c 27 31 30 30 30 30 20 35 30 30 30 20 32 30 ','10000 5000 20
0480: 30 30 20 31 30 27 29 3b 0a 20 20 41 4e 41 4c 59 00 10');. ANALY
0490: 5a 45 20 73 71 6c 69 74 65 5f 6d 61 73 74 65 72 ZE sqlite_master
04a0: 3b 0a 7d 20 7b 7d 0a 0a 23 20 53 69 6d 70 6c 65 ;.} {}..# Simple
04b0: 20 71 75 65 72 69 65 73 20 74 68 61 74 20 6c 65 queries that le
04c0: 61 76 65 20 74 68 65 20 66 69 72 73 74 20 6f 6e ave the first on
04d0: 65 20 6f 72 20 74 77 6f 20 63 6f 6c 75 6d 6e 73 e or two columns
04e0: 20 6f 66 20 74 68 65 0a 23 20 69 6e 64 65 78 20 of the.# index
04f0: 75 6e 63 6f 6e 73 74 72 61 69 6e 74 65 64 2e 0a unconstrainted..
0500: 23 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 #.do_execsql_tes
0510: 74 20 73 6b 69 70 73 63 61 6e 31 2d 31 2e 32 20 t skipscan1-1.2
0520: 7b 0a 20 20 53 45 4c 45 43 54 20 61 2c 62 2c 63 {. SELECT a,b,c
0530: 2c 64 2c 27 7c 27 20 46 52 4f 4d 20 74 31 20 57 ,d,'|' FROM t1 W
0540: 48 45 52 45 20 62 3d 33 34 35 20 4f 52 44 45 52 HERE b=345 ORDER
0550: 20 42 59 20 61 3b 0a 7d 20 7b 61 62 63 20 33 34 BY a;.} {abc 34
0560: 35 20 37 20 38 20 7c 20 64 65 66 20 33 34 35 20 5 7 8 | def 345
0570: 39 20 31 30 20 7c 7d 0a 64 6f 5f 65 78 65 63 73 9 10 |}.do_execs
0580: 71 6c 5f 74 65 73 74 20 73 6b 69 70 73 63 61 6e ql_test skipscan
0590: 31 2d 31 2e 32 65 71 70 20 7b 0a 20 20 45 58 50 1-1.2eqp {. EXP
05a0: 4c 41 49 4e 20 51 55 45 52 59 20 50 4c 41 4e 0a LAIN QUERY PLAN.
05b0: 20 20 53 45 4c 45 43 54 20 61 2c 62 2c 63 2c 64 SELECT a,b,c,d
05c0: 2c 27 7c 27 20 46 52 4f 4d 20 74 31 20 57 48 45 ,'|' FROM t1 WHE
05d0: 52 45 20 62 3d 33 34 35 20 4f 52 44 45 52 20 42 RE b=345 ORDER B
05e0: 59 20 61 3b 0a 7d 20 7b 2f 2a 20 55 53 49 4e 47 Y a;.} {/* USING
05f0: 20 49 4e 44 45 58 20 74 31 61 62 63 20 28 41 4e INDEX t1abc (AN
0600: 59 28 61 29 20 41 4e 44 20 62 3d 3f 29 2a 2f 7d Y(a) AND b=?)*/}
0610: 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 .do_execsql_test
0620: 20 73 6b 69 70 73 63 61 6e 31 2d 31 2e 32 73 6f skipscan1-1.2so
0630: 72 74 20 7b 0a 20 20 45 58 50 4c 41 49 4e 20 51 rt {. EXPLAIN Q
0640: 55 45 52 59 20 50 4c 41 4e 0a 20 20 53 45 4c 45 UERY PLAN. SELE
0650: 43 54 20 61 2c 62 2c 63 2c 64 2c 27 7c 27 20 46 CT a,b,c,d,'|' F
0660: 52 4f 4d 20 74 31 20 57 48 45 52 45 20 62 3d 33 ROM t1 WHERE b=3
0670: 34 35 20 4f 52 44 45 52 20 42 59 20 61 3b 0a 7d 45 ORDER BY a;.}
0680: 20 7b 7e 2f 2a 4f 52 44 45 52 20 42 59 2a 2f 7d {~/*ORDER BY*/}
0690: 0a 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 ..do_execsql_tes
06a0: 74 20 73 6b 69 70 73 63 61 6e 31 2d 31 2e 33 20 t skipscan1-1.3
06b0: 7b 0a 20 20 53 45 4c 45 43 54 20 61 2c 62 2c 63 {. SELECT a,b,c
06c0: 2c 64 2c 27 7c 27 20 46 52 4f 4d 20 74 31 20 57 ,d,'|' FROM t1 W
06d0: 48 45 52 45 20 62 3d 33 34 35 20 4f 52 44 45 52 HERE b=345 ORDER
06e0: 20 42 59 20 61 20 44 45 53 43 3b 0a 7d 20 7b 64 BY a DESC;.} {d
06f0: 65 66 20 33 34 35 20 39 20 31 30 20 7c 20 61 62 ef 345 9 10 | ab
0700: 63 20 33 34 35 20 37 20 38 20 7c 7d 0a 64 6f 5f c 345 7 8 |}.do_
0710: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 73 6b 69 execsql_test ski
0720: 70 73 63 61 6e 31 2d 31 2e 33 65 71 70 20 7b 0a pscan1-1.3eqp {.
0730: 20 20 45 58 50 4c 41 49 4e 20 51 55 45 52 59 20 EXPLAIN QUERY
0740: 50 4c 41 4e 0a 20 20 53 45 4c 45 43 54 20 61 2c PLAN. SELECT a,
0750: 62 2c 63 2c 64 2c 27 7c 27 20 46 52 4f 4d 20 74 b,c,d,'|' FROM t
0760: 31 20 57 48 45 52 45 20 62 3d 33 34 35 20 4f 52 1 WHERE b=345 OR
0770: 44 45 52 20 42 59 20 61 3b 0a 7d 20 7b 2f 2a 20 DER BY a;.} {/*
0780: 55 53 49 4e 47 20 49 4e 44 45 58 20 74 31 61 62 USING INDEX t1ab
0790: 63 20 28 41 4e 59 28 61 29 20 41 4e 44 20 62 3d c (ANY(a) AND b=
07a0: 3f 29 2a 2f 7d 0a 64 6f 5f 65 78 65 63 73 71 6c ?)*/}.do_execsql
07b0: 5f 74 65 73 74 20 73 6b 69 70 73 63 61 6e 31 2d _test skipscan1-
07c0: 31 2e 33 73 6f 72 74 20 7b 0a 20 20 45 58 50 4c 1.3sort {. EXPL
07d0: 41 49 4e 20 51 55 45 52 59 20 50 4c 41 4e 0a 20 AIN QUERY PLAN.
07e0: 20 53 45 4c 45 43 54 20 61 2c 62 2c 63 2c 64 2c SELECT a,b,c,d,
07f0: 27 7c 27 20 46 52 4f 4d 20 74 31 20 57 48 45 52 '|' FROM t1 WHER
0800: 45 20 62 3d 33 34 35 20 4f 52 44 45 52 20 42 59 E b=345 ORDER BY
0810: 20 61 3b 0a 7d 20 7b 7e 2f 2a 4f 52 44 45 52 20 a;.} {~/*ORDER
0820: 42 59 2a 2f 7d 0a 0a 64 6f 5f 65 78 65 63 73 71 BY*/}..do_execsq
0830: 6c 5f 74 65 73 74 20 73 6b 69 70 73 63 61 6e 31 l_test skipscan1
0840: 2d 31 2e 34 20 7b 0a 20 20 53 45 4c 45 43 54 20 -1.4 {. SELECT
0850: 61 2c 62 2c 63 2c 64 2c 27 7c 27 20 46 52 4f 4d a,b,c,d,'|' FROM
0860: 20 74 31 20 57 48 45 52 45 20 63 3d 36 20 4f 52 t1 WHERE c=6 OR
0870: 44 45 52 20 42 59 20 61 2c 20 62 2c 20 63 3b 0a DER BY a, b, c;.
0880: 7d 20 7b 61 62 63 20 32 33 34 20 36 20 37 20 7c } {abc 234 6 7 |
0890: 20 62 63 64 20 31 30 30 20 36 20 31 31 20 7c 7d bcd 100 6 11 |}
08a0: 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 .do_execsql_test
08b0: 20 73 6b 69 70 73 63 61 6e 31 2d 31 2e 34 65 71 skipscan1-1.4eq
08c0: 70 20 7b 0a 20 20 45 58 50 4c 41 49 4e 20 51 55 p {. EXPLAIN QU
08d0: 45 52 59 20 50 4c 41 4e 0a 20 20 53 45 4c 45 43 ERY PLAN. SELEC
08e0: 54 20 61 2c 62 2c 63 2c 64 2c 27 7c 27 20 46 52 T a,b,c,d,'|' FR
08f0: 4f 4d 20 74 31 20 57 48 45 52 45 20 63 3d 36 20 OM t1 WHERE c=6
0900: 4f 52 44 45 52 20 42 59 20 61 2c 20 62 2c 20 63 ORDER BY a, b, c
0910: 3b 0a 7d 20 7b 2f 2a 20 55 53 49 4e 47 20 49 4e ;.} {/* USING IN
0920: 44 45 58 20 74 31 61 62 63 20 28 41 4e 59 28 61 DEX t1abc (ANY(a
0930: 29 20 41 4e 44 20 41 4e 59 28 62 29 20 41 4e 44 ) AND ANY(b) AND
0940: 20 63 3d 3f 29 2a 2f 7d 0a 64 6f 5f 65 78 65 63 c=?)*/}.do_exec
0950: 73 71 6c 5f 74 65 73 74 20 73 6b 69 70 73 63 61 sql_test skipsca
0960: 6e 31 2d 31 2e 34 73 6f 72 74 20 7b 0a 20 20 45 n1-1.4sort {. E
0970: 58 50 4c 41 49 4e 20 51 55 45 52 59 20 50 4c 41 XPLAIN QUERY PLA
0980: 4e 0a 20 20 53 45 4c 45 43 54 20 61 2c 62 2c 63 N. SELECT a,b,c
0990: 2c 64 2c 27 7c 27 20 46 52 4f 4d 20 74 31 20 57 ,d,'|' FROM t1 W
09a0: 48 45 52 45 20 63 3d 36 20 4f 52 44 45 52 20 42 HERE c=6 ORDER B
09b0: 59 20 61 2c 20 62 2c 20 63 3b 0a 7d 20 7b 7e 2f Y a, b, c;.} {~/
09c0: 2a 4f 52 44 45 52 20 42 59 2a 2f 7d 0a 0a 64 6f *ORDER BY*/}..do
09d0: 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 73 6b _execsql_test sk
09e0: 69 70 73 63 61 6e 31 2d 31 2e 35 20 7b 0a 20 20 ipscan1-1.5 {.
09f0: 53 45 4c 45 43 54 20 61 2c 62 2c 63 2c 64 2c 27 SELECT a,b,c,d,'
0a00: 7c 27 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 |' FROM t1 WHERE
0a10: 20 63 20 49 4e 20 28 36 2c 37 29 20 4f 52 44 45 c IN (6,7) ORDE
0a20: 52 20 42 59 20 61 2c 20 62 2c 20 63 3b 0a 7d 20 R BY a, b, c;.}
0a30: 7b 61 62 63 20 32 33 34 20 36 20 37 20 7c 20 61 {abc 234 6 7 | a
0a40: 62 63 20 33 34 35 20 37 20 38 20 7c 20 62 63 64 bc 345 7 8 | bcd
0a50: 20 31 30 30 20 36 20 31 31 20 7c 7d 0a 64 6f 5f 100 6 11 |}.do_
0a60: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 73 6b 69 execsql_test ski
0a70: 70 73 63 61 6e 31 2d 31 2e 35 65 71 70 20 7b 0a pscan1-1.5eqp {.
0a80: 20 20 45 58 50 4c 41 49 4e 20 51 55 45 52 59 20 EXPLAIN QUERY
0a90: 50 4c 41 4e 0a 20 20 53 45 4c 45 43 54 20 61 2c PLAN. SELECT a,
0aa0: 62 2c 63 2c 64 2c 27 7c 27 20 46 52 4f 4d 20 74 b,c,d,'|' FROM t
0ab0: 31 20 57 48 45 52 45 20 63 20 49 4e 20 28 36 2c 1 WHERE c IN (6,
0ac0: 37 29 20 4f 52 44 45 52 20 42 59 20 61 2c 20 62 7) ORDER BY a, b
0ad0: 2c 20 63 3b 0a 7d 20 7b 2f 2a 20 55 53 49 4e 47 , c;.} {/* USING
0ae0: 20 49 4e 44 45 58 20 74 31 61 62 63 20 28 41 4e INDEX t1abc (AN
0af0: 59 28 61 29 20 41 4e 44 20 41 4e 59 28 62 29 20 Y(a) AND ANY(b)
0b00: 41 4e 44 20 63 3d 3f 29 2a 2f 7d 0a 64 6f 5f 65 AND c=?)*/}.do_e
0b10: 78 65 63 73 71 6c 5f 74 65 73 74 20 73 6b 69 70 xecsql_test skip
0b20: 73 63 61 6e 31 2d 31 2e 35 73 6f 72 74 20 7b 0a scan1-1.5sort {.
0b30: 20 20 45 58 50 4c 41 49 4e 20 51 55 45 52 59 20 EXPLAIN QUERY
0b40: 50 4c 41 4e 0a 20 20 53 45 4c 45 43 54 20 61 2c PLAN. SELECT a,
0b50: 62 2c 63 2c 64 2c 27 7c 27 20 46 52 4f 4d 20 74 b,c,d,'|' FROM t
0b60: 31 20 57 48 45 52 45 20 63 20 49 4e 20 28 36 2c 1 WHERE c IN (6,
0b70: 37 29 20 4f 52 44 45 52 20 42 59 20 61 2c 20 62 7) ORDER BY a, b
0b80: 2c 20 63 3b 0a 7d 20 7b 7e 2f 2a 4f 52 44 45 52 , c;.} {~/*ORDER
0b90: 20 42 59 2a 2f 7d 0a 0a 64 6f 5f 65 78 65 63 73 BY*/}..do_execs
0ba0: 71 6c 5f 74 65 73 74 20 73 6b 69 70 73 63 61 6e ql_test skipscan
0bb0: 31 2d 31 2e 36 20 7b 0a 20 20 53 45 4c 45 43 54 1-1.6 {. SELECT
0bc0: 20 61 2c 62 2c 63 2c 64 2c 27 7c 27 20 46 52 4f a,b,c,d,'|' FRO
0bd0: 4d 20 74 31 20 57 48 45 52 45 20 63 20 42 45 54 M t1 WHERE c BET
0be0: 57 45 45 4e 20 36 20 41 4e 44 20 37 20 4f 52 44 WEEN 6 AND 7 ORD
0bf0: 45 52 20 42 59 20 61 2c 20 62 2c 20 63 3b 0a 7d ER BY a, b, c;.}
0c00: 20 7b 61 62 63 20 32 33 34 20 36 20 37 20 7c 20 {abc 234 6 7 |
0c10: 61 62 63 20 33 34 35 20 37 20 38 20 7c 20 62 63 abc 345 7 8 | bc
0c20: 64 20 31 30 30 20 36 20 31 31 20 7c 7d 0a 64 6f d 100 6 11 |}.do
0c30: 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 73 6b _execsql_test sk
0c40: 69 70 73 63 61 6e 31 2d 31 2e 36 65 71 70 20 7b ipscan1-1.6eqp {
0c50: 0a 20 20 45 58 50 4c 41 49 4e 20 51 55 45 52 59 . EXPLAIN QUERY
0c60: 20 50 4c 41 4e 0a 20 20 53 45 4c 45 43 54 20 61 PLAN. SELECT a
0c70: 2c 62 2c 63 2c 64 2c 27 7c 27 20 46 52 4f 4d 20 ,b,c,d,'|' FROM
0c80: 74 31 20 57 48 45 52 45 20 63 20 42 45 54 57 45 t1 WHERE c BETWE
0c90: 45 4e 20 36 20 41 4e 44 20 37 20 4f 52 44 45 52 EN 6 AND 7 ORDER
0ca0: 20 42 59 20 61 2c 20 62 2c 20 63 3b 0a 7d 20 7b BY a, b, c;.} {
0cb0: 2f 2a 20 55 53 49 4e 47 20 49 4e 44 45 58 20 74 /* USING INDEX t
0cc0: 31 61 62 63 20 28 41 4e 59 28 61 29 20 41 4e 44 1abc (ANY(a) AND
0cd0: 20 41 4e 59 28 62 29 20 41 4e 44 20 63 3e 3f 20 ANY(b) AND c>?
0ce0: 41 4e 44 20 63 3c 3f 29 2a 2f 7d 0a 64 6f 5f 65 AND c<?)*/}.do_e
0cf0: 78 65 63 73 71 6c 5f 74 65 73 74 20 73 6b 69 70 xecsql_test skip
0d00: 73 63 61 6e 31 2d 31 2e 36 73 6f 72 74 20 7b 0a scan1-1.6sort {.
0d10: 20 20 45 58 50 4c 41 49 4e 20 51 55 45 52 59 20 EXPLAIN QUERY
0d20: 50 4c 41 4e 0a 20 20 53 45 4c 45 43 54 20 61 2c PLAN. SELECT a,
0d30: 62 2c 63 2c 64 2c 27 7c 27 20 46 52 4f 4d 20 74 b,c,d,'|' FROM t
0d40: 31 20 57 48 45 52 45 20 63 20 42 45 54 57 45 45 1 WHERE c BETWEE
0d50: 4e 20 36 20 41 4e 44 20 37 20 4f 52 44 45 52 20 N 6 AND 7 ORDER
0d60: 42 59 20 61 2c 20 62 2c 20 63 3b 0a 7d 20 7b 7e BY a, b, c;.} {~
0d70: 2f 2a 4f 52 44 45 52 20 42 59 2a 2f 7d 0a 0a 0a /*ORDER BY*/}...
0d80: 23 20 4a 6f 69 6e 73 0a 23 0a 64 6f 5f 65 78 65 # Joins.#.do_exe
0d90: 63 73 71 6c 5f 74 65 73 74 20 73 6b 69 70 73 63 csql_test skipsc
0da0: 61 6e 31 2d 31 2e 35 31 20 7b 0a 20 20 43 52 45 an1-1.51 {. CRE
0db0: 41 54 45 20 54 41 42 4c 45 20 74 31 6a 28 78 20 ATE TABLE t1j(x
0dc0: 54 45 58 54 2c 20 79 20 49 4e 54 45 47 45 52 29 TEXT, y INTEGER)
0dd0: 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 ;. INSERT INTO
0de0: 74 31 6a 20 56 41 4c 55 45 53 28 27 6f 6e 65 27 t1j VALUES('one'
0df0: 2c 31 29 2c 28 27 73 69 78 27 2c 36 29 2c 28 27 ,1),('six',6),('
0e00: 6e 69 6e 74 79 2d 6e 69 6e 65 27 2c 39 39 29 3b ninty-nine',99);
0e10: 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 73 . INSERT INTO s
0e20: 71 6c 69 74 65 5f 73 74 61 74 31 20 56 41 4c 55 qlite_stat1 VALU
0e30: 45 53 28 27 74 31 6a 27 2c 6e 75 6c 6c 2c 27 33 ES('t1j',null,'3
0e40: 27 29 3b 0a 20 20 41 4e 41 4c 59 5a 45 20 73 71 ');. ANALYZE sq
0e50: 6c 69 74 65 5f 6d 61 73 74 65 72 3b 0a 20 20 53 lite_master;. S
0e60: 45 4c 45 43 54 20 78 2c 20 61 2c 20 62 2c 20 63 ELECT x, a, b, c
0e70: 2c 20 64 2c 20 27 7c 27 20 46 52 4f 4d 20 74 31 , d, '|' FROM t1
0e80: 6a 2c 20 74 31 20 57 48 45 52 45 20 63 3d 79 20 j, t1 WHERE c=y
0e90: 4f 52 44 45 52 20 42 59 20 2b 61 3b 0a 7d 20 7b ORDER BY +a;.} {
0ea0: 73 69 78 20 61 62 63 20 32 33 34 20 36 20 37 20 six abc 234 6 7
0eb0: 7c 20 73 69 78 20 62 63 64 20 31 30 30 20 36 20 | six bcd 100 6
0ec0: 31 31 20 7c 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 11 |}.do_execsql
0ed0: 5f 74 65 73 74 20 73 6b 69 70 73 63 61 6e 31 2d _test skipscan1-
0ee0: 31 2e 35 31 65 71 70 20 7b 0a 20 20 45 58 50 4c 1.51eqp {. EXPL
0ef0: 41 49 4e 20 51 55 45 52 59 20 50 4c 41 4e 0a 20 AIN QUERY PLAN.
0f00: 20 53 45 4c 45 43 54 20 78 2c 20 61 2c 20 62 2c SELECT x, a, b,
0f10: 20 63 2c 20 64 2c 20 27 7c 27 20 46 52 4f 4d 20 c, d, '|' FROM
0f20: 74 31 6a 2c 20 74 31 20 57 48 45 52 45 20 63 3d t1j, t1 WHERE c=
0f30: 79 20 4f 52 44 45 52 20 42 59 20 2b 61 3b 0a 7d y ORDER BY +a;.}
0f40: 20 7b 2f 2a 20 49 4e 44 45 58 20 74 31 61 62 63 {/* INDEX t1abc
0f50: 20 28 41 4e 59 28 61 29 20 41 4e 44 20 41 4e 59 (ANY(a) AND ANY
0f60: 28 62 29 20 41 4e 44 20 63 3d 3f 29 2a 2f 7d 0a (b) AND c=?)*/}.
0f70: 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 .do_execsql_test
0f80: 20 73 6b 69 70 73 63 61 6e 31 2d 31 2e 35 32 20 skipscan1-1.52
0f90: 7b 0a 20 20 53 45 4c 45 43 54 20 78 2c 20 61 2c {. SELECT x, a,
0fa0: 20 62 2c 20 63 2c 20 64 2c 20 27 7c 27 20 46 52 b, c, d, '|' FR
0fb0: 4f 4d 20 74 31 6a 20 4c 45 46 54 20 4a 4f 49 4e OM t1j LEFT JOIN
0fc0: 20 74 31 20 4f 4e 20 63 3d 79 20 4f 52 44 45 52 t1 ON c=y ORDER
0fd0: 20 42 59 20 2b 79 2c 20 2b 61 3b 0a 7d 20 7b 6f BY +y, +a;.} {o
0fe0: 6e 65 20 7b 7d 20 7b 7d 20 7b 7d 20 7b 7d 20 7c ne {} {} {} {} |
0ff0: 20 73 69 78 20 61 62 63 20 32 33 34 20 36 20 37 six abc 234 6 7
1000: 20 7c 20 73 69 78 20 62 63 64 20 31 30 30 20 36 | six bcd 100 6
1010: 20 31 31 20 7c 20 6e 69 6e 74 79 2d 6e 69 6e 65 11 | ninty-nine
1020: 20 7b 7d 20 7b 7d 20 7b 7d 20 7b 7d 20 7c 7d 0a {} {} {} {} |}.
1030: 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 do_execsql_test
1040: 73 6b 69 70 73 63 61 6e 31 2d 31 2e 35 32 65 71 skipscan1-1.52eq
1050: 70 20 7b 0a 20 20 45 58 50 4c 41 49 4e 20 51 55 p {. EXPLAIN QU
1060: 45 52 59 20 50 4c 41 4e 0a 20 20 53 45 4c 45 43 ERY PLAN. SELEC
1070: 54 20 78 2c 20 61 2c 20 62 2c 20 63 2c 20 64 2c T x, a, b, c, d,
1080: 20 27 7c 27 20 46 52 4f 4d 20 74 31 6a 20 4c 45 '|' FROM t1j LE
1090: 46 54 20 4a 4f 49 4e 20 74 31 20 4f 4e 20 63 3d FT JOIN t1 ON c=
10a0: 79 20 4f 52 44 45 52 20 42 59 20 2b 79 2c 20 2b y ORDER BY +y, +
10b0: 61 3b 0a 7d 20 7b 2f 2a 20 49 4e 44 45 58 20 74 a;.} {/* INDEX t
10c0: 31 61 62 63 20 28 41 4e 59 28 61 29 20 41 4e 44 1abc (ANY(a) AND
10d0: 20 41 4e 59 28 62 29 20 41 4e 44 20 63 3d 3f 29 ANY(b) AND c=?)
10e0: 2a 2f 7d 0a 0a 64 6f 5f 65 78 65 63 73 71 6c 5f */}..do_execsql_
10f0: 74 65 73 74 20 73 6b 69 70 73 63 61 6e 31 2d 32 test skipscan1-2
1100: 2e 31 20 7b 0a 20 20 43 52 45 41 54 45 20 54 41 .1 {. CREATE TA
1110: 42 4c 45 20 74 32 28 61 20 54 45 58 54 2c 20 62 BLE t2(a TEXT, b
1120: 20 49 4e 54 2c 20 63 20 49 4e 54 2c 20 64 20 49 INT, c INT, d I
1130: 4e 54 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20 NT,.
1140: 20 20 20 20 20 20 50 52 49 4d 41 52 59 20 4b 45 PRIMARY KE
1150: 59 28 61 2c 62 2c 63 29 29 3b 0a 20 20 49 4e 53 Y(a,b,c));. INS
1160: 45 52 54 20 49 4e 54 4f 20 74 32 20 53 45 4c 45 ERT INTO t2 SELE
1170: 43 54 20 2a 20 46 52 4f 4d 20 74 31 3b 0a 0a 20 CT * FROM t1;..
1180: 20 2f 2a 20 46 61 6b 65 20 74 68 65 20 73 71 6c /* Fake the sql
1190: 69 74 65 5f 73 74 61 74 31 20 74 61 62 6c 65 20 ite_stat1 table
11a0: 73 6f 20 74 68 61 74 20 74 68 65 20 71 75 65 72 so that the quer
11b0: 79 20 70 6c 61 6e 6e 65 72 20 62 65 6c 69 65 76 y planner believ
11c0: 65 73 0a 20 20 2a 2a 20 74 68 65 20 74 61 62 6c es. ** the tabl
11d0: 65 20 63 6f 6e 74 61 69 6e 73 20 74 68 6f 75 73 e contains thous
11e0: 61 6e 64 73 20 6f 66 20 72 6f 77 73 20 61 6e 64 ands of rows and
11f0: 20 74 68 61 74 20 74 68 65 20 66 69 72 73 74 20 that the first
1200: 66 65 77 0a 20 20 2a 2a 20 63 6f 6c 75 6d 6e 73 few. ** columns
1210: 20 61 72 65 20 6e 6f 74 20 73 65 6c 65 63 74 69 are not selecti
1220: 76 65 2e 20 2a 2f 0a 20 20 41 4e 41 4c 59 5a 45 ve. */. ANALYZE
1230: 3b 0a 20 20 55 50 44 41 54 45 20 73 71 6c 69 74 ;. UPDATE sqlit
1240: 65 5f 73 74 61 74 31 20 53 45 54 20 73 74 61 74 e_stat1 SET stat
1250: 3d 27 31 30 30 30 30 20 35 30 30 30 20 32 30 30 ='10000 5000 200
1260: 30 20 31 30 27 20 57 48 45 52 45 20 69 64 78 20 0 10' WHERE idx
1270: 4e 4f 54 20 4e 55 4c 4c 3b 0a 20 20 41 4e 41 4c NOT NULL;. ANAL
1280: 59 5a 45 20 73 71 6c 69 74 65 5f 6d 61 73 74 65 YZE sqlite_maste
1290: 72 3b 0a 7d 20 7b 7d 0a 0a 64 6f 5f 65 78 65 63 r;.} {}..do_exec
12a0: 73 71 6c 5f 74 65 73 74 20 73 6b 69 70 73 63 61 sql_test skipsca
12b0: 6e 31 2d 32 2e 32 20 7b 0a 20 20 53 45 4c 45 43 n1-2.2 {. SELEC
12c0: 54 20 61 2c 62 2c 63 2c 64 2c 27 7c 27 20 46 52 T a,b,c,d,'|' FR
12d0: 4f 4d 20 74 32 20 57 48 45 52 45 20 62 3d 33 34 OM t2 WHERE b=34
12e0: 35 20 4f 52 44 45 52 20 42 59 20 61 3b 0a 7d 20 5 ORDER BY a;.}
12f0: 7b 61 62 63 20 33 34 35 20 37 20 38 20 7c 20 64 {abc 345 7 8 | d
1300: 65 66 20 33 34 35 20 39 20 31 30 20 7c 7d 0a 64 ef 345 9 10 |}.d
1310: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 73 o_execsql_test s
1320: 6b 69 70 73 63 61 6e 31 2d 32 2e 32 65 71 70 20 kipscan1-2.2eqp
1330: 7b 0a 20 20 45 58 50 4c 41 49 4e 20 51 55 45 52 {. EXPLAIN QUER
1340: 59 20 50 4c 41 4e 0a 20 20 53 45 4c 45 43 54 20 Y PLAN. SELECT
1350: 61 2c 62 2c 63 2c 64 2c 27 7c 27 20 46 52 4f 4d a,b,c,d,'|' FROM
1360: 20 74 32 20 57 48 45 52 45 20 62 3d 33 34 35 20 t2 WHERE b=345
1370: 4f 52 44 45 52 20 42 59 20 61 3b 0a 7d 20 7b 2f ORDER BY a;.} {/
1380: 2a 20 55 53 49 4e 47 20 49 4e 44 45 58 20 73 71 * USING INDEX sq
1390: 6c 69 74 65 5f 61 75 74 6f 69 6e 64 65 78 5f 74 lite_autoindex_t
13a0: 32 5f 31 20 28 41 4e 59 28 61 29 20 41 4e 44 20 2_1 (ANY(a) AND
13b0: 62 3d 3f 29 2a 2f 7d 0a 64 6f 5f 65 78 65 63 73 b=?)*/}.do_execs
13c0: 71 6c 5f 74 65 73 74 20 73 6b 69 70 73 63 61 6e ql_test skipscan
13d0: 31 2d 32 2e 32 73 6f 72 74 20 7b 0a 20 20 45 58 1-2.2sort {. EX
13e0: 50 4c 41 49 4e 20 51 55 45 52 59 20 50 4c 41 4e PLAIN QUERY PLAN
13f0: 0a 20 20 53 45 4c 45 43 54 20 61 2c 62 2c 63 2c . SELECT a,b,c,
1400: 64 2c 27 7c 27 20 46 52 4f 4d 20 74 32 20 57 48 d,'|' FROM t2 WH
1410: 45 52 45 20 62 3d 33 34 35 20 4f 52 44 45 52 20 ERE b=345 ORDER
1420: 42 59 20 61 3b 0a 7d 20 7b 7e 2f 2a 4f 52 44 45 BY a;.} {~/*ORDE
1430: 52 20 42 59 2a 2f 7d 0a 0a 0a 64 6f 5f 65 78 65 R BY*/}...do_exe
1440: 63 73 71 6c 5f 74 65 73 74 20 73 6b 69 70 73 63 csql_test skipsc
1450: 61 6e 31 2d 33 2e 31 20 7b 0a 20 20 43 52 45 41 an1-3.1 {. CREA
1460: 54 45 20 54 41 42 4c 45 20 74 33 28 61 20 54 45 TE TABLE t3(a TE
1470: 58 54 2c 20 62 20 49 4e 54 2c 20 63 20 49 4e 54 XT, b INT, c INT
1480: 2c 20 64 20 49 4e 54 2c 0a 20 20 20 20 20 20 20 , d INT,.
1490: 20 20 20 20 20 20 20 20 20 20 20 50 52 49 4d 41 PRIMA
14a0: 52 59 20 4b 45 59 28 61 2c 62 2c 63 29 29 20 57 RY KEY(a,b,c)) W
14b0: 49 54 48 4f 55 54 20 52 4f 57 49 44 3b 0a 20 20 ITHOUT ROWID;.
14c0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 33 20 53 INSERT INTO t3 S
14d0: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 3b ELECT * FROM t1;
14e0: 0a 0a 20 20 2f 2a 20 46 61 6b 65 20 74 68 65 20 .. /* Fake the
14f0: 73 71 6c 69 74 65 5f 73 74 61 74 31 20 74 61 62 sqlite_stat1 tab
1500: 6c 65 20 73 6f 20 74 68 61 74 20 74 68 65 20 71 le so that the q
1510: 75 65 72 79 20 70 6c 61 6e 6e 65 72 20 62 65 6c uery planner bel
1520: 69 65 76 65 73 0a 20 20 2a 2a 20 74 68 65 20 74 ieves. ** the t
1530: 61 62 6c 65 20 63 6f 6e 74 61 69 6e 73 20 74 68 able contains th
1540: 6f 75 73 61 6e 64 73 20 6f 66 20 72 6f 77 73 20 ousands of rows
1550: 61 6e 64 20 74 68 61 74 20 74 68 65 20 66 69 72 and that the fir
1560: 73 74 20 66 65 77 0a 20 20 2a 2a 20 63 6f 6c 75 st few. ** colu
1570: 6d 6e 73 20 61 72 65 20 6e 6f 74 20 73 65 6c 65 mns are not sele
1580: 63 74 69 76 65 2e 20 2a 2f 0a 20 20 41 4e 41 4c ctive. */. ANAL
1590: 59 5a 45 3b 0a 20 20 55 50 44 41 54 45 20 73 71 YZE;. UPDATE sq
15a0: 6c 69 74 65 5f 73 74 61 74 31 20 53 45 54 20 73 lite_stat1 SET s
15b0: 74 61 74 3d 27 31 30 30 30 30 20 35 30 30 30 20 tat='10000 5000
15c0: 32 30 30 30 20 31 30 27 20 57 48 45 52 45 20 69 2000 10' WHERE i
15d0: 64 78 20 4e 4f 54 20 4e 55 4c 4c 3b 0a 20 20 41 dx NOT NULL;. A
15e0: 4e 41 4c 59 5a 45 20 73 71 6c 69 74 65 5f 6d 61 NALYZE sqlite_ma
15f0: 73 74 65 72 3b 0a 7d 20 7b 7d 0a 0a 64 6f 5f 65 ster;.} {}..do_e
1600: 78 65 63 73 71 6c 5f 74 65 73 74 20 73 6b 69 70 xecsql_test skip
1610: 73 63 61 6e 31 2d 33 2e 32 20 7b 0a 20 20 53 45 scan1-3.2 {. SE
1620: 4c 45 43 54 20 61 2c 62 2c 63 2c 64 2c 27 7c 27 LECT a,b,c,d,'|'
1630: 20 46 52 4f 4d 20 74 33 20 57 48 45 52 45 20 62 FROM t3 WHERE b
1640: 3d 33 34 35 20 4f 52 44 45 52 20 42 59 20 61 3b =345 ORDER BY a;
1650: 0a 7d 20 7b 61 62 63 20 33 34 35 20 37 20 38 20 .} {abc 345 7 8
1660: 7c 20 64 65 66 20 33 34 35 20 39 20 31 30 20 7c | def 345 9 10 |
1670: 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 }.do_execsql_tes
1680: 74 20 73 6b 69 70 73 63 61 6e 31 2d 33 2e 32 65 t skipscan1-3.2e
1690: 71 70 20 7b 0a 20 20 45 58 50 4c 41 49 4e 20 51 qp {. EXPLAIN Q
16a0: 55 45 52 59 20 50 4c 41 4e 0a 20 20 53 45 4c 45 UERY PLAN. SELE
16b0: 43 54 20 61 2c 62 2c 63 2c 64 2c 27 7c 27 20 46 CT a,b,c,d,'|' F
16c0: 52 4f 4d 20 74 33 20 57 48 45 52 45 20 62 3d 33 ROM t3 WHERE b=3
16d0: 34 35 20 4f 52 44 45 52 20 42 59 20 61 3b 0a 7d 45 ORDER BY a;.}
16e0: 20 7b 2f 2a 20 49 4e 44 45 58 20 73 71 6c 69 74 {/* INDEX sqlit
16f0: 65 5f 61 75 74 6f 69 6e 64 65 78 5f 74 33 5f 31 e_autoindex_t3_1
1700: 20 28 41 4e 59 28 61 29 20 41 4e 44 20 62 3d 3f (ANY(a) AND b=?
1710: 29 2a 2f 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f )*/}.do_execsql_
1720: 74 65 73 74 20 73 6b 69 70 73 63 61 6e 31 2d 33 test skipscan1-3
1730: 2e 32 73 6f 72 74 20 7b 0a 20 20 45 58 50 4c 41 .2sort {. EXPLA
1740: 49 4e 20 51 55 45 52 59 20 50 4c 41 4e 0a 20 20 IN QUERY PLAN.
1750: 53 45 4c 45 43 54 20 61 2c 62 2c 63 2c 64 2c 27 SELECT a,b,c,d,'
1760: 7c 27 20 46 52 4f 4d 20 74 33 20 57 48 45 52 45 |' FROM t3 WHERE
1770: 20 62 3d 33 34 35 20 4f 52 44 45 52 20 42 59 20 b=345 ORDER BY
1780: 61 3b 0a 7d 20 7b 7e 2f 2a 4f 52 44 45 52 20 42 a;.} {~/*ORDER B
1790: 59 2a 2f 7d 0a 0a 66 69 6e 69 73 68 5f 74 65 73 Y*/}..finish_tes
17a0: 74 0a t.