SQLite: Hex Artifact Content

Artifact c27e4865d69b35dc21b4cbff097cf02e9cdc9950:

File test/where7.test — part of check-in [67cf24b3] at 2008-12-28 18:35:09 on branch trunk — Optimize WHERE clauses that constain AND, BETWEEN, and LIKE terms as operands of an OR. (CVS 6068) (user: drh size: 2430)
0000: 23 20 32 30 30 38 20 44 65 63 65 6d 62 65 72 20  # 2008 December 
0010: 32 33 0a 23 0a 23 20 54 68 65 20 61 75 74 68 6f  23.#.# The autho
0020: 72 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70 79  r disclaims copy
0030: 72 69 67 68 74 20 74 6f 20 74 68 69 73 20 73 6f  right to this so
0040: 75 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20 70  urce code.  In p
0050: 6c 61 63 65 20 6f 66 0a 23 20 61 20 6c 65 67 61  lace of.# a lega
0060: 6c 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20 69  l notice, here i
0070: 73 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a  s a blessing:.#.
0080: 23 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f 20  #    May you do 
0090: 67 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76 69  good and not evi
00a0: 6c 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20  l..#    May you 
00b0: 66 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73 73  find forgiveness
00c0: 20 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61 6e   for yourself an
00d0: 64 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72 73  d forgive others
00e0: 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 73  ..#    May you s
00f0: 68 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65 76  hare freely, nev
0100: 65 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74  er taking more t
0110: 68 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a  han you give..#.
0120: 23 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 2a 2a 2a 0a 23 20 54 68 69 73 20  ********.# This 
0170: 66 69 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73 20  file implements 
0180: 72 65 67 72 65 73 73 69 6f 6e 20 74 65 73 74 73  regression tests
0190: 20 66 6f 72 20 53 51 4c 69 74 65 20 6c 69 62 72   for SQLite libr
01a0: 61 72 79 2e 20 20 54 68 65 0a 23 20 66 6f 63 75  ary.  The.# focu
01b0: 73 20 6f 66 20 74 68 69 73 20 66 69 6c 65 20 69  s of this file i
01c0: 73 20 74 65 73 74 69 6e 67 20 74 68 65 20 6d 75  s testing the mu
01d0: 6c 74 69 2d 69 6e 64 65 78 20 4f 52 20 63 6c 61  lti-index OR cla
01e0: 75 73 65 20 6f 70 74 69 6d 69 7a 65 72 2e 0a 23  use optimizer..#
01f0: 0a 23 20 24 49 64 3a 20 77 68 65 72 65 37 2e 74  .# $Id: where7.t
0200: 65 73 74 2c 76 20 31 2e 32 20 32 30 30 38 2f 31  est,v 1.2 2008/1
0210: 32 2f 32 38 20 31 38 3a 33 35 3a 30 39 20 64 72  2/28 18:35:09 dr
0220: 68 20 45 78 70 20 24 0a 0a 73 65 74 20 74 65 73  h Exp $..set tes
0230: 74 64 69 72 20 5b 66 69 6c 65 20 64 69 72 6e 61  tdir [file dirna
0240: 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f 75 72 63  me $argv0].sourc
0250: 65 20 24 74 65 73 74 64 69 72 2f 74 65 73 74 65  e $testdir/teste
0260: 72 2e 74 63 6c 0a 0a 69 66 63 61 70 61 62 6c 65  r.tcl..ifcapable
0270: 20 21 6f 72 5f 6f 70 74 20 7b 0a 20 20 66 69 6e   !or_opt {.  fin
0280: 69 73 68 5f 74 65 73 74 0a 20 20 72 65 74 75 72  ish_test.  retur
0290: 6e 0a 7d 0a 0a 23 20 45 76 61 6c 75 61 74 65 20  n.}..# Evaluate 
02a0: 53 51 4c 2e 20 20 52 65 74 75 72 6e 20 74 68 65  SQL.  Return the
02b0: 20 72 65 73 75 6c 74 20 73 65 74 20 66 6f 6c 6c   result set foll
02c0: 6f 77 65 64 20 62 79 20 74 68 65 0a 23 20 61 6e  owed by the.# an
02d0: 64 20 74 68 65 20 6e 75 6d 62 65 72 20 6f 66 20  d the number of 
02e0: 66 75 6c 6c 2d 73 63 61 6e 20 73 74 65 70 73 2e  full-scan steps.
02f0: 0a 23 0a 70 72 6f 63 20 63 6f 75 6e 74 5f 73 74  .#.proc count_st
0300: 65 70 73 20 7b 73 71 6c 7d 20 7b 0a 20 20 73 65  eps {sql} {.  se
0310: 74 20 72 20 5b 64 62 20 65 76 61 6c 20 24 73 71  t r [db eval $sq
0320: 6c 5d 0a 20 20 6c 61 70 70 65 6e 64 20 72 20 73  l].  lappend r s
0330: 63 61 6e 20 5b 64 62 20 73 74 61 74 75 73 20 73  can [db status s
0340: 74 65 70 5d 0a 7d 0a 0a 23 20 42 75 69 6c 64 20  tep].}..# Build 
0350: 73 6f 6d 65 20 74 65 73 74 20 64 61 74 61 0a 23  some test data.#
0360: 0a 64 6f 5f 74 65 73 74 20 77 68 65 72 65 37 2d  .do_test where7-
0370: 31 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  1.1 {.  execsql 
0380: 7b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42  {.    CREATE TAB
0390: 4c 45 20 74 31 28 61 20 49 4e 54 45 47 45 52 20  LE t1(a INTEGER 
03a0: 50 52 49 4d 41 52 59 20 4b 45 59 2c 62 2c 63 2c  PRIMARY KEY,b,c,
03b0: 64 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  d);.    INSERT I
03c0: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 31 2c  NTO t1 VALUES(1,
03d0: 32 2c 33 2c 34 29 3b 0a 20 20 20 20 49 4e 53 45  2,3,4);.    INSE
03e0: 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45  RT INTO t1 VALUE
03f0: 53 28 32 2c 33 2c 34 2c 35 29 3b 0a 20 20 20 20  S(2,3,4,5);.    
0400: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56  INSERT INTO t1 V
0410: 41 4c 55 45 53 28 33 2c 34 2c 36 2c 38 29 3b 0a  ALUES(3,4,6,8);.
0420: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
0430: 74 31 20 56 41 4c 55 45 53 28 34 2c 35 2c 31 30  t1 VALUES(4,5,10
0440: 2c 31 35 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  ,15);.    INSERT
0450: 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28   INTO t1 VALUES(
0460: 35 2c 31 30 2c 31 30 30 2c 31 30 30 30 29 3b 0a  5,10,100,1000);.
0470: 20 20 20 20 43 52 45 41 54 45 20 49 4e 44 45 58      CREATE INDEX
0480: 20 74 31 62 20 4f 4e 20 74 31 28 62 29 3b 0a 20   t1b ON t1(b);. 
0490: 20 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20     CREATE INDEX 
04a0: 74 31 63 20 4f 4e 20 74 31 28 63 29 3b 0a 20 20  t1c ON t1(c);.  
04b0: 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20    SELECT * FROM 
04c0: 74 31 3b 0a 20 20 7d 0a 7d 20 7b 31 20 32 20 33  t1;.  }.} {1 2 3
04d0: 20 34 20 32 20 33 20 34 20 35 20 33 20 34 20 36   4 2 3 4 5 3 4 6
04e0: 20 38 20 34 20 35 20 31 30 20 31 35 20 35 20 31   8 4 5 10 15 5 1
04f0: 30 20 31 30 30 20 31 30 30 30 7d 0a 64 6f 5f 74  0 100 1000}.do_t
0500: 65 73 74 20 77 68 65 72 65 37 2d 31 2e 32 20 7b  est where7-1.2 {
0510: 0a 20 20 63 6f 75 6e 74 5f 73 74 65 70 73 20 7b  .  count_steps {
0520: 0a 20 20 20 20 53 45 4c 45 43 54 20 61 20 46 52  .    SELECT a FR
0530: 4f 4d 20 74 31 20 57 48 45 52 45 20 62 3d 33 20  OM t1 WHERE b=3 
0540: 4f 52 20 63 3d 36 0a 20 20 7d 0a 7d 20 7b 32 20  OR c=6.  }.} {2 
0550: 33 20 73 63 61 6e 20 30 7d 0a 64 6f 5f 74 65 73  3 scan 0}.do_tes
0560: 74 20 77 68 65 72 65 37 2d 31 2e 33 20 7b 0a 20  t where7-1.3 {. 
0570: 20 63 6f 75 6e 74 5f 73 74 65 70 73 20 7b 0a 20   count_steps {. 
0580: 20 20 20 53 45 4c 45 43 54 20 61 20 46 52 4f 4d     SELECT a FROM
0590: 20 74 31 20 57 48 45 52 45 20 62 3d 33 20 4f 52   t1 WHERE b=3 OR
05a0: 20 2b 63 3d 36 0a 20 20 7d 0a 7d 20 7b 32 20 33   +c=6.  }.} {2 3
05b0: 20 73 63 61 6e 20 34 7d 0a 64 6f 5f 74 65 73 74   scan 4}.do_test
05c0: 20 77 68 65 72 65 37 2d 31 2e 34 20 7b 0a 20 20   where7-1.4 {.  
05d0: 63 6f 75 6e 74 5f 73 74 65 70 73 20 7b 0a 20 20  count_steps {.  
05e0: 20 20 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20    SELECT a FROM 
05f0: 74 31 20 57 48 45 52 45 20 2b 62 3d 33 20 4f 52  t1 WHERE +b=3 OR
0600: 20 63 3d 36 0a 20 20 7d 0a 7d 20 7b 32 20 33 20   c=6.  }.} {2 3 
0610: 73 63 61 6e 20 34 7d 0a 64 6f 5f 74 65 73 74 20  scan 4}.do_test 
0620: 77 68 65 72 65 37 2d 31 2e 35 20 7b 0a 20 20 63  where7-1.5 {.  c
0630: 6f 75 6e 74 5f 73 74 65 70 73 20 7b 0a 20 20 20  ount_steps {.   
0640: 20 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74   SELECT a FROM t
0650: 31 20 57 48 45 52 45 20 33 3d 62 20 4f 52 20 63  1 WHERE 3=b OR c
0660: 3d 36 0a 20 20 7d 0a 7d 20 7b 32 20 33 20 73 63  =6.  }.} {2 3 sc
0670: 61 6e 20 30 7d 0a 64 6f 5f 74 65 73 74 20 77 68  an 0}.do_test wh
0680: 65 72 65 37 2d 31 2e 36 20 7b 0a 20 20 63 6f 75  ere7-1.6 {.  cou
0690: 6e 74 5f 73 74 65 70 73 20 7b 0a 20 20 20 20 53  nt_steps {.    S
06a0: 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31 20  ELECT a FROM t1 
06b0: 57 48 45 52 45 20 28 33 3d 62 20 4f 52 20 63 3d  WHERE (3=b OR c=
06c0: 36 29 20 41 4e 44 20 2b 61 3e 30 0a 20 20 7d 0a  6) AND +a>0.  }.
06d0: 7d 20 7b 32 20 33 20 73 63 61 6e 20 30 7d 0a 64  } {2 3 scan 0}.d
06e0: 6f 5f 74 65 73 74 20 77 68 65 72 65 37 2d 31 2e  o_test where7-1.
06f0: 37 20 7b 0a 20 20 63 6f 75 6e 74 5f 73 74 65 70  7 {.  count_step
0700: 73 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 61  s {.    SELECT a
0710: 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 28   FROM t1 WHERE (
0720: 62 3d 33 20 4f 52 20 63 3e 31 30 29 0a 20 20 7d  b=3 OR c>10).  }
0730: 0a 7d 20 7b 32 20 35 20 73 63 61 6e 20 30 7d 0a  .} {2 5 scan 0}.
0740: 64 6f 5f 74 65 73 74 20 77 68 65 72 65 37 2d 31  do_test where7-1
0750: 2e 38 20 7b 0a 20 20 63 6f 75 6e 74 5f 73 74 65  .8 {.  count_ste
0760: 70 73 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20  ps {.    SELECT 
0770: 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  a FROM t1 WHERE 
0780: 28 62 3d 33 20 4f 52 20 63 3e 3d 31 30 29 0a 20  (b=3 OR c>=10). 
0790: 20 7d 0a 7d 20 7b 32 20 34 20 35 20 73 63 61 6e   }.} {2 4 5 scan
07a0: 20 30 7d 0a 64 6f 5f 74 65 73 74 20 77 68 65 72   0}.do_test wher
07b0: 65 37 2d 31 2e 39 20 7b 0a 20 20 63 6f 75 6e 74  e7-1.9 {.  count
07c0: 5f 73 74 65 70 73 20 7b 0a 20 20 20 20 53 45 4c  _steps {.    SEL
07d0: 45 43 54 20 61 20 46 52 4f 4d 20 74 31 20 57 48  ECT a FROM t1 WH
07e0: 45 52 45 20 28 62 3d 33 20 4f 52 20 63 3e 3d 31  ERE (b=3 OR c>=1
07f0: 30 20 4f 52 20 63 3d 34 29 0a 20 20 7d 0a 7d 20  0 OR c=4).  }.} 
0800: 7b 32 20 34 20 35 20 73 63 61 6e 20 30 7d 0a 64  {2 4 5 scan 0}.d
0810: 6f 5f 74 65 73 74 20 77 68 65 72 65 37 2d 31 2e  o_test where7-1.
0820: 31 30 20 7b 0a 20 20 63 6f 75 6e 74 5f 73 74 65  10 {.  count_ste
0830: 70 73 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20  ps {.    SELECT 
0840: 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  a FROM t1 WHERE 
0850: 28 62 3d 33 20 4f 52 20 63 3e 3d 31 30 20 4f 52  (b=3 OR c>=10 OR
0860: 20 63 3d 34 20 4f 52 20 62 3e 31 30 29 0a 20 20   c=4 OR b>10).  
0870: 7d 0a 7d 20 7b 32 20 34 20 35 20 73 63 61 6e 20  }.} {2 4 5 scan 
0880: 30 7d 0a 64 6f 5f 74 65 73 74 20 77 68 65 72 65  0}.do_test where
0890: 37 2d 31 2e 31 31 20 7b 0a 20 20 63 6f 75 6e 74  7-1.11 {.  count
08a0: 5f 73 74 65 70 73 20 7b 0a 20 20 20 20 53 45 4c  _steps {.    SEL
08b0: 45 43 54 20 61 20 46 52 4f 4d 20 74 31 20 57 48  ECT a FROM t1 WH
08c0: 45 52 45 20 28 64 3d 35 20 41 4e 44 20 62 3d 33  ERE (d=5 AND b=3
08d0: 29 20 4f 52 20 63 3d 3d 31 30 30 3b 0a 20 20 7d  ) OR c==100;.  }
08e0: 0a 7d 20 7b 32 20 35 20 73 63 61 6e 20 30 7d 0a  .} {2 5 scan 0}.
08f0: 64 6f 5f 74 65 73 74 20 77 68 65 72 65 37 2d 31  do_test where7-1
0900: 2e 31 32 20 7b 0a 62 72 65 61 6b 70 6f 69 6e 74  .12 {.breakpoint
0910: 0a 20 20 63 6f 75 6e 74 5f 73 74 65 70 73 20 7b  .  count_steps {
0920: 0a 20 20 20 20 53 45 4c 45 43 54 20 61 20 46 52  .    SELECT a FR
0930: 4f 4d 20 74 31 20 57 48 45 52 45 20 28 62 20 42  OM t1 WHERE (b B
0940: 45 54 57 45 45 4e 20 32 20 41 4e 44 20 34 29 20  ETWEEN 2 AND 4) 
0950: 4f 52 20 63 3d 31 30 30 0a 20 20 7d 0a 7d 20 7b  OR c=100.  }.} {
0960: 31 20 32 20 33 20 35 20 73 63 61 6e 20 30 7d 0a  1 2 3 5 scan 0}.
0970: 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a        ..finish_test.