/ Hex Artifact Content
Login

Artifact 080ca2269f727fcf14c8e76d52e85d157e3a8e9a:


0000: 0a 4f 56 45 52 56 49 45 57 0a 0a 20 20 54 68 65  .OVERVIEW..  The
0010: 20 53 51 4c 69 74 65 20 6c 69 62 72 61 72 79 20   SQLite library 
0020: 69 73 20 63 61 70 61 62 6c 65 20 6f 66 20 70 61  is capable of pa
0030: 72 73 69 6e 67 20 53 51 4c 20 66 6f 72 65 69 67  rsing SQL foreig
0040: 6e 20 6b 65 79 20 63 6f 6e 73 74 72 61 69 6e 74  n key constraint
0050: 73 20 0a 20 20 73 75 70 70 6c 69 65 64 20 61 73  s .  supplied as
0060: 20 70 61 72 74 20 6f 66 20 43 52 45 41 54 45 20   part of CREATE 
0070: 54 41 42 4c 45 20 73 74 61 74 65 6d 65 6e 74 73  TABLE statements
0080: 2c 20 62 75 74 20 69 74 20 64 6f 65 73 20 6e 6f  , but it does no
0090: 74 20 61 63 74 75 61 6c 6c 79 20 0a 20 20 69 6d  t actually .  im
00a0: 70 6c 65 6d 65 6e 74 20 74 68 65 6d 2e 20 48 6f  plement them. Ho
00b0: 77 65 76 65 72 2c 20 6d 6f 73 74 20 6f 66 20 74  wever, most of t
00c0: 68 65 20 66 65 61 74 75 72 65 73 20 6f 66 20 66  he features of f
00d0: 6f 72 65 69 67 6e 20 6b 65 79 73 20 6d 61 79 20  oreign keys may 
00e0: 62 65 0a 20 20 69 6d 70 6c 65 6d 65 6e 74 65 64  be.  implemented
00f0: 20 75 73 69 6e 67 20 53 51 4c 20 74 72 69 67 67   using SQL trigg
0100: 65 72 73 2c 20 77 68 69 63 68 20 53 51 4c 69 74  ers, which SQLit
0110: 65 20 64 6f 65 73 20 73 75 70 70 6f 72 74 2e 20  e does support. 
0120: 54 68 69 73 20 70 72 6f 67 72 61 6d 20 0a 20 20  This program .  
0130: 65 78 74 72 61 63 74 73 20 66 6f 72 65 69 67 6e  extracts foreign
0140: 20 6b 65 79 20 64 65 66 69 6e 69 74 69 6f 6e 73   key definitions
0150: 20 66 72 6f 6d 20 61 6e 20 65 78 69 73 74 69 6e   from an existin
0160: 67 20 53 51 4c 69 74 65 20 64 61 74 61 62 61 73  g SQLite databas
0170: 65 20 61 6e 64 0a 20 20 6f 75 74 70 75 74 73 20  e and.  outputs 
0180: 74 68 65 20 73 65 74 20 6f 66 20 43 52 45 41 54  the set of CREAT
0190: 45 20 54 52 49 47 47 45 52 20 73 74 61 74 65 6d  E TRIGGER statem
01a0: 65 6e 74 73 20 72 65 71 75 69 72 65 64 20 74 6f  ents required to
01b0: 20 69 6d 70 6c 65 6d 65 6e 74 0a 20 20 74 68 65   implement.  the
01c0: 20 66 6f 72 65 69 67 6e 20 6b 65 79 20 63 6f 6e   foreign key con
01d0: 73 74 72 61 69 6e 74 73 2e 0a 0a 43 41 50 41 42  straints...CAPAB
01e0: 49 4c 49 54 49 45 53 0a 0a 20 20 41 6e 20 53 51  ILITIES..  An SQ
01f0: 4c 20 66 6f 72 65 69 67 6e 20 6b 65 79 20 69 73  L foreign key is
0200: 20 61 20 63 6f 6e 73 74 72 61 69 6e 74 20 74 68   a constraint th
0210: 61 74 20 72 65 71 75 69 72 65 73 20 74 68 61 74  at requires that
0220: 20 65 61 63 68 20 72 6f 77 20 69 6e 0a 20 20 74   each row in.  t
0230: 68 65 20 22 63 68 69 6c 64 22 20 74 61 62 6c 65  he "child" table
0240: 20 63 6f 72 72 65 73 70 6f 6e 64 73 20 74 6f 20   corresponds to 
0250: 61 20 72 6f 77 20 69 6e 20 74 68 65 20 22 70 61  a row in the "pa
0260: 72 65 6e 74 22 20 74 61 62 6c 65 2e 20 46 6f 72  rent" table. For
0270: 0a 20 20 65 78 61 6d 70 6c 65 2c 20 74 68 65 20  .  example, the 
0280: 66 6f 6c 6c 6f 77 69 6e 67 20 73 63 68 65 6d 61  following schema
0290: 3a 0a 0a 20 20 20 20 43 52 45 41 54 45 20 54 41  :..    CREATE TA
02a0: 42 4c 45 20 70 61 72 65 6e 74 28 61 2c 20 62 2c  BLE parent(a, b,
02b0: 20 63 2c 20 50 52 49 4d 41 52 59 20 4b 45 59 28   c, PRIMARY KEY(
02c0: 61 2c 20 62 29 29 3b 0a 20 20 20 20 43 52 45 41  a, b));.    CREA
02d0: 54 45 20 54 41 42 4c 45 20 63 68 69 6c 64 28 64  TE TABLE child(d
02e0: 2c 20 65 2c 20 66 2c 20 46 4f 52 45 49 47 4e 20  , e, f, FOREIGN 
02f0: 4b 45 59 28 64 2c 20 65 29 20 52 45 46 45 52 45  KEY(d, e) REFERE
0300: 4e 43 45 53 20 70 61 72 65 6e 74 28 61 2c 20 62  NCES parent(a, b
0310: 29 29 3b 0a 0a 20 20 69 6d 70 6c 69 65 73 20 74  ));..  implies t
0320: 68 61 74 20 66 6f 72 20 65 61 63 68 20 72 6f 77  hat for each row
0330: 20 69 6e 20 74 61 62 6c 65 20 22 63 68 69 6c 64   in table "child
0340: 22 2c 20 74 68 65 72 65 20 6d 75 73 74 20 62 65  ", there must be
0350: 20 61 20 72 6f 77 20 69 6e 0a 20 20 22 70 61 72   a row in.  "par
0360: 65 6e 74 22 20 66 6f 72 20 77 68 69 63 68 20 74  ent" for which t
0370: 68 65 20 65 78 70 72 65 73 73 69 6f 6e 20 28 63  he expression (c
0380: 68 69 6c 64 2e 64 3d 3d 70 61 72 65 6e 74 2e 61  hild.d==parent.a
0390: 20 41 4e 44 20 63 68 69 6c 64 2e 65 3d 3d 70 61   AND child.e==pa
03a0: 72 65 6e 74 2e 62 29 20 0a 20 20 69 73 20 74 72  rent.b) .  is tr
03b0: 75 65 2e 20 54 68 65 20 63 6f 6c 75 6d 6e 73 20  ue. The columns 
03c0: 69 6e 20 74 68 65 20 70 61 72 65 6e 74 20 74 61  in the parent ta
03d0: 62 6c 65 20 61 72 65 20 72 65 71 75 69 72 65 64  ble are required
03e0: 20 74 6f 20 62 65 20 65 69 74 68 65 72 20 74 68   to be either th
03f0: 65 0a 20 20 70 72 69 6d 61 72 79 20 6b 65 79 20  e.  primary key 
0400: 63 6f 6c 75 6d 6e 73 20 6f 72 20 73 75 62 6a 65  columns or subje
0410: 63 74 20 74 6f 20 61 20 55 4e 49 51 55 45 20 63  ct to a UNIQUE c
0420: 6f 6e 73 74 72 61 69 6e 74 2e 20 54 68 65 72 65  onstraint. There
0430: 20 69 73 20 6e 6f 20 73 75 63 68 0a 20 20 72 65   is no such.  re
0440: 71 75 69 72 65 6d 65 6e 74 20 66 6f 72 20 74 68  quirement for th
0450: 65 20 63 6f 6c 75 6d 6e 73 20 6f 66 20 74 68 65  e columns of the
0460: 20 63 68 69 6c 64 20 74 61 62 6c 65 2e 0a 0a 20   child table... 
0470: 20 41 74 20 74 68 69 73 20 74 69 6d 65 2c 20 61   At this time, a
0480: 6c 6c 20 66 6f 72 65 69 67 6e 20 6b 65 79 73 20  ll foreign keys 
0490: 61 72 65 20 69 6d 70 6c 65 6d 65 6e 74 65 64 20  are implemented 
04a0: 61 73 20 69 66 20 74 68 65 79 20 77 65 72 65 20  as if they were 
04b0: 0a 20 20 22 4d 41 54 43 48 20 4e 4f 4e 45 22 2c  .  "MATCH NONE",
04c0: 20 65 76 65 6e 20 69 66 20 74 68 65 20 64 65 63   even if the dec
04d0: 6c 61 72 61 74 69 6f 6e 20 73 70 65 63 69 66 69  laration specifi
04e0: 65 64 20 22 4d 41 54 43 48 20 50 41 52 54 49 41  ed "MATCH PARTIA
04f0: 4c 22 20 6f 72 20 0a 20 20 22 4d 41 54 43 48 20  L" or .  "MATCH 
0500: 46 55 4c 4c 22 2e 20 22 4d 41 54 43 48 20 4e 4f  FULL". "MATCH NO
0510: 4e 45 22 20 6d 65 61 6e 73 20 74 68 61 74 20 69  NE" means that i
0520: 66 20 61 6e 79 20 6f 66 20 74 68 65 20 6b 65 79  f any of the key
0530: 20 63 6f 6c 75 6d 6e 73 20 69 6e 0a 20 20 74 68   columns in.  th
0540: 65 20 63 68 69 6c 64 20 74 61 62 6c 65 20 61 72  e child table ar
0550: 65 20 4e 55 4c 4c 2c 20 74 68 65 6e 20 74 68 65  e NULL, then the
0560: 72 65 20 69 73 20 6e 6f 20 72 65 71 75 69 72 65  re is no require
0570: 6d 65 6e 74 20 66 6f 72 20 61 20 63 6f 72 72 65  ment for a corre
0580: 73 70 6f 6e 64 69 6e 67 0a 20 20 72 6f 77 20 69  sponding.  row i
0590: 6e 20 74 68 65 20 70 61 72 65 6e 74 20 74 61 62  n the parent tab
05a0: 6c 65 2e 20 53 6f 2c 20 74 61 6b 69 6e 67 20 74  le. So, taking t
05b0: 68 69 73 20 69 6e 74 6f 20 61 63 63 6f 75 6e 74  his into account
05c0: 2c 20 74 68 65 20 65 78 70 72 65 73 73 69 6f 6e  , the expression
05d0: 20 74 68 61 74 0a 20 20 6d 75 73 74 20 62 65 20   that.  must be 
05e0: 74 72 75 65 20 66 6f 72 20 65 76 65 72 79 20 72  true for every r
05f0: 6f 77 20 6f 66 20 74 68 65 20 63 68 69 6c 64 20  ow of the child 
0600: 74 61 62 6c 65 20 69 6e 20 74 68 65 20 61 62 6f  table in the abo
0610: 76 65 20 65 78 61 6d 70 6c 65 20 69 73 0a 20 20  ve example is.  
0620: 61 63 74 75 61 6c 6c 79 3a 0a 0a 20 20 20 20 20  actually:..     
0630: 20 28 63 68 69 6c 64 2e 64 20 49 53 20 4e 55 4c   (child.d IS NUL
0640: 4c 29 20 4f 52 20 0a 20 20 20 20 20 20 28 63 68  L) OR .      (ch
0650: 69 6c 64 2e 65 20 49 53 20 4e 55 4c 4c 29 20 4f  ild.e IS NULL) O
0660: 52 20 0a 20 20 20 20 20 20 28 63 68 69 6c 64 2e  R .      (child.
0670: 64 3d 3d 70 61 72 65 6e 74 2e 61 20 41 4e 44 20  d==parent.a AND 
0680: 63 68 69 6c 64 2e 65 3d 3d 70 61 72 65 6e 74 2e  child.e==parent.
0690: 62 29 0a 0a 20 20 41 74 74 65 6d 70 74 69 6e 67  b)..  Attempting
06a0: 20 74 6f 20 69 6e 73 65 72 74 20 6f 72 20 75 70   to insert or up
06b0: 64 61 74 65 20 61 20 72 6f 77 20 69 6e 20 74 68  date a row in th
06c0: 65 20 63 68 69 6c 64 20 74 61 62 6c 65 20 73 6f  e child table so
06d0: 20 74 68 61 74 20 74 68 65 20 0a 20 20 61 66 66   that the .  aff
06e0: 65 63 74 65 64 20 72 6f 77 20 76 69 6f 6c 61 74  ected row violat
06f0: 65 73 20 74 68 69 73 20 63 6f 6e 73 74 72 61 69  es this constrai
0700: 6e 74 20 72 65 73 75 6c 74 73 20 69 6e 20 61 6e  nt results in an
0710: 20 65 78 63 65 70 74 69 6f 6e 20 62 65 69 6e 67   exception being
0720: 20 0a 20 20 74 68 72 6f 77 6e 2e 0a 0a 20 20 54   .  thrown...  T
0730: 68 65 20 65 66 66 65 63 74 20 6f 66 20 61 74 74  he effect of att
0740: 65 6d 70 74 69 6e 67 20 74 6f 20 64 65 6c 65 74  empting to delet
0750: 65 20 6f 72 20 75 70 64 61 74 65 20 61 20 72 6f  e or update a ro
0760: 77 20 69 6e 20 74 68 65 20 70 61 72 65 6e 74 20  w in the parent 
0770: 74 61 62 6c 65 20 0a 20 20 73 6f 20 74 68 61 74  table .  so that
0780: 20 74 68 65 20 63 6f 6e 73 74 72 61 69 6e 74 20   the constraint 
0790: 62 65 63 6f 6d 65 73 20 75 6e 74 72 75 65 20 66  becomes untrue f
07a0: 6f 72 20 6f 6e 65 20 6f 72 20 6d 6f 72 65 20 72  or one or more r
07b0: 6f 77 73 20 69 6e 20 74 68 65 20 63 68 69 6c 64  ows in the child
07c0: 0a 20 20 74 61 62 6c 65 20 64 65 70 65 6e 64 73  .  table depends
07d0: 20 6f 6e 20 74 68 65 20 22 4f 4e 20 44 45 4c 45   on the "ON DELE
07e0: 54 45 22 20 6f 72 20 22 4f 4e 20 55 50 44 41 54  TE" or "ON UPDAT
07f0: 45 22 20 61 63 74 69 6f 6e 73 20 73 70 65 63 69  E" actions speci
0800: 66 69 65 64 20 61 73 0a 20 20 70 61 72 74 20 6f  fied as.  part o
0810: 66 20 74 68 65 20 66 6f 72 65 69 67 6e 20 6b 65  f the foreign ke
0820: 79 20 64 65 66 69 6e 69 74 69 6f 6e 2c 20 72 65  y definition, re
0830: 73 70 65 63 74 69 76 65 6c 79 2e 20 54 68 72 65  spectively. Thre
0840: 65 20 64 69 66 66 65 72 65 6e 74 20 61 63 74 69  e different acti
0850: 6f 6e 73 0a 20 20 61 72 65 20 73 75 70 70 6f 72  ons.  are suppor
0860: 74 65 64 3a 20 22 52 45 53 54 52 49 43 54 22 20  ted: "RESTRICT" 
0870: 28 74 68 65 20 64 65 66 61 75 6c 74 29 2c 20 22  (the default), "
0880: 43 41 53 43 41 44 45 22 20 61 6e 64 20 22 53 45  CASCADE" and "SE
0890: 54 20 4e 55 4c 4c 22 2e 20 53 51 4c 69 74 65 0a  T NULL". SQLite.
08a0: 20 20 77 69 6c 6c 20 61 6c 73 6f 20 70 61 72 73    will also pars
08b0: 65 20 74 68 65 20 22 53 45 54 20 44 45 46 41 55  e the "SET DEFAU
08c0: 4c 54 22 20 61 63 74 69 6f 6e 2c 20 62 75 74 20  LT" action, but 
08d0: 74 68 69 73 20 69 73 20 6e 6f 74 20 69 6d 70 6c  this is not impl
08e0: 65 6d 65 6e 74 65 64 0a 20 20 61 6e 64 20 22 52  emented.  and "R
08f0: 45 53 54 52 49 43 54 22 20 69 73 20 75 73 65 64  ESTRICT" is used
0900: 20 69 6e 73 74 65 61 64 2e 0a 0a 20 20 20 20 52   instead...    R
0910: 45 53 54 52 49 43 54 3a 20 41 74 74 65 6d 70 74  ESTRICT: Attempt
0920: 69 6e 67 20 74 6f 20 75 70 64 61 74 65 20 6f 72  ing to update or
0930: 20 64 65 6c 65 74 65 20 61 20 72 6f 77 20 69 6e   delete a row in
0940: 20 74 68 65 20 70 61 72 65 6e 74 20 74 61 62 6c   the parent tabl
0950: 65 20 73 6f 0a 20 20 20 20 20 20 20 20 20 20 20  e so.           
0960: 20 20 20 74 68 61 74 20 74 68 65 20 63 6f 6e 73     that the cons
0970: 74 72 61 69 6e 74 20 62 65 63 6f 6d 65 73 20 75  traint becomes u
0980: 6e 74 72 75 65 20 66 6f 72 20 6f 6e 65 20 6f 72  ntrue for one or
0990: 20 6d 6f 72 65 20 72 6f 77 73 20 69 6e 0a 20 20   more rows in.  
09a0: 20 20 20 20 20 20 20 20 20 20 20 20 74 68 65 20              the 
09b0: 63 68 69 6c 64 20 74 61 62 6c 65 20 69 73 20 6e  child table is n
09c0: 6f 74 20 61 6c 6c 6f 77 65 64 2e 20 41 6e 20 65  ot allowed. An e
09d0: 78 63 65 70 74 69 6f 6e 20 69 73 20 74 68 72 6f  xception is thro
09e0: 77 6e 2e 0a 0a 20 20 20 20 43 41 53 43 41 44 45  wn...    CASCADE
09f0: 3a 20 20 49 6e 73 74 65 61 64 20 6f 66 20 74 68  :  Instead of th
0a00: 72 6f 77 69 6e 67 20 61 6e 20 65 78 63 65 70 74  rowing an except
0a10: 69 6f 6e 2c 20 61 6c 6c 20 63 6f 72 72 65 73 70  ion, all corresp
0a20: 6f 6e 64 69 6e 67 20 63 68 69 6c 64 20 74 61 62  onding child tab
0a30: 6c 65 0a 20 20 20 20 20 20 20 20 20 20 20 20 20  le.             
0a40: 20 72 6f 77 73 20 61 72 65 20 65 69 74 68 65 72   rows are either
0a50: 20 64 65 6c 65 74 65 64 20 28 69 66 20 74 68 65   deleted (if the
0a60: 20 70 61 72 65 6e 74 20 72 6f 77 20 69 73 20 62   parent row is b
0a70: 65 69 6e 67 20 64 65 6c 65 74 65 64 29 0a 20 20  eing deleted).  
0a80: 20 20 20 20 20 20 20 20 20 20 20 20 6f 72 20 75              or u
0a90: 70 64 61 74 65 64 20 74 6f 20 6d 61 74 63 68 20  pdated to match 
0aa0: 74 68 65 20 6e 65 77 20 70 61 72 65 6e 74 20 6b  the new parent k
0ab0: 65 79 20 76 61 6c 75 65 73 20 28 69 66 20 74 68  ey values (if th
0ac0: 65 20 70 61 72 65 6e 74 20 0a 20 20 20 20 20 20  e parent .      
0ad0: 20 20 20 20 20 20 20 20 72 6f 77 20 69 73 20 62          row is b
0ae0: 65 69 6e 67 20 75 70 64 61 74 65 64 29 2e 0a 0a  eing updated)...
0af0: 20 20 20 20 53 45 54 20 4e 55 4c 4c 3a 20 49 6e      SET NULL: In
0b00: 73 74 65 61 64 20 6f 66 20 74 68 72 6f 77 69 6e  stead of throwin
0b10: 67 20 61 6e 20 65 78 63 65 70 74 69 6f 6e 2c 20  g an exception, 
0b20: 74 68 65 20 66 6f 72 65 69 67 6e 20 6b 65 79 20  the foreign key 
0b30: 66 69 65 6c 64 73 20 6f 66 0a 20 20 20 20 20 20  fields of.      
0b40: 20 20 20 20 20 20 20 20 61 6c 6c 20 63 6f 72 72          all corr
0b50: 65 73 70 6f 6e 64 69 6e 67 20 63 68 69 6c 64 20  esponding child 
0b60: 74 61 62 6c 65 20 72 6f 77 73 20 61 72 65 20 73  table rows are s
0b70: 65 74 20 74 6f 20 4e 55 4c 4c 2e 0a 0a 4c 49 4d  et to NULL...LIM
0b80: 49 54 41 54 49 4f 4e 53 0a 0a 20 20 41 70 61 72  ITATIONS..  Apar
0b90: 74 20 66 72 6f 6d 20 74 68 6f 73 65 20 6c 69 6d  t from those lim
0ba0: 69 74 69 61 74 69 6f 6e 73 20 64 65 73 63 72 69  itiations descri
0bb0: 62 65 64 20 61 62 6f 76 65 3a 0a 0a 20 20 20 20  bed above:..    
0bc0: 2a 20 49 6d 70 6c 69 63 69 74 20 6d 61 70 70 69  * Implicit mappi
0bd0: 6e 67 20 74 6f 20 63 6f 6d 70 6f 73 69 74 65 20  ng to composite 
0be0: 70 72 69 6d 61 72 79 20 6b 65 79 73 20 69 73 20  primary keys is 
0bf0: 6e 6f 74 20 73 75 70 70 6f 72 74 65 64 2e 20 49  not supported. I
0c00: 66 0a 20 20 20 20 20 20 61 20 70 61 72 65 6e 74  f.      a parent
0c10: 20 74 61 62 6c 65 20 68 61 73 20 61 20 63 6f 6d   table has a com
0c20: 70 6f 73 69 74 65 20 70 72 69 6d 61 72 79 20 6b  posite primary k
0c30: 65 79 2c 20 74 68 65 6e 20 61 6e 79 20 63 68 69  ey, then any chi
0c40: 6c 64 20 74 61 62 6c 65 0a 20 20 20 20 20 20 74  ld table.      t
0c50: 68 61 74 20 72 65 66 65 72 73 20 74 6f 20 69 74  hat refers to it
0c60: 20 6d 75 73 74 20 65 78 70 6c 69 63 69 74 6c 79   must explicitly
0c70: 20 6d 61 70 20 65 61 63 68 20 63 6f 6c 75 6d 6e   map each column
0c80: 2e 20 46 6f 72 20 65 78 61 6d 70 6c 65 2c 20 67  . For example, g
0c90: 69 76 65 6e 0a 20 20 20 20 20 20 74 68 65 20 66  iven.      the f
0ca0: 6f 6c 6c 6f 77 69 6e 67 20 64 65 66 69 6e 69 74  ollowing definit
0cb0: 69 6f 6e 20 6f 66 20 74 61 62 6c 65 20 22 70 61  ion of table "pa
0cc0: 72 65 6e 74 22 3a 0a 0a 20 20 20 20 20 20 20 20  rent":..        
0cd0: 43 52 45 41 54 45 20 54 41 42 4c 45 20 70 61 72  CREATE TABLE par
0ce0: 65 6e 74 28 61 2c 20 62 2c 20 63 2c 20 50 52 49  ent(a, b, c, PRI
0cf0: 4d 41 52 59 20 4b 45 59 28 61 2c 20 62 29 29 3b  MARY KEY(a, b));
0d00: 0a 0a 20 20 20 20 20 20 6f 6e 6c 79 20 74 68 65  ..      only the
0d10: 20 66 69 72 73 74 20 6f 66 20 74 68 65 20 66 6f   first of the fo
0d20: 6c 6c 6f 77 69 6e 67 20 74 77 6f 20 64 65 66 69  llowing two defi
0d30: 6e 69 74 69 6f 6e 73 20 6f 66 20 74 61 62 6c 65  nitions of table
0d40: 20 22 63 68 69 6c 64 22 0a 20 20 20 20 20 20 69   "child".      i
0d50: 73 20 73 75 70 70 6f 72 74 65 64 3a 0a 0a 20 20  s supported:..  
0d60: 20 20 20 20 20 20 43 52 45 41 54 45 20 54 41 42        CREATE TAB
0d70: 4c 45 20 63 68 69 6c 64 28 64 2c 20 65 2c 20 66  LE child(d, e, f
0d80: 2c 20 46 4f 52 45 49 47 4e 20 4b 45 59 28 64 2c  , FOREIGN KEY(d,
0d90: 20 65 29 20 52 45 46 45 52 45 4e 43 45 53 20 70   e) REFERENCES p
0da0: 61 72 65 6e 74 28 61 2c 20 62 29 29 3b 0a 20 20  arent(a, b));.  
0db0: 20 20 20 20 20 20 43 52 45 41 54 45 20 54 41 42        CREATE TAB
0dc0: 4c 45 20 63 68 69 6c 64 28 64 2c 20 65 2c 20 66  LE child(d, e, f
0dd0: 2c 20 46 4f 52 45 49 47 4e 20 4b 45 59 28 64 2c  , FOREIGN KEY(d,
0de0: 20 65 29 20 52 45 46 45 52 45 4e 43 45 53 20 70   e) REFERENCES p
0df0: 61 72 65 6e 74 29 3b 0a 0a 20 20 20 20 20 20 41  arent);..      A
0e00: 6e 20 69 6d 70 6c 69 63 69 74 20 72 65 66 65 72  n implicit refer
0e10: 65 6e 63 65 20 74 6f 20 61 20 63 6f 6d 70 6f 73  ence to a compos
0e20: 69 74 65 20 70 72 69 6d 61 72 79 20 6b 65 79 20  ite primary key 
0e30: 69 73 20 64 65 74 65 63 74 65 64 20 61 73 20 61  is detected as a
0e40: 6e 0a 20 20 20 20 20 20 65 72 72 6f 72 20 77 68  n.      error wh
0e50: 65 6e 20 74 68 65 20 70 72 6f 67 72 61 6d 20 69  en the program i
0e60: 73 20 72 75 6e 20 28 73 65 65 20 62 65 6c 6f 77  s run (see below
0e70: 29 2e 0a 0a 20 20 20 20 2a 20 53 51 4c 69 74 65  )...    * SQLite
0e80: 20 64 6f 65 73 20 6e 6f 74 20 73 75 70 70 6f 72   does not suppor
0e90: 74 20 72 65 63 75 72 73 69 76 65 20 74 72 69 67  t recursive trig
0ea0: 67 65 72 73 2c 20 61 6e 64 20 74 68 65 72 65 66  gers, and theref
0eb0: 6f 72 65 20 74 68 69 73 20 70 72 6f 67 72 61 6d  ore this program
0ec0: 0a 20 20 20 20 20 20 64 6f 65 73 20 6e 6f 74 20  .      does not 
0ed0: 73 75 70 70 6f 72 74 20 72 65 63 75 72 73 69 76  support recursiv
0ee0: 65 20 43 41 53 43 41 44 45 20 6f 72 20 53 45 54  e CASCADE or SET
0ef0: 20 4e 55 4c 4c 20 66 6f 72 65 69 67 6e 20 6b 65   NULL foreign ke
0f00: 79 20 0a 20 20 20 20 20 20 72 65 6c 61 74 69 6f  y .      relatio
0f10: 6e 73 68 69 70 73 2e 20 49 66 20 74 68 65 20 70  nships. If the p
0f20: 61 72 65 6e 74 20 61 6e 64 20 74 68 65 20 63 68  arent and the ch
0f30: 69 6c 64 20 74 61 62 6c 65 73 20 6f 66 20 61 20  ild tables of a 
0f40: 43 41 53 43 41 44 45 20 6f 72 0a 20 20 20 20 20  CASCADE or.     
0f50: 20 53 45 54 20 4e 55 4c 4c 20 66 6f 72 65 69 67   SET NULL foreig
0f60: 6e 20 6b 65 79 20 61 72 65 20 74 68 65 20 73 61  n key are the sa
0f70: 6d 65 20 74 61 62 6c 65 2c 20 74 68 65 20 67 65  me table, the ge
0f80: 6e 65 72 61 74 65 64 20 74 72 69 67 67 65 72 73  nerated triggers
0f90: 20 77 69 6c 6c 0a 20 20 20 20 20 20 6d 61 6c 66   will.      malf
0fa0: 75 6e 63 74 69 6f 6e 2e 20 54 68 69 73 20 69 73  unction. This is
0fb0: 20 61 6c 73 6f 20 74 72 75 65 20 69 66 20 74 68   also true if th
0fc0: 65 20 72 65 63 75 72 73 69 76 65 20 66 6f 72 65  e recursive fore
0fd0: 69 67 6e 20 6b 65 79 20 63 6f 6e 73 74 72 61 69  ign key constrai
0fe0: 6e 74 0a 20 20 20 20 20 20 69 73 20 69 6e 64 69  nt.      is indi
0ff0: 72 65 63 74 20 28 66 6f 72 20 65 78 61 6d 70 6c  rect (for exampl
1000: 65 20 69 66 20 74 61 62 6c 65 20 41 20 72 65 66  e if table A ref
1010: 65 72 65 6e 63 65 73 20 74 61 62 6c 65 20 42 20  erences table B 
1020: 77 68 69 63 68 20 72 65 66 65 72 65 6e 63 65 73  which references
1030: 0a 20 20 20 20 20 20 74 61 62 6c 65 20 41 20 77  .      table A w
1040: 69 74 68 20 61 20 43 41 53 43 41 44 45 20 6f 72  ith a CASCADE or
1050: 20 53 45 54 20 4e 55 4c 4c 20 66 6f 72 65 69 67   SET NULL foreig
1060: 6e 20 6b 65 79 20 63 6f 6e 73 74 72 61 69 6e 74  n key constraint
1070: 29 2e 0a 0a 20 20 20 20 20 20 52 65 63 75 72 73  )...      Recurs
1080: 69 76 65 20 43 41 53 43 41 44 45 20 6f 72 20 53  ive CASCADE or S
1090: 45 54 20 4e 55 4c 4c 20 66 6f 72 65 69 67 6e 20  ET NULL foreign 
10a0: 6b 65 79 20 72 65 6c 61 74 69 6f 6e 73 68 69 70  key relationship
10b0: 73 20 61 72 65 20 2a 6e 6f 74 2a 0a 20 20 20 20  s are *not*.    
10c0: 20 20 64 65 74 65 63 74 65 64 20 61 73 20 65 72    detected as er
10d0: 72 6f 72 73 20 77 68 65 6e 20 74 68 65 20 70 72  rors when the pr
10e0: 6f 67 72 61 6d 20 69 73 20 72 75 6e 2e 20 42 75  ogram is run. Bu
10f0: 79 65 72 20 62 65 77 61 72 65 2e 0a 20 20 20 20  yer beware..    
1100: 20 20 0a 43 4f 4d 50 49 4c 41 54 49 4f 4e 0a 0a    .COMPILATION..
1110: 20 20 54 68 65 20 73 6f 75 72 63 65 20 63 6f 64    The source cod
1120: 65 20 66 6f 72 20 74 68 69 73 20 70 72 6f 67 72  e for this progr
1130: 61 6d 20 63 6f 6e 73 69 73 74 73 20 6f 66 20 61  am consists of a
1140: 20 73 69 6e 67 6c 65 20 43 20 66 69 6c 65 20 2d   single C file -
1150: 20 67 65 6e 66 6b 65 79 2e 63 2e 0a 20 20 54 68   genfkey.c..  Th
1160: 65 20 6f 6e 6c 79 20 64 65 70 65 6e 64 65 6e 63  e only dependenc
1170: 79 20 69 73 20 73 71 6c 69 74 65 20 69 74 73 65  y is sqlite itse
1180: 6c 66 2e 20 55 73 69 6e 67 20 67 63 63 20 61 6e  lf. Using gcc an
1190: 64 20 74 68 65 20 73 71 6c 69 74 65 20 61 6d 61  d the sqlite ama
11a0: 6c 67 61 6d 61 74 69 6f 6e 0a 20 20 73 6f 75 72  lgamation.  sour
11b0: 63 65 20 63 6f 64 65 2c 20 69 74 20 6d 61 79 20  ce code, it may 
11c0: 62 65 20 63 6f 6d 70 69 6c 65 64 20 75 73 69 6e  be compiled usin
11d0: 67 20 74 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20  g the following 
11e0: 63 6f 6d 6d 61 6e 64 3a 0a 0a 20 20 20 20 67 63  command:..    gc
11f0: 63 20 67 65 6e 66 6b 65 79 2e 63 20 73 71 6c 69  c genfkey.c sqli
1200: 74 65 33 2e 63 20 2d 6f 20 67 65 6e 66 6b 65 79  te3.c -o genfkey
1210: 0a 0a 20 20 4f 72 2c 20 74 6f 20 75 73 65 20 61  ..  Or, to use a
1220: 6e 20 69 6e 73 74 61 6c 6c 65 64 20 76 65 72 73  n installed vers
1230: 69 6f 6e 20 6f 66 20 73 71 6c 69 74 65 20 28 74  ion of sqlite (t
1240: 68 65 20 6b 69 6e 64 20 6c 69 6e 75 78 20 64 69  he kind linux di
1250: 73 74 72 69 62 75 74 69 6f 6e 73 0a 20 20 69 6e  stributions.  in
1260: 73 74 61 6c 6c 20 61 73 20 70 61 72 74 20 6f 66  stall as part of
1270: 20 74 68 65 20 73 71 6c 69 74 65 33 2d 64 65 76   the sqlite3-dev
1280: 20 70 61 63 6b 61 67 65 29 3a 0a 0a 20 20 20 20   package):..    
1290: 67 63 63 20 67 65 6e 66 6b 65 79 2e 63 20 2d 6c  gcc genfkey.c -l
12a0: 73 71 6c 69 74 65 33 20 2d 6f 20 67 65 6e 66 6b  sqlite3 -o genfk
12b0: 65 79 0a 0a 20 20 49 66 20 63 6f 6d 70 69 6c 65  ey..  If compile
12c0: 64 2f 6c 69 6e 6b 65 64 20 61 67 61 69 6e 73 74  d/linked against
12d0: 20 61 6e 20 53 51 4c 69 74 65 20 76 65 72 73 69   an SQLite versi
12e0: 6f 6e 20 65 61 72 6c 69 65 72 20 74 68 61 6e 20  on earlier than 
12f0: 33 2e 36 2e 34 2c 20 74 68 65 6e 0a 20 20 61 6c  3.6.4, then.  al
1300: 6c 20 66 6f 72 65 69 67 6e 20 6b 65 79 20 63 6f  l foreign key co
1310: 6e 73 74 72 61 69 6e 74 73 20 61 72 65 20 61 73  nstraints are as
1320: 73 75 6d 65 64 20 74 6f 20 62 65 20 22 4f 4e 20  sumed to be "ON 
1330: 55 50 44 41 54 45 20 52 45 53 54 52 49 43 54 22  UPDATE RESTRICT"
1340: 20 61 6e 64 0a 20 20 22 4f 4e 20 44 45 4c 45 54   and.  "ON DELET
1350: 45 20 52 45 53 54 52 49 43 54 22 2e 20 49 66 20  E RESTRICT". If 
1360: 6c 69 6e 6b 65 64 20 61 67 61 69 6e 73 74 20 33  linked against 3
1370: 2e 36 2e 34 20 6f 72 20 6e 65 77 65 72 2c 20 22  .6.4 or newer, "
1380: 43 41 53 43 41 44 45 22 20 61 6e 64 0a 20 20 22  CASCADE" and.  "
1390: 53 45 54 20 4e 55 4c 4c 22 20 61 72 65 20 73 75  SET NULL" are su
13a0: 70 70 6f 72 74 65 64 20 61 73 20 77 65 6c 6c 20  pported as well 
13b0: 61 73 20 22 52 45 53 54 52 49 43 54 22 2e 20 41  as "RESTRICT". A
13c0: 6c 6c 20 33 2e 78 20 76 65 72 73 69 6f 6e 73 20  ll 3.x versions 
13d0: 6f 66 20 53 51 4c 69 74 65 0a 20 20 6d 61 79 20  of SQLite.  may 
13e0: 75 73 65 20 74 68 65 20 63 72 65 61 74 65 64 20  use the created 
13f0: 74 72 69 67 67 65 72 73 20 64 65 66 69 6e 69 74  triggers definit
1400: 69 6f 6e 73 2e 0a 0a 55 53 41 47 45 0a 0a 20 20  ions...USAGE..  
1410: 20 20 67 65 6e 66 6b 65 79 20 3f 2d 2d 6e 6f 2d    genfkey ?--no-
1420: 64 72 6f 70 3f 20 3f 2d 2d 69 67 6e 6f 72 65 2d  drop? ?--ignore-
1430: 65 72 72 6f 72 73 3f 20 3c 73 71 6c 69 74 65 20  errors? <sqlite 
1440: 64 61 74 61 62 61 73 65 3e 0a 0a 20 20 57 68 65  database>..  Whe
1450: 6e 20 74 68 69 73 20 70 72 6f 67 72 61 6d 20 69  n this program i
1460: 73 20 72 75 6e 2c 20 69 74 20 66 69 72 73 74 20  s run, it first 
1470: 63 68 65 63 6b 73 20 74 68 65 20 73 63 68 65 6d  checks the schem
1480: 61 20 6f 66 20 74 68 65 20 73 75 70 70 6c 69 65  a of the supplie
1490: 64 20 53 51 4c 69 74 65 0a 20 20 64 61 74 61 62  d SQLite.  datab
14a0: 61 73 65 20 66 6f 72 20 66 6f 72 65 69 67 6e 20  ase for foreign 
14b0: 6b 65 79 20 72 65 6c 61 74 65 64 20 65 72 72 6f  key related erro
14c0: 72 73 20 6f 72 20 69 6e 63 6f 6e 73 69 73 74 65  rs or inconsiste
14d0: 6e 63 69 65 73 2e 20 46 6f 72 20 65 78 61 6d 70  ncies. For examp
14e0: 6c 65 2c 0a 20 20 61 20 66 6f 72 65 69 67 6e 20  le,.  a foreign 
14f0: 6b 65 79 20 74 68 61 74 20 72 65 66 65 72 73 20  key that refers 
1500: 74 6f 20 61 20 70 61 72 65 6e 74 20 74 61 62 6c  to a parent tabl
1510: 65 20 74 68 61 74 20 64 6f 65 73 20 6e 6f 74 20  e that does not 
1520: 65 78 69 73 74 2c 20 6f 72 0a 20 20 61 20 66 6f  exist, or.  a fo
1530: 72 65 69 67 6e 20 6b 65 79 20 74 68 61 74 20 72  reign key that r
1540: 65 66 65 72 73 20 74 6f 20 63 6f 6c 75 6d 6e 73  efers to columns
1550: 20 69 6e 20 61 20 70 61 72 65 6e 74 20 74 61 62   in a parent tab
1560: 6c 65 20 74 68 61 74 20 61 72 65 20 6e 6f 74 0a  le that are not.
1570: 20 20 67 75 61 72 61 6e 74 65 65 64 20 74 6f 20    guaranteed to 
1580: 62 65 20 75 6e 69 71 75 65 2e 20 49 66 20 73 75  be unique. If su
1590: 63 68 20 65 72 72 6f 72 73 20 61 72 65 20 66 6f  ch errors are fo
15a0: 75 6e 64 2c 20 61 20 6d 65 73 73 61 67 65 20 66  und, a message f
15b0: 6f 72 20 65 61 63 68 0a 20 20 6f 6e 65 20 69 73  or each.  one is
15c0: 20 70 72 69 6e 74 65 64 20 74 6f 20 73 74 64 65   printed to stde
15d0: 72 72 2e 0a 0a 20 20 49 66 20 65 72 72 6f 72 73  rr...  If errors
15e0: 20 61 72 65 20 66 6f 75 6e 64 20 61 6e 64 20 74   are found and t
15f0: 68 65 20 2d 2d 69 67 6e 6f 72 65 2d 65 72 72 6f  he --ignore-erro
1600: 72 73 20 6f 70 74 69 6f 6e 20 77 61 73 20 6e 6f  rs option was no
1610: 74 20 70 61 73 73 65 64 2c 20 74 68 65 0a 20 20  t passed, the.  
1620: 70 72 6f 67 72 61 6d 20 65 78 69 74 73 2e 20 4f  program exits. O
1630: 74 68 65 72 77 69 73 65 2c 20 61 20 73 65 72 69  therwise, a seri
1640: 65 73 20 6f 66 20 53 51 4c 20 74 72 69 67 67 65  es of SQL trigge
1650: 72 20 64 65 66 69 6e 69 74 69 6f 6e 73 20 28 43  r definitions (C
1660: 52 45 41 54 45 20 0a 20 20 54 52 49 47 47 45 52  REATE .  TRIGGER
1670: 20 73 74 61 74 65 6d 65 6e 74 73 29 20 74 68 61   statements) tha
1680: 74 20 69 6d 70 6c 65 6d 65 6e 74 20 74 68 65 20  t implement the 
1690: 66 6f 72 65 69 67 6e 20 6b 65 79 20 63 6f 6e 73  foreign key cons
16a0: 74 72 61 69 6e 74 73 20 66 6f 75 6e 64 0a 20 20  traints found.  
16b0: 69 6e 20 74 68 65 20 64 61 74 61 62 61 73 65 20  in the database 
16c0: 73 63 68 65 6d 61 20 61 72 65 20 77 72 69 74 74  schema are writt
16d0: 65 6e 20 74 6f 20 73 74 64 6f 75 74 2e 20 49 66  en to stdout. If
16e0: 20 61 6e 79 20 65 72 72 6f 72 73 20 77 65 72 65   any errors were
16f0: 20 0a 20 20 66 6f 75 6e 64 20 69 6e 20 74 68 65   .  found in the
1700: 20 73 63 68 65 6d 61 2c 20 6e 6f 20 74 72 69 67   schema, no trig
1710: 67 65 72 73 20 66 6f 72 20 74 68 65 20 70 72 6f  gers for the pro
1720: 62 6c 65 6d 61 74 69 63 20 63 6f 6e 73 74 72 61  blematic constra
1730: 69 6e 74 73 20 61 72 65 0a 20 20 6f 75 74 70 75  ints are.  outpu
1740: 74 2e 20 54 68 65 20 6f 75 74 70 75 74 20 43 52  t. The output CR
1750: 45 41 54 45 20 54 52 49 47 47 45 52 20 73 74 61  EATE TRIGGER sta
1760: 74 65 6d 65 6e 74 73 20 73 68 6f 75 6c 64 20 62  tements should b
1770: 65 20 72 75 6e 20 61 67 61 69 6e 73 74 20 74 68  e run against th
1780: 65 0a 20 20 64 61 74 61 62 61 73 65 20 74 6f 20  e.  database to 
1790: 65 6e 61 62 6c 65 20 65 6e 66 6f 72 63 65 6d 65  enable enforceme
17a0: 6e 74 20 6f 66 20 74 68 65 20 66 6f 72 65 69 67  nt of the foreig
17b0: 6e 20 6b 65 79 20 63 6f 6e 73 74 72 61 69 6e 74  n key constraint
17c0: 73 2e 20 46 6f 72 0a 20 20 65 78 61 6d 70 6c 65  s. For.  example
17d0: 2c 20 66 6f 72 20 61 20 64 61 74 61 62 61 73 65  , for a database
17e0: 20 6e 61 6d 65 64 20 22 74 65 73 74 2e 64 62 22   named "test.db"
17f0: 20 69 6e 20 74 68 65 20 63 75 72 72 65 6e 74 20   in the current 
1800: 77 6f 72 6b 69 6e 67 20 64 69 72 65 63 74 6f 72  working director
1810: 79 3a 0a 0a 20 20 20 20 24 20 67 65 6e 66 6b 65  y:..    $ genfke
1820: 79 20 2e 2f 74 65 73 74 2e 64 62 20 7c 20 73 71  y ./test.db | sq
1830: 6c 69 74 65 33 20 2e 2f 74 65 73 74 2e 64 62 0a  lite3 ./test.db.
1840: 0a 20 20 41 6c 6c 20 74 72 69 67 67 65 72 73 20  .  All triggers 
1850: 67 65 6e 65 72 61 74 65 64 20 62 79 20 74 68 69  generated by thi
1860: 73 20 70 72 6f 67 72 61 6d 20 68 61 76 65 20 6e  s program have n
1870: 61 6d 65 73 20 74 68 61 74 20 6d 61 74 63 68 20  ames that match 
1880: 74 68 65 20 70 61 74 74 65 72 6e 0a 20 20 22 67  the pattern.  "g
1890: 65 6e 66 6b 65 79 2a 22 2e 20 55 6e 6c 65 73 73  enfkey*". Unless
18a0: 20 74 68 65 20 2d 2d 6e 6f 2d 64 72 6f 70 20 6f   the --no-drop o
18b0: 70 74 69 6f 6e 20 69 73 20 73 70 65 63 69 66 69  ption is specifi
18c0: 65 64 2c 20 74 68 65 6e 20 74 68 65 20 70 72 6f  ed, then the pro
18d0: 67 72 61 6d 0a 20 20 61 6c 73 6f 20 6f 75 74 70  gram.  also outp
18e0: 75 74 73 20 61 20 22 44 52 4f 50 20 54 52 49 47  uts a "DROP TRIG
18f0: 47 45 52 22 20 73 74 61 74 65 6d 65 6e 74 20 66  GER" statement f
1900: 6f 72 20 65 61 63 68 20 74 72 69 67 67 65 72 20  or each trigger 
1910: 74 68 61 74 20 65 78 69 73 74 73 0a 20 20 69 6e  that exists.  in
1920: 20 74 68 65 20 64 61 74 61 62 61 73 65 20 77 69   the database wi
1930: 74 68 20 61 20 6e 61 6d 65 20 74 68 61 74 20 6d  th a name that m
1940: 61 74 63 68 65 73 20 74 68 69 73 20 70 61 74 74  atches this patt
1950: 65 72 6e 2e 20 54 68 69 73 20 61 6c 6c 6f 77 73  ern. This allows
1960: 20 74 68 65 0a 20 20 70 72 6f 67 72 61 6d 20 74   the.  program t
1970: 6f 20 62 65 20 75 73 65 64 20 74 6f 20 75 70 67  o be used to upg
1980: 72 61 64 65 20 61 20 64 61 74 61 62 61 73 65 20  rade a database 
1990: 73 63 68 65 6d 61 20 66 6f 72 20 77 68 69 63 68  schema for which
19a0: 20 66 6f 72 65 69 67 6e 20 6b 65 79 0a 20 20 74   foreign key.  t
19b0: 72 69 67 67 65 72 73 20 68 61 76 65 20 61 6c 72  riggers have alr
19c0: 65 61 64 79 20 62 65 65 6e 20 69 6e 73 74 61 6c  eady been instal
19d0: 6c 65 64 20 28 69 2e 65 2e 20 61 66 74 65 72 20  led (i.e. after 
19e0: 6e 65 77 20 74 61 62 6c 65 73 20 61 72 65 20 63  new tables are c
19f0: 72 65 61 74 65 64 0a 20 20 6f 72 20 65 78 69 73  reated.  or exis
1a00: 74 69 6e 67 20 74 61 62 6c 65 73 20 64 72 6f 70  ting tables drop
1a10: 70 65 64 29 2e 0a 20 20 0a 0a                    ped)..  ..