/ Hex Artifact Content
Login

Artifact 2adce44dc544f6eb570898c8d5270bdf6ca64bd8:


0000: 23 20 32 30 30 38 20 4d 61 79 20 32 33 0a 23 0a  # 2008 May 23.#.
0010: 23 20 54 68 65 20 61 75 74 68 6f 72 20 64 69 73  # The author dis
0020: 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68 74  claims copyright
0030: 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65 20   to this source 
0040: 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65 20  code.  In place 
0050: 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f 74  of.# a legal not
0060: 69 63 65 2c 20 68 65 72 65 20 69 73 20 61 20 62  ice, here is a b
0070: 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20 20  lessing:.#.#    
0080: 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64 20  May you do good 
0090: 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23 20  and not evil..# 
00a0: 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 20     May you find 
00b0: 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72 20  forgiveness for 
00c0: 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f 72  yourself and for
00d0: 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20 20  give others..#  
00e0: 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20    May you share 
00f0: 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61  freely, never ta
0100: 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79  king more than y
0110: 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a 2a  ou 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 0a 23 0a 23 20 52 61 6e 64 6f 6d 69 7a  ***.#.# Randomiz
0170: 65 64 20 74 65 73 74 20 63 61 73 65 73 20 66 6f  ed test cases fo
0180: 72 20 74 68 65 20 72 74 72 65 65 20 65 78 74 65  r the rtree exte
0190: 6e 73 69 6f 6e 2e 0a 23 0a 0a 69 66 20 7b 21 5b  nsion..#..if {![
01a0: 69 6e 66 6f 20 65 78 69 73 74 73 20 74 65 73 74  info exists test
01b0: 64 69 72 5d 7d 20 7b 0a 20 20 73 65 74 20 74 65  dir]} {.  set te
01c0: 73 74 64 69 72 20 5b 66 69 6c 65 20 6a 6f 69 6e  stdir [file join
01d0: 20 5b 66 69 6c 65 20 64 69 72 6e 61 6d 65 20 24   [file dirname $
01e0: 61 72 67 76 30 5d 20 2e 2e 20 2e 2e 20 74 65 73  argv0] .. .. tes
01f0: 74 5d 0a 7d 20 0a 73 6f 75 72 63 65 20 24 74 65  t].} .source $te
0200: 73 74 64 69 72 2f 74 65 73 74 65 72 2e 74 63 6c  stdir/tester.tcl
0210: 0a 0a 69 66 63 61 70 61 62 6c 65 20 21 72 74 72  ..ifcapable !rtr
0220: 65 65 20 7b 0a 20 20 66 69 6e 69 73 68 5f 74 65  ee {.  finish_te
0230: 73 74 0a 20 20 72 65 74 75 72 6e 0a 7d 0a 0a 73  st.  return.}..s
0240: 65 74 20 3a 3a 4e 52 4f 57 20 32 35 30 30 0a 69  et ::NROW 2500.i
0250: 66 20 7b 5b 69 6e 66 6f 20 65 78 69 73 74 73 20  f {[info exists 
0260: 47 28 69 73 71 75 69 63 6b 29 5d 20 26 26 20 24  G(isquick)] && $
0270: 47 28 69 73 71 75 69 63 6b 29 7d 20 7b 0a 20 20  G(isquick)} {.  
0280: 73 65 74 20 3a 3a 4e 52 4f 57 20 32 35 30 0a 7d  set ::NROW 250.}
0290: 0a 0a 23 20 52 65 74 75 72 6e 20 61 20 66 6c 6f  ..# Return a flo
02a0: 61 74 69 6e 67 20 70 6f 69 6e 74 20 6e 75 6d 62  ating point numb
02b0: 65 72 20 62 65 74 77 65 65 6e 20 2d 58 20 61 6e  er between -X an
02c0: 64 20 58 2e 0a 23 20 0a 70 72 6f 63 20 72 61 6e  d X..# .proc ran
02d0: 64 20 7b 58 7d 20 7b 0a 20 20 72 65 74 75 72 6e  d {X} {.  return
02e0: 20 5b 65 78 70 72 20 7b 69 6e 74 28 28 72 61 6e   [expr {int((ran
02f0: 64 28 29 2d 30 2e 35 29 2a 31 30 32 34 2e 30 2a  d()-0.5)*1024.0*
0300: 24 58 29 2f 35 31 32 2e 30 7d 5d 0a 7d 0a 0a 23  $X)/512.0}].}..#
0310: 20 52 65 74 75 72 6e 20 61 20 70 6f 73 69 74 69   Return a positi
0320: 76 65 20 66 6c 6f 61 74 69 6e 67 20 70 6f 69 6e  ve floating poin
0330: 74 20 6e 75 6d 62 65 72 20 6c 65 73 73 20 74 68  t number less th
0340: 61 6e 20 6f 72 20 65 71 75 61 6c 20 74 6f 20 58  an or equal to X
0350: 0a 23 0a 70 72 6f 63 20 72 61 6e 64 69 6e 63 72  .#.proc randincr
0360: 20 7b 58 7d 20 7b 0a 20 20 77 68 69 6c 65 20 31   {X} {.  while 1
0370: 20 7b 0a 20 20 20 20 73 65 74 20 72 20 5b 65 78   {.    set r [ex
0380: 70 72 20 7b 69 6e 74 28 72 61 6e 64 28 29 2a 24  pr {int(rand()*$
0390: 58 2a 33 32 2e 30 29 2f 33 32 2e 30 7d 5d 0a 20  X*32.0)/32.0}]. 
03a0: 20 20 20 69 66 20 7b 24 72 3e 30 2e 30 7d 20 7b     if {$r>0.0} {
03b0: 72 65 74 75 72 6e 20 24 72 7d 0a 20 20 7d 0a 7d  return $r}.  }.}
03c0: 0a 0a 23 20 53 63 72 61 6d 62 6c 65 20 74 68 65  ..# Scramble the
03d0: 20 24 69 6e 6c 69 73 74 20 69 6e 74 6f 20 61 20   $inlist into a 
03e0: 72 61 6e 64 6f 6d 20 6f 72 64 65 72 2e 0a 23 0a  random order..#.
03f0: 70 72 6f 63 20 73 63 72 61 6d 62 6c 65 20 7b 69  proc scramble {i
0400: 6e 6c 69 73 74 7d 20 7b 0a 20 20 73 65 74 20 79  nlist} {.  set y
0410: 20 7b 7d 0a 20 20 66 6f 72 65 61 63 68 20 78 20   {}.  foreach x 
0420: 24 69 6e 6c 69 73 74 20 7b 0a 20 20 20 20 6c 61  $inlist {.    la
0430: 70 70 65 6e 64 20 79 20 5b 6c 69 73 74 20 5b 65  ppend y [list [e
0440: 78 70 72 20 7b 72 61 6e 64 28 29 7d 5d 20 24 78  xpr {rand()}] $x
0450: 5d 0a 20 20 7d 0a 20 20 73 65 74 20 79 20 5b 6c  ].  }.  set y [l
0460: 73 6f 72 74 20 24 79 5d 0a 20 20 73 65 74 20 6f  sort $y].  set o
0470: 75 74 6c 69 73 74 20 7b 7d 0a 20 20 66 6f 72 65  utlist {}.  fore
0480: 61 63 68 20 78 20 24 79 20 7b 0a 20 20 20 20 6c  ach x $y {.    l
0490: 61 70 70 65 6e 64 20 6f 75 74 6c 69 73 74 20 5b  append outlist [
04a0: 6c 69 6e 64 65 78 20 24 78 20 31 5d 0a 20 20 7d  lindex $x 1].  }
04b0: 0a 20 20 72 65 74 75 72 6e 20 24 6f 75 74 6c 69  .  return $outli
04c0: 73 74 0a 7d 0a 0a 23 20 41 6c 77 61 79 73 20 75  st.}..# Always u
04d0: 73 65 20 74 68 65 20 73 61 6d 65 20 72 61 6e 64  se the same rand
04e0: 6f 6d 20 73 65 65 64 20 73 6f 20 74 68 61 74 20  om seed so that 
04f0: 74 68 65 20 73 65 71 75 65 6e 63 65 20 6f 66 20  the sequence of 
0500: 74 65 73 74 73 0a 23 20 69 73 20 72 65 70 65 61  tests.# is repea
0510: 74 61 62 6c 65 2e 0a 23 0a 65 78 70 72 20 7b 73  table..#.expr {s
0520: 72 61 6e 64 28 31 32 33 34 29 7d 0a 0a 23 20 52  rand(1234)}..# R
0530: 75 6e 20 74 68 65 73 65 20 74 65 73 74 73 20 66  un these tests f
0540: 6f 72 20 61 6c 6c 20 6e 75 6d 62 65 72 20 6f 66  or all number of
0550: 20 64 69 6d 65 6e 73 69 6f 6e 73 20 62 65 74 77   dimensions betw
0560: 65 65 6e 20 31 20 61 6e 64 20 35 2e 0a 23 0a 66  een 1 and 5..#.f
0570: 6f 72 20 7b 73 65 74 20 6e 44 69 6d 20 31 7d 20  or {set nDim 1} 
0580: 7b 24 6e 44 69 6d 3c 3d 35 7d 20 7b 69 6e 63 72  {$nDim<=5} {incr
0590: 20 6e 44 69 6d 7d 20 7b 0a 0a 20 20 23 20 43 6f   nDim} {..  # Co
05a0: 6e 73 74 72 75 63 74 20 61 6e 20 72 74 72 65 65  nstruct an rtree
05b0: 20 76 69 72 74 75 61 6c 20 74 61 62 6c 65 20 61   virtual table a
05c0: 6e 64 20 61 6e 20 6f 72 64 69 6e 61 72 79 20 62  nd an ordinary b
05d0: 74 72 65 65 20 74 61 62 6c 65 0a 20 20 23 20 74  tree table.  # t
05e0: 6f 20 6d 69 72 72 6f 72 20 69 74 2e 20 20 54 68  o mirror it.  Th
05f0: 65 20 6f 72 64 69 6e 61 72 79 20 74 61 62 6c 65  e ordinary table
0600: 20 73 68 6f 75 6c 64 20 62 65 20 6d 75 63 68 20   should be much 
0610: 73 6c 6f 77 65 72 20 28 73 69 6e 63 65 0a 20 20  slower (since.  
0620: 23 20 69 74 20 68 61 73 20 74 6f 20 64 6f 20 61  # it has to do a
0630: 20 66 75 6c 6c 20 74 61 62 6c 65 20 73 63 61 6e   full table scan
0640: 29 20 62 75 74 20 73 68 6f 75 6c 64 20 67 69 76  ) but should giv
0650: 65 20 74 68 65 20 65 78 61 63 74 20 73 61 6d 65  e the exact same
0660: 0a 20 20 23 20 61 6e 73 77 65 72 73 2e 0a 20 20  .  # answers..  
0670: 23 0a 20 20 64 6f 5f 74 65 73 74 20 72 74 72 65  #.  do_test rtre
0680: 65 34 2d 24 6e 44 69 6d 2e 31 20 7b 0a 20 20 20  e4-$nDim.1 {.   
0690: 20 73 65 74 20 63 6c 69 73 74 20 7b 7d 0a 20 20   set clist {}.  
06a0: 20 20 73 65 74 20 63 6b 6c 69 73 74 20 7b 7d 0a    set cklist {}.
06b0: 20 20 20 20 66 6f 72 20 7b 73 65 74 20 69 20 30      for {set i 0
06c0: 7d 20 7b 24 69 3c 24 6e 44 69 6d 7d 20 7b 69 6e  } {$i<$nDim} {in
06d0: 63 72 20 69 7d 20 7b 0a 20 20 20 20 20 20 6c 61  cr i} {.      la
06e0: 70 70 65 6e 64 20 63 6c 69 73 74 20 6d 6e 24 69  ppend clist mn$i
06f0: 20 6d 78 24 69 0a 20 20 20 20 20 20 6c 61 70 70   mx$i.      lapp
0700: 65 6e 64 20 63 6b 6c 69 73 74 20 22 6d 6e 24 69  end cklist "mn$i
0710: 3c 6d 78 24 69 22 0a 20 20 20 20 7d 0a 20 20 20  <mx$i".    }.   
0720: 20 64 62 20 65 76 61 6c 20 22 44 52 4f 50 20 54   db eval "DROP T
0730: 41 42 4c 45 20 49 46 20 45 58 49 53 54 53 20 72  ABLE IF EXISTS r
0740: 78 22 0a 20 20 20 20 64 62 20 65 76 61 6c 20 22  x".    db eval "
0750: 44 52 4f 50 20 54 41 42 4c 45 20 49 46 20 45 58  DROP TABLE IF EX
0760: 49 53 54 53 20 62 78 22 0a 20 20 20 20 64 62 20  ISTS bx".    db 
0770: 65 76 61 6c 20 22 43 52 45 41 54 45 20 56 49 52  eval "CREATE VIR
0780: 54 55 41 4c 20 54 41 42 4c 45 20 72 78 20 55 53  TUAL TABLE rx US
0790: 49 4e 47 20 72 74 72 65 65 28 69 64 2c 20 5b 6a  ING rtree(id, [j
07a0: 6f 69 6e 20 24 63 6c 69 73 74 20 2c 5d 29 22 0a  oin $clist ,])".
07b0: 20 20 20 20 64 62 20 65 76 61 6c 20 22 43 52 45      db eval "CRE
07c0: 41 54 45 20 54 41 42 4c 45 20 62 78 28 69 64 20  ATE TABLE bx(id 
07d0: 49 4e 54 45 47 45 52 20 50 52 49 4d 41 52 59 20  INTEGER PRIMARY 
07e0: 4b 45 59 2c 5c 0a 20 20 20 20 20 20 20 20 20 20  KEY,\.          
07f0: 20 20 20 20 20 20 5b 6a 6f 69 6e 20 24 63 6c 69        [join $cli
0800: 73 74 20 2c 5d 2c 20 43 48 45 43 4b 28 20 5b 6a  st ,], CHECK( [j
0810: 6f 69 6e 20 24 63 6b 6c 69 73 74 20 7b 20 41 4e  oin $cklist { AN
0820: 44 20 7d 5d 20 29 29 22 0a 20 20 7d 20 7b 7d 0a  D }] ))".  } {}.
0830: 0a 20 20 23 20 44 6f 20 6d 61 6e 79 20 69 6e 73  .  # Do many ins
0840: 65 72 74 69 6f 6e 73 20 6f 66 20 73 6d 61 6c 6c  ertions of small
0850: 20 6f 62 6a 65 63 74 73 2e 20 20 44 6f 20 62 6f   objects.  Do bo
0860: 74 68 20 6f 76 65 72 6c 61 70 70 69 6e 67 20 61  th overlapping a
0870: 6e 64 0a 20 20 23 20 63 6f 6e 74 61 69 6e 65 64  nd.  # contained
0880: 2d 77 69 74 68 69 6e 20 71 75 65 72 69 65 73 20  -within queries 
0890: 61 66 74 65 72 20 65 61 63 68 20 69 6e 73 65 72  after each inser
08a0: 74 20 74 6f 20 76 65 72 69 66 79 20 74 68 61 74  t to verify that
08b0: 20 61 6c 6c 0a 20 20 23 20 69 73 20 77 65 6c 6c   all.  # is well
08c0: 2e 0a 20 20 23 0a 20 20 75 6e 73 65 74 20 2d 6e  ..  #.  unset -n
08d0: 6f 63 6f 6d 70 6c 61 69 6e 20 77 68 65 72 65 0a  ocomplain where.
08e0: 20 20 66 6f 72 20 7b 73 65 74 20 69 20 31 7d 20    for {set i 1} 
08f0: 7b 24 69 3c 24 3a 3a 4e 52 4f 57 7d 20 7b 69 6e  {$i<$::NROW} {in
0900: 63 72 20 69 7d 20 7b 0a 20 20 20 20 23 20 44 6f  cr i} {.    # Do
0910: 20 61 20 72 61 6e 64 6f 6d 20 69 6e 73 65 72 74   a random insert
0920: 0a 20 20 20 20 23 0a 20 20 20 20 64 6f 5f 74 65  .    #.    do_te
0930: 73 74 20 72 74 72 65 65 2d 24 6e 44 69 6d 2e 32  st rtree-$nDim.2
0940: 2e 24 69 2e 31 20 7b 0a 20 20 20 20 20 20 73 65  .$i.1 {.      se
0950: 74 20 76 6c 69 73 74 20 7b 7d 0a 20 20 20 20 20  t vlist {}.     
0960: 20 66 6f 72 20 7b 73 65 74 20 6a 20 30 7d 20 7b   for {set j 0} {
0970: 24 6a 3c 24 6e 44 69 6d 7d 20 7b 69 6e 63 72 20  $j<$nDim} {incr 
0980: 6a 7d 20 7b 0a 20 20 20 20 20 20 20 20 73 65 74  j} {.        set
0990: 20 6d 6e 20 5b 72 61 6e 64 20 31 30 30 30 30 5d   mn [rand 10000]
09a0: 0a 20 20 20 20 20 20 20 20 73 65 74 20 6d 78 20  .        set mx 
09b0: 5b 65 78 70 72 20 7b 24 6d 6e 2b 5b 72 61 6e 64  [expr {$mn+[rand
09c0: 69 6e 63 72 20 35 30 5d 7d 5d 0a 20 20 20 20 20  incr 50]}].     
09d0: 20 20 20 6c 61 70 70 65 6e 64 20 76 6c 69 73 74     lappend vlist
09e0: 20 24 6d 6e 20 24 6d 78 0a 20 20 20 20 20 20 7d   $mn $mx.      }
09f0: 0a 20 20 20 20 20 20 64 62 20 65 76 61 6c 20 22  .      db eval "
0a00: 49 4e 53 45 52 54 20 49 4e 54 4f 20 72 78 20 56  INSERT INTO rx V
0a10: 41 4c 55 45 53 28 4e 55 4c 4c 2c 20 5b 6a 6f 69  ALUES(NULL, [joi
0a20: 6e 20 24 76 6c 69 73 74 20 2c 5d 29 22 0a 20 20  n $vlist ,])".  
0a30: 20 20 20 20 64 62 20 65 76 61 6c 20 22 49 4e 53      db eval "INS
0a40: 45 52 54 20 49 4e 54 4f 20 62 78 20 56 41 4c 55  ERT INTO bx VALU
0a50: 45 53 28 4e 55 4c 4c 2c 20 5b 6a 6f 69 6e 20 24  ES(NULL, [join $
0a60: 76 6c 69 73 74 20 2c 5d 29 22 0a 20 20 20 20 7d  vlist ,])".    }
0a70: 20 7b 7d 0a 0a 20 20 20 20 23 20 44 6f 20 61 20   {}..    # Do a 
0a80: 63 6f 6e 74 61 69 6e 65 64 2d 69 6e 20 71 75 65  contained-in que
0a90: 72 79 20 6f 6e 20 61 6c 6c 20 64 69 6d 65 6e 73  ry on all dimens
0aa0: 69 6f 6e 73 0a 20 20 20 20 23 0a 20 20 20 20 73  ions.    #.    s
0ab0: 65 74 20 77 68 65 72 65 20 7b 7d 0a 20 20 20 20  et where {}.    
0ac0: 66 6f 72 20 7b 73 65 74 20 6a 20 30 7d 20 7b 24  for {set j 0} {$
0ad0: 6a 3c 24 6e 44 69 6d 7d 20 7b 69 6e 63 72 20 6a  j<$nDim} {incr j
0ae0: 7d 20 7b 0a 20 20 20 20 20 20 73 65 74 20 6d 6e  } {.      set mn
0af0: 20 5b 72 61 6e 64 20 31 30 30 30 30 5d 0a 20 20   [rand 10000].  
0b00: 20 20 20 20 73 65 74 20 6d 78 20 5b 65 78 70 72      set mx [expr
0b10: 20 7b 24 6d 6e 2b 5b 72 61 6e 64 69 6e 63 72 20   {$mn+[randincr 
0b20: 35 30 30 5d 7d 5d 0a 20 20 20 20 20 20 6c 61 70  500]}].      lap
0b30: 70 65 6e 64 20 77 68 65 72 65 20 6d 6e 24 6a 3e  pend where mn$j>
0b40: 3d 24 6d 6e 20 6d 78 24 6a 3c 3d 24 6d 78 0a 20  =$mn mx$j<=$mx. 
0b50: 20 20 20 7d 0a 20 20 20 20 73 65 74 20 77 68 65     }.    set whe
0b60: 72 65 20 22 57 48 45 52 45 20 5b 6a 6f 69 6e 20  re "WHERE [join 
0b70: 24 77 68 65 72 65 20 7b 20 41 4e 44 20 7d 5d 22  $where { AND }]"
0b80: 0a 20 20 20 20 64 6f 5f 74 65 73 74 20 72 74 72  .    do_test rtr
0b90: 65 65 2d 24 6e 44 69 6d 2e 32 2e 24 69 2e 32 20  ee-$nDim.2.$i.2 
0ba0: 7b 0a 20 20 20 20 20 20 6c 69 73 74 20 24 77 68  {.      list $wh
0bb0: 65 72 65 20 5b 64 62 20 65 76 61 6c 20 22 53 45  ere [db eval "SE
0bc0: 4c 45 43 54 20 69 64 20 46 52 4f 4d 20 72 78 20  LECT id FROM rx 
0bd0: 24 77 68 65 72 65 20 4f 52 44 45 52 20 42 59 20  $where ORDER BY 
0be0: 69 64 22 5d 0a 20 20 20 20 7d 20 5b 6c 69 73 74  id"].    } [list
0bf0: 20 24 77 68 65 72 65 20 5b 64 62 20 65 76 61 6c   $where [db eval
0c00: 20 22 53 45 4c 45 43 54 20 69 64 20 46 52 4f 4d   "SELECT id FROM
0c10: 20 62 78 20 24 77 68 65 72 65 20 4f 52 44 45 52   bx $where ORDER
0c20: 20 42 59 20 69 64 22 5d 5d 0a 0a 20 20 20 20 23   BY id"]]..    #
0c30: 20 44 6f 20 61 6e 20 6f 76 65 72 6c 61 70 73 20   Do an overlaps 
0c40: 71 75 65 72 79 20 6f 6e 20 61 6c 6c 20 64 69 6d  query on all dim
0c50: 65 6e 73 69 6f 6e 73 0a 20 20 20 20 23 0a 20 20  ensions.    #.  
0c60: 20 20 73 65 74 20 77 68 65 72 65 20 7b 7d 0a 20    set where {}. 
0c70: 20 20 20 66 6f 72 20 7b 73 65 74 20 6a 20 30 7d     for {set j 0}
0c80: 20 7b 24 6a 3c 24 6e 44 69 6d 7d 20 7b 69 6e 63   {$j<$nDim} {inc
0c90: 72 20 6a 7d 20 7b 0a 20 20 20 20 20 20 73 65 74  r j} {.      set
0ca0: 20 6d 6e 20 5b 72 61 6e 64 20 31 30 30 30 30 5d   mn [rand 10000]
0cb0: 0a 20 20 20 20 20 20 73 65 74 20 6d 78 20 5b 65  .      set mx [e
0cc0: 78 70 72 20 7b 24 6d 6e 2b 5b 72 61 6e 64 69 6e  xpr {$mn+[randin
0cd0: 63 72 20 35 30 30 5d 7d 5d 0a 20 20 20 20 20 20  cr 500]}].      
0ce0: 6c 61 70 70 65 6e 64 20 77 68 65 72 65 20 6d 78  lappend where mx
0cf0: 24 6a 3e 3d 24 6d 6e 20 6d 6e 24 6a 3c 3d 24 6d  $j>=$mn mn$j<=$m
0d00: 78 0a 20 20 20 20 7d 0a 20 20 20 20 73 65 74 20  x.    }.    set 
0d10: 77 68 65 72 65 20 22 57 48 45 52 45 20 5b 6a 6f  where "WHERE [jo
0d20: 69 6e 20 24 77 68 65 72 65 20 7b 20 41 4e 44 20  in $where { AND 
0d30: 7d 5d 22 0a 20 20 20 20 64 6f 5f 74 65 73 74 20  }]".    do_test 
0d40: 72 74 72 65 65 2d 24 6e 44 69 6d 2e 32 2e 24 69  rtree-$nDim.2.$i
0d50: 2e 33 20 7b 0a 20 20 20 20 20 20 6c 69 73 74 20  .3 {.      list 
0d60: 24 77 68 65 72 65 20 5b 64 62 20 65 76 61 6c 20  $where [db eval 
0d70: 22 53 45 4c 45 43 54 20 69 64 20 46 52 4f 4d 20  "SELECT id FROM 
0d80: 72 78 20 24 77 68 65 72 65 20 4f 52 44 45 52 20  rx $where ORDER 
0d90: 42 59 20 69 64 22 5d 0a 20 20 20 20 7d 20 5b 6c  BY id"].    } [l
0da0: 69 73 74 20 24 77 68 65 72 65 20 5b 64 62 20 65  ist $where [db e
0db0: 76 61 6c 20 22 53 45 4c 45 43 54 20 69 64 20 46  val "SELECT id F
0dc0: 52 4f 4d 20 62 78 20 24 77 68 65 72 65 20 4f 52  ROM bx $where OR
0dd0: 44 45 52 20 42 59 20 69 64 22 5d 5d 0a 0a 20 20  DER BY id"]]..  
0de0: 20 20 23 20 44 6f 20 61 20 63 6f 6e 74 61 69 6e    # Do a contain
0df0: 65 64 2d 69 6e 20 71 75 65 72 79 20 77 69 74 68  ed-in query with
0e00: 20 73 75 72 70 6c 75 73 20 63 6f 6e 74 72 61 69   surplus contrai
0e10: 6e 74 73 20 61 74 20 74 68 65 20 62 65 67 69 6e  nts at the begin
0e20: 6e 69 6e 67 2e 0a 20 20 20 20 23 20 54 68 69 73  ning..    # This
0e30: 20 73 68 6f 75 6c 64 20 66 6f 72 63 65 20 61 20   should force a 
0e40: 66 75 6c 6c 2d 74 61 62 6c 65 20 73 63 61 6e 20  full-table scan 
0e50: 6f 6e 20 74 68 65 20 72 74 72 65 65 2e 0a 20 20  on the rtree..  
0e60: 20 20 23 0a 20 20 20 20 73 65 74 20 77 68 65 72    #.    set wher
0e70: 65 20 7b 7d 0a 20 20 20 20 66 6f 72 20 7b 73 65  e {}.    for {se
0e80: 74 20 6a 20 30 7d 20 7b 24 6a 3c 24 6e 44 69 6d  t j 0} {$j<$nDim
0e90: 7d 20 7b 69 6e 63 72 20 6a 7d 20 7b 0a 20 20 20  } {incr j} {.   
0ea0: 20 20 20 6c 61 70 70 65 6e 64 20 77 68 65 72 65     lappend where
0eb0: 20 6d 6e 24 6a 3e 2d 31 30 30 30 30 20 6d 78 24   mn$j>-10000 mx$
0ec0: 6a 3c 31 30 30 30 30 0a 20 20 20 20 7d 0a 20 20  j<10000.    }.  
0ed0: 20 20 66 6f 72 20 7b 73 65 74 20 6a 20 30 7d 20    for {set j 0} 
0ee0: 7b 24 6a 3c 24 6e 44 69 6d 7d 20 7b 69 6e 63 72  {$j<$nDim} {incr
0ef0: 20 6a 7d 20 7b 0a 20 20 20 20 20 20 73 65 74 20   j} {.      set 
0f00: 6d 6e 20 5b 72 61 6e 64 20 31 30 30 30 30 5d 0a  mn [rand 10000].
0f10: 20 20 20 20 20 20 73 65 74 20 6d 78 20 5b 65 78        set mx [ex
0f20: 70 72 20 7b 24 6d 6e 2b 5b 72 61 6e 64 69 6e 63  pr {$mn+[randinc
0f30: 72 20 35 30 30 5d 7d 5d 0a 20 20 20 20 20 20 6c  r 500]}].      l
0f40: 61 70 70 65 6e 64 20 77 68 65 72 65 20 6d 6e 24  append where mn$
0f50: 6a 3e 3d 24 6d 6e 20 6d 78 24 6a 3c 3d 24 6d 78  j>=$mn mx$j<=$mx
0f60: 0a 20 20 20 20 7d 0a 20 20 20 20 73 65 74 20 77  .    }.    set w
0f70: 68 65 72 65 20 22 57 48 45 52 45 20 5b 6a 6f 69  here "WHERE [joi
0f80: 6e 20 24 77 68 65 72 65 20 7b 20 41 4e 44 20 7d  n $where { AND }
0f90: 5d 22 0a 20 20 20 20 64 6f 5f 74 65 73 74 20 72  ]".    do_test r
0fa0: 74 72 65 65 2d 24 6e 44 69 6d 2e 32 2e 24 69 2e  tree-$nDim.2.$i.
0fb0: 33 20 7b 0a 20 20 20 20 20 20 6c 69 73 74 20 24  3 {.      list $
0fc0: 77 68 65 72 65 20 5b 64 62 20 65 76 61 6c 20 22  where [db eval "
0fd0: 53 45 4c 45 43 54 20 69 64 20 46 52 4f 4d 20 72  SELECT id FROM r
0fe0: 78 20 24 77 68 65 72 65 20 4f 52 44 45 52 20 42  x $where ORDER B
0ff0: 59 20 69 64 22 5d 0a 20 20 20 20 7d 20 5b 6c 69  Y id"].    } [li
1000: 73 74 20 24 77 68 65 72 65 20 5b 64 62 20 65 76  st $where [db ev
1010: 61 6c 20 22 53 45 4c 45 43 54 20 69 64 20 46 52  al "SELECT id FR
1020: 4f 4d 20 62 78 20 24 77 68 65 72 65 20 4f 52 44  OM bx $where ORD
1030: 45 52 20 42 59 20 69 64 22 5d 5d 0a 0a 20 20 20  ER BY id"]]..   
1040: 20 23 20 44 6f 20 61 6e 20 6f 76 65 72 6c 61 70   # Do an overlap
1050: 73 20 71 75 65 72 79 20 77 69 74 68 20 73 75 72  s query with sur
1060: 70 6c 75 73 20 63 6f 6e 74 72 61 69 6e 74 73 20  plus contraints 
1070: 61 74 20 74 68 65 20 62 65 67 69 6e 6e 69 6e 67  at the beginning
1080: 2e 0a 20 20 20 20 23 20 54 68 69 73 20 73 68 6f  ..    # This sho
1090: 75 6c 64 20 66 6f 72 63 65 20 61 20 66 75 6c 6c  uld force a full
10a0: 2d 74 61 62 6c 65 20 73 63 61 6e 20 6f 6e 20 74  -table scan on t
10b0: 68 65 20 72 74 72 65 65 2e 0a 20 20 20 20 23 0a  he rtree..    #.
10c0: 20 20 20 20 73 65 74 20 77 68 65 72 65 20 7b 7d      set where {}
10d0: 0a 20 20 20 20 66 6f 72 20 7b 73 65 74 20 6a 20  .    for {set j 
10e0: 30 7d 20 7b 24 6a 3c 24 6e 44 69 6d 7d 20 7b 69  0} {$j<$nDim} {i
10f0: 6e 63 72 20 6a 7d 20 7b 0a 20 20 20 20 20 20 6c  ncr j} {.      l
1100: 61 70 70 65 6e 64 20 77 68 65 72 65 20 6d 6e 24  append where mn$
1110: 6a 3e 3d 2d 31 30 30 30 30 20 6d 78 24 6a 3c 3d  j>=-10000 mx$j<=
1120: 31 30 30 30 30 0a 20 20 20 20 7d 0a 20 20 20 20  10000.    }.    
1130: 66 6f 72 20 7b 73 65 74 20 6a 20 30 7d 20 7b 24  for {set j 0} {$
1140: 6a 3c 24 6e 44 69 6d 7d 20 7b 69 6e 63 72 20 6a  j<$nDim} {incr j
1150: 7d 20 7b 0a 20 20 20 20 20 20 73 65 74 20 6d 6e  } {.      set mn
1160: 20 5b 72 61 6e 64 20 31 30 30 30 30 5d 0a 20 20   [rand 10000].  
1170: 20 20 20 20 73 65 74 20 6d 78 20 5b 65 78 70 72      set mx [expr
1180: 20 7b 24 6d 6e 2b 5b 72 61 6e 64 69 6e 63 72 20   {$mn+[randincr 
1190: 35 30 30 5d 7d 5d 0a 20 20 20 20 20 20 6c 61 70  500]}].      lap
11a0: 70 65 6e 64 20 77 68 65 72 65 20 6d 78 24 6a 3e  pend where mx$j>
11b0: 24 6d 6e 20 6d 6e 24 6a 3c 24 6d 78 0a 20 20 20  $mn mn$j<$mx.   
11c0: 20 7d 0a 20 20 20 20 73 65 74 20 77 68 65 72 65   }.    set where
11d0: 20 22 57 48 45 52 45 20 5b 6a 6f 69 6e 20 24 77   "WHERE [join $w
11e0: 68 65 72 65 20 7b 20 41 4e 44 20 7d 5d 22 0a 20  here { AND }]". 
11f0: 20 20 20 64 6f 5f 74 65 73 74 20 72 74 72 65 65     do_test rtree
1200: 2d 24 6e 44 69 6d 2e 32 2e 24 69 2e 34 20 7b 0a  -$nDim.2.$i.4 {.
1210: 20 20 20 20 20 20 6c 69 73 74 20 24 77 68 65 72        list $wher
1220: 65 20 5b 64 62 20 65 76 61 6c 20 22 53 45 4c 45  e [db eval "SELE
1230: 43 54 20 69 64 20 46 52 4f 4d 20 72 78 20 24 77  CT id FROM rx $w
1240: 68 65 72 65 20 4f 52 44 45 52 20 42 59 20 69 64  here ORDER BY id
1250: 22 5d 0a 20 20 20 20 7d 20 5b 6c 69 73 74 20 24  "].    } [list $
1260: 77 68 65 72 65 20 5b 64 62 20 65 76 61 6c 20 22  where [db eval "
1270: 53 45 4c 45 43 54 20 69 64 20 46 52 4f 4d 20 62  SELECT id FROM b
1280: 78 20 24 77 68 65 72 65 20 4f 52 44 45 52 20 42  x $where ORDER B
1290: 59 20 69 64 22 5d 5d 0a 0a 20 20 20 20 23 20 44  Y id"]]..    # D
12a0: 6f 20 61 20 63 6f 6e 74 61 69 6e 65 64 2d 69 6e  o a contained-in
12b0: 20 71 75 65 72 79 20 77 69 74 68 20 73 75 72 70   query with surp
12c0: 6c 75 73 20 63 6f 6e 74 72 61 69 6e 74 73 20 61  lus contraints a
12d0: 74 20 74 68 65 20 65 6e 64 0a 20 20 20 20 23 0a  t the end.    #.
12e0: 20 20 20 20 73 65 74 20 77 68 65 72 65 20 7b 7d      set where {}
12f0: 0a 20 20 20 20 66 6f 72 20 7b 73 65 74 20 6a 20  .    for {set j 
1300: 30 7d 20 7b 24 6a 3c 24 6e 44 69 6d 7d 20 7b 69  0} {$j<$nDim} {i
1310: 6e 63 72 20 6a 7d 20 7b 0a 20 20 20 20 20 20 73  ncr j} {.      s
1320: 65 74 20 6d 6e 20 5b 72 61 6e 64 20 31 30 30 30  et mn [rand 1000
1330: 30 5d 0a 20 20 20 20 20 20 73 65 74 20 6d 78 20  0].      set mx 
1340: 5b 65 78 70 72 20 7b 24 6d 6e 2b 5b 72 61 6e 64  [expr {$mn+[rand
1350: 69 6e 63 72 20 35 30 30 5d 7d 5d 0a 20 20 20 20  incr 500]}].    
1360: 20 20 6c 61 70 70 65 6e 64 20 77 68 65 72 65 20    lappend where 
1370: 6d 6e 24 6a 3e 3d 24 6d 6e 20 6d 78 24 6a 3c 24  mn$j>=$mn mx$j<$
1380: 6d 78 0a 20 20 20 20 7d 0a 20 20 20 20 66 6f 72  mx.    }.    for
1390: 20 7b 73 65 74 20 6a 20 5b 65 78 70 72 20 7b 24   {set j [expr {$
13a0: 6e 44 69 6d 2d 31 7d 5d 7d 20 7b 24 6a 3e 3d 30  nDim-1}]} {$j>=0
13b0: 7d 20 7b 69 6e 63 72 20 6a 20 2d 31 7d 20 7b 0a  } {incr j -1} {.
13c0: 20 20 20 20 20 20 6c 61 70 70 65 6e 64 20 77 68        lappend wh
13d0: 65 72 65 20 6d 6e 24 6a 3e 3d 2d 31 30 30 30 30  ere mn$j>=-10000
13e0: 20 6d 78 24 6a 3c 31 30 30 30 30 0a 20 20 20 20   mx$j<10000.    
13f0: 7d 0a 20 20 20 20 73 65 74 20 77 68 65 72 65 20  }.    set where 
1400: 22 57 48 45 52 45 20 5b 6a 6f 69 6e 20 24 77 68  "WHERE [join $wh
1410: 65 72 65 20 7b 20 41 4e 44 20 7d 5d 22 0a 20 20  ere { AND }]".  
1420: 20 20 64 6f 5f 74 65 73 74 20 72 74 72 65 65 2d    do_test rtree-
1430: 24 6e 44 69 6d 2e 32 2e 24 69 2e 35 20 7b 0a 20  $nDim.2.$i.5 {. 
1440: 20 20 20 20 20 6c 69 73 74 20 24 77 68 65 72 65       list $where
1450: 20 5b 64 62 20 65 76 61 6c 20 22 53 45 4c 45 43   [db eval "SELEC
1460: 54 20 69 64 20 46 52 4f 4d 20 72 78 20 24 77 68  T id FROM rx $wh
1470: 65 72 65 20 4f 52 44 45 52 20 42 59 20 69 64 22  ere ORDER BY id"
1480: 5d 0a 20 20 20 20 7d 20 5b 6c 69 73 74 20 24 77  ].    } [list $w
1490: 68 65 72 65 20 5b 64 62 20 65 76 61 6c 20 22 53  here [db eval "S
14a0: 45 4c 45 43 54 20 69 64 20 46 52 4f 4d 20 62 78  ELECT id FROM bx
14b0: 20 24 77 68 65 72 65 20 4f 52 44 45 52 20 42 59   $where ORDER BY
14c0: 20 69 64 22 5d 5d 0a 0a 20 20 20 20 23 20 44 6f   id"]]..    # Do
14d0: 20 61 6e 20 6f 76 65 72 6c 61 70 73 20 71 75 65   an overlaps que
14e0: 72 79 20 77 69 74 68 20 73 75 72 70 6c 75 73 20  ry with surplus 
14f0: 63 6f 6e 74 72 61 69 6e 74 73 20 61 74 20 74 68  contraints at th
1500: 65 20 65 6e 64 0a 20 20 20 20 23 0a 20 20 20 20  e end.    #.    
1510: 73 65 74 20 77 68 65 72 65 20 7b 7d 0a 20 20 20  set where {}.   
1520: 20 66 6f 72 20 7b 73 65 74 20 6a 20 5b 65 78 70   for {set j [exp
1530: 72 20 7b 24 6e 44 69 6d 2d 31 7d 5d 7d 20 7b 24  r {$nDim-1}]} {$
1540: 6a 3e 3d 30 7d 20 7b 69 6e 63 72 20 6a 20 2d 31  j>=0} {incr j -1
1550: 7d 20 7b 0a 20 20 20 20 20 20 73 65 74 20 6d 6e  } {.      set mn
1560: 20 5b 72 61 6e 64 20 31 30 30 30 30 5d 0a 20 20   [rand 10000].  
1570: 20 20 20 20 73 65 74 20 6d 78 20 5b 65 78 70 72      set mx [expr
1580: 20 7b 24 6d 6e 2b 5b 72 61 6e 64 69 6e 63 72 20   {$mn+[randincr 
1590: 35 30 30 5d 7d 5d 0a 20 20 20 20 20 20 6c 61 70  500]}].      lap
15a0: 70 65 6e 64 20 77 68 65 72 65 20 6d 78 24 6a 3e  pend where mx$j>
15b0: 24 6d 6e 20 6d 6e 24 6a 3c 3d 24 6d 78 0a 20 20  $mn mn$j<=$mx.  
15c0: 20 20 7d 0a 20 20 20 20 66 6f 72 20 7b 73 65 74    }.    for {set
15d0: 20 6a 20 30 7d 20 7b 24 6a 3c 24 6e 44 69 6d 7d   j 0} {$j<$nDim}
15e0: 20 7b 69 6e 63 72 20 6a 7d 20 7b 0a 20 20 20 20   {incr j} {.    
15f0: 20 20 6c 61 70 70 65 6e 64 20 77 68 65 72 65 20    lappend where 
1600: 6d 78 24 6a 3e 2d 31 30 30 30 30 20 6d 6e 24 6a  mx$j>-10000 mn$j
1610: 3c 3d 31 30 30 30 30 0a 20 20 20 20 7d 0a 20 20  <=10000.    }.  
1620: 20 20 73 65 74 20 77 68 65 72 65 20 22 57 48 45    set where "WHE
1630: 52 45 20 5b 6a 6f 69 6e 20 24 77 68 65 72 65 20  RE [join $where 
1640: 7b 20 41 4e 44 20 7d 5d 22 0a 20 20 20 20 64 6f  { AND }]".    do
1650: 5f 74 65 73 74 20 72 74 72 65 65 2d 24 6e 44 69  _test rtree-$nDi
1660: 6d 2e 32 2e 24 69 2e 36 20 7b 0a 20 20 20 20 20  m.2.$i.6 {.     
1670: 20 6c 69 73 74 20 24 77 68 65 72 65 20 5b 64 62   list $where [db
1680: 20 65 76 61 6c 20 22 53 45 4c 45 43 54 20 69 64   eval "SELECT id
1690: 20 46 52 4f 4d 20 72 78 20 24 77 68 65 72 65 20   FROM rx $where 
16a0: 4f 52 44 45 52 20 42 59 20 69 64 22 5d 0a 20 20  ORDER BY id"].  
16b0: 20 20 7d 20 5b 6c 69 73 74 20 24 77 68 65 72 65    } [list $where
16c0: 20 5b 64 62 20 65 76 61 6c 20 22 53 45 4c 45 43   [db eval "SELEC
16d0: 54 20 69 64 20 46 52 4f 4d 20 62 78 20 24 77 68  T id FROM bx $wh
16e0: 65 72 65 20 4f 52 44 45 52 20 42 59 20 69 64 22  ere ORDER BY id"
16f0: 5d 5d 0a 0a 20 20 20 20 23 20 44 6f 20 61 20 63  ]]..    # Do a c
1700: 6f 6e 74 61 69 6e 65 64 2d 69 6e 20 71 75 65 72  ontained-in quer
1710: 79 20 77 69 74 68 20 73 75 72 70 6c 75 73 20 63  y with surplus c
1720: 6f 6e 74 72 61 69 6e 74 73 20 77 68 65 72 65 20  ontraints where 
1730: 74 68 65 20 0a 20 20 20 20 23 20 63 6f 6e 73 74  the .    # const
1740: 72 61 69 6e 74 73 20 61 70 70 65 61 72 20 69 6e  raints appear in
1750: 20 61 20 72 61 6e 64 6f 6d 20 6f 72 64 65 72 2e   a random order.
1760: 0a 20 20 20 20 23 0a 20 20 20 20 73 65 74 20 77  .    #.    set w
1770: 68 65 72 65 20 7b 7d 0a 20 20 20 20 66 6f 72 20  here {}.    for 
1780: 7b 73 65 74 20 6a 20 30 7d 20 7b 24 6a 3c 24 6e  {set j 0} {$j<$n
1790: 44 69 6d 7d 20 7b 69 6e 63 72 20 6a 7d 20 7b 0a  Dim} {incr j} {.
17a0: 20 20 20 20 20 20 73 65 74 20 6d 6e 31 20 5b 72        set mn1 [r
17b0: 61 6e 64 20 31 30 30 30 30 5d 0a 20 20 20 20 20  and 10000].     
17c0: 20 73 65 74 20 6d 6e 32 20 5b 65 78 70 72 20 7b   set mn2 [expr {
17d0: 24 6d 6e 31 2b 5b 72 61 6e 64 69 6e 63 72 20 31  $mn1+[randincr 1
17e0: 30 30 5d 7d 5d 0a 20 20 20 20 20 20 73 65 74 20  00]}].      set 
17f0: 6d 78 31 20 5b 65 78 70 72 20 7b 24 6d 6e 32 2b  mx1 [expr {$mn2+
1800: 5b 72 61 6e 64 69 6e 63 72 20 34 30 30 5d 7d 5d  [randincr 400]}]
1810: 0a 20 20 20 20 20 20 73 65 74 20 6d 78 32 20 5b  .      set mx2 [
1820: 65 78 70 72 20 7b 24 6d 78 31 2b 5b 72 61 6e 64  expr {$mx1+[rand
1830: 69 6e 63 72 20 31 30 30 5d 7d 5d 0a 20 20 20 20  incr 100]}].    
1840: 20 20 6c 61 70 70 65 6e 64 20 77 68 65 72 65 20    lappend where 
1850: 6d 6e 24 6a 3e 3d 24 6d 6e 31 20 6d 6e 24 6a 3e  mn$j>=$mn1 mn$j>
1860: 24 6d 6e 32 20 6d 78 24 6a 3c 24 6d 78 31 20 6d  $mn2 mx$j<$mx1 m
1870: 78 24 6a 3c 3d 24 6d 78 32 0a 20 20 20 20 7d 0a  x$j<=$mx2.    }.
1880: 20 20 20 20 73 65 74 20 77 68 65 72 65 20 22 57      set where "W
1890: 48 45 52 45 20 5b 6a 6f 69 6e 20 5b 73 63 72 61  HERE [join [scra
18a0: 6d 62 6c 65 20 24 77 68 65 72 65 5d 20 7b 20 41  mble $where] { A
18b0: 4e 44 20 7d 5d 22 0a 20 20 20 20 64 6f 5f 74 65  ND }]".    do_te
18c0: 73 74 20 72 74 72 65 65 2d 24 6e 44 69 6d 2e 32  st rtree-$nDim.2
18d0: 2e 24 69 2e 37 20 7b 0a 20 20 20 20 20 20 6c 69  .$i.7 {.      li
18e0: 73 74 20 24 77 68 65 72 65 20 5b 64 62 20 65 76  st $where [db ev
18f0: 61 6c 20 22 53 45 4c 45 43 54 20 69 64 20 46 52  al "SELECT id FR
1900: 4f 4d 20 72 78 20 24 77 68 65 72 65 20 4f 52 44  OM rx $where ORD
1910: 45 52 20 42 59 20 69 64 22 5d 0a 20 20 20 20 7d  ER BY id"].    }
1920: 20 5b 6c 69 73 74 20 24 77 68 65 72 65 20 5b 64   [list $where [d
1930: 62 20 65 76 61 6c 20 22 53 45 4c 45 43 54 20 69  b eval "SELECT i
1940: 64 20 46 52 4f 4d 20 62 78 20 24 77 68 65 72 65  d FROM bx $where
1950: 20 4f 52 44 45 52 20 42 59 20 69 64 22 5d 5d 0a   ORDER BY id"]].
1960: 0a 20 20 20 20 23 20 44 6f 20 61 6e 20 6f 76 65  .    # Do an ove
1970: 72 6c 61 70 73 20 71 75 65 72 79 20 77 69 74 68  rlaps query with
1980: 20 73 75 72 70 6c 75 73 20 63 6f 6e 74 72 61 69   surplus contrai
1990: 6e 74 73 20 77 68 65 72 65 20 74 68 65 0a 20 20  nts where the.  
19a0: 20 20 23 20 63 6f 6e 73 74 72 61 69 6e 74 73 20    # constraints 
19b0: 61 70 70 65 61 72 20 69 6e 20 61 20 72 61 6e 64  appear in a rand
19c0: 6f 6d 20 6f 72 64 65 72 2e 0a 20 20 20 20 23 0a  om order..    #.
19d0: 20 20 20 20 73 65 74 20 77 68 65 72 65 20 7b 7d      set where {}
19e0: 0a 20 20 20 20 66 6f 72 20 7b 73 65 74 20 6a 20  .    for {set j 
19f0: 30 7d 20 7b 24 6a 3c 24 6e 44 69 6d 7d 20 7b 69  0} {$j<$nDim} {i
1a00: 6e 63 72 20 6a 7d 20 7b 0a 20 20 20 20 20 20 73  ncr j} {.      s
1a10: 65 74 20 6d 6e 31 20 5b 72 61 6e 64 20 31 30 30  et mn1 [rand 100
1a20: 30 30 5d 0a 20 20 20 20 20 20 73 65 74 20 6d 6e  00].      set mn
1a30: 32 20 5b 65 78 70 72 20 7b 24 6d 6e 31 2b 5b 72  2 [expr {$mn1+[r
1a40: 61 6e 64 69 6e 63 72 20 31 30 30 5d 7d 5d 0a 20  andincr 100]}]. 
1a50: 20 20 20 20 20 73 65 74 20 6d 78 31 20 5b 65 78       set mx1 [ex
1a60: 70 72 20 7b 24 6d 6e 32 2b 5b 72 61 6e 64 69 6e  pr {$mn2+[randin
1a70: 63 72 20 34 30 30 5d 7d 5d 0a 20 20 20 20 20 20  cr 400]}].      
1a80: 73 65 74 20 6d 78 32 20 5b 65 78 70 72 20 7b 24  set mx2 [expr {$
1a90: 6d 78 31 2b 5b 72 61 6e 64 69 6e 63 72 20 31 30  mx1+[randincr 10
1aa0: 30 5d 7d 5d 0a 20 20 20 20 20 20 6c 61 70 70 65  0]}].      lappe
1ab0: 6e 64 20 77 68 65 72 65 20 6d 78 24 6a 3e 3d 24  nd where mx$j>=$
1ac0: 6d 6e 31 20 6d 78 24 6a 3e 24 6d 6e 32 20 6d 6e  mn1 mx$j>$mn2 mn
1ad0: 24 6a 3c 24 6d 78 31 20 6d 6e 24 6a 3c 3d 24 6d  $j<$mx1 mn$j<=$m
1ae0: 78 32 0a 20 20 20 20 7d 0a 20 20 20 20 73 65 74  x2.    }.    set
1af0: 20 77 68 65 72 65 20 22 57 48 45 52 45 20 5b 6a   where "WHERE [j
1b00: 6f 69 6e 20 5b 73 63 72 61 6d 62 6c 65 20 24 77  oin [scramble $w
1b10: 68 65 72 65 5d 20 7b 20 41 4e 44 20 7d 5d 22 0a  here] { AND }]".
1b20: 20 20 20 20 64 6f 5f 74 65 73 74 20 72 74 72 65      do_test rtre
1b30: 65 2d 24 6e 44 69 6d 2e 32 2e 24 69 2e 38 20 7b  e-$nDim.2.$i.8 {
1b40: 0a 20 20 20 20 20 20 6c 69 73 74 20 24 77 68 65  .      list $whe
1b50: 72 65 20 5b 64 62 20 65 76 61 6c 20 22 53 45 4c  re [db eval "SEL
1b60: 45 43 54 20 69 64 20 46 52 4f 4d 20 72 78 20 24  ECT id FROM rx $
1b70: 77 68 65 72 65 20 4f 52 44 45 52 20 42 59 20 69  where ORDER BY i
1b80: 64 22 5d 0a 20 20 20 20 7d 20 5b 6c 69 73 74 20  d"].    } [list 
1b90: 24 77 68 65 72 65 20 5b 64 62 20 65 76 61 6c 20  $where [db eval 
1ba0: 22 53 45 4c 45 43 54 20 69 64 20 46 52 4f 4d 20  "SELECT id FROM 
1bb0: 62 78 20 24 77 68 65 72 65 20 4f 52 44 45 52 20  bx $where ORDER 
1bc0: 42 59 20 69 64 22 5d 5d 0a 20 20 7d 0a 0a 7d 0a  BY id"]].  }..}.
1bd0: 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a           .finish_test.