/ Hex Artifact Content
Login

Artifact d11dbb8a93ead9b5c46ae5d02da016d61245d47662fb2d844c99214f6163f768:


0000: 23 20 32 30 30 31 20 53 65 70 74 65 6d 62 65 72  # 2001 September
0010: 20 31 35 0a 23 0a 23 20 54 68 65 20 61 75 74 68   15.#.# 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 0a 23 0a 23 20 54 68 69 73 20 66  rary..#.# This f
01b0: 69 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73 20 74  ile implements t
01c0: 65 73 74 73 20 66 6f 72 20 66 6f 72 65 69 67 6e  ests for foreign
01d0: 20 6b 65 79 73 2e 0a 23 0a 0a 73 65 74 20 74 65   keys..#..set te
01e0: 73 74 64 69 72 20 5b 66 69 6c 65 20 64 69 72 6e  stdir [file dirn
01f0: 61 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f 75 72  ame $argv0].sour
0200: 63 65 20 24 74 65 73 74 64 69 72 2f 74 65 73 74  ce $testdir/test
0210: 65 72 2e 74 63 6c 0a 73 65 74 20 74 65 73 74 70  er.tcl.set testp
0220: 72 65 66 69 78 20 66 6b 65 79 31 0a 0a 69 66 63  refix fkey1..ifc
0230: 61 70 61 62 6c 65 20 7b 21 66 6f 72 65 69 67 6e  apable {!foreign
0240: 6b 65 79 7d 20 7b 0a 20 20 66 69 6e 69 73 68 5f  key} {.  finish_
0250: 74 65 73 74 0a 20 20 72 65 74 75 72 6e 0a 7d 0a  test.  return.}.
0260: 0a 23 20 43 72 65 61 74 65 20 61 20 74 61 62 6c  .# Create a tabl
0270: 65 20 61 6e 64 20 73 6f 6d 65 20 64 61 74 61 20  e and some data 
0280: 74 6f 20 77 6f 72 6b 20 77 69 74 68 2e 0a 23 0a  to work with..#.
0290: 64 6f 5f 74 65 73 74 20 66 6b 65 79 31 2d 31 2e  do_test fkey1-1.
02a0: 30 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  0 {.  execsql {.
02b0: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45      CREATE TABLE
02c0: 20 74 31 28 0a 20 20 20 20 20 20 61 20 49 4e 54   t1(.      a INT
02d0: 45 47 45 52 20 50 52 49 4d 41 52 59 20 4b 45 59  EGER PRIMARY KEY
02e0: 2c 0a 20 20 20 20 20 20 62 20 49 4e 54 45 47 45  ,.      b INTEGE
02f0: 52 0a 20 20 20 20 20 20 20 20 20 20 20 52 45 46  R.           REF
0300: 45 52 45 4e 43 45 53 20 74 31 20 4f 4e 20 44 45  ERENCES t1 ON DE
0310: 4c 45 54 45 20 43 41 53 43 41 44 45 0a 20 20 20  LETE CASCADE.   
0320: 20 20 20 20 20 20 20 20 52 45 46 45 52 45 4e 43          REFERENC
0330: 45 53 20 74 32 2c 0a 20 20 20 20 20 20 63 20 54  ES t2,.      c T
0340: 45 58 54 2c 0a 20 20 20 20 20 20 46 4f 52 45 49  EXT,.      FOREI
0350: 47 4e 20 4b 45 59 20 28 62 2c 63 29 20 52 45 46  GN KEY (b,c) REF
0360: 45 52 45 4e 43 45 53 20 74 32 28 78 2c 79 29 20  ERENCES t2(x,y) 
0370: 4f 4e 20 55 50 44 41 54 45 20 43 41 53 43 41 44  ON UPDATE CASCAD
0380: 45 0a 20 20 20 20 29 3b 0a 20 20 7d 0a 7d 20 7b  E.    );.  }.} {
0390: 7d 0a 64 6f 5f 74 65 73 74 20 66 6b 65 79 31 2d  }.do_test fkey1-
03a0: 31 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  1.1 {.  execsql 
03b0: 7b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42  {.    CREATE TAB
03c0: 4c 45 20 74 32 28 0a 20 20 20 20 20 20 78 20 49  LE t2(.      x I
03d0: 4e 54 45 47 45 52 20 50 52 49 4d 41 52 59 20 4b  NTEGER PRIMARY K
03e0: 45 59 2c 0a 20 20 20 20 20 20 79 20 54 45 58 54  EY,.      y TEXT
03f0: 0a 20 20 20 20 29 3b 0a 20 20 7d 0a 7d 20 7b 7d  .    );.  }.} {}
0400: 0a 64 6f 5f 74 65 73 74 20 66 6b 65 79 31 2d 31  .do_test fkey1-1
0410: 2e 32 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .2 {.  execsql {
0420: 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c  .    CREATE TABL
0430: 45 20 74 33 28 0a 20 20 20 20 20 20 61 20 49 4e  E t3(.      a IN
0440: 54 45 47 45 52 20 52 45 46 45 52 45 4e 43 45 53  TEGER REFERENCES
0450: 20 74 32 2c 0a 20 20 20 20 20 20 62 20 49 4e 54   t2,.      b INT
0460: 45 47 45 52 20 52 45 46 45 52 45 4e 43 45 53 20  EGER REFERENCES 
0470: 74 31 2c 0a 20 20 20 20 20 20 46 4f 52 45 49 47  t1,.      FOREIG
0480: 4e 20 4b 45 59 20 28 61 2c 62 29 20 52 45 46 45  N KEY (a,b) REFE
0490: 52 45 4e 43 45 53 20 74 32 28 78 2c 79 29 0a 20  RENCES t2(x,y). 
04a0: 20 20 20 29 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 0a     );.  }.} {}..
04b0: 64 6f 5f 74 65 73 74 20 66 6b 65 79 31 2d 32 2e  do_test fkey1-2.
04c0: 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  1 {.  execsql {.
04d0: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45      CREATE TABLE
04e0: 20 74 34 28 61 20 69 6e 74 65 67 65 72 20 70 72   t4(a integer pr
04f0: 69 6d 61 72 79 20 6b 65 79 29 3b 0a 20 20 20 20  imary key);.    
0500: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 35 28  CREATE TABLE t5(
0510: 78 20 72 65 66 65 72 65 6e 63 65 73 20 74 34 29  x references t4)
0520: 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42  ;.    CREATE TAB
0530: 4c 45 20 74 36 28 78 20 72 65 66 65 72 65 6e 63  LE t6(x referenc
0540: 65 73 20 74 34 29 3b 0a 20 20 20 20 43 52 45 41  es t4);.    CREA
0550: 54 45 20 54 41 42 4c 45 20 74 37 28 78 20 72 65  TE TABLE t7(x re
0560: 66 65 72 65 6e 63 65 73 20 74 34 29 3b 0a 20 20  ferences t4);.  
0570: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74    CREATE TABLE t
0580: 38 28 78 20 72 65 66 65 72 65 6e 63 65 73 20 74  8(x references t
0590: 34 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54  4);.    CREATE T
05a0: 41 42 4c 45 20 74 39 28 78 20 72 65 66 65 72 65  ABLE t9(x refere
05b0: 6e 63 65 73 20 74 34 29 3b 0a 20 20 20 20 43 52  nces t4);.    CR
05c0: 45 41 54 45 20 54 41 42 4c 45 20 74 31 30 28 78  EATE TABLE t10(x
05d0: 20 72 65 66 65 72 65 6e 63 65 73 20 74 34 29 3b   references t4);
05e0: 0a 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45 20  .    DROP TABLE 
05f0: 74 37 3b 0a 20 20 20 20 44 52 4f 50 20 54 41 42  t7;.    DROP TAB
0600: 4c 45 20 74 39 3b 0a 20 20 20 20 44 52 4f 50 20  LE t9;.    DROP 
0610: 54 41 42 4c 45 20 74 35 3b 0a 20 20 20 20 44 52  TABLE t5;.    DR
0620: 4f 50 20 54 41 42 4c 45 20 74 38 3b 0a 20 20 20  OP TABLE t8;.   
0630: 20 44 52 4f 50 20 54 41 42 4c 45 20 74 36 3b 0a   DROP TABLE t6;.
0640: 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45 20 74      DROP TABLE t
0650: 31 30 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 0a 64 6f  10;.  }.} {}..do
0660: 5f 74 65 73 74 20 66 6b 65 79 31 2d 33 2e 31 20  _test fkey1-3.1 
0670: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  {.  execsql {.  
0680: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74    CREATE TABLE t
0690: 35 28 61 20 50 52 49 4d 41 52 59 20 4b 45 59 2c  5(a PRIMARY KEY,
06a0: 20 62 2c 20 63 29 3b 0a 20 20 20 20 43 52 45 41   b, c);.    CREA
06b0: 54 45 20 54 41 42 4c 45 20 74 36 28 0a 20 20 20  TE TABLE t6(.   
06c0: 20 20 20 64 20 52 45 46 45 52 45 4e 43 45 53 20     d REFERENCES 
06d0: 74 35 2c 0a 20 20 20 20 20 20 65 20 52 45 46 45  t5,.      e REFE
06e0: 52 45 4e 43 45 53 20 74 35 28 63 29 0a 20 20 20  RENCES t5(c).   
06f0: 20 29 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 66   );.    PRAGMA f
0700: 6f 72 65 69 67 6e 5f 6b 65 79 5f 6c 69 73 74 28  oreign_key_list(
0710: 74 36 29 3b 0a 20 20 7d 0a 7d 20 5b 63 6f 6e 63  t6);.  }.} [conc
0720: 61 74 20 20 20 20 20 20 20 20 20 20 20 20 20 20  at              
0730: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0740: 20 20 20 20 20 20 20 20 20 20 20 5c 0a 20 20 7b             \.  {
0750: 30 20 30 20 74 35 20 65 20 63 20 7b 4e 4f 20 41  0 0 t5 e c {NO A
0760: 43 54 49 4f 4e 7d 20 7b 4e 4f 20 41 43 54 49 4f  CTION} {NO ACTIO
0770: 4e 7d 20 4e 4f 4e 45 7d 20 20 20 20 20 20 20 5c  N} NONE}       \
0780: 0a 20 20 7b 31 20 30 20 74 35 20 64 20 7b 7d 20  .  {1 0 t5 d {} 
0790: 7b 4e 4f 20 41 43 54 49 4f 4e 7d 20 7b 4e 4f 20  {NO ACTION} {NO 
07a0: 41 43 54 49 4f 4e 7d 20 4e 4f 4e 45 7d 20 20 20  ACTION} NONE}   
07b0: 20 20 20 5c 0a 5d 0a 64 6f 5f 74 65 73 74 20 66     \.].do_test f
07c0: 6b 65 79 31 2d 33 2e 32 20 7b 0a 20 20 65 78 65  key1-3.2 {.  exe
07d0: 63 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54  csql {.    CREAT
07e0: 45 20 54 41 42 4c 45 20 74 37 28 64 2c 20 65 2c  E TABLE t7(d, e,
07f0: 20 66 2c 0a 20 20 20 20 20 20 46 4f 52 45 49 47   f,.      FOREIG
0800: 4e 20 4b 45 59 20 28 64 2c 20 65 29 20 52 45 46  N KEY (d, e) REF
0810: 45 52 45 4e 43 45 53 20 74 35 28 61 2c 20 62 29  ERENCES t5(a, b)
0820: 0a 20 20 20 20 29 3b 0a 20 20 20 20 50 52 41 47  .    );.    PRAG
0830: 4d 41 20 66 6f 72 65 69 67 6e 5f 6b 65 79 5f 6c  MA foreign_key_l
0840: 69 73 74 28 74 37 29 3b 0a 20 20 7d 0a 7d 20 5b  ist(t7);.  }.} [
0850: 63 6f 6e 63 61 74 20 20 20 20 20 20 20 20 20 20  concat          
0860: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0870: 20 20 20 20 20 20 20 20 20 5c 0a 20 20 7b 30 20           \.  {0 
0880: 30 20 74 35 20 64 20 61 20 7b 4e 4f 20 41 43 54  0 t5 d a {NO ACT
0890: 49 4f 4e 7d 20 7b 4e 4f 20 41 43 54 49 4f 4e 7d  ION} {NO ACTION}
08a0: 20 4e 4f 4e 45 7d 20 5c 0a 20 20 7b 30 20 31 20   NONE} \.  {0 1 
08b0: 74 35 20 65 20 62 20 7b 4e 4f 20 41 43 54 49 4f  t5 e b {NO ACTIO
08c0: 4e 7d 20 7b 4e 4f 20 41 43 54 49 4f 4e 7d 20 4e  N} {NO ACTION} N
08d0: 4f 4e 45 7d 20 5c 0a 5d 0a 64 6f 5f 74 65 73 74  ONE} \.].do_test
08e0: 20 66 6b 65 79 31 2d 33 2e 33 20 7b 0a 20 20 65   fkey1-3.3 {.  e
08f0: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 43 52 45  xecsql {.    CRE
0900: 41 54 45 20 54 41 42 4c 45 20 74 38 28 64 2c 20  ATE TABLE t8(d, 
0910: 65 2c 20 66 2c 0a 20 20 20 20 20 20 46 4f 52 45  e, f,.      FORE
0920: 49 47 4e 20 4b 45 59 20 28 64 2c 20 65 29 20 52  IGN KEY (d, e) R
0930: 45 46 45 52 45 4e 43 45 53 20 74 35 20 4f 4e 20  EFERENCES t5 ON 
0940: 44 45 4c 45 54 45 20 43 41 53 43 41 44 45 20 4f  DELETE CASCADE O
0950: 4e 20 55 50 44 41 54 45 20 53 45 54 20 4e 55 4c  N UPDATE SET NUL
0960: 4c 0a 20 20 20 20 29 3b 0a 20 20 20 20 50 52 41  L.    );.    PRA
0970: 47 4d 41 20 66 6f 72 65 69 67 6e 5f 6b 65 79 5f  GMA foreign_key_
0980: 6c 69 73 74 28 74 38 29 3b 0a 20 20 7d 0a 7d 20  list(t8);.  }.} 
0990: 5b 63 6f 6e 63 61 74 20 20 20 20 20 20 20 20 20  [concat         
09a0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 5c                 \
09b0: 0a 20 20 7b 30 20 30 20 74 35 20 64 20 7b 7d 20  .  {0 0 t5 d {} 
09c0: 7b 53 45 54 20 4e 55 4c 4c 7d 20 43 41 53 43 41  {SET NULL} CASCA
09d0: 44 45 20 4e 4f 4e 45 7d 20 5c 0a 20 20 7b 30 20  DE NONE} \.  {0 
09e0: 31 20 74 35 20 65 20 7b 7d 20 7b 53 45 54 20 4e  1 t5 e {} {SET N
09f0: 55 4c 4c 7d 20 43 41 53 43 41 44 45 20 4e 4f 4e  ULL} CASCADE NON
0a00: 45 7d 20 5c 0a 5d 0a 64 6f 5f 74 65 73 74 20 66  E} \.].do_test f
0a10: 6b 65 79 31 2d 33 2e 34 20 7b 0a 20 20 65 78 65  key1-3.4 {.  exe
0a20: 63 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54  csql {.    CREAT
0a30: 45 20 54 41 42 4c 45 20 74 39 28 64 2c 20 65 2c  E TABLE t9(d, e,
0a40: 20 66 2c 0a 20 20 20 20 20 20 46 4f 52 45 49 47   f,.      FOREIG
0a50: 4e 20 4b 45 59 20 28 64 2c 20 65 29 20 52 45 46  N KEY (d, e) REF
0a60: 45 52 45 4e 43 45 53 20 74 35 20 4f 4e 20 44 45  ERENCES t5 ON DE
0a70: 4c 45 54 45 20 43 41 53 43 41 44 45 20 4f 4e 20  LETE CASCADE ON 
0a80: 55 50 44 41 54 45 20 53 45 54 20 44 45 46 41 55  UPDATE SET DEFAU
0a90: 4c 54 0a 20 20 20 20 29 3b 0a 20 20 20 20 50 52  LT.    );.    PR
0aa0: 41 47 4d 41 20 66 6f 72 65 69 67 6e 5f 6b 65 79  AGMA foreign_key
0ab0: 5f 6c 69 73 74 28 74 39 29 3b 0a 20 20 7d 0a 7d  _list(t9);.  }.}
0ac0: 20 5b 63 6f 6e 63 61 74 20 20 20 20 20 20 20 20   [concat        
0ad0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0ae0: 5c 0a 20 20 7b 30 20 30 20 74 35 20 64 20 7b 7d  \.  {0 0 t5 d {}
0af0: 20 7b 53 45 54 20 44 45 46 41 55 4c 54 7d 20 43   {SET DEFAULT} C
0b00: 41 53 43 41 44 45 20 4e 4f 4e 45 7d 20 5c 0a 20  ASCADE NONE} \. 
0b10: 20 7b 30 20 31 20 74 35 20 65 20 7b 7d 20 7b 53   {0 1 t5 e {} {S
0b20: 45 54 20 44 45 46 41 55 4c 54 7d 20 43 41 53 43  ET DEFAULT} CASC
0b30: 41 44 45 20 4e 4f 4e 45 7d 20 5c 0a 5d 0a 64 6f  ADE NONE} \.].do
0b40: 5f 74 65 73 74 20 66 6b 65 79 31 2d 33 2e 35 20  _test fkey1-3.5 
0b50: 7b 0a 20 20 73 71 6c 69 74 65 33 5f 64 62 5f 73  {.  sqlite3_db_s
0b60: 74 61 74 75 73 20 64 62 20 44 42 53 54 41 54 55  tatus db DBSTATU
0b70: 53 5f 44 45 46 45 52 52 45 44 5f 46 4b 53 20 30  S_DEFERRED_FKS 0
0b80: 0a 7d 20 7b 30 20 30 20 30 7d 0a 0a 23 20 53 74  .} {0 0 0}..# St
0b90: 72 65 73 73 20 74 68 65 20 64 65 71 75 6f 74 69  ress the dequoti
0ba0: 6e 67 20 6c 6f 67 69 63 2e 20 20 54 68 65 20 66  ng logic.  The f
0bb0: 69 72 73 74 20 74 65 73 74 20 69 73 20 6e 6f 74  irst test is not
0bc0: 20 73 6f 20 62 61 64 2e 0a 64 6f 5f 65 78 65 63   so bad..do_exec
0bd0: 73 71 6c 5f 74 65 73 74 20 66 6b 65 79 31 2d 34  sql_test fkey1-4
0be0: 2e 30 20 7b 0a 20 20 50 52 41 47 4d 41 20 66 6f  .0 {.  PRAGMA fo
0bf0: 72 65 69 67 6e 5f 6b 65 79 73 3d 4f 4e 3b 0a 20  reign_keys=ON;. 
0c00: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 22 78   CREATE TABLE "x
0c10: 78 31 22 28 22 78 78 32 22 20 54 45 58 54 20 50  x1"("xx2" TEXT P
0c20: 52 49 4d 41 52 59 20 4b 45 59 2c 20 22 78 78 33  RIMARY KEY, "xx3
0c30: 22 20 54 45 58 54 29 3b 0a 20 20 49 4e 53 45 52  " TEXT);.  INSER
0c40: 54 20 49 4e 54 4f 20 22 78 78 31 22 28 22 78 78  T INTO "xx1"("xx
0c50: 32 22 2c 22 78 78 33 22 29 20 56 41 4c 55 45 53  2","xx3") VALUES
0c60: 28 27 61 62 63 27 2c 27 64 65 66 27 29 3b 0a 20  ('abc','def');. 
0c70: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 22 78   CREATE TABLE "x
0c80: 78 34 22 28 22 78 78 35 22 20 54 45 58 54 20 52  x4"("xx5" TEXT R
0c90: 45 46 45 52 45 4e 43 45 53 20 22 78 78 31 22 20  EFERENCES "xx1" 
0ca0: 4f 4e 20 44 45 4c 45 54 45 20 43 41 53 43 41 44  ON DELETE CASCAD
0cb0: 45 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54  E);.  INSERT INT
0cc0: 4f 20 22 78 78 34 22 28 22 78 78 35 22 29 20 56  O "xx4"("xx5") V
0cd0: 41 4c 55 45 53 28 27 61 62 63 27 29 3b 0a 20 20  ALUES('abc');.  
0ce0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 22 78 78 31  INSERT INTO "xx1
0cf0: 22 28 22 78 78 32 22 2c 22 78 78 33 22 29 20 56  "("xx2","xx3") V
0d00: 41 4c 55 45 53 28 27 75 76 77 27 2c 27 78 79 7a  ALUES('uvw','xyz
0d10: 27 29 3b 0a 20 20 53 45 4c 45 43 54 20 31 2c 20  ');.  SELECT 1, 
0d20: 22 78 78 35 22 20 46 52 4f 4d 20 22 78 78 34 22  "xx5" FROM "xx4"
0d30: 3b 0a 20 20 44 45 4c 45 54 45 20 46 52 4f 4d 20  ;.  DELETE FROM 
0d40: 22 78 78 31 22 3b 0a 20 20 53 45 4c 45 43 54 20  "xx1";.  SELECT 
0d50: 32 2c 20 22 78 78 35 22 20 46 52 4f 4d 20 22 78  2, "xx5" FROM "x
0d60: 78 34 22 3b 0a 7d 20 7b 31 20 61 62 63 7d 0a 0a  x4";.} {1 abc}..
0d70: 23 20 54 68 69 73 20 63 61 73 65 20 69 73 20 69  # This case is i
0d80: 64 65 6e 74 69 63 61 6c 20 74 6f 20 74 68 65 20  dentical to the 
0d90: 70 72 65 76 69 6f 75 73 20 65 78 63 65 70 74 20  previous except 
0da0: 74 68 65 20 22 78 78 22 20 69 6e 20 65 61 63 68  the "xx" in each
0db0: 20 6e 61 6d 65 0a 23 20 69 73 20 63 68 61 6e 67   name.# is chang
0dc0: 65 64 20 74 6f 20 61 20 73 69 6e 67 6c 65 20 65  ed to a single e
0dd0: 73 63 61 70 65 64 20 64 6f 75 62 6c 65 2d 71 75  scaped double-qu
0de0: 6f 74 65 20 63 68 61 72 61 63 74 65 72 2e 0a 64  ote character..d
0df0: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 66  o_execsql_test f
0e00: 6b 65 79 31 2d 34 2e 31 20 7b 0a 20 20 50 52 41  key1-4.1 {.  PRA
0e10: 47 4d 41 20 66 6f 72 65 69 67 6e 5f 6b 65 79 73  GMA foreign_keys
0e20: 3d 4f 4e 3b 0a 20 20 43 52 45 41 54 45 20 54 41  =ON;.  CREATE TA
0e30: 42 4c 45 20 22 22 22 31 22 28 22 22 22 32 22 20  BLE """1"("""2" 
0e40: 54 45 58 54 20 50 52 49 4d 41 52 59 20 4b 45 59  TEXT PRIMARY KEY
0e50: 2c 20 22 22 22 33 22 20 54 45 58 54 29 3b 0a 20  , """3" TEXT);. 
0e60: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 22 22 22   INSERT INTO """
0e70: 31 22 28 22 22 22 32 22 2c 22 22 22 33 22 29 20  1"("""2","""3") 
0e80: 56 41 4c 55 45 53 28 27 61 62 63 27 2c 27 64 65  VALUES('abc','de
0e90: 66 27 29 3b 0a 20 20 43 52 45 41 54 45 20 54 41  f');.  CREATE TA
0ea0: 42 4c 45 20 22 22 22 34 22 28 22 22 22 35 22 20  BLE """4"("""5" 
0eb0: 54 45 58 54 20 52 45 46 45 52 45 4e 43 45 53 20  TEXT REFERENCES 
0ec0: 22 22 22 31 22 20 4f 4e 20 44 45 4c 45 54 45 20  """1" ON DELETE 
0ed0: 43 41 53 43 41 44 45 29 3b 0a 20 20 49 4e 53 45  CASCADE);.  INSE
0ee0: 52 54 20 49 4e 54 4f 20 22 22 22 34 22 28 22 22  RT INTO """4"(""
0ef0: 22 35 22 29 20 56 41 4c 55 45 53 28 27 61 62 63  "5") VALUES('abc
0f00: 27 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54  ');.  INSERT INT
0f10: 4f 20 22 22 22 31 22 28 22 22 22 32 22 2c 22 22  O """1"("""2",""
0f20: 22 33 22 29 20 56 41 4c 55 45 53 28 27 75 76 77  "3") VALUES('uvw
0f30: 27 2c 27 78 79 7a 27 29 3b 0a 20 20 53 45 4c 45  ','xyz');.  SELE
0f40: 43 54 20 31 2c 20 22 22 22 35 22 20 46 52 4f 4d  CT 1, """5" FROM
0f50: 20 22 22 22 34 22 3b 0a 20 20 44 45 4c 45 54 45   """4";.  DELETE
0f60: 20 46 52 4f 4d 20 22 22 22 31 22 3b 0a 20 20 53   FROM """1";.  S
0f70: 45 4c 45 43 54 20 32 2c 20 22 22 22 35 22 20 46  ELECT 2, """5" F
0f80: 52 4f 4d 20 22 22 22 34 22 3b 0a 7d 20 7b 31 20  ROM """4";.} {1 
0f90: 61 62 63 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f  abc}.do_execsql_
0fa0: 74 65 73 74 20 66 6b 65 79 31 2d 34 2e 32 20 7b  test fkey1-4.2 {
0fb0: 0a 20 20 50 52 41 47 4d 41 20 74 61 62 6c 65 5f  .  PRAGMA table_
0fc0: 69 6e 66 6f 3d 22 22 22 31 22 3b 0a 7d 20 7b 30  info="""1";.} {0
0fd0: 20 7b 22 32 7d 20 54 45 58 54 20 30 20 7b 7d 20   {"2} TEXT 0 {} 
0fe0: 31 20 31 20 7b 22 33 7d 20 54 45 58 54 20 30 20  1 1 {"3} TEXT 0 
0ff0: 7b 7d 20 30 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d  {} 0}..#--------
1000: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1010: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1020: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1030: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1040: 2d 0a 23 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74  -.#.do_execsql_t
1050: 65 73 74 20 66 6b 65 79 31 2d 35 2e 31 20 7b 0a  est fkey1-5.1 {.
1060: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74    CREATE TABLE t
1070: 31 31 28 0a 20 20 20 20 78 20 49 4e 54 45 47 45  11(.    x INTEGE
1080: 52 20 50 52 49 4d 41 52 59 20 4b 45 59 2c 20 0a  R PRIMARY KEY, .
1090: 20 20 20 20 70 61 72 65 6e 74 20 52 45 46 45 52      parent REFER
10a0: 45 4e 43 45 53 20 74 31 31 20 4f 4e 20 44 45 4c  ENCES t11 ON DEL
10b0: 45 54 45 20 43 41 53 43 41 44 45 0a 20 20 29 3b  ETE CASCADE.  );
10c0: 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74  .  INSERT INTO t
10d0: 31 31 20 56 41 4c 55 45 53 20 28 31 2c 20 4e 55  11 VALUES (1, NU
10e0: 4c 4c 29 2c 20 28 32 2c 20 31 29 2c 20 28 33 2c  LL), (2, 1), (3,
10f0: 20 32 29 3b 0a 7d 20 7b 7d 0a 0a 23 20 54 68 65   2);.} {}..# The
1100: 20 52 45 50 4c 41 43 45 20 70 61 72 74 20 6f 66   REPLACE part of
1110: 20 74 68 69 73 20 73 74 61 74 65 6d 65 6e 74 20   this statement 
1120: 64 65 6c 65 74 65 73 20 74 68 65 20 72 6f 77 20  deletes the row 
1130: 28 32 2c 20 31 29 2e 20 54 68 65 6e 20 74 68 65  (2, 1). Then the
1140: 20 0a 23 20 44 45 4c 45 54 45 20 43 41 53 43 41   .# DELETE CASCA
1150: 44 45 20 63 61 75 73 65 64 20 62 79 20 64 65 6c  DE caused by del
1160: 65 74 69 6e 67 20 74 68 61 74 20 72 6f 77 20 72  eting that row r
1170: 65 6d 6f 76 65 73 20 74 68 65 20 28 33 2c 20 32  emoves the (3, 2
1180: 29 20 72 6f 77 2e 20 57 68 69 63 68 0a 23 20 77  ) row. Which.# w
1190: 6f 75 6c 64 20 68 61 76 65 20 62 65 65 6e 20 74  ould have been t
11a0: 68 65 20 70 61 72 65 6e 74 20 6f 66 20 74 68 65  he parent of the
11b0: 20 6e 65 77 20 72 6f 77 20 62 65 69 6e 67 20 69   new row being i
11c0: 6e 73 65 72 74 65 64 2e 20 43 61 75 73 69 6e 67  nserted. Causing
11d0: 20 61 6e 0a 23 20 46 4b 20 76 69 6f 6c 61 74 69   an.# FK violati
11e0: 6f 6e 2e 0a 23 0a 64 6f 5f 63 61 74 63 68 73 71  on..#.do_catchsq
11f0: 6c 5f 74 65 73 74 20 66 6b 65 79 31 2d 35 2e 32  l_test fkey1-5.2
1200: 20 7b 0a 20 20 49 4e 53 45 52 54 20 4f 52 20 52   {.  INSERT OR R
1210: 45 50 4c 41 43 45 20 49 4e 54 4f 20 74 31 31 20  EPLACE INTO t11 
1220: 56 41 4c 55 45 53 20 28 32 2c 20 33 29 3b 0a 7d  VALUES (2, 3);.}
1230: 20 7b 31 20 7b 46 4f 52 45 49 47 4e 20 4b 45 59   {1 {FOREIGN KEY
1240: 20 63 6f 6e 73 74 72 61 69 6e 74 20 66 61 69 6c   constraint fail
1250: 65 64 7d 7d 0a 0a 23 20 4d 61 6b 65 20 73 75 72  ed}}..# Make sur
1260: 65 20 73 71 6c 69 74 65 33 5f 74 72 61 63 65 28  e sqlite3_trace(
1270: 29 20 6f 75 74 70 75 74 20 77 6f 72 6b 73 20 77  ) output works w
1280: 69 74 68 20 74 72 69 67 67 65 72 73 20 75 73 65  ith triggers use
1290: 64 20 74 6f 20 69 6d 70 6c 65 6d 65 6e 74 0a 23  d to implement.#
12a0: 20 46 4b 20 63 6f 6e 73 74 72 61 69 6e 74 73 0a   FK constraints.
12b0: 23 0a 69 66 63 61 70 61 62 6c 65 20 74 72 61 63  #.ifcapable trac
12c0: 65 20 7b 0a 20 20 70 72 6f 63 20 73 71 6c 74 72  e {.  proc sqltr
12d0: 61 63 65 20 7b 74 78 74 7d 20 7b 0a 20 20 20 20  ace {txt} {.    
12e0: 67 6c 6f 62 61 6c 20 74 72 61 63 65 6f 75 74 70  global traceoutp
12f0: 75 74 0a 20 20 20 20 6c 61 70 70 65 6e 64 20 74  ut.    lappend t
1300: 72 61 63 65 6f 75 74 70 75 74 20 24 74 78 74 0a  raceoutput $txt.
1310: 20 20 7d 0a 20 20 64 6f 5f 74 65 73 74 20 66 6b    }.  do_test fk
1320: 65 79 31 2d 35 2e 32 2e 31 20 7b 0a 20 20 20 20  ey1-5.2.1 {.    
1330: 75 6e 73 65 74 20 2d 6e 6f 63 6f 6d 70 6c 61 69  unset -nocomplai
1340: 6e 20 74 72 61 63 65 6f 75 74 70 75 74 0a 20 20  n traceoutput.  
1350: 20 20 64 62 20 74 72 61 63 65 20 73 71 6c 74 72    db trace sqltr
1360: 61 63 65 0a 20 20 20 20 63 61 74 63 68 20 7b 64  ace.    catch {d
1370: 62 20 65 76 61 6c 20 7b 49 4e 53 45 52 54 20 4f  b eval {INSERT O
1380: 52 20 52 45 50 4c 41 43 45 20 49 4e 54 4f 20 74  R REPLACE INTO t
1390: 31 31 20 56 41 4c 55 45 53 28 32 2c 33 29 3b 7d  11 VALUES(2,3);}
13a0: 7d 0a 20 20 20 20 73 65 74 20 74 72 61 63 65 6f  }.    set traceo
13b0: 75 74 70 75 74 0a 20 20 7d 20 7b 7b 49 4e 53 45  utput.  } {{INSE
13c0: 52 54 20 4f 52 20 52 45 50 4c 41 43 45 20 49 4e  RT OR REPLACE IN
13d0: 54 4f 20 74 31 31 20 56 41 4c 55 45 53 28 32 2c  TO t11 VALUES(2,
13e0: 33 29 3b 7d 20 7b 49 4e 53 45 52 54 20 4f 52 20  3);} {INSERT OR 
13f0: 52 45 50 4c 41 43 45 20 49 4e 54 4f 20 74 31 31  REPLACE INTO t11
1400: 20 56 41 4c 55 45 53 28 32 2c 33 29 3b 7d 20 7b   VALUES(2,3);} {
1410: 49 4e 53 45 52 54 20 4f 52 20 52 45 50 4c 41 43  INSERT OR REPLAC
1420: 45 20 49 4e 54 4f 20 74 31 31 20 56 41 4c 55 45  E INTO t11 VALUE
1430: 53 28 32 2c 33 29 3b 7d 7d 0a 7d 0a 0a 23 20 41  S(2,3);}}.}..# A
1440: 20 73 69 6d 69 6c 61 72 20 74 65 73 74 20 74 6f   similar test to
1450: 20 74 68 65 20 61 62 6f 76 65 2e 0a 64 6f 5f 65   the above..do_e
1460: 78 65 63 73 71 6c 5f 74 65 73 74 20 66 6b 65 79  xecsql_test fkey
1470: 31 2d 35 2e 33 20 7b 0a 20 20 43 52 45 41 54 45  1-5.3 {.  CREATE
1480: 20 54 41 42 4c 45 20 46 6f 6f 20 28 0a 20 20 20   TABLE Foo (.   
1490: 20 49 64 20 49 4e 54 45 47 45 52 20 50 52 49 4d   Id INTEGER PRIM
14a0: 41 52 59 20 4b 45 59 2c 20 0a 20 20 20 20 50 61  ARY KEY, .    Pa
14b0: 72 65 6e 74 49 64 20 49 4e 54 45 47 45 52 20 52  rentId INTEGER R
14c0: 45 46 45 52 45 4e 43 45 53 20 46 6f 6f 28 49 64  EFERENCES Foo(Id
14d0: 29 20 4f 4e 20 44 45 4c 45 54 45 20 43 41 53 43  ) ON DELETE CASC
14e0: 41 44 45 2c 20 43 31 0a 20 20 29 3b 0a 20 20 49  ADE, C1.  );.  I
14f0: 4e 53 45 52 54 20 4f 52 20 52 45 50 4c 41 43 45  NSERT OR REPLACE
1500: 20 49 4e 54 4f 20 46 6f 6f 28 49 64 2c 20 50 61   INTO Foo(Id, Pa
1510: 72 65 6e 74 49 64 2c 20 43 31 29 20 56 41 4c 55  rentId, C1) VALU
1520: 45 53 20 28 31 2c 20 6e 75 6c 6c 2c 20 27 41 27  ES (1, null, 'A'
1530: 29 3b 0a 20 20 49 4e 53 45 52 54 20 4f 52 20 52  );.  INSERT OR R
1540: 45 50 4c 41 43 45 20 49 4e 54 4f 20 46 6f 6f 28  EPLACE INTO Foo(
1550: 49 64 2c 20 50 61 72 65 6e 74 49 64 2c 20 43 31  Id, ParentId, C1
1560: 29 20 56 41 4c 55 45 53 20 28 32 2c 20 31 2c 20  ) VALUES (2, 1, 
1570: 27 41 2d 32 2d 31 27 29 3b 0a 20 20 49 4e 53 45  'A-2-1');.  INSE
1580: 52 54 20 4f 52 20 52 45 50 4c 41 43 45 20 49 4e  RT OR REPLACE IN
1590: 54 4f 20 46 6f 6f 28 49 64 2c 20 50 61 72 65 6e  TO Foo(Id, Paren
15a0: 74 49 64 2c 20 43 31 29 20 56 41 4c 55 45 53 20  tId, C1) VALUES 
15b0: 28 33 2c 20 32 2c 20 27 41 2d 33 2d 32 27 29 3b  (3, 2, 'A-3-2');
15c0: 0a 20 20 49 4e 53 45 52 54 20 4f 52 20 52 45 50  .  INSERT OR REP
15d0: 4c 41 43 45 20 49 4e 54 4f 20 46 6f 6f 28 49 64  LACE INTO Foo(Id
15e0: 2c 20 50 61 72 65 6e 74 49 64 2c 20 43 31 29 20  , ParentId, C1) 
15f0: 56 41 4c 55 45 53 20 28 34 2c 20 33 2c 20 27 41  VALUES (4, 3, 'A
1600: 2d 34 2d 33 27 29 3b 0a 7d 0a 64 6f 5f 63 61 74  -4-3');.}.do_cat
1610: 63 68 73 71 6c 5f 74 65 73 74 20 66 6b 65 79 31  chsql_test fkey1
1620: 2d 35 2e 34 20 7b 0a 20 20 49 4e 53 45 52 54 20  -5.4 {.  INSERT 
1630: 4f 52 20 52 45 50 4c 41 43 45 20 49 4e 54 4f 20  OR REPLACE INTO 
1640: 46 6f 6f 28 49 64 2c 20 50 61 72 65 6e 74 49 64  Foo(Id, ParentId
1650: 2c 20 43 31 29 20 56 41 4c 55 45 53 20 28 32 2c  , C1) VALUES (2,
1660: 20 33 2c 20 27 41 2d 32 2d 33 27 29 3b 0a 7d 20   3, 'A-2-3');.} 
1670: 7b 31 20 7b 46 4f 52 45 49 47 4e 20 4b 45 59 20  {1 {FOREIGN KEY 
1680: 63 6f 6e 73 74 72 61 69 6e 74 20 66 61 69 6c 65  constraint faile
1690: 64 7d 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  d}}..#----------
16a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
16b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
16c0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
16d0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a  ---------------.
16e0: 23 20 43 68 65 63 6b 20 74 68 61 74 20 66 6f 72  # Check that for
16f0: 65 69 67 6e 20 6b 65 79 20 70 72 6f 63 65 73 73  eign key process
1700: 69 6e 67 20 69 73 20 6e 6f 74 20 66 6f 6f 6c 65  ing is not foole
1710: 64 20 62 79 20 70 61 72 74 69 61 6c 20 69 6e 64  d by partial ind
1720: 65 78 65 73 0a 23 20 6f 6e 20 74 68 65 20 70 61  exes.# on the pa
1730: 72 65 6e 74 20 74 61 62 6c 65 2e 0a 23 0a 64 6f  rent table..#.do
1740: 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 36 2e  _execsql_test 6.
1750: 30 20 7b 0a 20 20 43 52 45 41 54 45 20 54 41 42  0 {.  CREATE TAB
1760: 4c 45 20 70 31 28 78 2c 20 79 29 3b 0a 20 20 43  LE p1(x, y);.  C
1770: 52 45 41 54 45 20 55 4e 49 51 55 45 20 49 4e 44  REATE UNIQUE IND
1780: 45 58 20 70 31 78 20 4f 4e 20 70 31 28 78 29 20  EX p1x ON p1(x) 
1790: 57 48 45 52 45 20 79 3c 32 3b 0a 20 20 49 4e 53  WHERE y<2;.  INS
17a0: 45 52 54 20 49 4e 54 4f 20 70 31 20 56 41 4c 55  ERT INTO p1 VALU
17b0: 45 53 28 31 2c 20 31 29 3b 0a 20 20 43 52 45 41  ES(1, 1);.  CREA
17c0: 54 45 20 54 41 42 4c 45 20 63 31 28 61 20 52 45  TE TABLE c1(a RE
17d0: 46 45 52 45 4e 43 45 53 20 70 31 28 78 29 29 3b  FERENCES p1(x));
17e0: 0a 7d 0a 0a 64 6f 5f 63 61 74 63 68 73 71 6c 5f  .}..do_catchsql_
17f0: 74 65 73 74 20 36 2e 31 20 7b 0a 20 20 49 4e 53  test 6.1 {.  INS
1800: 45 52 54 20 49 4e 54 4f 20 63 31 20 56 41 4c 55  ERT INTO c1 VALU
1810: 45 53 28 31 29 3b 0a 7d 20 7b 31 20 7b 66 6f 72  ES(1);.} {1 {for
1820: 65 69 67 6e 20 6b 65 79 20 6d 69 73 6d 61 74 63  eign key mismatc
1830: 68 20 2d 20 22 63 31 22 20 72 65 66 65 72 65 6e  h - "c1" referen
1840: 63 69 6e 67 20 22 70 31 22 7d 7d 0a 0a 64 6f 5f  cing "p1"}}..do_
1850: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 36 2e 32  execsql_test 6.2
1860: 20 7b 0a 20 20 43 52 45 41 54 45 20 55 4e 49 51   {.  CREATE UNIQ
1870: 55 45 20 49 4e 44 45 58 20 70 31 78 32 20 4f 4e  UE INDEX p1x2 ON
1880: 20 70 31 28 78 29 3b 0a 20 20 49 4e 53 45 52 54   p1(x);.  INSERT
1890: 20 49 4e 54 4f 20 63 31 20 56 41 4c 55 45 53 28   INTO c1 VALUES(
18a0: 31 29 3b 0a 7d 20 7b 7d 0a 0a 0a 66 69 6e 69 73  1);.} {}...finis
18b0: 68 5f 74 65 73 74 0a                             h_test.