/ Hex Artifact Content
Login

Artifact 083c7fff74695bcc27a71d75699deba3595bc9c2:


0000: 23 20 32 30 30 31 20 53 65 70 74 65 6d 62 65 72  # 2001 September
0010: 20 32 37 0a 23 0a 23 20 54 68 65 20 61 75 74 68   27.#.# The auth
0020: 6f 72 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70  or disclaims cop
0030: 79 72 69 67 68 74 20 74 6f 20 74 68 69 73 20 73  yright to this s
0040: 6f 75 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20  ource code.  In 
0050: 70 6c 61 63 65 20 6f 66 0a 23 20 61 20 6c 65 67  place of.# a leg
0060: 61 6c 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20  al notice, here 
0070: 69 73 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23  is a blessing:.#
0080: 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f  .#    May you do
0090: 20 67 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76   good and not ev
00a0: 69 6c 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75  il..#    May you
00b0: 20 66 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73   find forgivenes
00c0: 73 20 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61  s for yourself a
00d0: 6e 64 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72  nd forgive other
00e0: 73 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20  s..#    May you 
00f0: 73 68 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65  share freely, ne
0100: 76 65 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20  ver taking more 
0110: 74 68 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23  than you give..#
0120: 0a 23 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 2a 0a 23 20 54 68 69 73  *********.# This
0170: 20 66 69 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73   file implements
0180: 20 72 65 67 72 65 73 73 69 6f 6e 20 74 65 73 74   regression test
0190: 73 20 66 6f 72 20 53 51 4c 69 74 65 20 6c 69 62  s for SQLite lib
01a0: 72 61 72 79 2e 20 20 54 68 65 0a 23 20 66 6f 63  rary.  The.# foc
01b0: 75 73 20 6f 66 20 74 68 69 73 20 66 69 6c 65 20  us of this file 
01c0: 69 73 20 74 65 73 74 69 6e 67 20 74 68 65 20 43  is testing the C
01d0: 52 45 41 54 45 20 55 4e 49 51 55 45 20 49 4e 44  REATE UNIQUE IND
01e0: 45 58 20 73 74 61 74 65 6d 65 6e 74 2c 0a 23 20  EX statement,.# 
01f0: 61 6e 64 20 70 72 69 6d 61 72 79 20 6b 65 79 73  and primary keys
0200: 2c 20 61 6e 64 20 74 68 65 20 55 4e 49 51 55 45  , and the UNIQUE
0210: 20 63 6f 6e 73 74 72 61 69 6e 74 20 6f 6e 20 74   constraint on t
0220: 61 62 6c 65 20 63 6f 6c 75 6d 6e 73 0a 23 0a 23  able columns.#.#
0230: 20 24 49 64 3a 20 75 6e 69 71 75 65 2e 74 65 73   $Id: unique.tes
0240: 74 2c 76 20 31 2e 39 20 32 30 30 39 2f 30 35 2f  t,v 1.9 2009/05/
0250: 30 32 20 31 35 3a 34 36 3a 34 37 20 64 72 68 20  02 15:46:47 drh 
0260: 45 78 70 20 24 0a 0a 73 65 74 20 74 65 73 74 64  Exp $..set testd
0270: 69 72 20 5b 66 69 6c 65 20 64 69 72 6e 61 6d 65  ir [file dirname
0280: 20 24 61 72 67 76 30 5d 0a 73 6f 75 72 63 65 20   $argv0].source 
0290: 24 74 65 73 74 64 69 72 2f 74 65 73 74 65 72 2e  $testdir/tester.
02a0: 74 63 6c 0a 0a 23 20 54 72 79 20 74 6f 20 63 72  tcl..# Try to cr
02b0: 65 61 74 65 20 61 20 74 61 62 6c 65 20 77 69 74  eate a table wit
02c0: 68 20 74 77 6f 20 70 72 69 6d 61 72 79 20 6b 65  h two primary ke
02d0: 79 73 2e 0a 23 20 28 54 68 69 73 20 69 73 20 61  ys..# (This is a
02e0: 6c 6c 6f 77 65 64 20 69 6e 20 53 51 4c 69 74 65  llowed in SQLite
02f0: 20 65 76 65 6e 20 74 68 61 74 20 69 74 20 69 73   even that it is
0300: 20 6e 6f 74 20 76 61 6c 69 64 20 53 51 4c 29 0a   not valid SQL).
0310: 23 0a 64 6f 5f 74 65 73 74 20 75 6e 69 71 75 65  #.do_test unique
0320: 2d 31 2e 31 20 7b 0a 20 20 63 61 74 63 68 73 71  -1.1 {.  catchsq
0330: 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20 54  l {.    CREATE T
0340: 41 42 4c 45 20 74 31 28 0a 20 20 20 20 20 20 20  ABLE t1(.       
0350: 61 20 69 6e 74 20 50 52 49 4d 41 52 59 20 4b 45  a int PRIMARY KE
0360: 59 2c 0a 20 20 20 20 20 20 20 62 20 69 6e 74 20  Y,.       b int 
0370: 50 52 49 4d 41 52 59 20 4b 45 59 2c 0a 20 20 20  PRIMARY KEY,.   
0380: 20 20 20 20 63 20 74 65 78 74 0a 20 20 20 20 29      c text.    )
0390: 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 74 61 62 6c  ;.  }.} {1 {tabl
03a0: 65 20 22 74 31 22 20 68 61 73 20 6d 6f 72 65 20  e "t1" has more 
03b0: 74 68 61 6e 20 6f 6e 65 20 70 72 69 6d 61 72 79  than one primary
03c0: 20 6b 65 79 7d 7d 0a 64 6f 5f 74 65 73 74 20 75   key}}.do_test u
03d0: 6e 69 71 75 65 2d 31 2e 31 62 20 7b 0a 20 20 63  nique-1.1b {.  c
03e0: 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 43 52  atchsql {.    CR
03f0: 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 0a 20  EATE TABLE t1(. 
0400: 20 20 20 20 20 20 61 20 69 6e 74 20 50 52 49 4d        a int PRIM
0410: 41 52 59 20 4b 45 59 2c 0a 20 20 20 20 20 20 20  ARY KEY,.       
0420: 62 20 69 6e 74 20 55 4e 49 51 55 45 2c 0a 20 20  b int UNIQUE,.  
0430: 20 20 20 20 20 63 20 74 65 78 74 0a 20 20 20 20       c text.    
0440: 29 3b 0a 20 20 7d 0a 7d 20 7b 30 20 7b 7d 7d 0a  );.  }.} {0 {}}.
0450: 64 6f 5f 74 65 73 74 20 75 6e 69 71 75 65 2d 31  do_test unique-1
0460: 2e 32 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20  .2 {.  catchsql 
0470: 7b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  {.    INSERT INT
0480: 4f 20 74 31 28 61 2c 62 2c 63 29 20 56 41 4c 55  O t1(a,b,c) VALU
0490: 45 53 28 31 2c 32 2c 33 29 0a 20 20 7d 0a 7d 20  ES(1,2,3).  }.} 
04a0: 7b 30 20 7b 7d 7d 0a 64 6f 5f 74 65 73 74 20 75  {0 {}}.do_test u
04b0: 6e 69 71 75 65 2d 31 2e 33 20 7b 0a 20 20 63 61  nique-1.3 {.  ca
04c0: 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 49 4e 53  tchsql {.    INS
04d0: 45 52 54 20 49 4e 54 4f 20 74 31 28 61 2c 62 2c  ERT INTO t1(a,b,
04e0: 63 29 20 56 41 4c 55 45 53 28 31 2c 33 2c 34 29  c) VALUES(1,3,4)
04f0: 0a 20 20 7d 0a 7d 20 7b 31 20 7b 63 6f 6c 75 6d  .  }.} {1 {colum
0500: 6e 20 61 20 69 73 20 6e 6f 74 20 75 6e 69 71 75  n a is not uniqu
0510: 65 7d 7d 0a 64 6f 5f 74 65 73 74 20 75 6e 69 71  e}}.do_test uniq
0520: 75 65 2d 31 2e 34 20 7b 0a 20 20 65 78 65 63 73  ue-1.4 {.  execs
0530: 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20  ql {.    SELECT 
0540: 2a 20 46 52 4f 4d 20 74 31 20 4f 52 44 45 52 20  * FROM t1 ORDER 
0550: 42 59 20 61 3b 0a 20 20 7d 0a 7d 20 7b 31 20 32  BY a;.  }.} {1 2
0560: 20 33 7d 0a 64 6f 5f 74 65 73 74 20 75 6e 69 71   3}.do_test uniq
0570: 75 65 2d 31 2e 35 20 7b 0a 20 20 63 61 74 63 68  ue-1.5 {.  catch
0580: 73 71 6c 20 7b 0a 20 20 20 20 49 4e 53 45 52 54  sql {.    INSERT
0590: 20 49 4e 54 4f 20 74 31 28 61 2c 62 2c 63 29 20   INTO t1(a,b,c) 
05a0: 56 41 4c 55 45 53 28 33 2c 32 2c 34 29 0a 20 20  VALUES(3,2,4).  
05b0: 7d 0a 7d 20 7b 31 20 7b 63 6f 6c 75 6d 6e 20 62  }.} {1 {column b
05c0: 20 69 73 20 6e 6f 74 20 75 6e 69 71 75 65 7d 7d   is not unique}}
05d0: 0a 64 6f 5f 74 65 73 74 20 75 6e 69 71 75 65 2d  .do_test unique-
05e0: 31 2e 36 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  1.6 {.  execsql 
05f0: 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46  {.    SELECT * F
0600: 52 4f 4d 20 74 31 20 4f 52 44 45 52 20 42 59 20  ROM t1 ORDER BY 
0610: 61 3b 0a 20 20 7d 0a 7d 20 7b 31 20 32 20 33 7d  a;.  }.} {1 2 3}
0620: 0a 64 6f 5f 74 65 73 74 20 75 6e 69 71 75 65 2d  .do_test unique-
0630: 31 2e 37 20 7b 0a 20 20 63 61 74 63 68 73 71 6c  1.7 {.  catchsql
0640: 20 7b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e   {.    INSERT IN
0650: 54 4f 20 74 31 28 61 2c 62 2c 63 29 20 56 41 4c  TO t1(a,b,c) VAL
0660: 55 45 53 28 33 2c 34 2c 35 29 0a 20 20 7d 0a 7d  UES(3,4,5).  }.}
0670: 20 7b 30 20 7b 7d 7d 0a 64 6f 5f 74 65 73 74 20   {0 {}}.do_test 
0680: 75 6e 69 71 75 65 2d 31 2e 38 20 7b 0a 20 20 65  unique-1.8 {.  e
0690: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c  xecsql {.    SEL
06a0: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 4f 52  ECT * FROM t1 OR
06b0: 44 45 52 20 42 59 20 61 3b 0a 20 20 7d 0a 7d 20  DER BY a;.  }.} 
06c0: 7b 31 20 32 20 33 20 33 20 34 20 35 7d 0a 69 6e  {1 2 3 3 4 5}.in
06d0: 74 65 67 72 69 74 79 5f 63 68 65 63 6b 20 75 6e  tegrity_check un
06e0: 69 71 75 65 2d 31 2e 39 0a 0a 64 6f 5f 74 65 73  ique-1.9..do_tes
06f0: 74 20 75 6e 69 71 75 65 2d 32 2e 30 20 7b 0a 20  t unique-2.0 {. 
0700: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 44   execsql {.    D
0710: 52 4f 50 20 54 41 42 4c 45 20 74 31 3b 0a 20 20  ROP TABLE t1;.  
0720: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74    CREATE TABLE t
0730: 32 28 61 20 69 6e 74 2c 20 62 20 69 6e 74 29 3b  2(a int, b int);
0740: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
0750: 20 74 32 28 61 2c 62 29 20 56 41 4c 55 45 53 28   t2(a,b) VALUES(
0760: 31 2c 32 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  1,2);.    INSERT
0770: 20 49 4e 54 4f 20 74 32 28 61 2c 62 29 20 56 41   INTO t2(a,b) VA
0780: 4c 55 45 53 28 33 2c 34 29 3b 0a 20 20 20 20 53  LUES(3,4);.    S
0790: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 20  ELECT * FROM t2 
07a0: 4f 52 44 45 52 20 42 59 20 61 3b 0a 20 20 7d 0a  ORDER BY a;.  }.
07b0: 7d 20 7b 31 20 32 20 33 20 34 7d 0a 64 6f 5f 74  } {1 2 3 4}.do_t
07c0: 65 73 74 20 75 6e 69 71 75 65 2d 32 2e 31 20 7b  est unique-2.1 {
07d0: 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20  .  catchsql {.  
07e0: 20 20 43 52 45 41 54 45 20 55 4e 49 51 55 45 20    CREATE UNIQUE 
07f0: 49 4e 44 45 58 20 69 32 20 4f 4e 20 74 32 28 61  INDEX i2 ON t2(a
0800: 29 0a 20 20 7d 0a 7d 20 7b 30 20 7b 7d 7d 0a 64  ).  }.} {0 {}}.d
0810: 6f 5f 74 65 73 74 20 75 6e 69 71 75 65 2d 32 2e  o_test unique-2.
0820: 32 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b  2 {.  catchsql {
0830: 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52  .    SELECT * FR
0840: 4f 4d 20 74 32 20 4f 52 44 45 52 20 42 59 20 61  OM t2 ORDER BY a
0850: 0a 20 20 7d 0a 7d 20 7b 30 20 7b 31 20 32 20 33  .  }.} {0 {1 2 3
0860: 20 34 7d 7d 0a 64 6f 5f 74 65 73 74 20 75 6e 69   4}}.do_test uni
0870: 71 75 65 2d 32 2e 33 20 7b 0a 20 20 63 61 74 63  que-2.3 {.  catc
0880: 68 73 71 6c 20 7b 0a 20 20 20 20 49 4e 53 45 52  hsql {.    INSER
0890: 54 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 53  T INTO t2 VALUES
08a0: 28 31 2c 35 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20  (1,5);.  }.} {1 
08b0: 7b 63 6f 6c 75 6d 6e 20 61 20 69 73 20 6e 6f 74  {column a is not
08c0: 20 75 6e 69 71 75 65 7d 7d 0a 64 6f 5f 74 65 73   unique}}.do_tes
08d0: 74 20 75 6e 69 71 75 65 2d 32 2e 34 20 7b 0a 20  t unique-2.4 {. 
08e0: 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20   catchsql {.    
08f0: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32  SELECT * FROM t2
0900: 20 4f 52 44 45 52 20 42 59 20 61 0a 20 20 7d 0a   ORDER BY a.  }.
0910: 7d 20 7b 30 20 7b 31 20 32 20 33 20 34 7d 7d 0a  } {0 {1 2 3 4}}.
0920: 64 6f 5f 74 65 73 74 20 75 6e 69 71 75 65 2d 32  do_test unique-2
0930: 2e 35 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20  .5 {.  catchsql 
0940: 7b 0a 20 20 20 20 44 52 4f 50 20 49 4e 44 45 58  {.    DROP INDEX
0950: 20 69 32 3b 0a 20 20 20 20 53 45 4c 45 43 54 20   i2;.    SELECT 
0960: 2a 20 46 52 4f 4d 20 74 32 20 4f 52 44 45 52 20  * FROM t2 ORDER 
0970: 42 59 20 61 3b 0a 20 20 7d 0a 7d 20 7b 30 20 7b  BY a;.  }.} {0 {
0980: 31 20 32 20 33 20 34 7d 7d 0a 64 6f 5f 74 65 73  1 2 3 4}}.do_tes
0990: 74 20 75 6e 69 71 75 65 2d 32 2e 36 20 7b 0a 20  t unique-2.6 {. 
09a0: 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20   catchsql {.    
09b0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 56  INSERT INTO t2 V
09c0: 41 4c 55 45 53 28 31 2c 35 29 0a 20 20 7d 0a 7d  ALUES(1,5).  }.}
09d0: 20 7b 30 20 7b 7d 7d 0a 64 6f 5f 74 65 73 74 20   {0 {}}.do_test 
09e0: 75 6e 69 71 75 65 2d 32 2e 37 20 7b 0a 20 20 63  unique-2.7 {.  c
09f0: 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 53 45  atchsql {.    SE
0a00: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 20 4f  LECT * FROM t2 O
0a10: 52 44 45 52 20 42 59 20 61 2c 20 62 3b 0a 20 20  RDER BY a, b;.  
0a20: 7d 0a 7d 20 7b 30 20 7b 31 20 32 20 31 20 35 20  }.} {0 {1 2 1 5 
0a30: 33 20 34 7d 7d 0a 64 6f 5f 74 65 73 74 20 75 6e  3 4}}.do_test un
0a40: 69 71 75 65 2d 32 2e 38 20 7b 0a 20 20 63 61 74  ique-2.8 {.  cat
0a50: 63 68 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41  chsql {.    CREA
0a60: 54 45 20 55 4e 49 51 55 45 20 49 4e 44 45 58 20  TE UNIQUE INDEX 
0a70: 69 32 20 4f 4e 20 74 32 28 61 29 3b 0a 20 20 7d  i2 ON t2(a);.  }
0a80: 0a 7d 20 7b 31 20 7b 69 6e 64 65 78 65 64 20 63  .} {1 {indexed c
0a90: 6f 6c 75 6d 6e 73 20 61 72 65 20 6e 6f 74 20 75  olumns are not u
0aa0: 6e 69 71 75 65 7d 7d 0a 64 6f 5f 74 65 73 74 20  nique}}.do_test 
0ab0: 75 6e 69 71 75 65 2d 32 2e 39 20 7b 0a 20 20 63  unique-2.9 {.  c
0ac0: 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 43 52  atchsql {.    CR
0ad0: 45 41 54 45 20 49 4e 44 45 58 20 69 32 20 4f 4e  EATE INDEX i2 ON
0ae0: 20 74 32 28 61 29 3b 0a 20 20 7d 0a 7d 20 7b 30   t2(a);.  }.} {0
0af0: 20 7b 7d 7d 0a 69 6e 74 65 67 72 69 74 79 5f 63   {}}.integrity_c
0b00: 68 65 63 6b 20 75 6e 69 71 75 65 2d 32 2e 31 30  heck unique-2.10
0b10: 0a 0a 23 20 54 65 73 74 20 74 68 65 20 55 4e 49  ..# Test the UNI
0b20: 51 55 45 20 6b 65 79 77 6f 72 64 20 61 73 20 75  QUE keyword as u
0b30: 73 65 64 20 6f 6e 20 74 77 6f 20 6f 72 20 6d 6f  sed on two or mo
0b40: 72 65 20 66 69 65 6c 64 73 2e 0a 23 0a 64 6f 5f  re fields..#.do_
0b50: 74 65 73 74 20 75 6e 69 71 75 65 2d 33 2e 31 20  test unique-3.1 
0b60: 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20  {.  catchsql {. 
0b70: 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20     CREATE TABLE 
0b80: 74 33 28 0a 20 20 20 20 20 20 20 61 20 69 6e 74  t3(.       a int
0b90: 2c 0a 20 20 20 20 20 20 20 62 20 69 6e 74 2c 0a  ,.       b int,.
0ba0: 20 20 20 20 20 20 20 63 20 69 6e 74 2c 0a 20 20         c int,.  
0bb0: 20 20 20 20 20 64 20 69 6e 74 2c 0a 20 20 20 20       d int,.    
0bc0: 20 20 20 75 6e 69 71 75 65 28 61 2c 63 2c 64 29     unique(a,c,d)
0bd0: 0a 20 20 20 20 20 29 3b 0a 20 20 7d 0a 7d 20 7b  .     );.  }.} {
0be0: 30 20 7b 7d 7d 0a 64 6f 5f 74 65 73 74 20 75 6e  0 {}}.do_test un
0bf0: 69 71 75 65 2d 33 2e 32 20 7b 0a 20 20 63 61 74  ique-3.2 {.  cat
0c00: 63 68 73 71 6c 20 7b 0a 20 20 20 20 49 4e 53 45  chsql {.    INSE
0c10: 52 54 20 49 4e 54 4f 20 74 33 28 61 2c 62 2c 63  RT INTO t3(a,b,c
0c20: 2c 64 29 20 56 41 4c 55 45 53 28 31 2c 32 2c 33  ,d) VALUES(1,2,3
0c30: 2c 34 29 3b 0a 20 20 20 20 53 45 4c 45 43 54 20  ,4);.    SELECT 
0c40: 2a 20 46 52 4f 4d 20 74 33 20 4f 52 44 45 52 20  * FROM t3 ORDER 
0c50: 42 59 20 61 2c 62 2c 63 2c 64 3b 0a 20 20 7d 0a  BY a,b,c,d;.  }.
0c60: 7d 20 7b 30 20 7b 31 20 32 20 33 20 34 7d 7d 0a  } {0 {1 2 3 4}}.
0c70: 64 6f 5f 74 65 73 74 20 75 6e 69 71 75 65 2d 33  do_test unique-3
0c80: 2e 33 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20  .3 {.  catchsql 
0c90: 7b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  {.    INSERT INT
0ca0: 4f 20 74 33 28 61 2c 62 2c 63 2c 64 29 20 56 41  O t3(a,b,c,d) VA
0cb0: 4c 55 45 53 28 31 2c 32 2c 33 2c 35 29 3b 0a 20  LUES(1,2,3,5);. 
0cc0: 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d     SELECT * FROM
0cd0: 20 74 33 20 4f 52 44 45 52 20 42 59 20 61 2c 62   t3 ORDER BY a,b
0ce0: 2c 63 2c 64 3b 0a 20 20 7d 0a 7d 20 7b 30 20 7b  ,c,d;.  }.} {0 {
0cf0: 31 20 32 20 33 20 34 20 31 20 32 20 33 20 35 7d  1 2 3 4 1 2 3 5}
0d00: 7d 0a 64 6f 5f 74 65 73 74 20 75 6e 69 71 75 65  }.do_test unique
0d10: 2d 33 2e 34 20 7b 0a 20 20 63 61 74 63 68 73 71  -3.4 {.  catchsq
0d20: 6c 20 7b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  l {.    INSERT I
0d30: 4e 54 4f 20 74 33 28 61 2c 62 2c 63 2c 64 29 20  NTO t3(a,b,c,d) 
0d40: 56 41 4c 55 45 53 28 31 2c 34 2c 33 2c 35 29 3b  VALUES(1,4,3,5);
0d50: 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52  .    SELECT * FR
0d60: 4f 4d 20 74 33 20 4f 52 44 45 52 20 42 59 20 61  OM t3 ORDER BY a
0d70: 2c 62 2c 63 2c 64 3b 0a 20 20 7d 0a 7d 20 7b 31  ,b,c,d;.  }.} {1
0d80: 20 7b 63 6f 6c 75 6d 6e 73 20 61 2c 20 63 2c 20   {columns a, c, 
0d90: 64 20 61 72 65 20 6e 6f 74 20 75 6e 69 71 75 65  d are not unique
0da0: 7d 7d 0a 69 6e 74 65 67 72 69 74 79 5f 63 68 65  }}.integrity_che
0db0: 63 6b 20 75 6e 69 71 75 65 2d 33 2e 35 0a 0a 23  ck unique-3.5..#
0dc0: 20 4d 61 6b 65 20 73 75 72 65 20 4e 55 4c 4c 73   Make sure NULLs
0dd0: 20 61 72 65 20 64 69 73 74 69 6e 63 74 20 61 73   are distinct as
0de0: 20 66 61 72 20 61 73 20 74 68 65 20 55 4e 49 51   far as the UNIQ
0df0: 55 45 20 74 65 73 74 73 20 61 72 65 0a 23 20 63  UE tests are.# c
0e00: 6f 6e 63 65 72 6e 65 64 2e 0a 23 0a 64 6f 5f 74  oncerned..#.do_t
0e10: 65 73 74 20 75 6e 69 71 75 65 2d 34 2e 31 20 7b  est unique-4.1 {
0e20: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
0e30: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 34   CREATE TABLE t4
0e40: 28 61 20 55 4e 49 51 55 45 2c 20 62 2c 20 63 2c  (a UNIQUE, b, c,
0e50: 20 55 4e 49 51 55 45 28 62 2c 63 29 29 3b 0a 20   UNIQUE(b,c));. 
0e60: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
0e70: 34 20 56 41 4c 55 45 53 28 31 2c 32 2c 33 29 3b  4 VALUES(1,2,3);
0e80: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
0e90: 20 74 34 20 56 41 4c 55 45 53 28 4e 55 4c 4c 2c   t4 VALUES(NULL,
0ea0: 20 32 2c 20 4e 55 4c 4c 29 3b 0a 20 20 20 20 53   2, NULL);.    S
0eb0: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 34 3b  ELECT * FROM t4;
0ec0: 0a 20 20 7d 0a 7d 20 7b 31 20 32 20 33 20 7b 7d  .  }.} {1 2 3 {}
0ed0: 20 32 20 7b 7d 7d 0a 64 6f 5f 74 65 73 74 20 75   2 {}}.do_test u
0ee0: 6e 69 71 75 65 2d 34 2e 32 20 7b 0a 20 20 63 61  nique-4.2 {.  ca
0ef0: 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 49 4e 53  tchsql {.    INS
0f00: 45 52 54 20 49 4e 54 4f 20 74 34 20 56 41 4c 55  ERT INTO t4 VALU
0f10: 45 53 28 4e 55 4c 4c 2c 20 33 2c 20 34 29 3b 0a  ES(NULL, 3, 4);.
0f20: 20 20 7d 0a 7d 20 7b 30 20 7b 7d 7d 0a 64 6f 5f    }.} {0 {}}.do_
0f30: 74 65 73 74 20 75 6e 69 71 75 65 2d 34 2e 33 20  test unique-4.3 
0f40: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  {.  execsql {.  
0f50: 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20    SELECT * FROM 
0f60: 74 34 0a 20 20 7d 0a 7d 20 7b 31 20 32 20 33 20  t4.  }.} {1 2 3 
0f70: 7b 7d 20 32 20 7b 7d 20 7b 7d 20 33 20 34 7d 0a  {} 2 {} {} 3 4}.
0f80: 64 6f 5f 74 65 73 74 20 75 6e 69 71 75 65 2d 34  do_test unique-4
0f90: 2e 34 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20  .4 {.  catchsql 
0fa0: 7b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  {.    INSERT INT
0fb0: 4f 20 74 34 20 56 41 4c 55 45 53 28 32 2c 20 32  O t4 VALUES(2, 2
0fc0: 2c 20 4e 55 4c 4c 29 3b 0a 20 20 7d 0a 7d 20 7b  , NULL);.  }.} {
0fd0: 30 20 7b 7d 7d 0a 64 6f 5f 74 65 73 74 20 75 6e  0 {}}.do_test un
0fe0: 69 71 75 65 2d 34 2e 35 20 7b 0a 20 20 65 78 65  ique-4.5 {.  exe
0ff0: 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43  csql {.    SELEC
1000: 54 20 2a 20 46 52 4f 4d 20 74 34 0a 20 20 7d 0a  T * FROM t4.  }.
1010: 7d 20 7b 31 20 32 20 33 20 7b 7d 20 32 20 7b 7d  } {1 2 3 {} 2 {}
1020: 20 7b 7d 20 33 20 34 20 32 20 32 20 7b 7d 7d 0a   {} 3 4 2 2 {}}.
1030: 0a 23 20 54 69 63 6b 65 74 20 23 31 33 30 31 2e  .# Ticket #1301.
1040: 20 20 41 6e 79 20 4e 55 4c 4c 20 76 61 6c 75 65    Any NULL value
1050: 20 69 6e 20 61 20 73 65 74 20 6f 66 20 75 6e 69   in a set of uni
1060: 71 75 65 20 63 6f 6c 75 6d 6e 73 20 73 68 6f 75  que columns shou
1070: 6c 64 0a 23 20 63 61 75 73 65 20 74 68 65 20 72  ld.# cause the r
1080: 6f 77 73 20 74 6f 20 62 65 20 64 69 73 74 69 6e  ows to be distin
1090: 63 74 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 75 6e  ct..#.do_test un
10a0: 69 71 75 65 2d 34 2e 36 20 7b 0a 20 20 63 61 74  ique-4.6 {.  cat
10b0: 63 68 73 71 6c 20 7b 0a 20 20 20 20 49 4e 53 45  chsql {.    INSE
10c0: 52 54 20 49 4e 54 4f 20 74 34 20 56 41 4c 55 45  RT INTO t4 VALUE
10d0: 53 28 4e 55 4c 4c 2c 20 32 2c 20 4e 55 4c 4c 29  S(NULL, 2, NULL)
10e0: 3b 0a 20 20 7d 0a 7d 20 7b 30 20 7b 7d 7d 0a 64  ;.  }.} {0 {}}.d
10f0: 6f 5f 74 65 73 74 20 75 6e 69 71 75 65 2d 34 2e  o_test unique-4.
1100: 37 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 53  7 {.  execsql {S
1110: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 34 7d  ELECT * FROM t4}
1120: 0a 7d 20 7b 31 20 32 20 33 20 7b 7d 20 32 20 7b  .} {1 2 3 {} 2 {
1130: 7d 20 7b 7d 20 33 20 34 20 32 20 32 20 7b 7d 20  } {} 3 4 2 2 {} 
1140: 7b 7d 20 32 20 7b 7d 7d 0a 64 6f 5f 74 65 73 74  {} 2 {}}.do_test
1150: 20 75 6e 69 71 75 65 2d 34 2e 38 20 7b 0a 20 20   unique-4.8 {.  
1160: 63 61 74 63 68 73 71 6c 20 7b 43 52 45 41 54 45  catchsql {CREATE
1170: 20 55 4e 49 51 55 45 20 49 4e 44 45 58 20 69 34   UNIQUE INDEX i4
1180: 61 20 4f 4e 20 74 34 28 61 2c 62 29 7d 0a 7d 20  a ON t4(a,b)}.} 
1190: 7b 30 20 7b 7d 7d 0a 64 6f 5f 74 65 73 74 20 75  {0 {}}.do_test u
11a0: 6e 69 71 75 65 2d 34 2e 39 20 7b 0a 20 20 63 61  nique-4.9 {.  ca
11b0: 74 63 68 73 71 6c 20 7b 43 52 45 41 54 45 20 55  tchsql {CREATE U
11c0: 4e 49 51 55 45 20 49 4e 44 45 58 20 69 34 62 20  NIQUE INDEX i4b 
11d0: 4f 4e 20 74 34 28 61 2c 62 2c 63 29 7d 0a 7d 20  ON t4(a,b,c)}.} 
11e0: 7b 30 20 7b 7d 7d 0a 64 6f 5f 74 65 73 74 20 75  {0 {}}.do_test u
11f0: 6e 69 71 75 65 2d 34 2e 31 30 20 7b 0a 20 20 63  nique-4.10 {.  c
1200: 61 74 63 68 73 71 6c 20 7b 43 52 45 41 54 45 20  atchsql {CREATE 
1210: 55 4e 49 51 55 45 20 49 4e 44 45 58 20 69 34 63  UNIQUE INDEX i4c
1220: 20 4f 4e 20 74 34 28 62 29 7d 0a 7d 20 7b 31 20   ON t4(b)}.} {1 
1230: 7b 69 6e 64 65 78 65 64 20 63 6f 6c 75 6d 6e 73  {indexed columns
1240: 20 61 72 65 20 6e 6f 74 20 75 6e 69 71 75 65 7d   are not unique}
1250: 7d 0a 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63  }.integrity_chec
1260: 6b 20 75 6e 69 71 75 65 2d 34 2e 39 39 0a 0a 23  k unique-4.99..#
1270: 20 54 65 73 74 20 74 68 65 20 65 72 72 6f 72 20   Test the error 
1280: 6d 65 73 73 61 67 65 20 67 65 6e 65 72 61 74 69  message generati
1290: 6f 6e 20 6c 6f 67 69 63 2e 20 20 49 6e 20 70 61  on logic.  In pa
12a0: 72 74 69 63 75 6c 61 72 2c 20 6d 61 6b 65 20 73  rticular, make s
12b0: 75 72 65 20 77 65 0a 23 20 64 6f 20 6e 6f 74 20  ure we.# do not 
12c0: 6f 76 65 72 66 6c 6f 77 20 74 68 65 20 73 74 61  overflow the sta
12d0: 74 69 63 20 62 75 66 66 65 72 20 75 73 65 64 20  tic buffer used 
12e0: 74 6f 20 67 65 6e 65 72 61 74 65 20 74 68 65 20  to generate the 
12f0: 65 72 72 6f 72 20 6d 65 73 73 61 67 65 2e 0a 23  error message..#
1300: 0a 64 6f 5f 74 65 73 74 20 75 6e 69 71 75 65 2d  .do_test unique-
1310: 35 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  5.1 {.  execsql 
1320: 7b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42  {.    CREATE TAB
1330: 4c 45 20 74 35 28 0a 20 20 20 20 20 20 66 69 72  LE t5(.      fir
1340: 73 74 5f 63 6f 6c 75 6d 6e 5f 77 69 74 68 5f 6c  st_column_with_l
1350: 6f 6e 67 5f 6e 61 6d 65 2c 0a 20 20 20 20 20 20  ong_name,.      
1360: 73 65 63 6f 6e 64 5f 63 6f 6c 75 6d 6e 5f 77 69  second_column_wi
1370: 74 68 5f 6c 6f 6e 67 5f 6e 61 6d 65 2c 0a 20 20  th_long_name,.  
1380: 20 20 20 20 74 68 69 72 64 5f 63 6f 6c 75 6d 6e      third_column
1390: 5f 77 69 74 68 5f 6c 6f 6e 67 5f 6e 61 6d 65 2c  _with_long_name,
13a0: 0a 20 20 20 20 20 20 66 6f 75 72 74 68 5f 63 6f  .      fourth_co
13b0: 6c 75 6d 6e 5f 77 69 74 68 5f 6c 6f 6e 67 5f 6e  lumn_with_long_n
13c0: 61 6d 65 2c 0a 20 20 20 20 20 20 66 69 66 74 68  ame,.      fifth
13d0: 5f 63 6f 6c 75 6d 6e 5f 77 69 74 68 5f 6c 6f 6e  _column_with_lon
13e0: 67 5f 6e 61 6d 65 2c 0a 20 20 20 20 20 20 73 69  g_name,.      si
13f0: 78 74 68 5f 63 6f 6c 75 6d 6e 5f 77 69 74 68 5f  xth_column_with_
1400: 6c 6f 6e 67 5f 6e 61 6d 65 2c 0a 20 20 20 20 20  long_name,.     
1410: 20 55 4e 49 51 55 45 28 0a 20 20 20 20 20 20 20   UNIQUE(.       
1420: 20 66 69 72 73 74 5f 63 6f 6c 75 6d 6e 5f 77 69   first_column_wi
1430: 74 68 5f 6c 6f 6e 67 5f 6e 61 6d 65 2c 0a 20 20  th_long_name,.  
1440: 20 20 20 20 20 20 73 65 63 6f 6e 64 5f 63 6f 6c        second_col
1450: 75 6d 6e 5f 77 69 74 68 5f 6c 6f 6e 67 5f 6e 61  umn_with_long_na
1460: 6d 65 2c 0a 20 20 20 20 20 20 20 20 74 68 69 72  me,.        thir
1470: 64 5f 63 6f 6c 75 6d 6e 5f 77 69 74 68 5f 6c 6f  d_column_with_lo
1480: 6e 67 5f 6e 61 6d 65 2c 0a 20 20 20 20 20 20 20  ng_name,.       
1490: 20 66 6f 75 72 74 68 5f 63 6f 6c 75 6d 6e 5f 77   fourth_column_w
14a0: 69 74 68 5f 6c 6f 6e 67 5f 6e 61 6d 65 2c 0a 20  ith_long_name,. 
14b0: 20 20 20 20 20 20 20 66 69 66 74 68 5f 63 6f 6c         fifth_col
14c0: 75 6d 6e 5f 77 69 74 68 5f 6c 6f 6e 67 5f 6e 61  umn_with_long_na
14d0: 6d 65 2c 0a 20 20 20 20 20 20 20 20 73 69 78 74  me,.        sixt
14e0: 68 5f 63 6f 6c 75 6d 6e 5f 77 69 74 68 5f 6c 6f  h_column_with_lo
14f0: 6e 67 5f 6e 61 6d 65 0a 20 20 20 20 20 20 29 0a  ng_name.      ).
1500: 20 20 20 20 29 3b 0a 20 20 20 20 49 4e 53 45 52      );.    INSER
1510: 54 20 49 4e 54 4f 20 74 35 20 56 41 4c 55 45 53  T INTO t5 VALUES
1520: 28 31 2c 32 2c 33 2c 34 2c 35 2c 36 29 3b 0a 20  (1,2,3,4,5,6);. 
1530: 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d     SELECT * FROM
1540: 20 74 35 3b 0a 20 20 7d 0a 7d 20 7b 31 20 32 20   t5;.  }.} {1 2 
1550: 33 20 34 20 35 20 36 7d 0a 64 6f 5f 74 65 73 74  3 4 5 6}.do_test
1560: 20 75 6e 69 71 75 65 2d 35 2e 32 20 7b 0a 20 20   unique-5.2 {.  
1570: 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 49  catchsql {.    I
1580: 4e 53 45 52 54 20 49 4e 54 4f 20 74 35 20 56 41  NSERT INTO t5 VA
1590: 4c 55 45 53 28 31 2c 32 2c 33 2c 34 2c 35 2c 36  LUES(1,2,3,4,5,6
15a0: 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 63 6f 6c  );.  }.} {1 {col
15b0: 75 6d 6e 73 20 66 69 72 73 74 5f 63 6f 6c 75 6d  umns first_colum
15c0: 6e 5f 77 69 74 68 5f 6c 6f 6e 67 5f 6e 61 6d 65  n_with_long_name
15d0: 2c 20 73 65 63 6f 6e 64 5f 63 6f 6c 75 6d 6e 5f  , second_column_
15e0: 77 69 74 68 5f 6c 6f 6e 67 5f 6e 61 6d 65 2c 20  with_long_name, 
15f0: 74 68 69 72 64 5f 63 6f 6c 75 6d 6e 5f 77 69 74  third_column_wit
1600: 68 5f 6c 6f 6e 67 5f 6e 61 6d 65 2c 20 66 6f 75  h_long_name, fou
1610: 72 74 68 5f 63 6f 6c 75 6d 6e 5f 77 69 74 68 5f  rth_column_with_
1620: 6c 6f 6e 67 5f 6e 61 6d 65 2c 20 66 69 66 74 68  long_name, fifth
1630: 5f 63 6f 6c 75 6d 6e 5f 77 69 74 68 5f 6c 6f 6e  _column_with_lon
1640: 67 5f 6e 61 6d 65 2c 20 73 69 78 74 68 5f 63 6f  g_name, sixth_co
1650: 6c 75 6d 6e 5f 77 69 74 68 5f 6c 6f 6e 67 5f 6e  lumn_with_long_n
1660: 61 6d 65 20 61 72 65 20 6e 6f 74 20 75 6e 69 71  ame are not uniq
1670: 75 65 7d 7d 0a 0a 66 69 6e 69 73 68 5f 74 65 73  ue}}..finish_tes
1680: 74 0a                                            t.