/ Hex Artifact Content
Login

Artifact bc2e3db70e8e62459aaa1bd7e4a9b39664f8f9d7:


0000: 23 20 32 30 31 36 2d 30 37 2d 32 37 0a 23 0a 23  # 2016-07-27.#.#
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 65 73 74 20 63 61 73 65  **.#.# Test case
0170: 73 20 66 6f 72 20 4f 52 44 45 52 20 42 59 20 61  s for ORDER BY a
0180: 6e 64 20 4c 49 4d 49 54 20 6f 6e 20 61 6e 20 69  nd LIMIT on an i
0190: 6e 64 65 78 20 73 63 61 6e 2e 0a 23 0a 0a 0a 73  ndex scan..#...s
01a0: 65 74 20 74 65 73 74 64 69 72 20 5b 66 69 6c 65  et testdir [file
01b0: 20 64 69 72 6e 61 6d 65 20 24 61 72 67 76 30 5d   dirname $argv0]
01c0: 0a 73 6f 75 72 63 65 20 24 74 65 73 74 64 69 72  .source $testdir
01d0: 2f 74 65 73 74 65 72 2e 74 63 6c 0a 0a 23 20 50  /tester.tcl..# P
01e0: 65 72 66 6f 72 6d 61 6e 63 65 20 72 65 67 72 65  erformance regre
01f0: 73 73 69 6f 6e 20 72 65 70 6f 72 74 65 64 20 61  ssion reported a
0200: 74 0a 23 20 68 74 74 70 3a 2f 2f 77 77 77 2e 6d  t.# http://www.m
0210: 61 69 6c 2d 61 72 63 68 69 76 65 2e 63 6f 6d 2f  ail-archive.com/
0220: 73 71 6c 69 74 65 2d 75 73 65 72 73 40 6d 61 69  sqlite-users@mai
0230: 6c 69 6e 67 6c 69 73 74 73 2e 73 71 6c 69 74 65  linglists.sqlite
0240: 2e 6f 72 67 2f 6d 73 67 39 38 36 31 35 2e 68 74  .org/msg98615.ht
0250: 6d 6c 0a 23 0a 23 20 43 61 75 73 65 64 20 62 79  ml.#.# Caused by
0260: 20 74 68 65 20 4f 52 44 45 52 20 42 59 20 4c 49   the ORDER BY LI
0270: 4d 49 54 20 6f 70 74 69 6f 6e 61 74 69 6f 6e 20  MIT optionation 
0280: 66 6f 72 20 63 68 65 63 6b 2d 69 6e 0a 23 20 68  for check-in.# h
0290: 74 74 70 73 3a 2f 2f 73 71 6c 69 74 65 2e 6f 72  ttps://sqlite.or
02a0: 67 2f 73 72 63 2f 69 6e 66 6f 2f 62 66 34 36 31  g/src/info/bf461
02b0: 37 39 64 34 34 38 34 33 37 36 39 0a 23 0a 23 20  79d44843769.#.# 
02c0: 46 69 78 65 64 20 6f 6e 20 61 70 70 72 6f 78 69  Fixed on approxi
02d0: 6d 61 74 65 6c 79 20 32 30 31 36 2d 30 37 2d 32  mately 2016-07-2
02e0: 37 20 62 79 20 63 68 61 6e 67 65 73 20 74 68 61  7 by changes tha
02f0: 74 20 63 6f 6d 70 75 74 65 20 61 20 62 65 74 74  t compute a bett
0300: 65 72 20 73 63 6f 72 65 0a 23 20 66 6f 72 20 69  er score.# for i
0310: 6e 64 65 78 20 73 63 61 6e 73 20 62 79 20 74 61  ndex scans by ta
0320: 6b 69 6e 67 20 69 6e 74 6f 20 61 63 63 6f 75 6e  king into accoun
0330: 74 20 57 48 45 52 45 20 63 6c 61 75 73 65 20 63  t WHERE clause c
0340: 6f 6e 73 74 72 61 69 6e 74 73 20 74 68 61 74 20  onstraints that 
0350: 63 61 6e 0a 23 20 62 65 20 68 61 6e 64 6c 65 64  can.# be handled
0360: 20 62 79 20 74 68 65 20 69 6e 64 65 78 20 61 6e   by the index an
0370: 64 20 64 6f 20 6e 6f 74 20 72 65 71 75 69 72 65  d do not require
0380: 20 61 20 74 61 62 6c 65 20 6c 6f 6f 6b 75 70 2e   a table lookup.
0390: 0a 23 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65  .#.do_execsql_te
03a0: 73 74 20 31 2e 30 20 7b 0a 20 20 43 52 45 41 54  st 1.0 {.  CREAT
03b0: 45 20 54 41 42 4c 45 20 74 31 28 61 2c 62 2c 63  E TABLE t1(a,b,c
03c0: 2c 64 29 3b 0a 20 20 57 49 54 48 20 52 45 43 55  ,d);.  WITH RECU
03d0: 52 53 49 56 45 20 63 28 78 29 20 41 53 20 28 56  RSIVE c(x) AS (V
03e0: 41 4c 55 45 53 28 30 29 20 55 4e 49 4f 4e 20 41  ALUES(0) UNION A
03f0: 4c 4c 20 53 45 4c 45 43 54 20 78 2b 31 20 46 52  LL SELECT x+1 FR
0400: 4f 4d 20 63 20 57 48 45 52 45 20 78 3c 31 30 30  OM c WHERE x<100
0410: 29 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20  ).  INSERT INTO 
0420: 74 31 28 61 2c 62 2c 63 2c 64 29 0a 20 20 20 20  t1(a,b,c,d).    
0430: 20 53 45 4c 45 43 54 20 78 2f 31 30 2c 20 78 25   SELECT x/10, x%
0440: 31 30 2c 20 78 25 31 39 2c 20 78 20 46 52 4f 4d  10, x%19, x FROM
0450: 20 63 3b 0a 20 20 43 52 45 41 54 45 20 49 4e 44   c;.  CREATE IND
0460: 45 58 20 74 31 61 62 63 20 4f 4e 20 74 31 28 61  EX t1abc ON t1(a
0470: 2c 62 2c 63 29 3b 0a 20 20 53 45 4c 45 43 54 20  ,b,c);.  SELECT 
0480: 2a 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  * FROM t1 WHERE 
0490: 63 3d 34 20 4f 52 44 45 52 20 42 59 20 61 2c 20  c=4 ORDER BY a, 
04a0: 62 20 4c 49 4d 49 54 20 32 3b 0a 7d 20 7b 30 20  b LIMIT 2;.} {0 
04b0: 34 20 34 20 34 20 32 20 33 20 34 20 32 33 7d 0a  4 4 4 2 3 4 23}.
04c0: 0a 23 20 50 72 69 6f 72 20 74 6f 20 74 68 65 20  .# Prior to the 
04d0: 66 69 78 2c 20 74 68 65 20 66 6f 6c 6c 6f 77 69  fix, the followi
04e0: 6e 67 20 45 51 50 20 77 6f 75 6c 64 20 73 68 6f  ng EQP would sho
04f0: 77 20 61 20 74 61 62 6c 65 20 73 63 61 6e 20 61  w a table scan a
0500: 6e 64 20 61 20 73 6f 72 74 0a 23 20 72 61 74 68  nd a sort.# rath
0510: 65 72 20 74 68 61 6e 20 61 6e 20 69 6e 64 65 78  er than an index
0520: 20 73 63 61 6e 2e 0a 23 0a 64 6f 5f 65 78 65 63   scan..#.do_exec
0530: 73 71 6c 5f 74 65 73 74 20 31 2e 30 65 71 70 20  sql_test 1.0eqp 
0540: 7b 0a 20 20 45 58 50 4c 41 49 4e 20 51 55 45 52  {.  EXPLAIN QUER
0550: 59 20 50 4c 41 4e 0a 20 20 53 45 4c 45 43 54 20  Y PLAN.  SELECT 
0560: 2a 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  * FROM t1 WHERE 
0570: 63 3d 34 20 4f 52 44 45 52 20 42 59 20 61 2c 20  c=4 ORDER BY a, 
0580: 62 20 4c 49 4d 49 54 20 32 3b 0a 7d 20 7b 2f 53  b LIMIT 2;.} {/S
0590: 43 41 4e 20 54 41 42 4c 45 20 74 31 20 55 53 49  CAN TABLE t1 USI
05a0: 4e 47 20 49 4e 44 45 58 20 74 31 61 62 63 2f 7d  NG INDEX t1abc/}
05b0: 0a 0a 23 20 49 66 20 77 65 20 63 68 61 6e 67 65  ..# If we change
05c0: 20 74 68 65 20 69 6e 64 65 78 20 73 6f 20 74 68   the index so th
05d0: 61 74 20 69 74 20 6e 6f 20 6c 6f 6e 67 65 72 20  at it no longer 
05e0: 63 6f 76 65 72 73 20 74 68 65 20 57 48 45 52 45  covers the WHERE
05f0: 20 63 6c 61 75 73 65 2c 0a 23 20 74 68 65 6e 20   clause,.# then 
0600: 77 65 20 73 68 6f 75 6c 64 20 28 63 6f 72 72 65  we should (corre
0610: 63 74 6c 79 29 20 72 65 76 65 72 74 20 74 6f 20  ctly) revert to 
0620: 75 73 69 6e 67 20 61 20 74 61 62 6c 65 20 73 63  using a table sc
0630: 61 6e 2e 0a 23 0a 64 6f 5f 65 78 65 63 73 71 6c  an..#.do_execsql
0640: 5f 74 65 73 74 20 31 2e 31 20 7b 0a 20 20 44 52  _test 1.1 {.  DR
0650: 4f 50 20 49 4e 44 45 58 20 74 31 61 62 63 3b 0a  OP INDEX t1abc;.
0660: 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 74    CREATE INDEX t
0670: 31 61 62 64 20 4f 4e 20 74 31 28 61 2c 62 2c 64  1abd ON t1(a,b,d
0680: 29 3b 0a 20 20 53 45 4c 45 43 54 20 2a 20 46 52  );.  SELECT * FR
0690: 4f 4d 20 74 31 20 57 48 45 52 45 20 63 3d 34 20  OM t1 WHERE c=4 
06a0: 4f 52 44 45 52 20 42 59 20 61 2c 20 62 20 4c 49  ORDER BY a, b LI
06b0: 4d 49 54 20 32 3b 0a 7d 20 7b 30 20 34 20 34 20  MIT 2;.} {0 4 4 
06c0: 34 20 32 20 33 20 34 20 32 33 7d 0a 64 6f 5f 65  4 2 3 4 23}.do_e
06d0: 78 65 63 73 71 6c 5f 74 65 73 74 20 31 2e 31 65  xecsql_test 1.1e
06e0: 71 70 20 7b 0a 20 20 45 58 50 4c 41 49 4e 20 51  qp {.  EXPLAIN Q
06f0: 55 45 52 59 20 50 4c 41 4e 0a 20 20 53 45 4c 45  UERY PLAN.  SELE
0700: 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 57 48 45  CT * FROM t1 WHE
0710: 52 45 20 63 3d 34 20 4f 52 44 45 52 20 42 59 20  RE c=4 ORDER BY 
0720: 61 2c 20 62 20 4c 49 4d 49 54 20 32 3b 0a 7d 20  a, b LIMIT 2;.} 
0730: 7b 7e 2f 55 53 49 4e 47 20 49 4e 44 45 58 2f 7d  {~/USING INDEX/}
0740: 0a 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a     ...finish_test.