/ Hex Artifact Content
Login

Artifact ec5bab3f81c7038b43450e7b3062e04a198bdbb5:


0000: 23 20 32 30 31 34 2d 30 38 2d 32 30 0a 23 0a 23  # 2014-08-20.#.#
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 20 49 6e 20 70 61 72 74 69 63  egy..# In partic
01b0: 75 6c 61 72 2c 20 74 68 69 73 20 66 69 6c 65 20  ular, this file 
01c0: 6c 6f 6f 6b 73 20 61 74 20 73 6b 69 70 70 69 6e  looks at skippin
01d0: 67 20 69 6e 74 65 72 6d 65 64 69 61 74 65 20 74  g intermediate t
01e0: 65 72 6d 73 0a 23 20 69 6e 20 61 6e 20 69 6e 64  erms.# in an ind
01f0: 65 78 2e 20 20 46 6f 72 20 65 78 61 6d 70 6c 65  ex.  For example
0200: 2c 20 69 66 20 28 61 2c 62 2c 63 29 20 61 72 65  , if (a,b,c) are
0210: 20 69 6e 64 65 78 65 64 2c 20 61 6e 64 20 77 65   indexed, and we
0220: 20 68 61 76 65 0a 23 20 22 57 48 45 52 45 20 61   have.# "WHERE a
0230: 3d 3f 31 20 41 4e 44 20 63 3d 3f 32 22 20 2d 20  =?1 AND c=?2" - 
0240: 76 65 72 69 66 79 20 74 68 61 74 20 73 6b 69 70  verify that skip
0250: 2d 73 63 61 6e 20 63 61 6e 20 73 74 69 6c 6c 20  -scan can still 
0260: 62 65 20 75 73 65 64 2e 0a 23 0a 0a 73 65 74 20  be used..#..set 
0270: 74 65 73 74 64 69 72 20 5b 66 69 6c 65 20 64 69  testdir [file di
0280: 72 6e 61 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f  rname $argv0].so
0290: 75 72 63 65 20 24 74 65 73 74 64 69 72 2f 74 65  urce $testdir/te
02a0: 73 74 65 72 2e 74 63 6c 0a 0a 64 6f 5f 65 78 65  ster.tcl..do_exe
02b0: 63 73 71 6c 5f 74 65 73 74 20 73 6b 69 70 73 63  csql_test skipsc
02c0: 61 6e 33 2d 31 2e 31 20 7b 0a 20 20 43 52 45 41  an3-1.1 {.  CREA
02d0: 54 45 20 54 41 42 4c 45 20 74 31 28 61 2c 62 2c  TE TABLE t1(a,b,
02e0: 63 2c 64 2c 50 52 49 4d 41 52 59 20 4b 45 59 28  c,d,PRIMARY KEY(
02f0: 61 2c 62 2c 63 29 29 3b 0a 20 20 57 49 54 48 20  a,b,c));.  WITH 
0300: 52 45 43 55 52 53 49 56 45 0a 20 20 20 20 63 28  RECURSIVE.    c(
0310: 78 29 20 41 53 20 28 56 41 4c 55 45 53 28 31 29  x) AS (VALUES(1)
0320: 20 55 4e 49 4f 4e 20 41 4c 4c 20 53 45 4c 45 43   UNION ALL SELEC
0330: 54 20 78 2b 31 20 46 52 4f 4d 20 63 20 57 48 45  T x+1 FROM c WHE
0340: 52 45 20 78 3c 31 30 30 30 29 0a 20 20 49 4e 53  RE x<1000).  INS
0350: 45 52 54 20 49 4e 54 4f 20 74 31 28 61 2c 62 2c  ERT INTO t1(a,b,
0360: 63 2c 64 29 0a 20 20 20 20 53 45 4c 45 43 54 20  c,d).    SELECT 
0370: 31 2c 20 31 2c 20 78 2c 20 70 72 69 6e 74 66 28  1, 1, x, printf(
0380: 27 78 25 30 34 64 27 2c 78 29 20 46 52 4f 4d 20  'x%04d',x) FROM 
0390: 63 3b 0a 20 20 41 4e 41 4c 59 5a 45 3b 0a 7d 20  c;.  ANALYZE;.} 
03a0: 7b 7d 0a 0a 23 20 54 68 69 73 20 76 65 72 73 69  {}..# This versi
03b0: 6f 6e 20 68 61 73 20 6c 6f 6e 67 20 75 73 65 64  on has long used
03c0: 20 73 6b 69 70 2d 73 63 61 6e 20 62 65 63 61 75   skip-scan becau
03d0: 73 65 20 6f 66 20 74 68 65 20 22 2b 61 22 0a 23  se of the "+a".#
03e0: 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74  .do_execsql_test
03f0: 20 73 6b 69 70 73 63 61 6e 33 2d 31 2e 32 65 71   skipscan3-1.2eq
0400: 70 20 7b 0a 20 20 45 58 50 4c 41 49 4e 20 51 55  p {.  EXPLAIN QU
0410: 45 52 59 20 50 4c 41 4e 20 53 45 4c 45 43 54 20  ERY PLAN SELECT 
0420: 64 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  d FROM t1 WHERE 
0430: 2b 61 3d 31 20 41 4e 44 20 63 3d 33 32 3b 0a 7d  +a=1 AND c=32;.}
0440: 20 7b 2f 2a 41 4e 59 28 61 29 20 41 4e 44 20 41   {/*ANY(a) AND A
0450: 4e 59 28 62 29 2a 2f 7d 0a 64 6f 5f 65 78 65 63  NY(b)*/}.do_exec
0460: 73 71 6c 5f 74 65 73 74 20 73 6b 69 70 73 63 61  sql_test skipsca
0470: 6e 33 2d 31 2e 32 20 7b 0a 20 20 53 45 4c 45 43  n3-1.2 {.  SELEC
0480: 54 20 64 20 46 52 4f 4d 20 74 31 20 57 48 45 52  T d FROM t1 WHER
0490: 45 20 2b 61 3d 31 20 41 4e 44 20 63 3d 33 32 3b  E +a=1 AND c=32;
04a0: 0a 7d 20 7b 78 30 30 33 32 7d 0a 0a 23 20 54 68  .} {x0032}..# Th
04b0: 69 73 20 76 65 72 73 69 6f 6e 20 28 77 69 74 68  is version (with
04c0: 20 22 61 22 20 69 6e 73 74 65 61 64 20 6f 66 20   "a" instead of 
04d0: 22 2b 61 22 29 20 73 68 6f 75 6c 64 20 75 73 65  "+a") should use
04e0: 20 73 6b 69 70 2d 73 63 61 6e 20 62 75 74 0a 23   skip-scan but.#
04f0: 20 64 69 64 20 6e 6f 74 20 70 72 69 6f 72 20 74   did not prior t
0500: 6f 20 63 68 61 6e 67 65 73 20 69 6d 70 6c 65 6d  o changes implem
0510: 65 6e 74 65 64 20 6f 6e 20 32 30 31 34 2d 30 38  ented on 2014-08
0520: 2d 32 30 0a 23 0a 64 6f 5f 65 78 65 63 73 71 6c  -20.#.do_execsql
0530: 5f 74 65 73 74 20 73 6b 69 70 73 63 61 6e 33 2d  _test skipscan3-
0540: 31 2e 33 65 71 70 20 7b 0a 20 20 45 58 50 4c 41  1.3eqp {.  EXPLA
0550: 49 4e 20 51 55 45 52 59 20 50 4c 41 4e 20 53 45  IN QUERY PLAN SE
0560: 4c 45 43 54 20 64 20 46 52 4f 4d 20 74 31 20 57  LECT d FROM t1 W
0570: 48 45 52 45 20 61 3d 31 20 41 4e 44 20 63 3d 33  HERE a=1 AND c=3
0580: 32 3b 0a 7d 20 7b 2f 2a 41 4e 59 28 61 29 20 41  2;.} {/*ANY(a) A
0590: 4e 44 20 41 4e 59 28 62 29 2a 2f 7d 0a 64 6f 5f  ND ANY(b)*/}.do_
05a0: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 73 6b 69  execsql_test ski
05b0: 70 73 63 61 6e 33 2d 31 2e 33 20 7b 0a 20 20 53  pscan3-1.3 {.  S
05c0: 45 4c 45 43 54 20 64 20 46 52 4f 4d 20 74 31 20  ELECT d FROM t1 
05d0: 57 48 45 52 45 20 61 3d 31 20 41 4e 44 20 63 3d  WHERE a=1 AND c=
05e0: 33 32 3b 0a 7d 20 7b 78 30 30 33 32 7d 0a 0a 23  32;.} {x0032}..#
05f0: 20 52 65 70 65 61 74 20 74 68 65 20 74 65 73 74   Repeat the test
0600: 20 6f 6e 20 61 20 57 49 54 48 4f 55 54 20 52 4f   on a WITHOUT RO
0610: 57 49 44 20 74 61 62 6c 65 0a 23 0a 64 6f 5f 65  WID table.#.do_e
0620: 78 65 63 73 71 6c 5f 74 65 73 74 20 73 6b 69 70  xecsql_test skip
0630: 73 63 61 6e 33 2d 32 2e 31 20 7b 0a 20 20 43 52  scan3-2.1 {.  CR
0640: 45 41 54 45 20 54 41 42 4c 45 20 74 32 28 61 2c  EATE TABLE t2(a,
0650: 62 2c 63 2c 64 2c 50 52 49 4d 41 52 59 20 4b 45  b,c,d,PRIMARY KE
0660: 59 28 61 2c 62 2c 63 29 29 20 57 49 54 48 4f 55  Y(a,b,c)) WITHOU
0670: 54 20 52 4f 57 49 44 3b 0a 20 20 57 49 54 48 20  T ROWID;.  WITH 
0680: 52 45 43 55 52 53 49 56 45 0a 20 20 20 20 63 28  RECURSIVE.    c(
0690: 78 29 20 41 53 20 28 56 41 4c 55 45 53 28 31 29  x) AS (VALUES(1)
06a0: 20 55 4e 49 4f 4e 20 41 4c 4c 20 53 45 4c 45 43   UNION ALL SELEC
06b0: 54 20 78 2b 31 20 46 52 4f 4d 20 63 20 57 48 45  T x+1 FROM c WHE
06c0: 52 45 20 78 3c 31 30 30 30 29 0a 20 20 49 4e 53  RE x<1000).  INS
06d0: 45 52 54 20 49 4e 54 4f 20 74 32 28 61 2c 62 2c  ERT INTO t2(a,b,
06e0: 63 2c 64 29 0a 20 20 20 20 53 45 4c 45 43 54 20  c,d).    SELECT 
06f0: 31 2c 20 31 2c 20 78 2c 20 70 72 69 6e 74 66 28  1, 1, x, printf(
0700: 27 78 25 30 34 64 27 2c 78 29 20 46 52 4f 4d 20  'x%04d',x) FROM 
0710: 63 3b 0a 20 20 41 4e 41 4c 59 5a 45 3b 0a 7d 20  c;.  ANALYZE;.} 
0720: 7b 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65  {}.do_execsql_te
0730: 73 74 20 73 6b 69 70 73 63 61 6e 33 2d 32 2e 32  st skipscan3-2.2
0740: 65 71 70 20 7b 0a 20 20 45 58 50 4c 41 49 4e 20  eqp {.  EXPLAIN 
0750: 51 55 45 52 59 20 50 4c 41 4e 20 53 45 4c 45 43  QUERY PLAN SELEC
0760: 54 20 64 20 46 52 4f 4d 20 74 32 20 57 48 45 52  T d FROM t2 WHER
0770: 45 20 2b 61 3d 31 20 41 4e 44 20 63 3d 33 32 3b  E +a=1 AND c=32;
0780: 0a 7d 20 7b 2f 2a 41 4e 59 28 61 29 20 41 4e 44  .} {/*ANY(a) AND
0790: 20 41 4e 59 28 62 29 2a 2f 7d 0a 64 6f 5f 65 78   ANY(b)*/}.do_ex
07a0: 65 63 73 71 6c 5f 74 65 73 74 20 73 6b 69 70 73  ecsql_test skips
07b0: 63 61 6e 33 2d 32 2e 32 20 7b 0a 20 20 53 45 4c  can3-2.2 {.  SEL
07c0: 45 43 54 20 64 20 46 52 4f 4d 20 74 32 20 57 48  ECT d FROM t2 WH
07d0: 45 52 45 20 2b 61 3d 31 20 41 4e 44 20 63 3d 33  ERE +a=1 AND c=3
07e0: 32 3b 0a 7d 20 7b 78 30 30 33 32 7d 0a 64 6f 5f  2;.} {x0032}.do_
07f0: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 73 6b 69  execsql_test ski
0800: 70 73 63 61 6e 33 2d 32 2e 33 65 71 70 20 7b 0a  pscan3-2.3eqp {.
0810: 20 20 45 58 50 4c 41 49 4e 20 51 55 45 52 59 20    EXPLAIN QUERY 
0820: 50 4c 41 4e 20 53 45 4c 45 43 54 20 64 20 46 52  PLAN SELECT d FR
0830: 4f 4d 20 74 32 20 57 48 45 52 45 20 61 3d 31 20  OM t2 WHERE a=1 
0840: 41 4e 44 20 63 3d 33 32 3b 0a 7d 20 7b 2f 2a 41  AND c=32;.} {/*A
0850: 4e 59 28 61 29 20 41 4e 44 20 41 4e 59 28 62 29  NY(a) AND ANY(b)
0860: 2a 2f 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74  */}.do_execsql_t
0870: 65 73 74 20 73 6b 69 70 73 63 61 6e 33 2d 32 2e  est skipscan3-2.
0880: 33 20 7b 0a 20 20 53 45 4c 45 43 54 20 64 20 46  3 {.  SELECT d F
0890: 52 4f 4d 20 74 32 20 57 48 45 52 45 20 61 3d 31  ROM t2 WHERE a=1
08a0: 20 41 4e 44 20 63 3d 33 32 3b 0a 7d 20 7b 78 30   AND c=32;.} {x0
08b0: 30 33 32 7d 0a 0a 20 20 0a 66 69 6e 69 73 68 5f  032}..  .finish_
08c0: 74 65 73 74 0a                                   test.