/ Hex Artifact Content
Login

Artifact 1d89199697919d4930be05a71e7fe620f114e622:


0000: 23 20 32 30 31 34 2d 30 33 2d 33 31 0a 23 0a 23  # 2014-03-31.#.#
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 20 54 68 65 20 66 6f 63 75 73 20 6f  **.# The focus o
0170: 66 20 74 68 69 73 20 66 69 6c 65 20 69 73 20 74  f this file is t
0180: 65 73 74 69 6e 67 20 74 68 65 20 4f 52 20 6f 70  esting the OR op
0190: 74 69 6d 69 7a 61 74 69 6f 6e 20 6f 6e 20 57 49  timization on WI
01a0: 54 48 4f 55 54 20 52 4f 57 49 44 20 0a 23 20 74  THOUT ROWID .# t
01b0: 61 62 6c 65 73 2e 0a 23 0a 0a 73 65 74 20 74 65  ables..#..set te
01c0: 73 74 64 69 72 20 5b 66 69 6c 65 20 64 69 72 6e  stdir [file dirn
01d0: 61 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f 75 72  ame $argv0].sour
01e0: 63 65 20 24 74 65 73 74 64 69 72 2f 74 65 73 74  ce $testdir/test
01f0: 65 72 2e 74 63 6c 0a 73 65 74 20 3a 3a 74 65 73  er.tcl.set ::tes
0200: 74 70 72 65 66 69 78 20 77 68 65 72 65 49 0a 0a  tprefix whereI..
0210: 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20  do_execsql_test 
0220: 31 2e 30 20 7b 0a 20 20 43 52 45 41 54 45 20 54  1.0 {.  CREATE T
0230: 41 42 4c 45 20 74 31 28 61 2c 20 62 2c 20 63 2c  ABLE t1(a, b, c,
0240: 20 50 52 49 4d 41 52 59 20 4b 45 59 28 61 29 29   PRIMARY KEY(a))
0250: 20 57 49 54 48 4f 55 54 20 52 4f 57 49 44 3b 0a   WITHOUT ROWID;.
0260: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
0270: 20 56 41 4c 55 45 53 28 31 2c 20 27 61 27 2c 20   VALUES(1, 'a', 
0280: 27 7a 27 29 3b 0a 20 20 49 4e 53 45 52 54 20 49  'z');.  INSERT I
0290: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 32 2c  NTO t1 VALUES(2,
02a0: 20 27 62 27 2c 20 27 79 27 29 3b 0a 20 20 49 4e   'b', 'y');.  IN
02b0: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c  SERT INTO t1 VAL
02c0: 55 45 53 28 33 2c 20 27 63 27 2c 20 27 78 27 29  UES(3, 'c', 'x')
02d0: 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20  ;.  INSERT INTO 
02e0: 74 31 20 56 41 4c 55 45 53 28 34 2c 20 27 64 27  t1 VALUES(4, 'd'
02f0: 2c 20 27 77 27 29 3b 0a 20 20 43 52 45 41 54 45  , 'w');.  CREATE
0300: 20 49 4e 44 45 58 20 69 31 20 4f 4e 20 74 31 28   INDEX i1 ON t1(
0310: 62 29 3b 0a 20 20 43 52 45 41 54 45 20 49 4e 44  b);.  CREATE IND
0320: 45 58 20 69 32 20 4f 4e 20 74 31 28 63 29 3b 0a  EX i2 ON t1(c);.
0330: 7d 0a 0a 64 6f 5f 65 71 70 5f 74 65 73 74 20 31  }..do_eqp_test 1
0340: 2e 31 20 7b 0a 20 20 53 45 4c 45 43 54 20 61 20  .1 {.  SELECT a 
0350: 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 62 3d  FROM t1 WHERE b=
0360: 27 62 27 20 4f 52 20 63 3d 27 78 27 0a 7d 20 7b  'b' OR c='x'.} {
0370: 0a 20 20 30 20 30 20 30 20 7b 53 45 41 52 43 48  .  0 0 0 {SEARCH
0380: 20 54 41 42 4c 45 20 74 31 20 55 53 49 4e 47 20   TABLE t1 USING 
0390: 49 4e 44 45 58 20 69 31 20 28 62 3d 3f 29 7d 20  INDEX i1 (b=?)} 
03a0: 0a 20 20 30 20 30 20 30 20 7b 53 45 41 52 43 48  .  0 0 0 {SEARCH
03b0: 20 54 41 42 4c 45 20 74 31 20 55 53 49 4e 47 20   TABLE t1 USING 
03c0: 49 4e 44 45 58 20 69 32 20 28 63 3d 3f 29 7d 0a  INDEX i2 (c=?)}.
03d0: 7d 0a 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65  }..do_execsql_te
03e0: 73 74 20 31 2e 32 20 7b 0a 20 20 53 45 4c 45 43  st 1.2 {.  SELEC
03f0: 54 20 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52  T a FROM t1 WHER
0400: 45 20 62 3d 27 62 27 20 4f 52 20 63 3d 27 78 27  E b='b' OR c='x'
0410: 0a 7d 20 7b 32 20 33 7d 0a 0a 64 6f 5f 65 78 65  .} {2 3}..do_exe
0420: 63 73 71 6c 5f 74 65 73 74 20 31 2e 33 20 7b 0a  csql_test 1.3 {.
0430: 20 20 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20    SELECT a FROM 
0440: 74 31 20 57 48 45 52 45 20 62 3d 27 61 27 20 4f  t1 WHERE b='a' O
0450: 52 20 63 3d 27 7a 27 0a 7d 20 7b 31 7d 0a 0a 23  R c='z'.} {1}..#
0460: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0470: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0480: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0490: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
04a0: 2d 2d 2d 2d 2d 2d 0a 23 20 54 72 79 20 74 68 61  ------.# Try tha
04b0: 74 20 61 67 61 69 6e 2c 20 74 68 69 73 20 74 69  t again, this ti
04c0: 6d 65 20 77 69 74 68 20 6e 6f 6e 20 69 6e 74 65  me with non inte
04d0: 67 65 72 20 50 52 49 4d 41 52 59 20 4b 45 59 20  ger PRIMARY KEY 
04e0: 76 61 6c 75 65 73 2e 0a 23 0a 64 6f 5f 65 78 65  values..#.do_exe
04f0: 63 73 71 6c 5f 74 65 73 74 20 32 2e 30 20 7b 0a  csql_test 2.0 {.
0500: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74    CREATE TABLE t
0510: 32 28 61 2c 20 62 2c 20 63 2c 20 50 52 49 4d 41  2(a, b, c, PRIMA
0520: 52 59 20 4b 45 59 28 61 29 29 20 57 49 54 48 4f  RY KEY(a)) WITHO
0530: 55 54 20 52 4f 57 49 44 3b 0a 20 20 49 4e 53 45  UT ROWID;.  INSE
0540: 52 54 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45  RT INTO t2 VALUE
0550: 53 28 27 69 27 2c 20 27 61 27 2c 20 27 7a 27 29  S('i', 'a', 'z')
0560: 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20  ;.  INSERT INTO 
0570: 74 32 20 56 41 4c 55 45 53 28 27 69 69 27 2c 20  t2 VALUES('ii', 
0580: 27 62 27 2c 20 27 79 27 29 3b 0a 20 20 49 4e 53  'b', 'y');.  INS
0590: 45 52 54 20 49 4e 54 4f 20 74 32 20 56 41 4c 55  ERT INTO t2 VALU
05a0: 45 53 28 27 69 69 69 27 2c 20 27 63 27 2c 20 27  ES('iii', 'c', '
05b0: 78 27 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e  x');.  INSERT IN
05c0: 54 4f 20 74 32 20 56 41 4c 55 45 53 28 27 69 76  TO t2 VALUES('iv
05d0: 27 2c 20 27 64 27 2c 20 27 77 27 29 3b 0a 20 20  ', 'd', 'w');.  
05e0: 43 52 45 41 54 45 20 49 4e 44 45 58 20 69 33 20  CREATE INDEX i3 
05f0: 4f 4e 20 74 32 28 62 29 3b 0a 20 20 43 52 45 41  ON t2(b);.  CREA
0600: 54 45 20 49 4e 44 45 58 20 69 34 20 4f 4e 20 74  TE INDEX i4 ON t
0610: 32 28 63 29 3b 0a 7d 0a 0a 64 6f 5f 65 71 70 5f  2(c);.}..do_eqp_
0620: 74 65 73 74 20 32 2e 31 20 7b 0a 20 20 53 45 4c  test 2.1 {.  SEL
0630: 45 43 54 20 61 20 46 52 4f 4d 20 74 32 20 57 48  ECT a FROM t2 WH
0640: 45 52 45 20 62 3d 27 62 27 20 4f 52 20 63 3d 27  ERE b='b' OR c='
0650: 78 27 0a 7d 20 7b 0a 20 20 30 20 30 20 30 20 7b  x'.} {.  0 0 0 {
0660: 53 45 41 52 43 48 20 54 41 42 4c 45 20 74 32 20  SEARCH TABLE t2 
0670: 55 53 49 4e 47 20 49 4e 44 45 58 20 69 33 20 28  USING INDEX i3 (
0680: 62 3d 3f 29 7d 20 0a 20 20 30 20 30 20 30 20 7b  b=?)} .  0 0 0 {
0690: 53 45 41 52 43 48 20 54 41 42 4c 45 20 74 32 20  SEARCH TABLE t2 
06a0: 55 53 49 4e 47 20 49 4e 44 45 58 20 69 34 20 28  USING INDEX i4 (
06b0: 63 3d 3f 29 7d 0a 7d 0a 0a 64 6f 5f 65 78 65 63  c=?)}.}..do_exec
06c0: 73 71 6c 5f 74 65 73 74 20 32 2e 32 20 7b 0a 20  sql_test 2.2 {. 
06d0: 20 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74   SELECT a FROM t
06e0: 32 20 57 48 45 52 45 20 62 3d 27 62 27 20 4f 52  2 WHERE b='b' OR
06f0: 20 63 3d 27 78 27 0a 7d 20 7b 69 69 20 69 69 69   c='x'.} {ii iii
0700: 7d 0a 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65  }..do_execsql_te
0710: 73 74 20 32 2e 33 20 7b 0a 20 20 53 45 4c 45 43  st 2.3 {.  SELEC
0720: 54 20 61 20 46 52 4f 4d 20 74 32 20 57 48 45 52  T a FROM t2 WHER
0730: 45 20 62 3d 27 61 27 20 4f 52 20 63 3d 27 7a 27  E b='a' OR c='z'
0740: 0a 7d 20 7b 69 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d  .} {i}..#-------
0750: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0760: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0770: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0780: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a  ---------------.
0790: 23 20 4f 6e 20 61 20 74 61 62 6c 65 20 77 69 74  # On a table wit
07a0: 68 20 61 20 6d 75 6c 74 69 2d 63 6f 6c 75 6d 6e  h a multi-column
07b0: 20 50 4b 2e 0a 23 0a 64 6f 5f 65 78 65 63 73 71   PK..#.do_execsq
07c0: 6c 5f 74 65 73 74 20 33 2e 30 20 7b 0a 20 20 43  l_test 3.0 {.  C
07d0: 52 45 41 54 45 20 54 41 42 4c 45 20 74 33 28 61  REATE TABLE t3(a
07e0: 2c 20 62 2c 20 63 2c 20 64 2c 20 50 52 49 4d 41  , b, c, d, PRIMA
07f0: 52 59 20 4b 45 59 28 63 2c 20 62 29 29 20 57 49  RY KEY(c, b)) WI
0800: 54 48 4f 55 54 20 52 4f 57 49 44 3b 0a 0a 20 20  THOUT ROWID;..  
0810: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 33 20 56  INSERT INTO t3 V
0820: 41 4c 55 45 53 28 27 66 27 2c 20 31 2c 20 31 2c  ALUES('f', 1, 1,
0830: 20 27 6f 27 29 3b 0a 20 20 49 4e 53 45 52 54 20   'o');.  INSERT 
0840: 49 4e 54 4f 20 74 33 20 56 41 4c 55 45 53 28 27  INTO t3 VALUES('
0850: 6f 27 2c 20 32 2c 20 31 2c 20 27 74 27 29 3b 0a  o', 2, 1, 't');.
0860: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 33    INSERT INTO t3
0870: 20 56 41 4c 55 45 53 28 27 74 27 2c 20 31 2c 20   VALUES('t', 1, 
0880: 32 2c 20 27 74 27 29 3b 0a 20 20 49 4e 53 45 52  2, 't');.  INSER
0890: 54 20 49 4e 54 4f 20 74 33 20 56 41 4c 55 45 53  T INTO t3 VALUES
08a0: 28 27 74 27 2c 20 32 2c 20 32 2c 20 27 66 27 29  ('t', 2, 2, 'f')
08b0: 3b 0a 0a 20 20 43 52 45 41 54 45 20 49 4e 44 45  ;..  CREATE INDE
08c0: 58 20 74 33 69 31 20 4f 4e 20 74 33 28 64 29 3b  X t3i1 ON t3(d);
08d0: 0a 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20  .  CREATE INDEX 
08e0: 74 33 69 32 20 4f 4e 20 74 33 28 61 29 3b 0a 0a  t3i2 ON t3(a);..
08f0: 20 20 53 45 4c 45 43 54 20 63 7c 7c 27 2e 27 7c    SELECT c||'.'|
0900: 7c 62 20 46 52 4f 4d 20 74 33 20 57 48 45 52 45  |b FROM t3 WHERE
0910: 20 61 3d 27 74 27 20 4f 52 20 64 3d 27 74 27 0a   a='t' OR d='t'.
0920: 7d 20 7b 0a 20 20 32 2e 31 20 32 2e 32 20 31 2e  } {.  2.1 2.2 1.
0930: 32 0a 7d 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74  2.}..finish_test
0940: 0a 0a                                            ..