/ Hex Artifact Content
Login

Artifact 16b1776c6323faadb097a52d673e8e3d8be7d070:


0000: 23 20 32 30 30 35 20 4a 75 6c 79 20 32 38 0a 23  # 2005 July 28.#
0010: 0a 23 20 54 68 65 20 61 75 74 68 6f 72 20 64 69  .# The author di
0020: 73 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68  sclaims copyrigh
0030: 74 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65  t to this source
0040: 20 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65   code.  In place
0050: 20 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f   of.# a legal no
0060: 74 69 63 65 2c 20 68 65 72 65 20 69 73 20 61 20  tice, here is a 
0070: 62 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20  blessing:.#.#   
0080: 20 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64   May you do good
0090: 20 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23   and not evil..#
00a0: 20 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64      May you find
00b0: 20 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72   forgiveness for
00c0: 20 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f   yourself and fo
00d0: 72 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20  rgive others..# 
00e0: 20 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65     May you share
00f0: 20 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74   freely, never t
0100: 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20  aking more than 
0110: 79 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a 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 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 72 65 67 72   implements regr
0180: 65 73 73 69 6f 6e 20 74 65 73 74 73 20 66 6f 72  ession tests for
0190: 20 53 51 4c 69 74 65 20 6c 69 62 72 61 72 79 2e   SQLite library.
01a0: 20 20 54 68 65 0a 23 20 66 6f 63 75 73 20 6f 66    The.# focus of
01b0: 20 74 68 69 73 20 66 69 6c 65 20 69 73 20 74 65   this file is te
01c0: 73 74 69 6e 67 20 74 68 65 20 75 73 65 20 6f 66  sting the use of
01d0: 20 69 6e 64 69 63 65 73 20 69 6e 20 57 48 45 52   indices in WHER
01e0: 45 20 63 6c 61 75 73 65 73 0a 23 20 77 68 65 6e  E clauses.# when
01f0: 20 74 68 65 20 57 48 45 52 45 20 63 6c 61 75 73   the WHERE claus
0200: 65 20 63 6f 6e 74 61 69 6e 73 20 74 68 65 20 42  e contains the B
0210: 45 54 57 45 45 4e 20 6f 70 65 72 61 74 6f 72 2e  ETWEEN operator.
0220: 0a 23 0a 23 20 24 49 64 3a 20 62 65 74 77 65 65  .#.# $Id: betwee
0230: 6e 2e 74 65 73 74 2c 76 20 31 2e 32 20 32 30 30  n.test,v 1.2 200
0240: 36 2f 30 31 2f 31 37 20 30 39 3a 33 35 3a 30 32  6/01/17 09:35:02
0250: 20 64 61 6e 69 65 6c 6b 31 39 37 37 20 45 78 70   danielk1977 Exp
0260: 20 24 0a 0a 73 65 74 20 74 65 73 74 64 69 72 20   $..set testdir 
0270: 5b 66 69 6c 65 20 64 69 72 6e 61 6d 65 20 24 61  [file dirname $a
0280: 72 67 76 30 5d 0a 73 6f 75 72 63 65 20 24 74 65  rgv0].source $te
0290: 73 74 64 69 72 2f 74 65 73 74 65 72 2e 74 63 6c  stdir/tester.tcl
02a0: 0a 0a 23 20 42 75 69 6c 64 20 73 6f 6d 65 20 74  ..# Build some t
02b0: 65 73 74 20 64 61 74 61 0a 23 0a 64 6f 5f 74 65  est data.#.do_te
02c0: 73 74 20 62 65 74 77 65 65 6e 2d 31 2e 30 20 7b  st between-1.0 {
02d0: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
02e0: 20 42 45 47 49 4e 3b 0a 20 20 20 20 43 52 45 41   BEGIN;.    CREA
02f0: 54 45 20 54 41 42 4c 45 20 74 31 28 77 20 69 6e  TE TABLE t1(w in
0300: 74 2c 20 78 20 69 6e 74 2c 20 79 20 69 6e 74 2c  t, x int, y int,
0310: 20 7a 20 69 6e 74 29 3b 0a 20 20 7d 0a 20 20 66   z int);.  }.  f
0320: 6f 72 20 7b 73 65 74 20 69 20 31 7d 20 7b 24 69  or {set i 1} {$i
0330: 3c 3d 31 30 30 7d 20 7b 69 6e 63 72 20 69 7d 20  <=100} {incr i} 
0340: 7b 0a 20 20 20 20 73 65 74 20 77 20 24 69 0a 20  {.    set w $i. 
0350: 20 20 20 73 65 74 20 78 20 5b 65 78 70 72 20 7b     set x [expr {
0360: 69 6e 74 28 6c 6f 67 28 24 69 29 2f 6c 6f 67 28  int(log($i)/log(
0370: 32 29 29 7d 5d 0a 20 20 20 20 73 65 74 20 79 20  2))}].    set y 
0380: 5b 65 78 70 72 20 7b 24 69 2a 24 69 20 2b 20 32  [expr {$i*$i + 2
0390: 2a 24 69 20 2b 20 31 7d 5d 0a 20 20 20 20 73 65  *$i + 1}].    se
03a0: 74 20 7a 20 5b 65 78 70 72 20 7b 24 78 2b 24 79  t z [expr {$x+$y
03b0: 7d 5d 0a 20 20 20 20 69 66 63 61 70 61 62 6c 65  }].    ifcapable
03c0: 20 74 63 6c 76 61 72 20 7b 0a 20 20 20 20 20 20   tclvar {.      
03d0: 23 20 52 61 6e 64 6f 6d 20 75 6e 70 6c 61 6e 6e  # Random unplann
03e0: 65 64 20 74 65 73 74 20 6f 66 20 74 68 65 20 24  ed test of the $
03f0: 76 61 72 6e 61 6d 65 20 76 61 72 69 61 62 6c 65  varname variable
0400: 20 73 79 6e 74 61 78 2e 0a 20 20 20 20 20 20 65   syntax..      e
0410: 78 65 63 73 71 6c 20 7b 49 4e 53 45 52 54 20 49  xecsql {INSERT I
0420: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 24 3a  NTO t1 VALUES($:
0430: 3a 77 2c 24 3a 3a 78 2c 24 3a 3a 79 2c 24 3a 3a  :w,$::x,$::y,$::
0440: 7a 29 7d 0a 20 20 20 20 7d 20 65 6c 73 65 20 7b  z)}.    } else {
0450: 0a 20 20 20 20 20 20 23 20 49 66 20 74 68 65 20  .      # If the 
0460: 24 76 61 72 6e 61 6d 65 20 73 79 6e 74 61 78 20  $varname syntax 
0470: 69 73 20 6e 6f 74 20 61 76 61 69 6c 61 62 6c 65  is not available
0480: 2c 20 75 73 65 20 74 68 65 20 72 65 67 75 6c 61  , use the regula
0490: 72 20 76 61 72 69 61 62 6c 65 0a 20 20 20 20 20  r variable.     
04a0: 20 23 20 64 65 63 6c 61 72 61 74 69 6f 6e 20 73   # declaration s
04b0: 79 6e 74 61 78 2e 0a 20 20 20 20 20 20 65 78 65  yntax..      exe
04c0: 63 73 71 6c 20 7b 49 4e 53 45 52 54 20 49 4e 54  csql {INSERT INT
04d0: 4f 20 74 31 20 56 41 4c 55 45 53 28 3a 77 2c 3a  O t1 VALUES(:w,:
04e0: 78 2c 3a 79 2c 3a 7a 29 7d 0a 20 20 20 20 7d 0a  x,:y,:z)}.    }.
04f0: 20 20 7d 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a    }.  execsql {.
0500: 20 20 20 20 43 52 45 41 54 45 20 55 4e 49 51 55      CREATE UNIQU
0510: 45 20 49 4e 44 45 58 20 69 31 77 20 4f 4e 20 74  E INDEX i1w ON t
0520: 31 28 77 29 3b 0a 20 20 20 20 43 52 45 41 54 45  1(w);.    CREATE
0530: 20 49 4e 44 45 58 20 69 31 78 79 20 4f 4e 20 74   INDEX i1xy ON t
0540: 31 28 78 2c 79 29 3b 0a 20 20 20 20 43 52 45 41  1(x,y);.    CREA
0550: 54 45 20 49 4e 44 45 58 20 69 31 7a 79 78 20 4f  TE INDEX i1zyx O
0560: 4e 20 74 31 28 7a 2c 79 2c 78 29 3b 0a 20 20 20  N t1(z,y,x);.   
0570: 20 43 4f 4d 4d 49 54 3b 0a 20 20 7d 0a 7d 20 7b   COMMIT;.  }.} {
0580: 7d 0a 0a 23 20 54 68 69 73 20 70 72 6f 63 65 64  }..# This proced
0590: 75 72 65 20 65 78 65 63 75 74 65 73 20 74 68 65  ure executes the
05a0: 20 53 51 4c 2e 20 20 54 68 65 6e 20 69 74 20 61   SQL.  Then it a
05b0: 70 70 65 6e 64 73 20 74 6f 20 74 68 65 20 72 65  ppends to the re
05c0: 73 75 6c 74 20 74 68 65 0a 23 20 22 73 6f 72 74  sult the.# "sort
05d0: 22 20 6f 72 20 22 6e 6f 73 6f 72 74 22 20 6b 65  " or "nosort" ke
05e0: 79 77 6f 72 64 20 64 65 70 65 6e 64 69 6e 67 20  yword depending 
05f0: 6f 6e 20 77 68 65 74 68 65 72 20 6f 72 20 6e 6f  on whether or no
0600: 74 20 61 6e 79 20 73 6f 72 74 69 6e 67 0a 23 20  t any sorting.# 
0610: 69 73 20 64 6f 6e 65 2e 20 20 54 68 65 6e 20 69  is done.  Then i
0620: 74 20 61 70 70 65 6e 64 73 20 74 68 65 20 3a 3a  t appends the ::
0630: 73 71 6c 69 74 65 5f 71 75 65 72 79 5f 70 6c 61  sqlite_query_pla
0640: 6e 20 76 61 72 69 61 62 6c 65 2e 0a 23 0a 70 72  n variable..#.pr
0650: 6f 63 20 71 75 65 72 79 70 6c 61 6e 20 7b 73 71  oc queryplan {sq
0660: 6c 7d 20 7b 0a 20 20 73 65 74 20 3a 3a 73 71 6c  l} {.  set ::sql
0670: 69 74 65 5f 73 6f 72 74 5f 63 6f 75 6e 74 20 30  ite_sort_count 0
0680: 0a 20 20 73 65 74 20 64 61 74 61 20 5b 65 78 65  .  set data [exe
0690: 63 73 71 6c 20 24 73 71 6c 5d 0a 20 20 69 66 20  csql $sql].  if 
06a0: 7b 24 3a 3a 73 71 6c 69 74 65 5f 73 6f 72 74 5f  {$::sqlite_sort_
06b0: 63 6f 75 6e 74 7d 20 7b 73 65 74 20 78 20 73 6f  count} {set x so
06c0: 72 74 7d 20 7b 73 65 74 20 78 20 6e 6f 73 6f 72  rt} {set x nosor
06d0: 74 7d 0a 20 20 6c 61 70 70 65 6e 64 20 64 61 74  t}.  lappend dat
06e0: 61 20 24 78 0a 20 20 72 65 74 75 72 6e 20 5b 63  a $x.  return [c
06f0: 6f 6e 63 61 74 20 24 64 61 74 61 20 24 3a 3a 73  oncat $data $::s
0700: 71 6c 69 74 65 5f 71 75 65 72 79 5f 70 6c 61 6e  qlite_query_plan
0710: 5d 0a 7d 0a 0a 64 6f 5f 74 65 73 74 20 62 65 74  ].}..do_test bet
0720: 77 65 65 6e 2d 31 2e 31 2e 31 20 7b 0a 20 20 71  ween-1.1.1 {.  q
0730: 75 65 72 79 70 6c 61 6e 20 7b 0a 20 20 20 20 53  ueryplan {.    S
0740: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20  ELECT * FROM t1 
0750: 57 48 45 52 45 20 77 20 42 45 54 57 45 45 4e 20  WHERE w BETWEEN 
0760: 35 20 41 4e 44 20 36 20 4f 52 44 45 52 20 42 59  5 AND 6 ORDER BY
0770: 20 2b 77 0a 20 20 7d 0a 7d 20 7b 35 20 32 20 33   +w.  }.} {5 2 3
0780: 36 20 33 38 20 36 20 32 20 34 39 20 35 31 20 73  6 38 6 2 49 51 s
0790: 6f 72 74 20 74 31 20 69 31 77 7d 0a 64 6f 5f 74  ort t1 i1w}.do_t
07a0: 65 73 74 20 62 65 74 77 65 65 6e 2d 31 2e 31 2e  est between-1.1.
07b0: 32 20 7b 0a 20 20 71 75 65 72 79 70 6c 61 6e 20  2 {.  queryplan 
07c0: 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46  {.    SELECT * F
07d0: 52 4f 4d 20 74 31 20 57 48 45 52 45 20 2b 77 20  ROM t1 WHERE +w 
07e0: 42 45 54 57 45 45 4e 20 35 20 41 4e 44 20 36 20  BETWEEN 5 AND 6 
07f0: 4f 52 44 45 52 20 42 59 20 2b 77 0a 20 20 7d 0a  ORDER BY +w.  }.
0800: 7d 20 7b 35 20 32 20 33 36 20 33 38 20 36 20 32  } {5 2 36 38 6 2
0810: 20 34 39 20 35 31 20 73 6f 72 74 20 74 31 20 7b   49 51 sort t1 {
0820: 7d 7d 0a 64 6f 5f 74 65 73 74 20 62 65 74 77 65  }}.do_test betwe
0830: 65 6e 2d 31 2e 32 2e 31 20 7b 0a 20 20 71 75 65  en-1.2.1 {.  que
0840: 72 79 70 6c 61 6e 20 7b 0a 20 20 20 20 53 45 4c  ryplan {.    SEL
0850: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 57 48  ECT * FROM t1 WH
0860: 45 52 45 20 77 20 42 45 54 57 45 45 4e 20 35 20  ERE w BETWEEN 5 
0870: 41 4e 44 20 36 35 2d 79 20 4f 52 44 45 52 20 42  AND 65-y ORDER B
0880: 59 20 2b 77 0a 20 20 7d 0a 7d 20 7b 35 20 32 20  Y +w.  }.} {5 2 
0890: 33 36 20 33 38 20 36 20 32 20 34 39 20 35 31 20  36 38 6 2 49 51 
08a0: 73 6f 72 74 20 74 31 20 69 31 77 7d 0a 64 6f 5f  sort t1 i1w}.do_
08b0: 74 65 73 74 20 62 65 74 77 65 65 6e 2d 31 2e 32  test between-1.2
08c0: 2e 32 20 7b 0a 20 20 71 75 65 72 79 70 6c 61 6e  .2 {.  queryplan
08d0: 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20   {.    SELECT * 
08e0: 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 2b 77  FROM t1 WHERE +w
08f0: 20 42 45 54 57 45 45 4e 20 35 20 41 4e 44 20 36   BETWEEN 5 AND 6
0900: 35 2d 79 20 4f 52 44 45 52 20 42 59 20 2b 77 0a  5-y ORDER BY +w.
0910: 20 20 7d 0a 7d 20 7b 35 20 32 20 33 36 20 33 38    }.} {5 2 36 38
0920: 20 36 20 32 20 34 39 20 35 31 20 73 6f 72 74 20   6 2 49 51 sort 
0930: 74 31 20 7b 7d 7d 0a 64 6f 5f 74 65 73 74 20 62  t1 {}}.do_test b
0940: 65 74 77 65 65 6e 2d 31 2e 33 2e 31 20 7b 0a 20  etween-1.3.1 {. 
0950: 20 71 75 65 72 79 70 6c 61 6e 20 7b 0a 20 20 20   queryplan {.   
0960: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
0970: 31 20 57 48 45 52 45 20 77 20 42 45 54 57 45 45  1 WHERE w BETWEE
0980: 4e 20 34 31 2d 79 20 41 4e 44 20 36 20 4f 52 44  N 41-y AND 6 ORD
0990: 45 52 20 42 59 20 2b 77 0a 20 20 7d 0a 7d 20 7b  ER BY +w.  }.} {
09a0: 35 20 32 20 33 36 20 33 38 20 36 20 32 20 34 39  5 2 36 38 6 2 49
09b0: 20 35 31 20 73 6f 72 74 20 74 31 20 69 31 77 7d   51 sort t1 i1w}
09c0: 0a 64 6f 5f 74 65 73 74 20 62 65 74 77 65 65 6e  .do_test between
09d0: 2d 31 2e 33 2e 32 20 7b 0a 20 20 71 75 65 72 79  -1.3.2 {.  query
09e0: 70 6c 61 6e 20 7b 0a 20 20 20 20 53 45 4c 45 43  plan {.    SELEC
09f0: 54 20 2a 20 46 52 4f 4d 20 74 31 20 57 48 45 52  T * FROM t1 WHER
0a00: 45 20 2b 77 20 42 45 54 57 45 45 4e 20 34 31 2d  E +w BETWEEN 41-
0a10: 79 20 41 4e 44 20 36 20 4f 52 44 45 52 20 42 59  y AND 6 ORDER BY
0a20: 20 2b 77 0a 20 20 7d 0a 7d 20 7b 35 20 32 20 33   +w.  }.} {5 2 3
0a30: 36 20 33 38 20 36 20 32 20 34 39 20 35 31 20 73  6 38 6 2 49 51 s
0a40: 6f 72 74 20 74 31 20 7b 7d 7d 0a 64 6f 5f 74 65  ort t1 {}}.do_te
0a50: 73 74 20 62 65 74 77 65 65 6e 2d 31 2e 34 20 7b  st between-1.4 {
0a60: 0a 20 20 71 75 65 72 79 70 6c 61 6e 20 7b 0a 20  .  queryplan {. 
0a70: 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d     SELECT * FROM
0a80: 20 74 31 20 57 48 45 52 45 20 77 20 42 45 54 57   t1 WHERE w BETW
0a90: 45 45 4e 20 34 31 2d 79 20 41 4e 44 20 36 35 2d  EEN 41-y AND 65-
0aa0: 79 20 4f 52 44 45 52 20 42 59 20 2b 77 0a 20 20  y ORDER BY +w.  
0ab0: 7d 0a 7d 20 7b 35 20 32 20 33 36 20 33 38 20 36  }.} {5 2 36 38 6
0ac0: 20 32 20 34 39 20 35 31 20 73 6f 72 74 20 74 31   2 49 51 sort t1
0ad0: 20 7b 7d 7d 0a 64 6f 5f 74 65 73 74 20 62 65 74   {}}.do_test bet
0ae0: 77 65 65 6e 2d 31 2e 35 2e 31 20 7b 0a 20 20 71  ween-1.5.1 {.  q
0af0: 75 65 72 79 70 6c 61 6e 20 7b 0a 20 20 20 20 53  ueryplan {.    S
0b00: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20  ELECT * FROM t1 
0b10: 57 48 45 52 45 20 32 36 20 42 45 54 57 45 45 4e  WHERE 26 BETWEEN
0b20: 20 79 20 41 4e 44 20 7a 20 4f 52 44 45 52 20 42   y AND z ORDER B
0b30: 59 20 2b 77 0a 20 20 7d 0a 7d 20 7b 34 20 32 20  Y +w.  }.} {4 2 
0b40: 32 35 20 32 37 20 73 6f 72 74 20 74 31 20 69 31  25 27 sort t1 i1
0b50: 7a 79 78 7d 0a 64 6f 5f 74 65 73 74 20 62 65 74  zyx}.do_test bet
0b60: 77 65 65 6e 2d 31 2e 35 2e 32 20 7b 0a 20 20 71  ween-1.5.2 {.  q
0b70: 75 65 72 79 70 6c 61 6e 20 7b 0a 20 20 20 20 53  ueryplan {.    S
0b80: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20  ELECT * FROM t1 
0b90: 57 48 45 52 45 20 32 36 20 42 45 54 57 45 45 4e  WHERE 26 BETWEEN
0ba0: 20 2b 79 20 41 4e 44 20 7a 20 4f 52 44 45 52 20   +y AND z ORDER 
0bb0: 42 59 20 2b 77 0a 20 20 7d 0a 7d 20 7b 34 20 32  BY +w.  }.} {4 2
0bc0: 20 32 35 20 32 37 20 73 6f 72 74 20 74 31 20 69   25 27 sort t1 i
0bd0: 31 7a 79 78 7d 0a 64 6f 5f 74 65 73 74 20 62 65  1zyx}.do_test be
0be0: 74 77 65 65 6e 2d 31 2e 35 2e 33 20 7b 0a 20 20  tween-1.5.3 {.  
0bf0: 71 75 65 72 79 70 6c 61 6e 20 7b 0a 20 20 20 20  queryplan {.    
0c00: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
0c10: 20 57 48 45 52 45 20 32 36 20 42 45 54 57 45 45   WHERE 26 BETWEE
0c20: 4e 20 79 20 41 4e 44 20 2b 7a 20 4f 52 44 45 52  N y AND +z ORDER
0c30: 20 42 59 20 2b 77 0a 20 20 7d 0a 7d 20 7b 34 20   BY +w.  }.} {4 
0c40: 32 20 32 35 20 32 37 20 73 6f 72 74 20 74 31 20  2 25 27 sort t1 
0c50: 7b 7d 7d 0a 0a 0a 66 69 6e 69 73 68 5f 74 65 73  {}}...finish_tes
0c60: 74 0a                                            t.