SQLite4
Hex Artifact Content
Not logged in

Artifact 10cd679a88675c880533083fc79ac04324525595:


0000: 23 20 32 30 30 39 20 4d 61 72 63 68 20 32 38 0a  # 2009 March 28.
0010: 23 0a 23 20 54 68 65 20 61 75 74 68 6f 72 20 64  #.# The author d
0020: 69 73 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67  isclaims copyrig
0030: 68 74 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63  ht to this sourc
0040: 65 20 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63  e code.  In plac
0050: 65 20 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e  e of.# a legal n
0060: 6f 74 69 63 65 2c 20 68 65 72 65 20 69 73 20 61  otice, here is a
0070: 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20   blessing:.#.#  
0080: 20 20 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f    May you do goo
0090: 64 20 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a  d and not evil..
00a0: 23 20 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e  #    May you fin
00b0: 64 20 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f  d forgiveness fo
00c0: 72 20 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66  r yourself and f
00d0: 6f 72 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23  orgive others..#
00e0: 20 20 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72      May you shar
00f0: 65 20 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20  e freely, never 
0100: 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e  taking more than
0110: 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a   you 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 2a 2a 2a 0a 23 0a 23 20 54 69 63 6b 65 74  *****.#.# Ticket
0170: 20 23 33 37 35 37 3a 20 20 54 68 65 20 63 6f 73   #3757:  The cos
0180: 74 20 66 75 6e 63 74 69 6f 6e 73 20 6f 6e 20 74  t functions on t
0190: 68 65 20 71 75 65 72 79 20 6f 70 74 69 6d 69 7a  he query optimiz
01a0: 65 72 20 66 6f 72 20 74 68 65 0a 23 20 49 4e 20  er for the.# IN 
01b0: 6f 70 65 72 61 74 6f 72 20 63 61 6e 20 62 65 20  operator can be 
01c0: 69 6d 70 72 6f 76 65 64 2e 0a 23 0a 23 20 24 49  improved..#.# $I
01d0: 64 3a 20 74 6b 74 33 37 35 37 2e 74 65 73 74 2c  d: tkt3757.test,
01e0: 76 20 31 2e 31 20 32 30 30 39 2f 30 33 2f 32 39  v 1.1 2009/03/29
01f0: 20 30 30 3a 31 33 3a 30 34 20 64 72 68 20 45 78   00:13:04 drh Ex
0200: 70 20 24 0a 0a 73 65 74 20 74 65 73 74 64 69 72  p $..set testdir
0210: 20 5b 66 69 6c 65 20 64 69 72 6e 61 6d 65 20 24   [file dirname $
0220: 61 72 67 76 30 5d 0a 73 6f 75 72 63 65 20 24 74  argv0].source $t
0230: 65 73 74 64 69 72 2f 74 65 73 74 65 72 2e 74 63  estdir/tester.tc
0240: 6c 0a 0a 23 20 45 76 61 6c 75 61 74 65 20 53 51  l..# Evaluate SQ
0250: 4c 2e 20 20 52 65 74 75 72 6e 20 74 68 65 20 72  L.  Return the r
0260: 65 73 75 6c 74 20 73 65 74 20 66 6f 6c 6c 6f 77  esult set follow
0270: 65 64 20 62 79 20 74 68 65 0a 23 20 61 6e 64 20  ed by the.# and 
0280: 74 68 65 20 6e 75 6d 62 65 72 20 6f 66 20 66 75  the number of fu
0290: 6c 6c 2d 73 63 61 6e 20 73 74 65 70 73 2e 0a 23  ll-scan steps..#
02a0: 0a 70 72 6f 63 20 63 6f 75 6e 74 5f 73 74 65 70  .proc count_step
02b0: 73 20 7b 73 71 6c 7d 20 7b 0a 20 20 73 65 74 20  s {sql} {.  set 
02c0: 72 20 5b 64 62 20 65 76 61 6c 20 24 73 71 6c 5d  r [db eval $sql]
02d0: 0a 20 20 6c 61 70 70 65 6e 64 20 72 20 73 63 61  .  lappend r sca
02e0: 6e 20 5b 64 62 20 73 74 61 74 75 73 20 73 74 65  n [db status ste
02f0: 70 5d 20 73 6f 72 74 20 5b 64 62 20 73 74 61 74  p] sort [db stat
0300: 75 73 20 73 6f 72 74 5d 0a 7d 0a 0a 23 20 43 6f  us sort].}..# Co
0310: 6e 73 74 72 75 63 74 20 74 61 62 6c 65 73 0a 23  nstruct tables.#
0320: 0a 64 6f 5f 74 65 73 74 20 74 6b 74 33 37 35 37  .do_test tkt3757
0330: 2d 31 2e 31 20 7b 0a 20 20 64 62 20 65 76 61 6c  -1.1 {.  db eval
0340: 20 7b 0a 20 20 20 20 20 43 52 45 41 54 45 20 54   {.     CREATE T
0350: 41 42 4c 45 20 74 31 28 78 20 49 4e 54 45 47 45  ABLE t1(x INTEGE
0360: 52 2c 20 79 20 49 4e 54 45 47 45 52 2c 20 7a 20  R, y INTEGER, z 
0370: 54 45 58 54 29 3b 0a 20 20 20 20 20 43 52 45 41  TEXT);.     CREA
0380: 54 45 20 49 4e 44 45 58 20 74 31 69 31 20 4f 4e  TE INDEX t1i1 ON
0390: 20 74 31 28 79 2c 7a 29 3b 0a 20 20 20 20 20 49   t1(y,z);.     I
03a0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41  NSERT INTO t1 VA
03b0: 4c 55 45 53 28 31 2c 32 2c 27 74 68 72 65 65 27  LUES(1,2,'three'
03c0: 29 3b 0a 20 20 20 20 20 43 52 45 41 54 45 20 54  );.     CREATE T
03d0: 41 42 4c 45 20 74 32 28 61 20 49 4e 54 45 47 45  ABLE t2(a INTEGE
03e0: 52 2c 20 62 20 54 45 58 54 29 3b 0a 20 20 20 20  R, b TEXT);.    
03f0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20   INSERT INTO t2 
0400: 56 41 4c 55 45 53 28 32 2c 20 27 74 77 6f 27 29  VALUES(2, 'two')
0410: 3b 0a 20 20 20 20 20 41 4e 41 4c 59 5a 45 3b 0a  ;.     ANALYZE;.
0420: 20 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52       SELECT * FR
0430: 4f 4d 20 73 71 6c 69 74 65 5f 73 74 61 74 31 20  OM sqlite_stat1 
0440: 4f 52 44 45 52 20 42 59 20 31 2c 20 32 3b 0a 20  ORDER BY 1, 2;. 
0450: 20 7d 0a 7d 20 7b 74 31 20 74 31 69 31 20 7b 31   }.} {t1 t1i1 {1
0460: 20 31 20 31 7d 20 74 32 20 7b 7d 20 31 7d 0a 0a   1 1} t2 {} 1}..
0470: 23 20 4d 6f 64 69 66 79 20 73 74 61 74 69 73 74  # Modify statist
0480: 69 63 73 20 69 6e 20 6f 72 64 65 72 20 74 6f 20  ics in order to 
0490: 6d 61 6b 65 20 74 68 65 20 6f 70 74 69 6d 69 7a  make the optimiz
04a0: 65 72 20 74 68 65 6e 20 74 68 61 74 3a 0a 23 0a  er then that:.#.
04b0: 23 20 20 20 28 31 29 20 20 54 61 62 6c 65 20 54  #   (1)  Table T
04c0: 31 20 68 61 73 20 61 62 6f 75 74 20 32 35 30 4b  1 has about 250K
04d0: 20 65 6e 74 72 69 65 73 0a 23 20 20 20 28 32 29   entries.#   (2)
04e0: 20 20 54 68 65 72 65 20 61 72 65 20 6f 6e 6c 79    There are only
04f0: 20 61 62 6f 75 74 20 35 20 64 69 73 74 69 6e 63   about 5 distinc
0500: 74 20 76 61 6c 75 65 73 20 6f 66 20 54 31 2e 0a  t values of T1..
0510: 23 0a 23 20 54 68 65 6e 20 72 75 6e 20 61 20 71  #.# Then run a q
0520: 75 65 72 79 20 77 69 74 68 20 22 74 31 2e 79 20  uery with "t1.y 
0530: 49 4e 20 28 53 45 4c 45 43 54 20 2e 2e 29 22 20  IN (SELECT ..)" 
0540: 69 6e 20 74 68 65 20 57 48 45 52 45 20 63 6c 61  in the WHERE cla
0550: 75 73 65 2e 0a 23 20 4d 61 6b 65 20 73 75 72 65  use..# Make sure
0560: 20 74 68 65 20 69 6e 64 65 78 20 69 73 20 75 73   the index is us
0570: 65 64 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 74 6b  ed..#.do_test tk
0580: 74 33 37 35 37 2d 31 2e 32 20 7b 0a 20 20 64 62  t3757-1.2 {.  db
0590: 20 65 76 61 6c 20 7b 0a 20 20 20 20 44 45 4c 45   eval {.    DELE
05a0: 54 45 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f 73  TE FROM sqlite_s
05b0: 74 61 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54  tat1;.    INSERT
05c0: 20 49 4e 54 4f 20 73 71 6c 69 74 65 5f 73 74 61   INTO sqlite_sta
05d0: 74 31 20 56 41 4c 55 45 53 28 27 74 31 27 2c 27  t1 VALUES('t1','
05e0: 74 31 69 31 27 2c 27 32 35 30 30 30 30 20 35 30  t1i1','250000 50
05f0: 30 30 30 20 33 30 27 29 3b 0a 20 20 7d 0a 20 20  000 30');.  }.  
0600: 63 6f 75 6e 74 5f 73 74 65 70 73 20 7b 0a 20 20  count_steps {.  
0610: 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20    SELECT * FROM 
0620: 74 31 20 57 48 45 52 45 20 79 20 49 4e 20 28 53  t1 WHERE y IN (S
0630: 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 32 29  ELECT a FROM t2)
0640: 0a 20 20 7d 0a 7d 20 7b 31 20 32 20 74 68 72 65  .  }.} {1 2 thre
0650: 65 20 73 63 61 6e 20 30 20 73 6f 72 74 20 30 7d  e scan 0 sort 0}
0660: 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a        ..finish_test.