/ Hex Artifact Content
Login

Artifact 6aad270ae5ed7b0496e25020bce89097c2cf9c79:


0000: 2f 2a 0a 2a 2a 0a 2a 2a 20 54 68 65 20 61 75 74  /*.**.** The aut
0010: 68 6f 72 20 64 69 73 63 6c 61 69 6d 73 20 63 6f  hor disclaims co
0020: 70 79 72 69 67 68 74 20 74 6f 20 74 68 69 73 20  pyright to this 
0030: 73 6f 75 72 63 65 20 63 6f 64 65 2e 20 20 49 6e  source code.  In
0040: 20 70 6c 61 63 65 20 6f 66 0a 2a 2a 20 61 20 6c   place of.** a l
0050: 65 67 61 6c 20 6e 6f 74 69 63 65 2c 20 68 65 72  egal notice, her
0060: 65 20 69 73 20 61 20 62 6c 65 73 73 69 6e 67 3a  e is a blessing:
0070: 0a 2a 2a 0a 2a 2a 20 20 20 20 4d 61 79 20 79 6f  .**.**    May yo
0080: 75 20 64 6f 20 67 6f 6f 64 20 61 6e 64 20 6e 6f  u do good and no
0090: 74 20 65 76 69 6c 2e 0a 2a 2a 20 20 20 20 4d 61  t evil..**    Ma
00a0: 79 20 79 6f 75 20 66 69 6e 64 20 66 6f 72 67 69  y you find forgi
00b0: 76 65 6e 65 73 73 20 66 6f 72 20 79 6f 75 72 73  veness for yours
00c0: 65 6c 66 20 61 6e 64 20 66 6f 72 67 69 76 65 20  elf and forgive 
00d0: 6f 74 68 65 72 73 2e 0a 2a 2a 20 20 20 20 4d 61  others..**    Ma
00e0: 79 20 79 6f 75 20 73 68 61 72 65 20 66 72 65 65  y you share free
00f0: 6c 79 2c 20 6e 65 76 65 72 20 74 61 6b 69 6e 67  ly, never taking
0100: 20 6d 6f 72 65 20 74 68 61 6e 20 79 6f 75 20 67   more than you g
0110: 69 76 65 2e 0a 2a 2a 0a 2a 2a 2a 2a 2a 2a 2a 2a  ive..**.********
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 0a 2a 2a 20 54 68 69 73 20 66 69 6c 65 20 63  *.** This file c
0170: 6f 6e 74 61 69 6e 73 20 63 6f 64 65 20 75 73 65  ontains code use
0180: 64 20 62 79 20 74 68 65 20 63 6f 6d 70 69 6c 65  d by the compile
0190: 72 20 74 6f 20 61 64 64 20 66 6f 72 65 69 67 6e  r to add foreign
01a0: 20 6b 65 79 0a 2a 2a 20 73 75 70 70 6f 72 74 20   key.** support 
01b0: 74 6f 20 63 6f 6d 70 69 6c 65 64 20 53 51 4c 20  to compiled SQL 
01c0: 73 74 61 74 65 6d 65 6e 74 73 2e 0a 2a 2f 0a 23  statements..*/.#
01d0: 69 6e 63 6c 75 64 65 20 22 73 71 6c 69 74 65 49  include "sqliteI
01e0: 6e 74 2e 68 22 0a 0a 23 69 66 6e 64 65 66 20 53  nt.h"..#ifndef S
01f0: 51 4c 49 54 45 5f 4f 4d 49 54 5f 46 4f 52 45 49  QLITE_OMIT_FOREI
0200: 47 4e 5f 4b 45 59 0a 23 69 66 6e 64 65 66 20 53  GN_KEY.#ifndef S
0210: 51 4c 49 54 45 5f 4f 4d 49 54 5f 54 52 49 47 47  QLITE_OMIT_TRIGG
0220: 45 52 0a 0a 2f 2a 0a 2a 2a 20 44 65 66 65 72 72  ER../*.** Deferr
0230: 65 64 20 61 6e 64 20 49 6d 6d 65 64 69 61 74 65  ed and Immediate
0240: 20 46 4b 73 0a 2a 2a 20 2d 2d 2d 2d 2d 2d 2d 2d   FKs.** --------
0250: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0260: 2d 2d 0a 2a 2a 0a 2a 2a 20 46 6f 72 65 69 67 6e  --.**.** Foreign
0270: 20 6b 65 79 73 20 69 6e 20 53 51 4c 69 74 65 20   keys in SQLite 
0280: 63 6f 6d 65 20 69 6e 20 74 77 6f 20 66 6c 61 76  come in two flav
0290: 6f 75 72 73 3a 20 64 65 66 65 72 72 65 64 20 61  ours: deferred a
02a0: 6e 64 20 69 6d 6d 65 64 69 61 74 65 2e 0a 2a 2a  nd immediate..**
02b0: 20 49 66 20 61 6e 20 69 6d 6d 65 64 69 61 74 65   If an immediate
02c0: 20 66 6f 72 65 69 67 6e 20 6b 65 79 20 63 6f 6e   foreign key con
02d0: 73 74 72 61 69 6e 74 20 69 73 20 76 69 6f 6c 61  straint is viola
02e0: 74 65 64 2c 20 61 6e 20 4f 50 5f 48 61 6c 74 20  ted, an OP_Halt 
02f0: 69 73 20 0a 2a 2a 20 65 78 65 63 75 74 65 64 20  is .** executed 
0300: 61 6e 64 20 74 68 65 20 63 75 72 72 65 6e 74 20  and the current 
0310: 73 74 61 74 65 6d 65 6e 74 20 74 72 61 6e 73 61  statement transa
0320: 63 74 69 6f 6e 20 72 6f 6c 6c 65 64 20 62 61 63  ction rolled bac
0330: 6b 2e 20 49 66 20 61 20 0a 2a 2a 20 64 65 66 65  k. If a .** defe
0340: 72 72 65 64 20 66 6f 72 65 69 67 6e 20 6b 65 79  rred foreign key
0350: 20 63 6f 6e 73 74 72 61 69 6e 74 20 69 73 20 76   constraint is v
0360: 69 6f 6c 61 74 65 64 2c 20 6e 6f 20 61 63 74 69  iolated, no acti
0370: 6f 6e 20 69 73 20 74 61 6b 65 6e 20 0a 2a 2a 20  on is taken .** 
0380: 69 6d 6d 65 64 69 61 74 65 6c 79 2e 20 48 6f 77  immediately. How
0390: 65 76 65 72 20 69 66 20 74 68 65 20 61 70 70 6c  ever if the appl
03a0: 69 63 61 74 69 6f 6e 20 61 74 74 65 6d 70 74 73  ication attempts
03b0: 20 74 6f 20 63 6f 6d 6d 69 74 20 74 68 65 20 0a   to commit the .
03c0: 2a 2a 20 74 72 61 6e 73 61 63 74 69 6f 6e 20 62  ** transaction b
03d0: 65 66 6f 72 65 20 66 69 78 69 6e 67 20 74 68 65  efore fixing the
03e0: 20 63 6f 6e 73 74 72 61 69 6e 74 20 76 69 6f 6c   constraint viol
03f0: 61 74 69 6f 6e 2c 20 74 68 65 20 61 74 74 65 6d  ation, the attem
0400: 70 74 20 66 61 69 6c 73 2e 0a 2a 2a 0a 2a 2a 20  pt fails..**.** 
0410: 44 65 66 65 72 72 65 64 20 63 6f 6e 73 74 72 61  Deferred constra
0420: 69 6e 74 73 20 61 72 65 20 69 6d 70 6c 65 6d 65  ints are impleme
0430: 6e 74 65 64 20 75 73 69 6e 67 20 61 20 73 69 6d  nted using a sim
0440: 70 6c 65 20 63 6f 75 6e 74 65 72 20 61 73 73 6f  ple counter asso
0450: 63 69 61 74 65 64 0a 2a 2a 20 77 69 74 68 20 74  ciated.** with t
0460: 68 65 20 64 61 74 61 62 61 73 65 20 68 61 6e 64  he database hand
0470: 6c 65 2e 20 54 68 65 20 63 6f 75 6e 74 65 72 20  le. The counter 
0480: 69 73 20 73 65 74 20 74 6f 20 7a 65 72 6f 20 65  is set to zero e
0490: 61 63 68 20 74 69 6d 65 20 61 20 0a 2a 2a 20 64  ach time a .** d
04a0: 61 74 61 62 61 73 65 20 74 72 61 6e 73 61 63 74  atabase transact
04b0: 69 6f 6e 20 69 73 20 6f 70 65 6e 65 64 2e 20 45  ion is opened. E
04c0: 61 63 68 20 74 69 6d 65 20 61 20 73 74 61 74 65  ach time a state
04d0: 6d 65 6e 74 20 69 73 20 65 78 65 63 75 74 65 64  ment is executed
04e0: 20 0a 2a 2a 20 74 68 61 74 20 63 61 75 73 65 73   .** that causes
04f0: 20 61 20 66 6f 72 65 69 67 6e 20 6b 65 79 20 76   a foreign key v
0500: 69 6f 6c 61 74 69 6f 6e 2c 20 74 68 65 20 63 6f  iolation, the co
0510: 75 6e 74 65 72 20 69 73 20 69 6e 63 72 65 6d 65  unter is increme
0520: 6e 74 65 64 2e 20 45 61 63 68 0a 2a 2a 20 74 69  nted. Each.** ti
0530: 6d 65 20 61 20 73 74 61 74 65 6d 65 6e 74 20 69  me a statement i
0540: 73 20 65 78 65 63 75 74 65 64 20 74 68 61 74 20  s executed that 
0550: 72 65 6d 6f 76 65 73 20 61 6e 20 65 78 69 73 74  removes an exist
0560: 69 6e 67 20 76 69 6f 6c 61 74 69 6f 6e 20 66 72  ing violation fr
0570: 6f 6d 0a 2a 2a 20 74 68 65 20 64 61 74 61 62 61  om.** the databa
0580: 73 65 2c 20 74 68 65 20 63 6f 75 6e 74 65 72 20  se, the counter 
0590: 69 73 20 64 65 63 72 65 6d 65 6e 74 65 64 2e 20  is decremented. 
05a0: 57 68 65 6e 20 74 68 65 20 74 72 61 6e 73 61 63  When the transac
05b0: 74 69 6f 6e 20 69 73 0a 2a 2a 20 63 6f 6d 6d 69  tion is.** commi
05c0: 74 74 65 64 2c 20 74 68 65 20 63 6f 6d 6d 69 74  tted, the commit
05d0: 20 66 61 69 6c 73 20 69 66 20 74 68 65 20 63 75   fails if the cu
05e0: 72 72 65 6e 74 20 76 61 6c 75 65 20 6f 66 20 74  rrent value of t
05f0: 68 65 20 63 6f 75 6e 74 65 72 20 69 73 0a 2a 2a  he counter is.**
0600: 20 67 72 65 61 74 65 72 20 74 68 61 6e 20 7a 65   greater than ze
0610: 72 6f 2e 20 54 68 69 73 20 73 63 68 65 6d 65 20  ro. This scheme 
0620: 68 61 73 20 74 77 6f 20 62 69 67 20 64 72 61 77  has two big draw
0630: 62 61 63 6b 73 3a 0a 2a 2a 0a 2a 2a 20 20 20 2a  backs:.**.**   *
0640: 20 57 68 65 6e 20 61 20 63 6f 6d 6d 69 74 20 66   When a commit f
0650: 61 69 6c 73 20 64 75 65 20 74 6f 20 61 20 64 65  ails due to a de
0660: 66 65 72 72 65 64 20 66 6f 72 65 69 67 6e 20 6b  ferred foreign k
0670: 65 79 20 63 6f 6e 73 74 72 61 69 6e 74 2c 20 0a  ey constraint, .
0680: 2a 2a 20 20 20 20 20 74 68 65 72 65 20 69 73 20  **     there is 
0690: 6e 6f 20 77 61 79 20 74 6f 20 74 65 6c 6c 20 77  no way to tell w
06a0: 68 69 63 68 20 66 6f 72 65 69 67 6e 20 63 6f 6e  hich foreign con
06b0: 73 74 72 61 69 6e 74 20 69 73 20 6e 6f 74 20 73  straint is not s
06c0: 61 74 69 73 66 69 65 64 2c 0a 2a 2a 20 20 20 20  atisfied,.**    
06d0: 20 6f 72 20 77 68 69 63 68 20 72 6f 77 20 69 74   or which row it
06e0: 20 69 73 20 6e 6f 74 20 73 61 74 69 73 66 69 65   is not satisfie
06f0: 64 20 66 6f 72 2e 0a 2a 2a 0a 2a 2a 20 20 20 2a  d for..**.**   *
0700: 20 49 66 20 74 68 65 20 64 61 74 61 62 61 73 65   If the database
0710: 20 63 6f 6e 74 61 69 6e 73 20 66 6f 72 65 69 67   contains foreig
0720: 6e 20 6b 65 79 20 76 69 6f 6c 61 74 69 6f 6e 73  n key violations
0730: 20 77 68 65 6e 20 74 68 65 20 0a 2a 2a 20 20 20   when the .**   
0740: 20 20 74 72 61 6e 73 61 63 74 69 6f 6e 20 69 73    transaction is
0750: 20 6f 70 65 6e 65 64 2c 20 74 68 69 73 20 6d 61   opened, this ma
0760: 79 20 63 61 75 73 65 20 74 68 65 20 6d 65 63 68  y cause the mech
0770: 61 6e 69 73 6d 20 74 6f 20 6d 61 6c 66 75 6e 63  anism to malfunc
0780: 74 69 6f 6e 2e 0a 2a 2a 0a 2a 2a 20 44 65 73 70  tion..**.** Desp
0790: 69 74 65 20 74 68 65 73 65 20 70 72 6f 62 6c 65  ite these proble
07a0: 6d 73 2c 20 74 68 69 73 20 61 70 70 72 6f 61 63  ms, this approac
07b0: 68 20 69 73 20 61 64 6f 70 74 65 64 20 61 73 20  h is adopted as 
07c0: 69 74 20 73 65 65 6d 73 20 73 69 6d 70 6c 65 72  it seems simpler
07d0: 0a 2a 2a 20 74 68 61 6e 20 74 68 65 20 61 6c 74  .** than the alt
07e0: 65 72 6e 61 74 69 76 65 73 2e 0a 2a 2a 0a 2a 2a  ernatives..**.**
07f0: 20 49 4e 53 45 52 54 20 6f 70 65 72 61 74 69 6f   INSERT operatio
0800: 6e 73 3a 0a 2a 2a 0a 2a 2a 20 20 20 49 2e 31 29  ns:.**.**   I.1)
0810: 20 46 6f 72 20 65 61 63 68 20 46 4b 20 66 6f 72   For each FK for
0820: 20 77 68 69 63 68 20 74 68 65 20 74 61 62 6c 65   which the table
0830: 20 69 73 20 74 68 65 20 72 65 66 65 72 65 6e 63   is the referenc
0840: 69 6e 67 20 74 61 62 6c 65 2c 20 73 65 61 72 63  ing table, searc
0850: 68 0a 2a 2a 20 20 20 20 20 20 20 20 74 68 65 20  h.**        the 
0860: 72 65 66 65 72 65 6e 63 65 64 20 74 61 62 6c 65  referenced table
0870: 20 66 6f 72 20 61 20 6d 61 74 63 68 2e 20 49 66   for a match. If
0880: 20 6e 6f 6e 65 20 69 73 20 66 6f 75 6e 64 2c 20   none is found, 
0890: 74 68 72 6f 77 20 61 6e 20 0a 2a 2a 20 20 20 20  throw an .**    
08a0: 20 20 20 20 65 78 63 65 70 74 69 6f 6e 20 66 6f      exception fo
08b0: 72 20 61 6e 20 69 6d 6d 65 64 69 61 74 65 20 46  r an immediate F
08c0: 4b 2c 20 6f 72 20 69 6e 63 72 65 6d 65 6e 74 20  K, or increment 
08d0: 74 68 65 20 63 6f 75 6e 74 65 72 20 66 6f 72 20  the counter for 
08e0: 61 0a 2a 2a 20 20 20 20 20 20 20 20 64 65 66 65  a.**        defe
08f0: 72 72 65 64 20 46 4b 2e 0a 2a 2a 0a 2a 2a 20 20  rred FK..**.**  
0900: 20 49 2e 32 29 20 46 6f 72 20 65 61 63 68 20 64   I.2) For each d
0910: 65 66 65 72 72 65 64 20 46 4b 20 66 6f 72 20 77  eferred FK for w
0920: 68 69 63 68 20 74 68 65 20 74 61 62 6c 65 20 69  hich the table i
0930: 73 20 74 68 65 20 72 65 66 65 72 65 6e 63 65 64  s the referenced
0940: 20 74 61 62 6c 65 2c 20 0a 2a 2a 20 20 20 20 20   table, .**     
0950: 20 20 20 73 65 61 72 63 68 20 74 68 65 20 72 65     search the re
0960: 66 65 72 65 6e 63 69 6e 67 20 74 61 62 6c 65 20  ferencing table 
0970: 66 6f 72 20 72 6f 77 73 20 74 68 61 74 20 63 6f  for rows that co
0980: 72 72 65 73 70 6f 6e 64 20 74 6f 20 74 68 65 20  rrespond to the 
0990: 6e 65 77 0a 2a 2a 20 20 20 20 20 20 20 20 72 6f  new.**        ro
09a0: 77 20 69 6e 20 74 68 65 20 72 65 66 65 72 65 6e  w in the referen
09b0: 63 65 64 20 74 61 62 6c 65 2e 20 44 65 63 72 65  ced table. Decre
09c0: 6d 65 6e 74 20 74 68 65 20 63 6f 75 6e 74 65 72  ment the counter
09d0: 20 66 6f 72 20 65 61 63 68 20 72 6f 77 0a 2a 2a   for each row.**
09e0: 20 20 20 20 20 20 20 20 66 6f 75 6e 64 20 28 61          found (a
09f0: 73 20 74 68 65 20 63 6f 6e 73 74 72 61 69 6e 74  s the constraint
0a00: 20 69 73 20 6e 6f 77 20 73 61 74 69 73 66 69 65   is now satisfie
0a10: 64 29 2e 0a 2a 2a 0a 2a 2a 20 44 45 4c 45 54 45  d)..**.** DELETE
0a20: 20 6f 70 65 72 61 74 69 6f 6e 73 3a 0a 2a 2a 0a   operations:.**.
0a30: 2a 2a 20 20 20 44 2e 31 29 20 46 6f 72 20 65 61  **   D.1) For ea
0a40: 63 68 20 64 65 66 65 72 72 65 64 20 46 4b 20 66  ch deferred FK f
0a50: 6f 72 20 77 68 69 63 68 20 74 68 65 20 74 61 62  or which the tab
0a60: 6c 65 20 69 73 20 74 68 65 20 72 65 66 65 72 65  le is the refere
0a70: 6e 63 69 6e 67 20 74 61 62 6c 65 2c 20 0a 2a 2a  ncing table, .**
0a80: 20 20 20 20 20 20 20 20 73 65 61 72 63 68 20 74          search t
0a90: 68 65 20 72 65 66 65 72 65 6e 63 65 64 20 74 61  he referenced ta
0aa0: 62 6c 65 20 66 6f 72 20 61 20 72 6f 77 20 74 68  ble for a row th
0ab0: 61 74 20 63 6f 72 72 65 73 70 6f 6e 64 73 20 74  at corresponds t
0ac0: 6f 20 74 68 65 20 0a 2a 2a 20 20 20 20 20 20 20  o the .**       
0ad0: 20 64 65 6c 65 74 65 64 20 72 6f 77 20 69 6e 20   deleted row in 
0ae0: 74 68 65 20 72 65 66 65 72 65 6e 63 69 6e 67 20  the referencing 
0af0: 74 61 62 6c 65 2e 20 49 66 20 73 75 63 68 20 61  table. If such a
0b00: 20 72 6f 77 20 69 73 20 6e 6f 74 20 66 6f 75 6e   row is not foun
0b10: 64 2c 20 0a 2a 2a 20 20 20 20 20 20 20 20 64 65  d, .**        de
0b20: 63 72 65 6d 65 6e 74 20 74 68 65 20 63 6f 75 6e  crement the coun
0b30: 74 65 72 2e 0a 2a 2a 0a 2a 2a 20 20 20 44 2e 32  ter..**.**   D.2
0b40: 29 20 46 6f 72 20 65 61 63 68 20 46 4b 20 66 6f  ) For each FK fo
0b50: 72 20 77 68 69 63 68 20 74 68 65 20 74 61 62 6c  r which the tabl
0b60: 65 20 69 73 20 74 68 65 20 72 65 66 65 72 65 6e  e is the referen
0b70: 63 65 64 20 74 61 62 6c 65 2c 20 73 65 61 72 63  ced table, searc
0b80: 68 20 0a 2a 2a 20 20 20 20 20 20 20 20 74 68 65  h .**        the
0b90: 20 72 65 66 65 72 65 6e 63 69 6e 67 20 74 61 62   referencing tab
0ba0: 6c 65 20 66 6f 72 20 72 6f 77 73 20 74 68 61 74  le for rows that
0bb0: 20 63 6f 72 72 65 73 70 6f 6e 64 20 74 6f 20 74   correspond to t
0bc0: 68 65 20 64 65 6c 65 74 65 64 20 72 6f 77 20 0a  he deleted row .
0bd0: 2a 2a 20 20 20 20 20 20 20 20 69 6e 20 74 68 65  **        in the
0be0: 20 72 65 66 65 72 65 6e 63 65 64 20 74 61 62 6c   referenced tabl
0bf0: 65 2e 20 46 6f 72 20 65 61 63 68 20 66 6f 75 6e  e. For each foun
0c00: 64 2c 20 74 68 72 6f 77 20 61 6e 20 65 78 63 65  d, throw an exce
0c10: 70 74 69 6f 6e 20 66 6f 72 20 61 6e 0a 2a 2a 20  ption for an.** 
0c20: 20 20 20 20 20 20 20 69 6d 6d 65 64 69 61 74 65         immediate
0c30: 20 46 4b 2c 20 6f 72 20 69 6e 63 72 65 6d 65 6e   FK, or incremen
0c40: 74 20 74 68 65 20 63 6f 75 6e 74 65 72 20 66 6f  t the counter fo
0c50: 72 20 61 20 64 65 66 65 72 72 65 64 20 46 4b 2e  r a deferred FK.
0c60: 0a 2a 2a 0a 2a 2a 20 55 50 44 41 54 45 20 6f 70  .**.** UPDATE op
0c70: 65 72 61 74 69 6f 6e 73 3a 0a 2a 2a 0a 2a 2a 20  erations:.**.** 
0c80: 20 20 41 6e 20 55 50 44 41 54 45 20 63 6f 6d 6d    An UPDATE comm
0c90: 61 6e 64 20 72 65 71 75 69 72 65 73 20 74 68 61  and requires tha
0ca0: 74 20 61 6c 6c 20 34 20 73 74 65 70 73 20 61 62  t all 4 steps ab
0cb0: 6f 76 65 20 61 72 65 20 74 61 6b 65 6e 2c 20 62  ove are taken, b
0cc0: 75 74 20 6f 6e 6c 79 0a 2a 2a 20 20 20 66 6f 72  ut only.**   for
0cd0: 20 46 4b 20 63 6f 6e 73 74 72 61 69 6e 74 73 20   FK constraints 
0ce0: 66 6f 72 20 77 68 69 63 68 20 74 68 65 20 61 66  for which the af
0cf0: 66 65 63 74 65 64 20 63 6f 6c 75 6d 6e 73 20 61  fected columns a
0d00: 72 65 20 61 63 74 75 61 6c 6c 79 20 0a 2a 2a 20  re actually .** 
0d10: 20 20 6d 6f 64 69 66 69 65 64 20 28 76 61 6c 75    modified (valu
0d20: 65 73 20 6d 75 73 74 20 62 65 20 63 6f 6d 70 61  es must be compa
0d30: 72 65 64 20 61 74 20 72 75 6e 74 69 6d 65 29 2e  red at runtime).
0d40: 0a 2a 2a 0a 2a 2a 20 4e 6f 74 65 20 74 68 61 74  .**.** Note that
0d50: 20 49 2e 31 20 61 6e 64 20 44 2e 31 20 61 72 65   I.1 and D.1 are
0d60: 20 76 65 72 79 20 73 69 6d 69 6c 61 72 20 6f 70   very similar op
0d70: 65 72 61 74 69 6f 6e 73 2c 20 61 73 20 61 72 65  erations, as are
0d80: 20 49 2e 32 20 61 6e 64 20 44 2e 32 2e 0a 2a 2a   I.2 and D.2..**
0d90: 20 54 68 69 73 20 73 69 6d 70 6c 69 66 69 65 73   This simplifies
0da0: 20 74 68 65 20 69 6d 70 6c 65 6d 65 6e 74 61 74   the implementat
0db0: 69 6f 6e 20 61 20 62 69 74 2e 0a 2a 2a 0a 2a 2a  ion a bit..**.**
0dc0: 20 46 6f 72 20 74 68 65 20 70 75 72 70 6f 73 65   For the purpose
0dd0: 73 20 6f 66 20 69 6d 6d 65 64 69 61 74 65 20 46  s of immediate F
0de0: 4b 20 63 6f 6e 73 74 72 61 69 6e 74 73 2c 20 74  K constraints, t
0df0: 68 65 20 4f 52 20 52 45 50 4c 41 43 45 20 63 6f  he OR REPLACE co
0e00: 6e 66 6c 69 63 74 0a 2a 2a 20 72 65 73 6f 6c 75  nflict.** resolu
0e10: 74 69 6f 6e 20 69 73 20 63 6f 6e 73 69 64 65 72  tion is consider
0e20: 65 64 20 74 6f 20 64 65 6c 65 74 65 20 72 6f 77  ed to delete row
0e30: 73 20 62 65 66 6f 72 65 20 74 68 65 20 6e 65 77  s before the new
0e40: 20 72 6f 77 20 69 73 20 69 6e 73 65 72 74 65 64   row is inserted
0e50: 2e 0a 2a 2a 20 49 66 20 61 20 64 65 6c 65 74 65  ..** If a delete
0e60: 20 63 61 75 73 65 64 20 62 79 20 4f 52 20 52 45   caused by OR RE
0e70: 50 4c 41 43 45 20 76 69 6f 6c 61 74 65 73 20 61  PLACE violates a
0e80: 6e 20 46 4b 20 63 6f 6e 73 74 72 61 69 6e 74 2c  n FK constraint,
0e90: 20 61 6e 20 65 78 63 65 70 74 69 6f 6e 0a 2a 2a   an exception.**
0ea0: 20 69 73 20 74 68 72 6f 77 6e 2c 20 65 76 65 6e   is thrown, even
0eb0: 20 69 66 20 74 68 65 20 46 4b 20 63 6f 6e 73 74   if the FK const
0ec0: 72 61 69 6e 74 20 77 6f 75 6c 64 20 62 65 20 73  raint would be s
0ed0: 61 74 69 73 66 69 65 64 20 61 66 74 65 72 20 74  atisfied after t
0ee0: 68 65 20 6e 65 77 20 0a 2a 2a 20 72 6f 77 20 69  he new .** row i
0ef0: 73 20 69 6e 73 65 72 74 65 64 2e 0a 2a 2a 0a 2a  s inserted..**.*
0f00: 2a 20 54 4f 44 4f 3a 20 48 6f 77 20 73 68 6f 75  * TODO: How shou
0f10: 6c 64 20 64 72 6f 70 70 69 6e 67 20 61 20 74 61  ld dropping a ta
0f20: 62 6c 65 20 62 65 20 68 61 6e 64 6c 65 64 3f 20  ble be handled? 
0f30: 48 6f 77 20 73 68 6f 75 6c 64 20 72 65 6e 61 6d  How should renam
0f40: 69 6e 67 20 61 20 0a 2a 2a 20 74 61 62 6c 65 20  ing a .** table 
0f50: 62 65 20 68 61 6e 64 6c 65 64 3f 0a 2a 2f 0a 0a  be handled?.*/..
0f60: 2f 2a 0a 2a 2a 20 51 75 65 72 79 20 41 50 49 20  /*.** Query API 
0f70: 4e 6f 74 65 73 0a 2a 2a 20 2d 2d 2d 2d 2d 2d 2d  Notes.** -------
0f80: 2d 2d 2d 2d 2d 2d 2d 2d 0a 2a 2a 0a 2a 2a 20 42  --------.**.** B
0f90: 65 66 6f 72 65 20 63 6f 64 69 6e 67 20 61 6e 20  efore coding an 
0fa0: 55 50 44 41 54 45 20 6f 72 20 44 45 4c 45 54 45  UPDATE or DELETE
0fb0: 20 72 6f 77 20 6f 70 65 72 61 74 69 6f 6e 2c 20   row operation, 
0fc0: 74 68 65 20 63 6f 64 65 2d 67 65 6e 65 72 61 74  the code-generat
0fd0: 6f 72 0a 2a 2a 20 66 6f 72 20 74 68 6f 73 65 20  or.** for those 
0fe0: 74 77 6f 20 6f 70 65 72 61 74 69 6f 6e 73 20 6e  two operations n
0ff0: 65 65 64 73 20 74 6f 20 6b 6e 6f 77 20 77 68 65  eeds to know whe
1000: 74 68 65 72 20 6f 72 20 6e 6f 74 20 74 68 65 20  ther or not the 
1010: 6f 70 65 72 61 74 69 6f 6e 0a 2a 2a 20 72 65 71  operation.** req
1020: 75 69 72 65 73 20 61 6e 79 20 46 4b 20 70 72 6f  uires any FK pro
1030: 63 65 73 73 69 6e 67 20 61 6e 64 2c 20 69 66 20  cessing and, if 
1040: 73 6f 2c 20 77 68 69 63 68 20 63 6f 6c 75 6d 6e  so, which column
1050: 73 20 6f 66 20 74 68 65 20 6f 72 69 67 69 6e 61  s of the origina
1060: 6c 0a 2a 2a 20 72 6f 77 20 61 72 65 20 72 65 71  l.** row are req
1070: 75 69 72 65 64 20 62 79 20 74 68 65 20 46 4b 20  uired by the FK 
1080: 70 72 6f 63 65 73 73 69 6e 67 20 56 44 42 45 20  processing VDBE 
1090: 63 6f 64 65 20 28 69 2e 65 2e 20 69 66 20 46 4b  code (i.e. if FK
10a0: 73 20 77 65 72 65 0a 2a 2a 20 69 6d 70 6c 65 6d  s were.** implem
10b0: 65 6e 74 65 64 20 75 73 69 6e 67 20 74 72 69 67  ented using trig
10c0: 67 65 72 73 2c 20 77 68 69 63 68 20 6f 66 20 74  gers, which of t
10d0: 68 65 20 6f 6c 64 2e 2a 20 63 6f 6c 75 6d 6e 73  he old.* columns
10e0: 20 77 6f 75 6c 64 20 62 65 20 0a 2a 2a 20 61 63   would be .** ac
10f0: 63 65 73 73 65 64 29 2e 20 4e 6f 20 69 6e 66 6f  cessed). No info
1100: 72 6d 61 74 69 6f 6e 20 69 73 20 72 65 71 75 69  rmation is requi
1110: 72 65 64 20 62 79 20 74 68 65 20 63 6f 64 65 2d  red by the code-
1120: 67 65 6e 65 72 61 74 6f 72 20 62 65 66 6f 72 65  generator before
1130: 0a 2a 2a 20 63 6f 64 69 6e 67 20 61 6e 20 49 4e  .** coding an IN
1140: 53 45 52 54 20 6f 70 65 72 61 74 69 6f 6e 2e 0a  SERT operation..
1150: 2a 2a 0a 2a 2f 0a 0a 2f 2a 0a 2a 2a 20 56 44 42  **.*/../*.** VDB
1160: 45 20 43 61 6c 6c 69 6e 67 20 43 6f 6e 76 65 6e  E Calling Conven
1170: 74 69 6f 6e 0a 2a 2a 20 2d 2d 2d 2d 2d 2d 2d 2d  tion.** --------
1180: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a  ---------------.
1190: 2a 2a 0a 2a 2a 20 45 78 61 6d 70 6c 65 3a 0a 2a  **.** Example:.*
11a0: 2a 0a 2a 2a 20 20 20 46 6f 72 20 74 68 65 20 66  *.**   For the f
11b0: 6f 6c 6c 6f 77 69 6e 67 20 49 4e 53 45 52 54 20  ollowing INSERT 
11c0: 73 74 61 74 65 6d 65 6e 74 3a 0a 2a 2a 0a 2a 2a  statement:.**.**
11d0: 20 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c       CREATE TABL
11e0: 45 20 74 31 28 61 2c 20 62 20 49 4e 54 45 47 45  E t1(a, b INTEGE
11f0: 52 20 50 52 49 4d 41 52 59 20 4b 45 59 2c 20 63  R PRIMARY KEY, c
1200: 29 3b 0a 2a 2a 20 20 20 20 20 49 4e 53 45 52 54  );.**     INSERT
1210: 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28   INTO t1 VALUES(
1220: 31 2c 20 32 2c 20 33 2e 31 29 3b 0a 2a 2a 0a 2a  1, 2, 3.1);.**.*
1230: 2a 20 20 20 52 65 67 69 73 74 65 72 20 28 78 29  *   Register (x)
1240: 3a 20 20 20 20 20 20 20 20 32 20 20 20 20 28 74  :        2    (t
1250: 79 70 65 20 69 6e 74 65 67 65 72 29 0a 2a 2a 20  ype integer).** 
1260: 20 20 52 65 67 69 73 74 65 72 20 28 78 2b 31 29    Register (x+1)
1270: 3a 20 20 20 20 20 20 31 20 20 20 20 28 74 79 70  :      1    (typ
1280: 65 20 69 6e 74 65 67 65 72 29 0a 2a 2a 20 20 20  e integer).**   
1290: 52 65 67 69 73 74 65 72 20 28 78 2b 32 29 3a 20  Register (x+2): 
12a0: 20 20 20 20 20 4e 55 4c 4c 20 28 74 79 70 65 20       NULL (type 
12b0: 4e 55 4c 4c 29 0a 2a 2a 20 20 20 52 65 67 69 73  NULL).**   Regis
12c0: 74 65 72 20 28 78 2b 33 29 3a 20 20 20 20 20 20  ter (x+3):      
12d0: 33 2e 31 20 20 28 74 79 70 65 20 72 65 61 6c 29  3.1  (type real)
12e0: 0a 2a 2f 0a 0a 2f 2a 0a 2a 2a 20 4f 4e 20 55 50  .*/../*.** ON UP
12f0: 44 41 54 45 20 61 6e 64 20 4f 4e 20 44 45 4c 45  DATE and ON DELE
1300: 54 45 20 63 6c 61 75 73 65 73 0a 2a 2a 20 2d 2d  TE clauses.** --
1310: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1320: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 2a 2f  -------------.*/
1330: 0a 0a 2f 2a 0a 2a 2a 20 45 78 74 65 72 6e 61 6c  ../*.** External
1340: 6c 79 20 61 63 63 65 73 73 69 62 6c 65 20 6d 6f  ly accessible mo
1350: 64 75 6c 65 20 66 75 6e 63 74 69 6f 6e 73 0a 2a  dule functions.*
1360: 2a 20 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  * --------------
1370: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1380: 2d 2d 2d 2d 2d 2d 2d 2d 0a 2a 2a 0a 2a 2a 20 20  --------.**.**  
1390: 20 73 71 6c 69 74 65 33 46 6b 52 65 71 75 69 72   sqlite3FkRequir
13a0: 65 64 28 29 0a 2a 2a 20 20 20 73 71 6c 69 74 65  ed().**   sqlite
13b0: 33 46 6b 4f 6c 64 6d 61 73 6b 28 29 0a 2a 2a 0a  3FkOldmask().**.
13c0: 2a 2a 20 20 20 73 71 6c 69 74 65 33 46 6b 43 68  **   sqlite3FkCh
13d0: 65 63 6b 28 29 0a 2a 2a 20 20 20 73 71 6c 69 74  eck().**   sqlit
13e0: 65 33 46 6b 41 63 74 69 6f 6e 73 28 29 0a 2a 2a  e3FkActions().**
13f0: 0a 2a 2a 20 20 20 73 71 6c 69 74 65 33 46 6b 44  .**   sqlite3FkD
1400: 65 6c 65 74 65 28 29 0a 2a 2a 20 0a 2a 2f 0a 0a  elete().** .*/..
1410: 2f 2a 0a 2a 2a 20 41 20 66 6f 72 65 69 67 6e 20  /*.** A foreign 
1420: 6b 65 79 20 63 6f 6e 73 74 72 61 69 6e 74 20 72  key constraint r
1430: 65 71 75 69 72 65 73 20 74 68 61 74 20 74 68 65  equires that the
1440: 20 6b 65 79 20 63 6f 6c 75 6d 6e 73 20 69 6e 20   key columns in 
1450: 74 68 65 20 72 65 66 65 72 65 6e 63 65 64 0a 2a  the referenced.*
1460: 2a 20 74 61 62 6c 65 20 61 72 65 20 63 6f 6c 6c  * table are coll
1470: 65 63 74 69 76 65 6c 79 20 73 75 62 6a 65 63 74  ectively subject
1480: 20 74 6f 20 61 20 55 4e 49 51 55 45 20 6f 72 20   to a UNIQUE or 
1490: 50 52 49 4d 41 52 59 20 4b 45 59 20 63 6f 6e 73  PRIMARY KEY cons
14a0: 74 72 61 69 6e 74 2e 0a 2a 2a 20 47 69 76 65 6e  traint..** Given
14b0: 20 74 68 61 74 20 70 54 6f 20 69 73 20 74 68 65   that pTo is the
14c0: 20 72 65 66 65 72 65 6e 63 65 64 20 74 61 62 6c   referenced tabl
14d0: 65 20 66 6f 72 20 66 6f 72 65 69 67 6e 20 6b 65  e for foreign ke
14e0: 79 20 63 6f 6e 73 74 72 61 69 6e 74 0a 2a 2a 20  y constraint.** 
14f0: 70 46 4b 65 79 2c 20 63 68 65 63 6b 20 74 68 61  pFKey, check tha
1500: 74 20 74 68 65 20 63 6f 6c 75 6d 6e 73 20 69 6e  t the columns in
1510: 20 70 54 6f 20 61 72 65 20 69 6e 64 65 65 64 20   pTo are indeed 
1520: 73 75 62 6a 65 63 74 20 74 6f 20 61 20 73 75 63  subject to a suc
1530: 68 20 61 0a 2a 2a 20 63 6f 6e 73 74 72 61 69 6e  h a.** constrain
1540: 74 2e 20 49 66 20 74 68 65 79 20 61 72 65 20 6e  t. If they are n
1550: 6f 74 2c 20 72 65 74 75 72 6e 20 6e 6f 6e 2d 7a  ot, return non-z
1560: 65 72 6f 20 61 6e 64 20 6c 65 61 76 65 20 61 6e  ero and leave an
1570: 20 65 72 72 6f 72 20 69 6e 20 70 50 61 72 73 65   error in pParse
1580: 2e 0a 2a 2a 0a 2a 2a 20 49 66 20 61 6e 20 65 72  ..**.** If an er
1590: 72 6f 72 20 64 6f 65 73 20 6e 6f 74 20 6f 63 63  ror does not occ
15a0: 75 72 2c 20 72 65 74 75 72 6e 20 7a 65 72 6f 2e  ur, return zero.
15b0: 0a 2a 2f 0a 73 74 61 74 69 63 20 69 6e 74 20 6c  .*/.static int l
15c0: 6f 63 61 74 65 46 6b 65 79 49 6e 64 65 78 28 0a  ocateFkeyIndex(.
15d0: 20 20 50 61 72 73 65 20 2a 70 50 61 72 73 65 2c    Parse *pParse,
15e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
15f0: 20 20 2f 2a 20 50 61 72 73 65 20 63 6f 6e 74 65    /* Parse conte
1600: 78 74 20 74 6f 20 73 74 6f 72 65 20 61 6e 79 20  xt to store any 
1610: 65 72 72 6f 72 20 69 6e 20 2a 2f 0a 20 20 54 61  error in */.  Ta
1620: 62 6c 65 20 2a 70 54 6f 2c 20 20 20 20 20 20 20  ble *pTo,       
1630: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a                /*
1640: 20 52 65 66 65 72 65 6e 63 65 64 20 74 61 62 6c   Referenced tabl
1650: 65 20 2a 2f 0a 20 20 46 4b 65 79 20 2a 70 46 4b  e */.  FKey *pFK
1660: 65 79 2c 20 20 20 20 20 20 20 20 20 20 20 20 20  ey,             
1670: 20 20 20 20 20 20 20 2f 2a 20 46 6f 72 65 69 67         /* Foreig
1680: 6e 20 6b 65 79 20 74 6f 20 66 69 6e 64 20 69 6e  n key to find in
1690: 64 65 78 20 66 6f 72 20 2a 2f 0a 20 20 49 6e 64  dex for */.  Ind
16a0: 65 78 20 2a 2a 70 70 49 64 78 2c 20 20 20 20 20  ex **ppIdx,     
16b0: 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20               /* 
16c0: 4f 55 54 3a 20 55 6e 69 71 75 65 20 69 6e 64 65  OUT: Unique inde
16d0: 78 20 6f 6e 20 72 65 66 65 72 65 6e 63 65 64 20  x on referenced 
16e0: 74 61 62 6c 65 20 2a 2f 0a 20 20 69 6e 74 20 2a  table */.  int *
16f0: 2a 70 61 69 43 6f 6c 20 20 20 20 20 20 20 20 20  *paiCol         
1700: 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 4f 55             /* OU
1710: 54 3a 20 4d 61 70 20 6f 66 20 69 6e 64 65 78 20  T: Map of index 
1720: 63 6f 6c 75 6d 6e 73 20 69 6e 20 70 46 4b 65 79  columns in pFKey
1730: 20 2a 2f 0a 29 7b 0a 20 20 49 6e 64 65 78 20 2a   */.){.  Index *
1740: 70 49 64 78 20 3d 20 30 3b 0a 20 20 69 6e 74 20  pIdx = 0;.  int 
1750: 2a 61 69 43 6f 6c 20 3d 20 30 3b 0a 20 20 69 6e  *aiCol = 0;.  in
1760: 74 20 6e 43 6f 6c 20 3d 20 70 46 4b 65 79 2d 3e  t nCol = pFKey->
1770: 6e 43 6f 6c 3b 0a 20 20 63 68 61 72 20 2a 7a 46  nCol;.  char *zF
1780: 69 72 73 74 20 3d 20 70 46 4b 65 79 2d 3e 61 43  irst = pFKey->aC
1790: 6f 6c 5b 30 5d 2e 7a 43 6f 6c 3b 0a 0a 20 20 2f  ol[0].zCol;..  /
17a0: 2a 20 54 68 65 20 63 61 6c 6c 65 72 20 69 73 20  * The caller is 
17b0: 72 65 73 70 6f 6e 73 69 62 6c 65 20 66 6f 72 20  responsible for 
17c0: 7a 65 72 6f 69 6e 67 20 6f 75 74 70 75 74 20 70  zeroing output p
17d0: 61 72 61 6d 65 74 65 72 73 2e 20 2a 2f 0a 20 20  arameters. */.  
17e0: 61 73 73 65 72 74 28 20 70 70 49 64 78 20 26 26  assert( ppIdx &&
17f0: 20 2a 70 70 49 64 78 3d 3d 30 20 29 3b 0a 20 20   *ppIdx==0 );.  
1800: 61 73 73 65 72 74 28 20 21 70 61 69 43 6f 6c 20  assert( !paiCol 
1810: 7c 7c 20 2a 70 61 69 43 6f 6c 3d 3d 30 20 29 3b  || *paiCol==0 );
1820: 0a 0a 20 20 2f 2a 20 49 66 20 74 68 69 73 20 69  ..  /* If this i
1830: 73 20 61 20 6e 6f 6e 2d 63 6f 6d 70 6f 73 69 74  s a non-composit
1840: 65 20 28 73 69 6e 67 6c 65 20 63 6f 6c 75 6d 6e  e (single column
1850: 29 20 66 6f 72 65 69 67 6e 20 6b 65 79 2c 20 63  ) foreign key, c
1860: 68 65 63 6b 20 69 66 20 69 74 20 0a 20 20 2a 2a  heck if it .  **
1870: 20 6d 61 70 73 20 74 6f 20 74 68 65 20 49 4e 54   maps to the INT
1880: 45 47 45 52 20 50 52 49 4d 41 52 59 20 4b 45 59  EGER PRIMARY KEY
1890: 20 6f 66 20 74 61 62 6c 65 20 70 54 6f 2e 20 49   of table pTo. I
18a0: 66 20 73 6f 2c 20 6c 65 61 76 65 20 2a 70 70 49  f so, leave *ppI
18b0: 64 78 20 0a 20 20 2a 2a 20 61 6e 64 20 2a 70 61  dx .  ** and *pa
18c0: 69 43 6f 6c 20 73 65 74 20 74 6f 20 7a 65 72 6f  iCol set to zero
18d0: 20 61 6e 64 20 72 65 74 75 72 6e 20 65 61 72 6c   and return earl
18e0: 79 2e 20 0a 20 20 2a 2a 0a 20 20 2a 2a 20 4f 74  y. .  **.  ** Ot
18f0: 68 65 72 77 69 73 65 2c 20 66 6f 72 20 61 20 63  herwise, for a c
1900: 6f 6d 70 6f 73 69 74 65 20 66 6f 72 65 69 67 6e  omposite foreign
1910: 20 6b 65 79 20 28 6d 6f 72 65 20 74 68 61 6e 20   key (more than 
1920: 6f 6e 65 20 63 6f 6c 75 6d 6e 29 2c 20 61 6c 6c  one column), all
1930: 6f 63 61 74 65 0a 20 20 2a 2a 20 73 70 61 63 65  ocate.  ** space
1940: 20 66 6f 72 20 74 68 65 20 61 69 43 6f 6c 20 61   for the aiCol a
1950: 72 72 61 79 20 28 72 65 74 75 72 6e 65 64 20 76  rray (returned v
1960: 69 61 20 6f 75 74 70 75 74 20 70 61 72 61 6d 65  ia output parame
1970: 74 65 72 20 2a 70 61 69 43 6f 6c 29 2e 0a 20 20  ter *paiCol)..  
1980: 2a 2a 20 4e 6f 6e 2d 63 6f 6d 70 6f 73 69 74 65  ** Non-composite
1990: 20 66 6f 72 65 69 67 6e 20 6b 65 79 73 20 64 6f   foreign keys do
19a0: 20 6e 6f 74 20 72 65 71 75 69 72 65 20 74 68 65   not require the
19b0: 20 61 69 43 6f 6c 20 61 72 72 61 79 2e 0a 20 20   aiCol array..  
19c0: 2a 2f 0a 20 20 69 66 28 20 6e 43 6f 6c 3d 3d 31  */.  if( nCol==1
19d0: 20 29 7b 0a 20 20 20 20 2f 2a 20 54 68 65 20 46   ){.    /* The F
19e0: 4b 20 6d 61 70 73 20 74 6f 20 74 68 65 20 49 50  K maps to the IP
19f0: 4b 20 69 66 20 61 6e 79 20 6f 66 20 74 68 65 20  K if any of the 
1a00: 66 6f 6c 6c 6f 77 69 6e 67 20 61 72 65 20 74 72  following are tr
1a10: 75 65 3a 0a 20 20 20 20 2a 2a 0a 20 20 20 20 2a  ue:.    **.    *
1a20: 2a 20 20 20 31 29 20 54 68 65 20 46 4b 20 69 73  *   1) The FK is
1a30: 20 65 78 70 6c 69 63 69 74 6c 79 20 6d 61 70 70   explicitly mapp
1a40: 65 64 20 74 6f 20 22 72 6f 77 69 64 22 2c 20 22  ed to "rowid", "
1a50: 6f 69 64 22 20 6f 72 20 22 5f 72 6f 77 69 64 5f  oid" or "_rowid_
1a60: 22 2c 20 6f 72 0a 20 20 20 20 2a 2a 20 20 20 32  ", or.    **   2
1a70: 29 20 54 68 65 72 65 20 69 73 20 61 6e 20 65 78  ) There is an ex
1a80: 70 6c 69 63 69 74 20 49 4e 54 45 47 45 52 20 50  plicit INTEGER P
1a90: 52 49 4d 41 52 59 20 4b 45 59 20 63 6f 6c 75 6d  RIMARY KEY colum
1aa0: 6e 20 61 6e 64 20 74 68 65 20 46 4b 20 69 73 0a  n and the FK is.
1ab0: 20 20 20 20 2a 2a 20 20 20 20 20 20 69 6d 70 6c      **      impl
1ac0: 69 63 69 74 6c 79 20 6d 61 70 70 65 64 20 74 6f  icitly mapped to
1ad0: 20 74 68 65 20 70 72 69 6d 61 72 79 20 6b 65 79   the primary key
1ae0: 20 6f 66 20 74 61 62 6c 65 20 70 54 6f 2c 20 6f   of table pTo, o
1af0: 72 0a 20 20 20 20 2a 2a 20 20 20 33 29 20 54 68  r.    **   3) Th
1b00: 65 20 46 4b 20 69 73 20 65 78 70 6c 69 63 69 74  e FK is explicit
1b10: 6c 79 20 6d 61 70 70 65 64 20 74 6f 20 61 20 63  ly mapped to a c
1b20: 6f 6c 75 6d 6e 20 64 65 63 6c 61 72 65 64 20 61  olumn declared a
1b30: 73 20 49 4e 54 45 47 45 52 0a 20 20 20 20 2a 2a  s INTEGER.    **
1b40: 20 20 20 20 20 20 50 52 49 4d 41 52 59 20 4b 45        PRIMARY KE
1b50: 59 2e 0a 20 20 20 20 2a 2f 0a 20 20 20 20 69 66  Y..    */.    if
1b60: 28 20 7a 46 69 72 73 74 20 26 26 20 73 71 6c 69  ( zFirst && sqli
1b70: 74 65 33 49 73 52 6f 77 69 64 28 7a 46 69 72 73  te3IsRowid(zFirs
1b80: 74 29 20 29 20 72 65 74 75 72 6e 20 30 3b 0a 20  t) ) return 0;. 
1b90: 20 20 20 69 66 28 20 70 54 6f 2d 3e 69 50 4b 65     if( pTo->iPKe
1ba0: 79 3e 3d 30 20 29 7b 0a 20 20 20 20 20 20 69 66  y>=0 ){.      if
1bb0: 28 20 21 7a 46 69 72 73 74 20 29 20 72 65 74 75  ( !zFirst ) retu
1bc0: 72 6e 20 30 3b 0a 20 20 20 20 20 20 69 66 28 20  rn 0;.      if( 
1bd0: 21 73 71 6c 69 74 65 33 53 74 72 49 43 6d 70 28  !sqlite3StrICmp(
1be0: 70 54 6f 2d 3e 61 43 6f 6c 5b 70 54 6f 2d 3e 69  pTo->aCol[pTo->i
1bf0: 50 4b 65 79 5d 2e 7a 4e 61 6d 65 2c 20 7a 46 69  PKey].zName, zFi
1c00: 72 73 74 29 20 29 20 72 65 74 75 72 6e 20 30 3b  rst) ) return 0;
1c10: 0a 20 20 20 20 7d 0a 20 20 7d 65 6c 73 65 20 69  .    }.  }else i
1c20: 66 28 20 70 61 69 43 6f 6c 20 29 7b 0a 20 20 20  f( paiCol ){.   
1c30: 20 61 73 73 65 72 74 28 20 6e 43 6f 6c 3e 31 20   assert( nCol>1 
1c40: 29 3b 0a 20 20 20 20 61 69 43 6f 6c 20 3d 20 28  );.    aiCol = (
1c50: 69 6e 74 20 2a 29 73 71 6c 69 74 65 33 44 62 4d  int *)sqlite3DbM
1c60: 61 6c 6c 6f 63 52 61 77 28 70 50 61 72 73 65 2d  allocRaw(pParse-
1c70: 3e 64 62 2c 20 6e 43 6f 6c 2a 73 69 7a 65 6f 66  >db, nCol*sizeof
1c80: 28 69 6e 74 29 29 3b 0a 20 20 20 20 69 66 28 20  (int));.    if( 
1c90: 21 61 69 43 6f 6c 20 29 20 72 65 74 75 72 6e 20  !aiCol ) return 
1ca0: 31 3b 0a 20 20 20 20 2a 70 61 69 43 6f 6c 20 3d  1;.    *paiCol =
1cb0: 20 61 69 43 6f 6c 3b 0a 20 20 7d 0a 0a 20 20 66   aiCol;.  }..  f
1cc0: 6f 72 28 70 49 64 78 3d 70 54 6f 2d 3e 70 49 6e  or(pIdx=pTo->pIn
1cd0: 64 65 78 3b 20 70 49 64 78 3b 20 70 49 64 78 3d  dex; pIdx; pIdx=
1ce0: 70 49 64 78 2d 3e 70 4e 65 78 74 29 7b 0a 20 20  pIdx->pNext){.  
1cf0: 20 20 69 66 28 20 70 49 64 78 2d 3e 6e 43 6f 6c    if( pIdx->nCol
1d00: 75 6d 6e 3d 3d 6e 43 6f 6c 20 26 26 20 70 49 64  umn==nCol && pId
1d10: 78 2d 3e 6f 6e 45 72 72 6f 72 21 3d 4f 45 5f 4e  x->onError!=OE_N
1d20: 6f 6e 65 20 29 7b 20 0a 20 20 20 20 20 20 2f 2a  one ){ .      /*
1d30: 20 70 49 64 78 20 69 73 20 61 20 55 4e 49 51 55   pIdx is a UNIQU
1d40: 45 20 69 6e 64 65 78 20 28 6f 72 20 61 20 50 52  E index (or a PR
1d50: 49 4d 41 52 59 20 4b 45 59 29 20 61 6e 64 20 68  IMARY KEY) and h
1d60: 61 73 20 74 68 65 20 72 69 67 68 74 20 6e 75 6d  as the right num
1d70: 62 65 72 0a 20 20 20 20 20 20 2a 2a 20 6f 66 20  ber.      ** of 
1d80: 63 6f 6c 75 6d 6e 73 2e 20 49 66 20 65 61 63 68  columns. If each
1d90: 20 69 6e 64 65 78 65 64 20 63 6f 6c 75 6d 6e 20   indexed column 
1da0: 63 6f 72 72 65 73 70 6f 6e 64 73 20 74 6f 20 61  corresponds to a
1db0: 20 66 6f 72 65 69 67 6e 20 6b 65 79 0a 20 20 20   foreign key.   
1dc0: 20 20 20 2a 2a 20 63 6f 6c 75 6d 6e 20 6f 66 20     ** column of 
1dd0: 70 46 4b 65 79 2c 20 74 68 65 6e 20 74 68 69 73  pFKey, then this
1de0: 20 69 6e 64 65 78 20 69 73 20 61 20 77 69 6e 6e   index is a winn
1df0: 65 72 2e 20 20 2a 2f 0a 0a 20 20 20 20 20 20 69  er.  */..      i
1e00: 66 28 20 7a 46 69 72 73 74 3d 3d 30 20 29 7b 0a  f( zFirst==0 ){.
1e10: 20 20 20 20 20 20 20 20 2f 2a 20 49 66 20 7a 46          /* If zF
1e20: 69 72 73 74 20 69 73 20 4e 55 4c 4c 2c 20 74 68  irst is NULL, th
1e30: 65 6e 20 74 68 69 73 20 66 6f 72 65 69 67 6e 20  en this foreign 
1e40: 6b 65 79 20 69 73 20 69 6d 70 6c 69 63 69 74 6c  key is implicitl
1e50: 79 20 6d 61 70 70 65 64 20 74 6f 20 0a 20 20 20  y mapped to .   
1e60: 20 20 20 20 20 2a 2a 20 74 68 65 20 50 52 49 4d       ** the PRIM
1e70: 41 52 59 20 4b 45 59 20 6f 66 20 74 61 62 6c 65  ARY KEY of table
1e80: 20 70 54 6f 2e 20 54 68 65 20 50 52 49 4d 41 52   pTo. The PRIMAR
1e90: 59 20 4b 45 59 20 69 6e 64 65 78 20 6d 61 79 20  Y KEY index may 
1ea0: 62 65 20 0a 20 20 20 20 20 20 20 20 2a 2a 20 69  be .        ** i
1eb0: 64 65 6e 74 69 66 69 65 64 20 62 79 20 74 68 65  dentified by the
1ec0: 20 74 65 73 74 20 28 49 6e 64 65 78 2e 61 75 74   test (Index.aut
1ed0: 6f 49 6e 64 65 78 3d 3d 32 29 2e 20 20 2a 2f 0a  oIndex==2).  */.
1ee0: 20 20 20 20 20 20 20 20 69 66 28 20 70 49 64 78          if( pIdx
1ef0: 2d 3e 61 75 74 6f 49 6e 64 65 78 3d 3d 32 20 29  ->autoIndex==2 )
1f00: 7b 0a 20 20 20 20 20 20 20 20 20 20 69 66 28 20  {.          if( 
1f10: 61 69 43 6f 6c 20 29 20 6d 65 6d 63 70 79 28 61  aiCol ) memcpy(a
1f20: 69 43 6f 6c 2c 20 70 49 64 78 2d 3e 61 69 43 6f  iCol, pIdx->aiCo
1f30: 6c 75 6d 6e 2c 20 73 69 7a 65 6f 66 28 69 6e 74  lumn, sizeof(int
1f40: 29 2a 6e 43 6f 6c 29 3b 0a 20 20 20 20 20 20 20  )*nCol);.       
1f50: 20 20 20 62 72 65 61 6b 3b 0a 20 20 20 20 20 20     break;.      
1f60: 20 20 7d 0a 20 20 20 20 20 20 7d 65 6c 73 65 7b    }.      }else{
1f70: 0a 20 20 20 20 20 20 20 20 2f 2a 20 49 66 20 7a  .        /* If z
1f80: 46 69 72 73 74 20 69 73 20 6e 6f 6e 2d 4e 55 4c  First is non-NUL
1f90: 4c 2c 20 74 68 65 6e 20 74 68 69 73 20 66 6f 72  L, then this for
1fa0: 65 69 67 6e 20 6b 65 79 20 77 61 73 20 64 65 63  eign key was dec
1fb0: 6c 61 72 65 64 20 74 6f 0a 20 20 20 20 20 20 20  lared to.       
1fc0: 20 2a 2a 20 6d 61 70 20 74 6f 20 61 6e 20 65 78   ** map to an ex
1fd0: 70 6c 69 63 69 74 20 6c 69 73 74 20 6f 66 20 63  plicit list of c
1fe0: 6f 6c 75 6d 6e 73 20 69 6e 20 74 61 62 6c 65 20  olumns in table 
1ff0: 70 54 6f 2e 20 43 68 65 63 6b 20 69 66 20 74 68  pTo. Check if th
2000: 69 73 0a 20 20 20 20 20 20 20 20 2a 2a 20 69 6e  is.        ** in
2010: 64 65 78 20 6d 61 74 63 68 65 73 20 74 68 6f 73  dex matches thos
2020: 65 20 63 6f 6c 75 6d 6e 73 2e 20 20 2a 2f 0a 20  e columns.  */. 
2030: 20 20 20 20 20 20 20 69 6e 74 20 69 2c 20 6a 3b         int i, j;
2040: 0a 20 20 20 20 20 20 20 20 66 6f 72 28 69 3d 30  .        for(i=0
2050: 3b 20 69 3c 6e 43 6f 6c 3b 20 69 2b 2b 29 7b 0a  ; i<nCol; i++){.
2060: 20 20 20 20 20 20 20 20 20 20 63 68 61 72 20 2a            char *
2070: 7a 49 64 78 43 6f 6c 20 3d 20 70 54 6f 2d 3e 61  zIdxCol = pTo->a
2080: 43 6f 6c 5b 70 49 64 78 2d 3e 61 69 43 6f 6c 75  Col[pIdx->aiColu
2090: 6d 6e 5b 69 5d 5d 2e 7a 4e 61 6d 65 3b 0a 20 20  mn[i]].zName;.  
20a0: 20 20 20 20 20 20 20 20 66 6f 72 28 6a 3d 30 3b          for(j=0;
20b0: 20 6a 3c 6e 43 6f 6c 3b 20 6a 2b 2b 29 7b 0a 20   j<nCol; j++){. 
20c0: 20 20 20 20 20 20 20 20 20 20 20 69 66 28 20 73             if( s
20d0: 71 6c 69 74 65 33 53 74 72 49 43 6d 70 28 70 46  qlite3StrICmp(pF
20e0: 4b 65 79 2d 3e 61 43 6f 6c 5b 6a 5d 2e 7a 43 6f  Key->aCol[j].zCo
20f0: 6c 2c 20 7a 49 64 78 43 6f 6c 29 3d 3d 30 20 29  l, zIdxCol)==0 )
2100: 7b 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20  {.              
2110: 69 66 28 20 61 69 43 6f 6c 20 29 20 61 69 43 6f  if( aiCol ) aiCo
2120: 6c 5b 69 5d 20 3d 20 70 46 4b 65 79 2d 3e 61 43  l[i] = pFKey->aC
2130: 6f 6c 5b 6a 5d 2e 69 46 72 6f 6d 3b 0a 20 20 20  ol[j].iFrom;.   
2140: 20 20 20 20 20 20 20 20 20 20 20 62 72 65 61 6b             break
2150: 3b 0a 20 20 20 20 20 20 20 20 20 20 20 20 7d 0a  ;.            }.
2160: 20 20 20 20 20 20 20 20 20 20 7d 0a 20 20 20 20            }.    
2170: 20 20 20 20 20 20 69 66 28 20 6a 3d 3d 6e 43 6f        if( j==nCo
2180: 6c 20 29 20 62 72 65 61 6b 3b 0a 20 20 20 20 20  l ) break;.     
2190: 20 20 20 7d 0a 20 20 20 20 20 20 20 20 69 66 28     }.        if(
21a0: 20 69 3d 3d 6e 43 6f 6c 20 29 20 62 72 65 61 6b   i==nCol ) break
21b0: 3b 20 20 20 20 20 20 2f 2a 20 70 49 64 78 20 69  ;      /* pIdx i
21c0: 73 20 75 73 61 62 6c 65 20 2a 2f 0a 20 20 20 20  s usable */.    
21d0: 20 20 7d 0a 20 20 20 20 7d 0a 20 20 7d 0a 0a 20    }.    }.  }.. 
21e0: 20 69 66 28 20 70 50 61 72 73 65 20 26 26 20 21   if( pParse && !
21f0: 70 49 64 78 20 29 7b 0a 20 20 20 20 73 71 6c 69  pIdx ){.    sqli
2200: 74 65 33 45 72 72 6f 72 4d 73 67 28 70 50 61 72  te3ErrorMsg(pPar
2210: 73 65 2c 20 22 66 6f 72 65 69 67 6e 20 6b 65 79  se, "foreign key
2220: 20 6d 69 73 6d 61 74 63 68 22 29 3b 0a 20 20 20   mismatch");.   
2230: 20 73 71 6c 69 74 65 33 44 62 46 72 65 65 28 70   sqlite3DbFree(p
2240: 50 61 72 73 65 2d 3e 64 62 2c 20 61 69 43 6f 6c  Parse->db, aiCol
2250: 29 3b 0a 20 20 20 20 72 65 74 75 72 6e 20 31 3b  );.    return 1;
2260: 0a 20 20 7d 0a 0a 20 20 2a 70 70 49 64 78 20 3d  .  }..  *ppIdx =
2270: 20 70 49 64 78 3b 0a 20 20 72 65 74 75 72 6e 20   pIdx;.  return 
2280: 30 3b 0a 7d 0a 0a 73 74 61 74 69 63 20 76 6f 69  0;.}..static voi
2290: 64 20 66 6b 43 68 65 63 6b 52 65 66 65 72 65 6e  d fkCheckReferen
22a0: 63 65 28 0a 20 20 50 61 72 73 65 20 2a 70 50 61  ce(.  Parse *pPa
22b0: 72 73 65 2c 20 20 20 20 20 20 20 20 2f 2a 20 50  rse,        /* P
22c0: 61 72 73 65 20 63 6f 6e 74 65 78 74 20 2a 2f 0a  arse context */.
22d0: 20 20 69 6e 74 20 69 44 62 2c 20 20 20 20 20 20    int iDb,      
22e0: 20 20 20 20 20 20 20 20 2f 2a 20 49 6e 64 65 78          /* Index
22f0: 20 6f 66 20 64 61 74 61 62 61 73 65 20 68 6f 75   of database hou
2300: 73 69 6e 67 20 70 54 61 62 20 2a 2f 0a 20 20 54  sing pTab */.  T
2310: 61 62 6c 65 20 2a 70 54 61 62 2c 20 20 20 20 20  able *pTab,     
2320: 20 20 20 20 20 2f 2a 20 54 61 62 6c 65 20 72 65       /* Table re
2330: 66 65 72 65 6e 63 65 64 20 62 79 20 46 4b 20 70  ferenced by FK p
2340: 46 4b 65 79 20 2a 2f 0a 20 20 49 6e 64 65 78 20  FKey */.  Index 
2350: 2a 70 49 64 78 2c 20 20 20 20 20 20 20 20 20 20  *pIdx,          
2360: 2f 2a 20 49 6e 64 65 78 20 65 6e 73 75 72 69 6e  /* Index ensurin
2370: 67 20 75 6e 69 71 75 65 6e 65 73 73 20 6f 66 20  g uniqueness of 
2380: 46 4b 20 69 6e 20 70 54 61 62 20 2a 2f 0a 20 20  FK in pTab */.  
2390: 46 4b 65 79 20 2a 70 46 4b 65 79 2c 20 20 20 20  FKey *pFKey,    
23a0: 20 20 20 20 20 20 2f 2a 20 46 6f 72 65 69 67 6e        /* Foreign
23b0: 20 6b 65 79 20 74 6f 20 63 68 65 63 6b 20 2a 2f   key to check */
23c0: 0a 20 20 69 6e 74 20 2a 61 69 43 6f 6c 2c 20 20  .  int *aiCol,  
23d0: 20 20 20 20 20 20 20 20 20 2f 2a 20 4d 61 70 20           /* Map 
23e0: 66 72 6f 6d 20 46 4b 20 63 6f 6c 75 6d 6e 20 74  from FK column t
23f0: 6f 20 72 65 66 65 72 65 6e 63 69 6e 67 20 74 61  o referencing ta
2400: 62 6c 65 20 63 6f 6c 75 6d 6e 20 2a 2f 0a 20 20  ble column */.  
2410: 69 6e 74 20 72 65 67 44 61 74 61 2c 20 20 20 20  int regData,    
2420: 20 20 20 20 20 20 2f 2a 20 41 64 64 72 65 73 73        /* Address
2430: 20 6f 66 20 61 72 72 61 79 20 63 6f 6e 74 61 69   of array contai
2440: 6e 69 6e 67 20 72 65 66 65 72 65 6e 63 69 6e 67  ning referencing
2450: 20 72 6f 77 20 2a 2f 0a 20 20 69 6e 74 20 6e 49   row */.  int nI
2460: 6e 63 72 20 20 20 20 20 20 20 20 20 20 20 20 20  ncr             
2470: 2f 2a 20 49 66 20 64 65 66 65 72 72 65 64 20 46  /* If deferred F
2480: 4b 2c 20 69 6e 63 72 65 6d 65 6e 74 20 63 6f 75  K, increment cou
2490: 6e 74 65 72 20 62 79 20 74 68 69 73 20 2a 2f 0a  nter by this */.
24a0: 29 7b 0a 20 20 69 6e 74 20 69 3b 0a 20 20 56 64  ){.  int i;.  Vd
24b0: 62 65 20 2a 76 20 3d 20 73 71 6c 69 74 65 33 47  be *v = sqlite3G
24c0: 65 74 56 64 62 65 28 70 50 61 72 73 65 29 3b 0a  etVdbe(pParse);.
24d0: 20 20 69 6e 74 20 69 43 75 72 20 3d 20 70 50 61    int iCur = pPa
24e0: 72 73 65 2d 3e 6e 54 61 62 20 2d 20 31 3b 0a 20  rse->nTab - 1;. 
24f0: 20 69 6e 74 20 69 4f 6b 20 3d 20 73 71 6c 69 74   int iOk = sqlit
2500: 65 33 56 64 62 65 4d 61 6b 65 4c 61 62 65 6c 28  e3VdbeMakeLabel(
2510: 76 29 3b 0a 0a 20 20 61 73 73 65 72 74 28 20 70  v);..  assert( p
2520: 46 4b 65 79 2d 3e 69 73 44 65 66 65 72 72 65 64  FKey->isDeferred
2530: 20 7c 7c 20 6e 49 6e 63 72 3d 3d 31 20 29 3b 0a   || nIncr==1 );.
2540: 0a 20 20 2f 2a 20 43 68 65 63 6b 20 69 66 20 61  .  /* Check if a
2550: 6e 79 20 6f 66 20 74 68 65 20 6b 65 79 20 63 6f  ny of the key co
2560: 6c 75 6d 6e 73 20 69 6e 20 74 68 65 20 72 65 66  lumns in the ref
2570: 65 72 65 6e 63 69 6e 67 20 74 61 62 6c 65 20 61  erencing table a
2580: 72 65 20 0a 20 20 2a 2a 20 4e 55 4c 4c 2e 20 49  re .  ** NULL. I
2590: 66 20 61 6e 79 20 61 72 65 2c 20 74 68 65 6e 20  f any are, then 
25a0: 74 68 65 20 63 6f 6e 73 74 72 61 69 6e 74 20 69  the constraint i
25b0: 73 20 73 61 74 69 73 66 69 65 64 2e 20 4e 6f 20  s satisfied. No 
25c0: 6e 65 65 64 0a 20 20 2a 2a 20 74 6f 20 73 65 61  need.  ** to sea
25d0: 72 63 68 20 66 6f 72 20 61 20 6d 61 74 63 68 69  rch for a matchi
25e0: 6e 67 20 72 6f 77 20 69 6e 20 74 68 65 20 72 65  ng row in the re
25f0: 66 65 72 65 6e 63 65 64 20 74 61 62 6c 65 2e 20  ferenced table. 
2600: 20 2a 2f 0a 20 20 66 6f 72 28 69 3d 30 3b 20 69   */.  for(i=0; i
2610: 3c 70 46 4b 65 79 2d 3e 6e 43 6f 6c 3b 20 69 2b  <pFKey->nCol; i+
2620: 2b 29 7b 0a 20 20 20 20 69 6e 74 20 69 52 65 67  +){.    int iReg
2630: 20 3d 20 61 69 43 6f 6c 5b 69 5d 20 2b 20 72 65   = aiCol[i] + re
2640: 67 44 61 74 61 20 2b 20 31 3b 0a 20 20 20 20 73  gData + 1;.    s
2650: 71 6c 69 74 65 33 56 64 62 65 41 64 64 4f 70 32  qlite3VdbeAddOp2
2660: 28 76 2c 20 4f 50 5f 49 73 4e 75 6c 6c 2c 20 69  (v, OP_IsNull, i
2670: 52 65 67 2c 20 69 4f 6b 29 3b 0a 20 20 7d 0a 0a  Reg, iOk);.  }..
2680: 20 20 69 66 28 20 70 49 64 78 3d 3d 30 20 29 7b    if( pIdx==0 ){
2690: 0a 20 20 20 20 2f 2a 20 49 66 20 70 49 64 78 20  .    /* If pIdx 
26a0: 69 73 20 4e 55 4c 4c 2c 20 74 68 65 6e 20 74 68  is NULL, then th
26b0: 65 20 66 6f 72 65 69 67 6e 20 6b 65 79 20 63 6f  e foreign key co
26c0: 6e 73 74 72 61 69 6e 74 20 72 65 66 65 72 65 6e  nstraint referen
26d0: 63 65 73 20 74 68 65 0a 20 20 20 20 2a 2a 20 49  ces the.    ** I
26e0: 4e 54 45 47 45 52 20 50 52 49 4d 41 52 59 20 4b  NTEGER PRIMARY K
26f0: 45 59 20 63 6f 6c 75 6d 6e 20 69 6e 20 74 68 65  EY column in the
2700: 20 72 65 66 65 72 65 6e 63 65 64 20 74 61 62 6c   referenced tabl
2710: 65 20 28 74 61 62 6c 65 20 70 54 61 62 29 2e 20  e (table pTab). 
2720: 20 2a 2f 0a 20 20 20 20 69 6e 74 20 69 52 65 67   */.    int iReg
2730: 20 3d 20 70 46 4b 65 79 2d 3e 61 43 6f 6c 5b 30   = pFKey->aCol[0
2740: 5d 2e 69 46 72 6f 6d 20 2b 20 72 65 67 44 61 74  ].iFrom + regDat
2750: 61 20 2b 20 31 3b 0a 20 20 20 20 73 71 6c 69 74  a + 1;.    sqlit
2760: 65 33 4f 70 65 6e 54 61 62 6c 65 28 70 50 61 72  e3OpenTable(pPar
2770: 73 65 2c 20 69 43 75 72 2c 20 69 44 62 2c 20 70  se, iCur, iDb, p
2780: 54 61 62 2c 20 4f 50 5f 4f 70 65 6e 52 65 61 64  Tab, OP_OpenRead
2790: 29 3b 0a 20 20 20 20 73 71 6c 69 74 65 33 56 64  );.    sqlite3Vd
27a0: 62 65 41 64 64 4f 70 33 28 76 2c 20 4f 50 5f 4e  beAddOp3(v, OP_N
27b0: 6f 74 45 78 69 73 74 73 2c 20 69 43 75 72 2c 20  otExists, iCur, 
27c0: 30 2c 20 69 52 65 67 29 3b 0a 20 20 20 20 73 71  0, iReg);.    sq
27d0: 6c 69 74 65 33 56 64 62 65 41 64 64 4f 70 32 28  lite3VdbeAddOp2(
27e0: 76 2c 20 4f 50 5f 47 6f 74 6f 2c 20 30 2c 20 69  v, OP_Goto, 0, i
27f0: 4f 6b 29 3b 0a 20 20 20 20 73 71 6c 69 74 65 33  Ok);.    sqlite3
2800: 56 64 62 65 4a 75 6d 70 48 65 72 65 28 76 2c 20  VdbeJumpHere(v, 
2810: 73 71 6c 69 74 65 33 56 64 62 65 43 75 72 72 65  sqlite3VdbeCurre
2820: 6e 74 41 64 64 72 28 76 29 2d 32 29 3b 0a 20 20  ntAddr(v)-2);.  
2830: 7d 65 6c 73 65 7b 0a 20 20 20 20 69 6e 74 20 72  }else{.    int r
2840: 65 67 52 65 63 20 3d 20 73 71 6c 69 74 65 33 47  egRec = sqlite3G
2850: 65 74 54 65 6d 70 52 65 67 28 70 50 61 72 73 65  etTempReg(pParse
2860: 29 3b 0a 20 20 20 20 4b 65 79 49 6e 66 6f 20 2a  );.    KeyInfo *
2870: 70 4b 65 79 20 3d 20 73 71 6c 69 74 65 33 49 6e  pKey = sqlite3In
2880: 64 65 78 4b 65 79 69 6e 66 6f 28 70 50 61 72 73  dexKeyinfo(pPars
2890: 65 2c 20 70 49 64 78 29 3b 0a 0a 20 20 20 20 73  e, pIdx);..    s
28a0: 71 6c 69 74 65 33 56 64 62 65 41 64 64 4f 70 33  qlite3VdbeAddOp3
28b0: 28 76 2c 20 4f 50 5f 4f 70 65 6e 52 65 61 64 2c  (v, OP_OpenRead,
28c0: 20 69 43 75 72 2c 20 70 49 64 78 2d 3e 74 6e 75   iCur, pIdx->tnu
28d0: 6d 2c 20 69 44 62 29 3b 0a 20 20 20 20 73 71 6c  m, iDb);.    sql
28e0: 69 74 65 33 56 64 62 65 43 68 61 6e 67 65 50 34  ite3VdbeChangeP4
28f0: 28 76 2c 20 2d 31 2c 20 28 63 68 61 72 2a 29 70  (v, -1, (char*)p
2900: 4b 65 79 2c 20 50 34 5f 4b 45 59 49 4e 46 4f 5f  Key, P4_KEYINFO_
2910: 48 41 4e 44 4f 46 46 29 3b 0a 0a 20 20 20 20 69  HANDOFF);..    i
2920: 66 28 20 70 46 4b 65 79 2d 3e 6e 43 6f 6c 3e 31  f( pFKey->nCol>1
2930: 20 29 7b 0a 20 20 20 20 20 20 69 6e 74 20 6e 43   ){.      int nC
2940: 6f 6c 20 3d 20 70 46 4b 65 79 2d 3e 6e 43 6f 6c  ol = pFKey->nCol
2950: 3b 0a 20 20 20 20 20 20 69 6e 74 20 72 65 67 54  ;.      int regT
2960: 65 6d 70 20 3d 20 73 71 6c 69 74 65 33 47 65 74  emp = sqlite3Get
2970: 54 65 6d 70 52 61 6e 67 65 28 70 50 61 72 73 65  TempRange(pParse
2980: 2c 20 6e 43 6f 6c 29 3b 0a 20 20 20 20 20 20 66  , nCol);.      f
2990: 6f 72 28 69 3d 30 3b 20 69 3c 6e 43 6f 6c 3b 20  or(i=0; i<nCol; 
29a0: 69 2b 2b 29 7b 20 0a 20 20 20 20 20 20 20 20 73  i++){ .        s
29b0: 71 6c 69 74 65 33 56 64 62 65 41 64 64 4f 70 32  qlite3VdbeAddOp2
29c0: 28 76 2c 20 4f 50 5f 53 43 6f 70 79 2c 20 61 69  (v, OP_SCopy, ai
29d0: 43 6f 6c 5b 69 5d 2b 31 2b 72 65 67 44 61 74 61  Col[i]+1+regData
29e0: 2c 20 72 65 67 54 65 6d 70 2b 69 29 3b 0a 20 20  , regTemp+i);.  
29f0: 20 20 20 20 7d 0a 20 20 20 20 20 20 73 71 6c 69      }.      sqli
2a00: 74 65 33 56 64 62 65 41 64 64 4f 70 33 28 76 2c  te3VdbeAddOp3(v,
2a10: 20 4f 50 5f 4d 61 6b 65 52 65 63 6f 72 64 2c 20   OP_MakeRecord, 
2a20: 72 65 67 54 65 6d 70 2c 20 6e 43 6f 6c 2c 20 72  regTemp, nCol, r
2a30: 65 67 52 65 63 29 3b 0a 20 20 20 20 20 20 73 71  egRec);.      sq
2a40: 6c 69 74 65 33 52 65 6c 65 61 73 65 54 65 6d 70  lite3ReleaseTemp
2a50: 52 61 6e 67 65 28 70 50 61 72 73 65 2c 20 72 65  Range(pParse, re
2a60: 67 54 65 6d 70 2c 20 6e 43 6f 6c 29 3b 0a 20 20  gTemp, nCol);.  
2a70: 20 20 7d 65 6c 73 65 7b 0a 20 20 20 20 20 20 69    }else{.      i
2a80: 6e 74 20 69 52 65 67 20 3d 20 61 69 43 6f 6c 5b  nt iReg = aiCol[
2a90: 30 5d 20 2b 20 72 65 67 44 61 74 61 20 2b 20 31  0] + regData + 1
2aa0: 3b 0a 20 20 20 20 20 20 73 71 6c 69 74 65 33 56  ;.      sqlite3V
2ab0: 64 62 65 41 64 64 4f 70 33 28 76 2c 20 4f 50 5f  dbeAddOp3(v, OP_
2ac0: 4d 61 6b 65 52 65 63 6f 72 64 2c 20 69 52 65 67  MakeRecord, iReg
2ad0: 2c 20 31 2c 20 72 65 67 52 65 63 29 3b 0a 20 20  , 1, regRec);.  
2ae0: 20 20 20 20 73 71 6c 69 74 65 33 49 6e 64 65 78      sqlite3Index
2af0: 41 66 66 69 6e 69 74 79 53 74 72 28 76 2c 20 70  AffinityStr(v, p
2b00: 49 64 78 29 3b 0a 20 20 20 20 7d 0a 0a 20 20 20  Idx);.    }..   
2b10: 20 73 71 6c 69 74 65 33 56 64 62 65 41 64 64 4f   sqlite3VdbeAddO
2b20: 70 33 28 76 2c 20 4f 50 5f 46 6f 75 6e 64 2c 20  p3(v, OP_Found, 
2b30: 69 43 75 72 2c 20 69 4f 6b 2c 20 72 65 67 52 65  iCur, iOk, regRe
2b40: 63 29 3b 0a 20 20 20 20 73 71 6c 69 74 65 33 52  c);.    sqlite3R
2b50: 65 6c 65 61 73 65 54 65 6d 70 52 65 67 28 70 50  eleaseTempReg(pP
2b60: 61 72 73 65 2c 20 72 65 67 52 65 63 29 3b 0a 20  arse, regRec);. 
2b70: 20 7d 0a 0a 20 20 69 66 28 20 70 46 4b 65 79 2d   }..  if( pFKey-
2b80: 3e 69 73 44 65 66 65 72 72 65 64 20 29 7b 0a 20  >isDeferred ){. 
2b90: 20 20 20 61 73 73 65 72 74 28 20 6e 49 6e 63 72     assert( nIncr
2ba0: 3d 3d 31 20 7c 7c 20 6e 49 6e 63 72 3d 3d 2d 31  ==1 || nIncr==-1
2bb0: 20 29 3b 0a 20 20 20 20 73 71 6c 69 74 65 33 56   );.    sqlite3V
2bc0: 64 62 65 41 64 64 4f 70 31 28 76 2c 20 4f 50 5f  dbeAddOp1(v, OP_
2bd0: 44 65 66 65 72 72 65 64 43 6f 6e 73 2c 20 6e 49  DeferredCons, nI
2be0: 6e 63 72 29 3b 0a 20 20 7d 65 6c 73 65 7b 0a 20  ncr);.  }else{. 
2bf0: 20 20 20 73 71 6c 69 74 65 33 48 61 6c 74 43 6f     sqlite3HaltCo
2c00: 6e 73 74 72 61 69 6e 74 28 0a 20 20 20 20 20 20  nstraint(.      
2c10: 20 20 70 50 61 72 73 65 2c 20 4f 45 5f 41 62 6f    pParse, OE_Abo
2c20: 72 74 2c 20 22 66 6f 72 65 69 67 6e 20 6b 65 79  rt, "foreign key
2c30: 20 63 6f 6e 73 74 72 61 69 6e 74 20 66 61 69 6c   constraint fail
2c40: 65 64 22 2c 20 50 34 5f 53 54 41 54 49 43 0a 20  ed", P4_STATIC. 
2c50: 20 20 20 29 3b 0a 20 20 7d 0a 0a 20 20 73 71 6c     );.  }..  sql
2c60: 69 74 65 33 56 64 62 65 52 65 73 6f 6c 76 65 4c  ite3VdbeResolveL
2c70: 61 62 65 6c 28 76 2c 20 69 4f 6b 29 3b 0a 7d 0a  abel(v, iOk);.}.
2c80: 0a 73 74 61 74 69 63 20 76 6f 69 64 20 66 6b 53  .static void fkS
2c90: 63 61 6e 52 65 66 65 72 65 6e 63 65 73 28 0a 20  canReferences(. 
2ca0: 20 50 61 72 73 65 20 2a 70 50 61 72 73 65 2c 20   Parse *pParse, 
2cb0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2cc0: 20 2f 2a 20 50 61 72 73 65 20 63 6f 6e 74 65 78   /* Parse contex
2cd0: 74 20 2a 2f 0a 20 20 53 72 63 4c 69 73 74 20 2a  t */.  SrcList *
2ce0: 70 53 72 63 2c 20 20 20 20 20 20 20 20 20 20 20  pSrc,           
2cf0: 20 20 20 20 20 20 20 2f 2a 20 53 72 63 4c 69 73         /* SrcLis
2d00: 74 20 63 6f 6e 74 61 69 6e 69 6e 67 20 74 68 65  t containing the
2d10: 20 74 61 62 6c 65 20 74 6f 20 73 63 61 6e 20 2a   table to scan *
2d20: 2f 0a 20 20 49 6e 64 65 78 20 2a 70 49 64 78 2c  /.  Index *pIdx,
2d30: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2d40: 20 20 20 20 2f 2a 20 46 6f 72 65 69 67 6e 20 6b      /* Foreign k
2d50: 65 79 20 69 6e 64 65 78 20 2a 2f 0a 20 20 46 4b  ey index */.  FK
2d60: 65 79 20 2a 70 46 4b 65 79 2c 20 20 20 20 20 20  ey *pFKey,      
2d70: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a                /*
2d80: 20 46 6f 72 65 69 67 6e 20 6b 65 79 20 72 65 6c   Foreign key rel
2d90: 61 74 69 6f 6e 73 68 69 70 20 2a 2f 0a 20 20 69  ationship */.  i
2da0: 6e 74 20 2a 61 69 43 6f 6c 2c 20 20 20 20 20 20  nt *aiCol,      
2db0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f                 /
2dc0: 2a 20 4d 61 70 20 66 72 6f 6d 20 46 4b 20 74 6f  * Map from FK to
2dd0: 20 72 65 66 65 72 65 6e 63 65 64 20 74 61 62 6c   referenced tabl
2de0: 65 20 63 6f 6c 75 6d 6e 73 20 2a 2f 0a 20 20 69  e columns */.  i
2df0: 6e 74 20 72 65 67 44 61 74 61 2c 20 20 20 20 20  nt regData,     
2e00: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f                 /
2e10: 2a 20 52 65 66 65 72 65 6e 63 65 64 20 74 61 62  * Referenced tab
2e20: 6c 65 20 64 61 74 61 20 73 74 61 72 74 73 20 68  le data starts h
2e30: 65 72 65 20 2a 2f 0a 20 20 69 6e 74 20 6e 49 6e  ere */.  int nIn
2e40: 63 72 20 20 20 20 20 20 20 20 20 20 20 20 20 20  cr              
2e50: 20 20 20 20 20 20 20 20 20 2f 2a 20 41 6d 6f 75           /* Amou
2e60: 6e 74 20 74 6f 20 69 6e 63 72 65 6d 65 6e 74 20  nt to increment 
2e70: 64 65 66 65 72 72 65 64 20 63 6f 75 6e 74 65 72  deferred counter
2e80: 20 62 79 20 2a 2f 0a 29 7b 0a 20 20 73 71 6c 69   by */.){.  sqli
2e90: 74 65 33 20 2a 64 62 20 3d 20 70 50 61 72 73 65  te3 *db = pParse
2ea0: 2d 3e 64 62 3b 20 20 20 20 20 20 20 2f 2a 20 44  ->db;       /* D
2eb0: 61 74 61 62 61 73 65 20 68 61 6e 64 6c 65 20 2a  atabase handle *
2ec0: 2f 0a 20 20 69 6e 74 20 69 3b 20 20 20 20 20 20  /.  int i;      
2ed0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2ee0: 20 20 20 20 2f 2a 20 49 74 65 72 61 74 6f 72 20      /* Iterator 
2ef0: 76 61 72 69 61 62 6c 65 20 2a 2f 0a 20 20 45 78  variable */.  Ex
2f00: 70 72 20 2a 70 57 68 65 72 65 20 3d 20 30 3b 20  pr *pWhere = 0; 
2f10: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a                /*
2f20: 20 57 48 45 52 45 20 63 6c 61 75 73 65 20 74 6f   WHERE clause to
2f30: 20 73 63 61 6e 20 77 69 74 68 20 2a 2f 0a 20 20   scan with */.  
2f40: 4e 61 6d 65 43 6f 6e 74 65 78 74 20 73 4e 61 6d  NameContext sNam
2f50: 65 43 6f 6e 74 65 78 74 3b 20 20 20 20 20 20 20  eContext;       
2f60: 2f 2a 20 43 6f 6e 74 65 78 74 20 75 73 65 64 20  /* Context used 
2f70: 74 6f 20 72 65 73 6f 6c 76 65 20 57 48 45 52 45  to resolve WHERE
2f80: 20 63 6c 61 75 73 65 20 2a 2f 0a 20 20 57 68 65   clause */.  Whe
2f90: 72 65 49 6e 66 6f 20 2a 70 57 49 6e 66 6f 3b 20  reInfo *pWInfo; 
2fa0: 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20               /* 
2fb0: 43 6f 6e 74 65 78 74 20 75 73 65 64 20 62 79 20  Context used by 
2fc0: 73 71 6c 69 74 65 33 57 68 65 72 65 58 58 58 28  sqlite3WhereXXX(
2fd0: 29 20 2a 2f 0a 0a 20 20 66 6f 72 28 69 3d 30 3b  ) */..  for(i=0;
2fe0: 20 69 3c 70 46 4b 65 79 2d 3e 6e 43 6f 6c 3b 20   i<pFKey->nCol; 
2ff0: 69 2b 2b 29 7b 0a 20 20 20 20 45 78 70 72 20 2a  i++){.    Expr *
3000: 70 4c 65 66 74 3b 20 20 20 20 20 20 20 20 20 20  pLeft;          
3010: 20 20 20 20 20 20 20 20 2f 2a 20 56 61 6c 75 65          /* Value
3020: 20 66 72 6f 6d 20 64 65 6c 65 74 65 64 20 72 6f   from deleted ro
3030: 77 20 2a 2f 0a 20 20 20 20 45 78 70 72 20 2a 70  w */.    Expr *p
3040: 52 69 67 68 74 3b 20 20 20 20 20 20 20 20 20 20  Right;          
3050: 20 20 20 20 20 20 20 2f 2a 20 43 6f 6c 75 6d 6e         /* Column
3060: 20 72 65 66 20 74 6f 20 72 65 66 65 72 65 6e 63   ref to referenc
3070: 69 6e 67 20 74 61 62 6c 65 20 2a 2f 0a 20 20 20  ing table */.   
3080: 20 45 78 70 72 20 2a 70 45 71 3b 20 20 20 20 20   Expr *pEq;     
3090: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f                 /
30a0: 2a 20 45 78 70 72 65 73 73 69 6f 6e 20 28 70 4c  * Expression (pL
30b0: 65 66 74 20 3d 20 70 52 69 67 68 74 29 20 2a 2f  eft = pRight) */
30c0: 0a 20 20 20 20 69 6e 74 20 69 43 6f 6c 3b 20 20  .    int iCol;  
30d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
30e0: 20 20 20 2f 2a 20 49 6e 64 65 78 20 6f 66 20 63     /* Index of c
30f0: 6f 6c 75 6d 6e 20 69 6e 20 72 65 66 65 72 65 6e  olumn in referen
3100: 63 69 6e 67 20 74 61 62 6c 65 20 2a 2f 20 0a 20  cing table */ . 
3110: 20 20 20 63 6f 6e 73 74 20 63 68 61 72 20 2a 7a     const char *z
3120: 43 6f 6c 3b 20 20 20 20 20 20 20 20 20 20 20 20  Col;            
3130: 20 2f 2a 20 4e 61 6d 65 20 6f 66 20 63 6f 6c 75   /* Name of colu
3140: 6d 6e 20 69 6e 20 72 65 66 65 72 65 6e 63 69 6e  mn in referencin
3150: 67 20 74 61 62 6c 65 20 2a 2f 0a 0a 20 20 20 20  g table */..    
3160: 70 4c 65 66 74 20 3d 20 73 71 6c 69 74 65 33 45  pLeft = sqlite3E
3170: 78 70 72 28 64 62 2c 20 54 4b 5f 52 45 47 49 53  xpr(db, TK_REGIS
3180: 54 45 52 2c 20 30 29 3b 0a 20 20 20 20 69 66 28  TER, 0);.    if(
3190: 20 70 4c 65 66 74 20 29 7b 0a 20 20 20 20 20 20   pLeft ){.      
31a0: 70 4c 65 66 74 2d 3e 69 54 61 62 6c 65 20 3d 20  pLeft->iTable = 
31b0: 28 70 49 64 78 20 3f 20 28 72 65 67 44 61 74 61  (pIdx ? (regData
31c0: 2b 70 49 64 78 2d 3e 61 69 43 6f 6c 75 6d 6e 5b  +pIdx->aiColumn[
31d0: 69 5d 2b 31 29 20 3a 20 72 65 67 44 61 74 61 29  i]+1) : regData)
31e0: 3b 0a 20 20 20 20 7d 0a 20 20 20 20 69 43 6f 6c  ;.    }.    iCol
31f0: 20 3d 20 61 69 43 6f 6c 20 3f 20 61 69 43 6f 6c   = aiCol ? aiCol
3200: 5b 69 5d 20 3a 20 70 46 4b 65 79 2d 3e 61 43 6f  [i] : pFKey->aCo
3210: 6c 5b 30 5d 2e 69 46 72 6f 6d 3b 0a 20 20 20 20  l[0].iFrom;.    
3220: 69 66 28 20 69 43 6f 6c 3c 30 20 29 7b 0a 20 20  if( iCol<0 ){.  
3230: 20 20 20 20 7a 43 6f 6c 20 3d 20 22 72 6f 77 69      zCol = "rowi
3240: 64 22 3b 0a 20 20 20 20 7d 65 6c 73 65 7b 0a 20  d";.    }else{. 
3250: 20 20 20 20 20 7a 43 6f 6c 20 3d 20 70 46 4b 65       zCol = pFKe
3260: 79 2d 3e 70 46 72 6f 6d 2d 3e 61 43 6f 6c 5b 69  y->pFrom->aCol[i
3270: 43 6f 6c 5d 2e 7a 4e 61 6d 65 3b 0a 20 20 20 20  Col].zName;.    
3280: 7d 0a 20 20 20 20 70 52 69 67 68 74 20 3d 20 73  }.    pRight = s
3290: 71 6c 69 74 65 33 45 78 70 72 28 64 62 2c 20 54  qlite3Expr(db, T
32a0: 4b 5f 49 44 2c 20 7a 43 6f 6c 29 3b 0a 20 20 20  K_ID, zCol);.   
32b0: 20 70 45 71 20 3d 20 73 71 6c 69 74 65 33 50 45   pEq = sqlite3PE
32c0: 78 70 72 28 70 50 61 72 73 65 2c 20 54 4b 5f 45  xpr(pParse, TK_E
32d0: 51 2c 20 70 4c 65 66 74 2c 20 70 52 69 67 68 74  Q, pLeft, pRight
32e0: 2c 20 30 29 3b 0a 20 20 20 20 70 57 68 65 72 65  , 0);.    pWhere
32f0: 20 3d 20 73 71 6c 69 74 65 33 45 78 70 72 41 6e   = sqlite3ExprAn
3300: 64 28 64 62 2c 20 70 57 68 65 72 65 2c 20 70 45  d(db, pWhere, pE
3310: 71 29 3b 0a 20 20 7d 0a 0a 20 20 2f 2a 20 52 65  q);.  }..  /* Re
3320: 73 6f 6c 76 65 20 74 68 65 20 72 65 66 65 72 65  solve the refere
3330: 6e 63 65 73 20 69 6e 20 74 68 65 20 57 48 45 52  nces in the WHER
3340: 45 20 63 6c 61 75 73 65 2e 20 2a 2f 0a 20 20 6d  E clause. */.  m
3350: 65 6d 73 65 74 28 26 73 4e 61 6d 65 43 6f 6e 74  emset(&sNameCont
3360: 65 78 74 2c 20 30 2c 20 73 69 7a 65 6f 66 28 4e  ext, 0, sizeof(N
3370: 61 6d 65 43 6f 6e 74 65 78 74 29 29 3b 0a 20 20  ameContext));.  
3380: 73 4e 61 6d 65 43 6f 6e 74 65 78 74 2e 70 53 72  sNameContext.pSr
3390: 63 4c 69 73 74 20 3d 20 70 53 72 63 3b 0a 20 20  cList = pSrc;.  
33a0: 73 4e 61 6d 65 43 6f 6e 74 65 78 74 2e 70 50 61  sNameContext.pPa
33b0: 72 73 65 20 3d 20 70 50 61 72 73 65 3b 0a 20 20  rse = pParse;.  
33c0: 73 71 6c 69 74 65 33 52 65 73 6f 6c 76 65 45 78  sqlite3ResolveEx
33d0: 70 72 4e 61 6d 65 73 28 26 73 4e 61 6d 65 43 6f  prNames(&sNameCo
33e0: 6e 74 65 78 74 2c 20 70 57 68 65 72 65 29 3b 0a  ntext, pWhere);.
33f0: 0a 20 20 2f 2a 20 43 72 65 61 74 65 20 56 44 42  .  /* Create VDB
3400: 45 20 74 6f 20 6c 6f 6f 70 20 74 68 72 6f 75 67  E to loop throug
3410: 68 20 74 68 65 20 65 6e 74 72 69 65 73 20 69 6e  h the entries in
3420: 20 70 53 72 63 20 74 68 61 74 20 6d 61 74 63 68   pSrc that match
3430: 20 74 68 65 20 57 48 45 52 45 0a 20 20 2a 2a 20   the WHERE.  ** 
3440: 63 6c 61 75 73 65 2e 20 49 66 20 74 68 65 20 63  clause. If the c
3450: 6f 6e 73 74 72 61 69 6e 74 20 69 73 20 6e 6f 74  onstraint is not
3460: 20 64 65 66 65 72 72 65 64 2c 20 74 68 72 6f 77   deferred, throw
3470: 20 61 6e 20 65 78 63 65 70 74 69 6f 6e 20 66 6f   an exception fo
3480: 72 0a 20 20 2a 2a 20 65 61 63 68 20 72 6f 77 20  r.  ** each row 
3490: 66 6f 75 6e 64 2e 20 4f 74 68 65 72 77 69 73 65  found. Otherwise
34a0: 2c 20 66 6f 72 20 64 65 66 65 72 72 65 64 20 63  , for deferred c
34b0: 6f 6e 73 74 72 61 69 6e 74 73 2c 20 69 6e 63 72  onstraints, incr
34c0: 65 6d 65 6e 74 20 74 68 65 0a 20 20 2a 2a 20 64  ement the.  ** d
34d0: 65 66 65 72 72 65 64 20 63 6f 6e 73 74 72 61 69  eferred constrai
34e0: 6e 74 20 63 6f 75 6e 74 65 72 20 62 79 20 6e 49  nt counter by nI
34f0: 6e 63 72 20 66 6f 72 20 65 61 63 68 20 72 6f 77  ncr for each row
3500: 20 73 65 6c 65 63 74 65 64 2e 20 20 2a 2f 0a 20   selected.  */. 
3510: 20 70 57 49 6e 66 6f 20 3d 20 73 71 6c 69 74 65   pWInfo = sqlite
3520: 33 57 68 65 72 65 42 65 67 69 6e 28 70 50 61 72  3WhereBegin(pPar
3530: 73 65 2c 20 70 53 72 63 2c 20 70 57 68 65 72 65  se, pSrc, pWhere
3540: 2c 20 30 2c 20 30 29 3b 0a 20 20 69 66 28 20 70  , 0, 0);.  if( p
3550: 46 4b 65 79 2d 3e 69 73 44 65 66 65 72 72 65 64  FKey->isDeferred
3560: 20 26 26 20 6e 49 6e 63 72 20 29 7b 0a 20 20 20   && nIncr ){.   
3570: 20 61 73 73 65 72 74 28 20 6e 49 6e 63 72 3d 3d   assert( nIncr==
3580: 31 20 7c 7c 20 6e 49 6e 63 72 3d 3d 2d 31 20 29  1 || nIncr==-1 )
3590: 3b 0a 20 20 20 20 73 71 6c 69 74 65 33 56 64 62  ;.    sqlite3Vdb
35a0: 65 41 64 64 4f 70 31 28 70 50 61 72 73 65 2d 3e  eAddOp1(pParse->
35b0: 70 56 64 62 65 2c 20 4f 50 5f 44 65 66 65 72 72  pVdbe, OP_Deferr
35c0: 65 64 43 6f 6e 73 2c 20 6e 49 6e 63 72 29 3b 0a  edCons, nIncr);.
35d0: 20 20 7d 65 6c 73 65 7b 0a 20 20 20 20 61 73 73    }else{.    ass
35e0: 65 72 74 28 20 6e 49 6e 63 72 3d 3d 31 20 7c 7c  ert( nIncr==1 ||
35f0: 20 6e 49 6e 63 72 3d 3d 30 20 29 3b 0a 20 20 20   nIncr==0 );.   
3600: 20 73 71 6c 69 74 65 33 48 61 6c 74 43 6f 6e 73   sqlite3HaltCons
3610: 74 72 61 69 6e 74 28 0a 20 20 20 20 20 20 70 50  traint(.      pP
3620: 61 72 73 65 2c 20 4f 45 5f 41 62 6f 72 74 2c 20  arse, OE_Abort, 
3630: 22 66 6f 72 65 69 67 6e 20 6b 65 79 20 63 6f 6e  "foreign key con
3640: 73 74 72 61 69 6e 74 20 66 61 69 6c 65 64 22 2c  straint failed",
3650: 20 50 34 5f 53 54 41 54 49 43 0a 20 20 20 20 29   P4_STATIC.    )
3660: 3b 0a 20 20 7d 0a 20 20 73 71 6c 69 74 65 33 57  ;.  }.  sqlite3W
3670: 68 65 72 65 45 6e 64 28 70 57 49 6e 66 6f 29 3b  hereEnd(pWInfo);
3680: 0a 0a 20 20 2f 2a 20 43 6c 65 61 6e 20 75 70 20  ..  /* Clean up 
3690: 74 68 65 20 57 48 45 52 45 20 63 6c 61 75 73 65  the WHERE clause
36a0: 20 63 6f 6e 73 74 72 75 63 74 65 64 20 61 62 6f   constructed abo
36b0: 76 65 2e 20 2a 2f 0a 20 20 73 71 6c 69 74 65 33  ve. */.  sqlite3
36c0: 45 78 70 72 44 65 6c 65 74 65 28 64 62 2c 20 70  ExprDelete(db, p
36d0: 57 68 65 72 65 29 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a  Where);.}../*.**
36e0: 20 54 68 69 73 20 66 75 6e 63 74 69 6f 6e 20 72   This function r
36f0: 65 74 75 72 6e 73 20 61 20 70 6f 69 6e 74 65 72  eturns a pointer
3700: 20 74 6f 20 74 68 65 20 68 65 61 64 20 6f 66 20   to the head of 
3710: 61 20 6c 69 6e 6b 65 64 20 6c 69 73 74 20 6f 66  a linked list of
3720: 20 46 4b 0a 2a 2a 20 63 6f 6e 73 74 72 61 69 6e   FK.** constrain
3730: 74 73 20 74 68 61 74 20 72 65 66 65 72 20 74 6f  ts that refer to
3740: 20 74 68 65 20 74 61 62 6c 65 20 70 61 73 73 65   the table passe
3750: 64 20 61 73 20 61 6e 20 61 72 67 75 6d 65 6e 74  d as an argument
3760: 2e 20 46 6f 72 20 65 78 61 6d 70 6c 65 2c 0a 2a  . For example,.*
3770: 2a 20 67 69 76 65 6e 20 74 68 65 20 66 6f 6c 6c  * given the foll
3780: 6f 77 69 6e 67 20 73 63 68 65 6d 61 3a 0a 2a 2a  owing schema:.**
3790: 0a 2a 2a 20 20 20 43 52 45 41 54 45 20 54 41 42  .**   CREATE TAB
37a0: 4c 45 20 74 31 28 61 20 50 52 49 4d 41 52 59 20  LE t1(a PRIMARY 
37b0: 4b 45 59 29 3b 0a 2a 2a 20 20 20 43 52 45 41 54  KEY);.**   CREAT
37c0: 45 20 54 41 42 4c 45 20 74 32 28 62 20 52 45 46  E TABLE t2(b REF
37d0: 45 52 45 4e 43 45 53 20 74 31 28 61 29 3b 0a 2a  ERENCES t1(a);.*
37e0: 2a 0a 2a 2a 20 43 61 6c 6c 69 6e 67 20 74 68 69  *.** Calling thi
37f0: 73 20 66 75 6e 63 74 69 6f 6e 20 77 69 74 68 20  s function with 
3800: 74 61 62 6c 65 20 22 74 31 22 20 61 73 20 61 6e  table "t1" as an
3810: 20 61 72 67 75 6d 65 6e 74 20 72 65 74 75 72 6e   argument return
3820: 73 20 61 20 70 6f 69 6e 74 65 72 0a 2a 2a 20 74  s a pointer.** t
3830: 6f 20 74 68 65 20 46 4b 65 79 20 73 74 72 75 63  o the FKey struc
3840: 74 75 72 65 20 72 65 70 72 65 73 65 6e 74 69 6e  ture representin
3850: 67 20 74 68 65 20 66 6f 72 65 69 67 6e 20 6b 65  g the foreign ke
3860: 79 20 63 6f 6e 73 74 72 61 69 6e 74 20 6f 6e 20  y constraint on 
3870: 74 61 62 6c 65 0a 2a 2a 20 22 74 32 22 2e 20 43  table.** "t2". C
3880: 61 6c 6c 69 6e 67 20 74 68 69 73 20 66 75 6e 63  alling this func
3890: 74 69 6f 6e 20 77 69 74 68 20 22 74 32 22 20 61  tion with "t2" a
38a0: 73 20 74 68 65 20 61 72 67 75 6d 65 6e 74 20 77  s the argument w
38b0: 6f 75 6c 64 20 72 65 74 75 72 6e 20 61 0a 2a 2a  ould return a.**
38c0: 20 4e 55 4c 4c 20 70 6f 69 6e 74 65 72 20 28 61   NULL pointer (a
38d0: 73 20 74 68 65 72 65 20 61 72 65 20 6e 6f 20 46  s there are no F
38e0: 4b 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 74 68  K constraints th
38f0: 61 74 20 72 65 66 65 72 20 74 6f 20 74 32 29 2e  at refer to t2).
3900: 0a 2a 2f 0a 73 74 61 74 69 63 20 46 4b 65 79 20  .*/.static FKey 
3910: 2a 66 6b 52 65 66 65 72 69 6e 67 28 54 61 62 6c  *fkRefering(Tabl
3920: 65 20 2a 70 54 61 62 29 7b 0a 20 20 69 6e 74 20  e *pTab){.  int 
3930: 6e 4e 61 6d 65 20 3d 20 73 71 6c 69 74 65 33 53  nName = sqlite3S
3940: 74 72 6c 65 6e 33 30 28 70 54 61 62 2d 3e 7a 4e  trlen30(pTab->zN
3950: 61 6d 65 29 3b 0a 20 20 72 65 74 75 72 6e 20 28  ame);.  return (
3960: 46 4b 65 79 20 2a 29 73 71 6c 69 74 65 33 48 61  FKey *)sqlite3Ha
3970: 73 68 46 69 6e 64 28 26 70 54 61 62 2d 3e 70 53  shFind(&pTab->pS
3980: 63 68 65 6d 61 2d 3e 66 6b 65 79 48 61 73 68 2c  chema->fkeyHash,
3990: 20 70 54 61 62 2d 3e 7a 4e 61 6d 65 2c 20 6e 4e   pTab->zName, nN
39a0: 61 6d 65 29 3b 0a 7d 0a 0a 73 74 61 74 69 63 20  ame);.}..static 
39b0: 76 6f 69 64 20 66 6b 54 72 69 67 67 65 72 44 65  void fkTriggerDe
39c0: 6c 65 74 65 28 73 71 6c 69 74 65 33 20 2a 64 62  lete(sqlite3 *db
39d0: 4d 65 6d 2c 20 54 72 69 67 67 65 72 20 2a 70 29  Mem, Trigger *p)
39e0: 7b 0a 20 20 69 66 28 20 70 20 29 7b 0a 20 20 20  {.  if( p ){.   
39f0: 20 54 72 69 67 67 65 72 53 74 65 70 20 2a 70 53   TriggerStep *pS
3a00: 74 65 70 20 3d 20 70 2d 3e 73 74 65 70 5f 6c 69  tep = p->step_li
3a10: 73 74 3b 0a 20 20 20 20 73 71 6c 69 74 65 33 45  st;.    sqlite3E
3a20: 78 70 72 44 65 6c 65 74 65 28 64 62 4d 65 6d 2c  xprDelete(dbMem,
3a30: 20 70 53 74 65 70 2d 3e 70 57 68 65 72 65 29 3b   pStep->pWhere);
3a40: 0a 20 20 20 20 73 71 6c 69 74 65 33 45 78 70 72  .    sqlite3Expr
3a50: 4c 69 73 74 44 65 6c 65 74 65 28 64 62 4d 65 6d  ListDelete(dbMem
3a60: 2c 20 70 53 74 65 70 2d 3e 70 45 78 70 72 4c 69  , pStep->pExprLi
3a70: 73 74 29 3b 0a 20 20 20 20 73 71 6c 69 74 65 33  st);.    sqlite3
3a80: 44 62 46 72 65 65 28 64 62 4d 65 6d 2c 20 70 29  DbFree(dbMem, p)
3a90: 3b 0a 20 20 7d 0a 7d 0a 0a 76 6f 69 64 20 73 71  ;.  }.}..void sq
3aa0: 6c 69 74 65 33 46 6b 43 68 65 63 6b 28 0a 20 20  lite3FkCheck(.  
3ab0: 50 61 72 73 65 20 2a 70 50 61 72 73 65 2c 20 20  Parse *pParse,  
3ac0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
3ad0: 2f 2a 20 50 61 72 73 65 20 63 6f 6e 74 65 78 74  /* Parse context
3ae0: 20 2a 2f 0a 20 20 54 61 62 6c 65 20 2a 70 54 61   */.  Table *pTa
3af0: 62 2c 20 20 20 20 20 20 20 20 20 20 20 20 20 20  b,              
3b00: 20 20 20 20 20 20 2f 2a 20 52 6f 77 20 69 73 20        /* Row is 
3b10: 62 65 69 6e 67 20 64 65 6c 65 74 65 64 20 66 72  being deleted fr
3b20: 6f 6d 20 74 68 69 73 20 74 61 62 6c 65 20 2a 2f  om this table */
3b30: 20 0a 20 20 45 78 70 72 4c 69 73 74 20 2a 70 43   .  ExprList *pC
3b40: 68 61 6e 67 65 73 2c 20 20 20 20 20 20 20 20 20  hanges,         
3b50: 20 20 20 20 2f 2a 20 43 68 61 6e 67 65 64 20 63      /* Changed c
3b60: 6f 6c 75 6d 6e 73 20 69 66 20 74 68 69 73 20 69  olumns if this i
3b70: 73 20 61 6e 20 55 50 44 41 54 45 20 2a 2f 0a 20  s an UPDATE */. 
3b80: 20 69 6e 74 20 72 65 67 4f 6c 64 2c 20 20 20 20   int regOld,    
3b90: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
3ba0: 20 2f 2a 20 50 72 65 76 69 6f 75 73 20 72 6f 77   /* Previous row
3bb0: 20 64 61 74 61 20 69 73 20 73 74 6f 72 65 64 20   data is stored 
3bc0: 68 65 72 65 20 2a 2f 0a 20 20 69 6e 74 20 72 65  here */.  int re
3bd0: 67 4e 65 77 20 20 20 20 20 20 20 20 20 20 20 20  gNew            
3be0: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 4e 65 77            /* New
3bf0: 20 72 6f 77 20 64 61 74 61 20 69 73 20 73 74 6f   row data is sto
3c00: 72 65 64 20 68 65 72 65 20 2a 2f 0a 29 7b 0a 20  red here */.){. 
3c10: 20 73 71 6c 69 74 65 33 20 2a 64 62 20 3d 20 70   sqlite3 *db = p
3c20: 50 61 72 73 65 2d 3e 64 62 3b 20 20 20 20 20 20  Parse->db;      
3c30: 20 2f 2a 20 44 61 74 61 62 61 73 65 20 68 61 6e   /* Database han
3c40: 64 6c 65 20 2a 2f 0a 20 20 56 64 62 65 20 2a 76  dle */.  Vdbe *v
3c50: 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  ;               
3c60: 20 20 20 20 20 20 20 20 20 2f 2a 20 56 4d 20 74           /* VM t
3c70: 6f 20 77 72 69 74 65 20 63 6f 64 65 20 74 6f 20  o write code to 
3c80: 2a 2f 0a 20 20 46 4b 65 79 20 2a 70 46 4b 65 79  */.  FKey *pFKey
3c90: 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  ;               
3ca0: 20 20 20 20 20 2f 2a 20 55 73 65 64 20 74 6f 20       /* Used to 
3cb0: 69 74 65 72 61 74 65 20 74 68 72 6f 75 67 68 20  iterate through 
3cc0: 46 4b 73 20 2a 2f 0a 20 20 69 6e 74 20 69 44 62  FKs */.  int iDb
3cd0: 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  ;               
3ce0: 20 20 20 20 20 20 20 20 20 2f 2a 20 49 6e 64 65           /* Inde
3cf0: 78 20 6f 66 20 64 61 74 61 62 61 73 65 20 63 6f  x of database co
3d00: 6e 74 61 69 6e 69 6e 67 20 70 54 61 62 20 2a 2f  ntaining pTab */
3d10: 0a 20 20 63 6f 6e 73 74 20 63 68 61 72 20 2a 7a  .  const char *z
3d20: 44 62 3b 20 20 20 20 20 20 20 20 20 20 20 20 20  Db;             
3d30: 20 20 20 2f 2a 20 4e 61 6d 65 20 6f 66 20 64 61     /* Name of da
3d40: 74 61 62 61 73 65 20 63 6f 6e 74 61 69 6e 69 6e  tabase containin
3d50: 67 20 70 54 61 62 20 2a 2f 0a 0a 20 20 61 73 73  g pTab */..  ass
3d60: 65 72 74 28 20 28 20 70 43 68 61 6e 67 65 73 20  ert( ( pChanges 
3d70: 26 26 20 20 72 65 67 4f 6c 64 20 26 26 20 20 72  &&  regOld &&  r
3d80: 65 67 4e 65 77 29 20 20 20 20 20 20 20 20 20 20  egNew)          
3d90: 20 2f 2a 20 55 50 44 41 54 45 20 6f 70 65 72 61   /* UPDATE opera
3da0: 74 69 6f 6e 20 2a 2f 0a 20 20 20 20 20 20 20 7c  tion */.       |
3db0: 7c 20 28 21 70 43 68 61 6e 67 65 73 20 26 26 20  | (!pChanges && 
3dc0: 21 72 65 67 4f 6c 64 20 26 26 20 20 72 65 67 4e  !regOld &&  regN
3dd0: 65 77 29 20 20 20 20 20 20 20 20 20 20 20 2f 2a  ew)           /*
3de0: 20 49 4e 53 45 52 54 20 6f 70 65 72 61 74 69 6f   INSERT operatio
3df0: 6e 20 2a 2f 0a 20 20 20 20 20 20 20 7c 7c 20 28  n */.       || (
3e00: 21 70 43 68 61 6e 67 65 73 20 26 26 20 20 72 65  !pChanges &&  re
3e10: 67 4f 6c 64 20 26 26 20 21 72 65 67 4e 65 77 29  gOld && !regNew)
3e20: 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 44 45             /* DE
3e30: 4c 45 54 45 20 6f 70 65 72 61 74 69 6f 6e 20 2a  LETE operation *
3e40: 2f 0a 20 20 29 3b 0a 0a 20 20 2f 2a 20 49 66 20  /.  );..  /* If 
3e50: 66 6f 72 65 69 67 6e 2d 6b 65 79 73 20 61 72 65  foreign-keys are
3e60: 20 64 69 73 61 62 6c 65 64 2c 20 74 68 69 73 20   disabled, this 
3e70: 66 75 6e 63 74 69 6f 6e 20 69 73 20 61 20 6e 6f  function is a no
3e80: 2d 6f 70 2e 20 2a 2f 0a 20 20 69 66 28 20 28 64  -op. */.  if( (d
3e90: 62 2d 3e 66 6c 61 67 73 26 53 51 4c 49 54 45 5f  b->flags&SQLITE_
3ea0: 46 6f 72 65 69 67 6e 4b 65 79 73 29 3d 3d 30 20  ForeignKeys)==0 
3eb0: 29 20 72 65 74 75 72 6e 3b 0a 0a 20 20 76 20 3d  ) return;..  v =
3ec0: 20 73 71 6c 69 74 65 33 47 65 74 56 64 62 65 28   sqlite3GetVdbe(
3ed0: 70 50 61 72 73 65 29 3b 0a 20 20 69 44 62 20 3d  pParse);.  iDb =
3ee0: 20 73 71 6c 69 74 65 33 53 63 68 65 6d 61 54 6f   sqlite3SchemaTo
3ef0: 49 6e 64 65 78 28 64 62 2c 20 70 54 61 62 2d 3e  Index(db, pTab->
3f00: 70 53 63 68 65 6d 61 29 3b 0a 20 20 7a 44 62 20  pSchema);.  zDb 
3f10: 3d 20 64 62 2d 3e 61 44 62 5b 69 44 62 5d 2e 7a  = db->aDb[iDb].z
3f20: 4e 61 6d 65 3b 0a 0a 20 20 2f 2a 20 4c 6f 6f 70  Name;..  /* Loop
3f30: 20 74 68 72 6f 75 67 68 20 61 6c 6c 20 74 68 65   through all the
3f40: 20 66 6f 72 65 69 67 6e 20 6b 65 79 20 63 6f 6e   foreign key con
3f50: 73 74 72 61 69 6e 74 73 20 61 74 74 61 63 68 65  straints attache
3f60: 64 20 74 6f 20 74 68 65 20 74 61 62 6c 65 2e 20  d to the table. 
3f70: 2a 2f 0a 20 20 66 6f 72 28 70 46 4b 65 79 3d 70  */.  for(pFKey=p
3f80: 54 61 62 2d 3e 70 46 4b 65 79 3b 20 70 46 4b 65  Tab->pFKey; pFKe
3f90: 79 3b 20 70 46 4b 65 79 3d 70 46 4b 65 79 2d 3e  y; pFKey=pFKey->
3fa0: 70 4e 65 78 74 46 72 6f 6d 29 7b 0a 20 20 20 20  pNextFrom){.    
3fb0: 54 61 62 6c 65 20 2a 70 54 6f 3b 20 20 20 20 20  Table *pTo;     
3fc0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a                /*
3fd0: 20 54 61 62 6c 65 20 72 65 66 65 72 65 6e 63 65   Table reference
3fe0: 64 20 62 79 20 74 68 69 73 20 46 4b 20 2a 2f 0a  d by this FK */.
3ff0: 20 20 20 20 49 6e 64 65 78 20 2a 70 49 64 78 20      Index *pIdx 
4000: 3d 20 30 3b 20 20 20 20 20 20 20 20 20 20 20 20  = 0;            
4010: 20 20 2f 2a 20 49 6e 64 65 78 20 6f 6e 20 6b 65    /* Index on ke
4020: 79 20 63 6f 6c 75 6d 6e 73 20 69 6e 20 70 54 6f  y columns in pTo
4030: 20 2a 2f 0a 20 20 20 20 69 6e 74 20 2a 61 69 46   */.    int *aiF
4040: 72 65 65 20 3d 20 30 3b 0a 20 20 20 20 69 6e 74  ree = 0;.    int
4050: 20 2a 61 69 43 6f 6c 3b 0a 20 20 20 20 69 6e 74   *aiCol;.    int
4060: 20 69 43 6f 6c 3b 0a 20 20 20 20 69 6e 74 20 69   iCol;.    int i
4070: 3b 0a 0a 20 20 20 20 69 66 28 20 70 46 4b 65 79  ;..    if( pFKey
4080: 2d 3e 69 73 44 65 66 65 72 72 65 64 3d 3d 30 20  ->isDeferred==0 
4090: 26 26 20 72 65 67 4e 65 77 3d 3d 30 20 29 20 63  && regNew==0 ) c
40a0: 6f 6e 74 69 6e 75 65 3b 0a 0a 20 20 20 20 2f 2a  ontinue;..    /*
40b0: 20 46 69 6e 64 20 74 68 65 20 74 61 62 6c 65 20   Find the table 
40c0: 74 68 69 73 20 66 6f 72 65 69 67 6e 20 6b 65 79  this foreign key
40d0: 20 72 65 66 65 72 65 6e 63 65 73 2e 20 41 6c 73   references. Als
40e0: 6f 20 66 69 6e 64 20 61 20 75 6e 69 71 75 65 20  o find a unique 
40f0: 0a 20 20 20 20 2a 2a 20 69 6e 64 65 78 20 6f 6e  .    ** index on
4100: 20 74 68 65 20 72 65 66 65 72 65 6e 63 65 64 20   the referenced 
4110: 74 61 62 6c 65 20 74 68 61 74 20 63 6f 72 72 65  table that corre
4120: 73 70 6f 6e 64 73 20 74 6f 20 74 68 65 20 6b 65  sponds to the ke
4130: 79 20 63 6f 6c 75 6d 6e 73 2e 20 0a 20 20 20 20  y columns. .    
4140: 2a 2a 20 49 66 20 65 69 74 68 65 72 20 6f 66 20  ** If either of 
4150: 74 68 65 73 65 20 74 68 69 6e 67 73 20 63 61 6e  these things can
4160: 6e 6f 74 20 62 65 20 6c 6f 63 61 74 65 64 2c 20  not be located, 
4170: 73 65 74 20 61 6e 20 65 72 72 6f 72 20 69 6e 20  set an error in 
4180: 70 50 61 72 73 65 0a 20 20 20 20 2a 2a 20 61 6e  pParse.    ** an
4190: 64 20 72 65 74 75 72 6e 20 65 61 72 6c 79 2e 20  d return early. 
41a0: 20 2a 2f 0a 20 20 20 20 70 54 6f 20 3d 20 73 71   */.    pTo = sq
41b0: 6c 69 74 65 33 4c 6f 63 61 74 65 54 61 62 6c 65  lite3LocateTable
41c0: 28 70 50 61 72 73 65 2c 20 30 2c 20 70 46 4b 65  (pParse, 0, pFKe
41d0: 79 2d 3e 7a 54 6f 2c 20 7a 44 62 29 3b 0a 20 20  y->zTo, zDb);.  
41e0: 20 20 69 66 28 20 21 70 54 6f 20 7c 7c 20 6c 6f    if( !pTo || lo
41f0: 63 61 74 65 46 6b 65 79 49 6e 64 65 78 28 70 50  cateFkeyIndex(pP
4200: 61 72 73 65 2c 20 70 54 6f 2c 20 70 46 4b 65 79  arse, pTo, pFKey
4210: 2c 20 26 70 49 64 78 2c 20 26 61 69 46 72 65 65  , &pIdx, &aiFree
4220: 29 20 29 20 72 65 74 75 72 6e 3b 0a 20 20 20 20  ) ) return;.    
4230: 61 73 73 65 72 74 28 20 70 46 4b 65 79 2d 3e 6e  assert( pFKey->n
4240: 43 6f 6c 3d 3d 31 20 7c 7c 20 28 61 69 46 72 65  Col==1 || (aiFre
4250: 65 20 26 26 20 70 49 64 78 29 20 29 3b 0a 0a 20  e && pIdx) );.. 
4260: 20 20 20 2f 2a 20 49 66 20 74 68 65 20 6b 65 79     /* If the key
4270: 20 64 6f 65 73 20 6e 6f 74 20 6f 76 65 72 6c 61   does not overla
4280: 70 20 77 69 74 68 20 74 68 65 20 70 43 68 61 6e  p with the pChan
4290: 67 65 73 20 6c 69 73 74 2c 20 73 6b 69 70 20 74  ges list, skip t
42a0: 68 69 73 20 46 4b 2e 20 2a 2f 0a 20 20 20 20 69  his FK. */.    i
42b0: 66 28 20 70 43 68 61 6e 67 65 73 20 29 7b 0a 20  f( pChanges ){. 
42c0: 20 20 20 20 20 2f 2a 20 54 4f 44 4f 20 2a 2f 0a       /* TODO */.
42d0: 20 20 20 20 7d 0a 0a 20 20 20 20 69 66 28 20 61      }..    if( a
42e0: 69 46 72 65 65 20 29 7b 0a 20 20 20 20 20 20 61  iFree ){.      a
42f0: 69 43 6f 6c 20 3d 20 61 69 46 72 65 65 3b 0a 20  iCol = aiFree;. 
4300: 20 20 20 7d 65 6c 73 65 7b 0a 20 20 20 20 20 20     }else{.      
4310: 69 43 6f 6c 20 3d 20 70 46 4b 65 79 2d 3e 61 43  iCol = pFKey->aC
4320: 6f 6c 5b 30 5d 2e 69 46 72 6f 6d 3b 0a 20 20 20  ol[0].iFrom;.   
4330: 20 20 20 61 69 43 6f 6c 20 3d 20 26 69 43 6f 6c     aiCol = &iCol
4340: 3b 0a 20 20 20 20 7d 0a 20 20 20 20 66 6f 72 28  ;.    }.    for(
4350: 69 3d 30 3b 20 69 3c 70 46 4b 65 79 2d 3e 6e 43  i=0; i<pFKey->nC
4360: 6f 6c 3b 20 69 2b 2b 29 7b 0a 20 20 20 20 20 20  ol; i++){.      
4370: 69 66 28 20 61 69 43 6f 6c 5b 69 5d 3d 3d 70 54  if( aiCol[i]==pT
4380: 61 62 2d 3e 69 50 4b 65 79 20 29 7b 0a 20 20 20  ab->iPKey ){.   
4390: 20 20 20 20 20 61 69 43 6f 6c 5b 69 5d 20 3d 20       aiCol[i] = 
43a0: 2d 31 3b 0a 20 20 20 20 20 20 7d 0a 20 20 20 20  -1;.      }.    
43b0: 7d 0a 0a 20 20 20 20 2f 2a 20 54 61 6b 65 20 61  }..    /* Take a
43c0: 20 73 68 61 72 65 64 2d 63 61 63 68 65 20 61 64   shared-cache ad
43d0: 76 69 73 6f 72 79 20 72 65 61 64 2d 6c 6f 63 6b  visory read-lock
43e0: 20 6f 6e 20 74 68 65 20 72 65 66 65 72 65 6e 63   on the referenc
43f0: 65 64 20 74 61 62 6c 65 2e 0a 20 20 20 20 2a 2a  ed table..    **
4400: 20 41 6c 6c 6f 63 61 74 65 20 61 20 63 75 72 73   Allocate a curs
4410: 6f 72 20 74 6f 20 75 73 65 20 74 6f 20 73 65 61  or to use to sea
4420: 72 63 68 20 74 68 65 20 75 6e 69 71 75 65 20 69  rch the unique i
4430: 6e 64 65 78 20 6f 6e 20 74 68 65 20 46 4b 20 0a  ndex on the FK .
4440: 20 20 20 20 2a 2a 20 63 6f 6c 75 6d 6e 73 20 69      ** columns i
4450: 6e 20 74 68 65 20 72 65 66 65 72 65 6e 63 65 64  n the referenced
4460: 20 74 61 62 6c 65 2e 20 20 2a 2f 0a 20 20 20 20   table.  */.    
4470: 73 71 6c 69 74 65 33 54 61 62 6c 65 4c 6f 63 6b  sqlite3TableLock
4480: 28 70 50 61 72 73 65 2c 20 69 44 62 2c 20 70 54  (pParse, iDb, pT
4490: 6f 2d 3e 74 6e 75 6d 2c 20 30 2c 20 70 54 6f 2d  o->tnum, 0, pTo-
44a0: 3e 7a 4e 61 6d 65 29 3b 0a 20 20 20 20 70 50 61  >zName);.    pPa
44b0: 72 73 65 2d 3e 6e 54 61 62 2b 2b 3b 0a 0a 20 20  rse->nTab++;..  
44c0: 20 20 69 66 28 20 72 65 67 4f 6c 64 21 3d 30 20    if( regOld!=0 
44d0: 26 26 20 70 46 4b 65 79 2d 3e 69 73 44 65 66 65  && pFKey->isDefe
44e0: 72 72 65 64 20 29 7b 0a 20 20 20 20 20 20 66 6b  rred ){.      fk
44f0: 43 68 65 63 6b 52 65 66 65 72 65 6e 63 65 28 70  CheckReference(p
4500: 50 61 72 73 65 2c 20 69 44 62 2c 20 70 54 6f 2c  Parse, iDb, pTo,
4510: 20 70 49 64 78 2c 20 70 46 4b 65 79 2c 20 61 69   pIdx, pFKey, ai
4520: 43 6f 6c 2c 20 72 65 67 4f 6c 64 2c 20 2d 31 29  Col, regOld, -1)
4530: 3b 0a 20 20 20 20 7d 0a 20 20 20 20 69 66 28 20  ;.    }.    if( 
4540: 72 65 67 4e 65 77 21 3d 30 20 29 7b 0a 20 20 20  regNew!=0 ){.   
4550: 20 20 20 66 6b 43 68 65 63 6b 52 65 66 65 72 65     fkCheckRefere
4560: 6e 63 65 28 70 50 61 72 73 65 2c 20 69 44 62 2c  nce(pParse, iDb,
4570: 20 70 54 6f 2c 20 70 49 64 78 2c 20 70 46 4b 65   pTo, pIdx, pFKe
4580: 79 2c 20 61 69 43 6f 6c 2c 20 72 65 67 4e 65 77  y, aiCol, regNew
4590: 2c 20 2b 31 29 3b 0a 20 20 20 20 7d 0a 0a 20 20  , +1);.    }..  
45a0: 20 20 73 71 6c 69 74 65 33 44 62 46 72 65 65 28    sqlite3DbFree(
45b0: 64 62 2c 20 61 69 46 72 65 65 29 3b 0a 20 20 7d  db, aiFree);.  }
45c0: 0a 0a 20 20 2f 2a 20 4c 6f 6f 70 20 74 68 72 6f  ..  /* Loop thro
45d0: 75 67 68 20 61 6c 6c 20 74 68 65 20 66 6f 72 65  ugh all the fore
45e0: 69 67 6e 20 6b 65 79 20 63 6f 6e 73 74 72 61 69  ign key constrai
45f0: 6e 74 73 20 74 68 61 74 20 72 65 66 65 72 20 74  nts that refer t
4600: 6f 20 74 68 69 73 20 74 61 62 6c 65 20 2a 2f 0a  o this table */.
4610: 20 20 66 6f 72 28 70 46 4b 65 79 20 3d 20 66 6b    for(pFKey = fk
4620: 52 65 66 65 72 69 6e 67 28 70 54 61 62 29 3b 20  Refering(pTab); 
4630: 70 46 4b 65 79 3b 20 70 46 4b 65 79 3d 70 46 4b  pFKey; pFKey=pFK
4640: 65 79 2d 3e 70 4e 65 78 74 54 6f 29 7b 0a 20 20  ey->pNextTo){.  
4650: 20 20 69 6e 74 20 69 47 6f 74 6f 3b 20 20 20 20    int iGoto;    
4660: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
4670: 2f 2a 20 41 64 64 72 65 73 73 20 6f 66 20 4f 50  /* Address of OP
4680: 5f 47 6f 74 6f 20 69 6e 73 74 72 75 63 74 69 6f  _Goto instructio
4690: 6e 20 2a 2f 0a 20 20 20 20 49 6e 64 65 78 20 2a  n */.    Index *
46a0: 70 49 64 78 20 3d 20 30 3b 20 20 20 20 20 20 20  pIdx = 0;       
46b0: 20 20 20 20 20 20 20 2f 2a 20 46 6f 72 65 69 67         /* Foreig
46c0: 6e 20 6b 65 79 20 69 6e 64 65 78 20 66 6f 72 20  n key index for 
46d0: 70 46 4b 65 79 20 2a 2f 0a 20 20 20 20 53 72 63  pFKey */.    Src
46e0: 4c 69 73 74 20 2a 70 53 72 63 3b 0a 20 20 20 20  List *pSrc;.    
46f0: 69 6e 74 20 2a 61 69 43 6f 6c 20 3d 20 30 3b 0a  int *aiCol = 0;.
4700: 0a 20 20 20 20 2f 2a 20 46 6f 72 20 69 6d 6d 65  .    /* For imme
4710: 64 69 61 74 65 20 63 6f 6e 73 74 72 61 69 6e 74  diate constraint
4720: 73 2c 20 73 6b 69 70 20 74 68 69 73 20 73 63 61  s, skip this sca
4730: 6e 20 69 66 3a 0a 20 20 20 20 2a 2a 0a 20 20 20  n if:.    **.   
4740: 20 2a 2a 20 20 20 31 29 20 74 68 69 73 20 69 73   **   1) this is
4750: 20 61 6e 20 49 4e 53 45 52 54 20 6f 70 65 72 61   an INSERT opera
4760: 74 69 6f 6e 2c 20 6f 72 0a 20 20 20 20 2a 2a 20  tion, or.    ** 
4770: 20 20 32 29 20 61 6e 20 55 50 44 41 54 45 20 6f    2) an UPDATE o
4780: 70 65 72 61 74 69 6f 6e 20 61 6e 64 20 74 68 65  peration and the
4790: 20 46 4b 20 61 63 74 69 6f 6e 20 69 73 20 61 20   FK action is a 
47a0: 74 72 69 67 67 65 72 2d 61 63 74 69 6f 6e 2c 20  trigger-action, 
47b0: 6f 72 0a 20 20 20 20 2a 2a 20 20 20 33 29 20 61  or.    **   3) a
47c0: 20 44 45 4c 45 54 45 20 6f 70 65 72 61 74 69 6f   DELETE operatio
47d0: 6e 20 61 6e 64 20 74 68 65 20 46 4b 20 61 63 74  n and the FK act
47e0: 69 6f 6e 20 69 73 20 61 20 74 72 69 67 67 65 72  ion is a trigger
47f0: 2d 61 63 74 69 6f 6e 2e 0a 20 20 20 20 2a 2a 0a  -action..    **.
4800: 20 20 20 20 2a 2a 20 41 20 22 74 72 69 67 67 65      ** A "trigge
4810: 72 2d 61 63 74 69 6f 6e 22 20 69 73 20 6f 6e 65  r-action" is one
4820: 20 6f 66 20 43 41 53 43 41 44 45 2c 20 53 45 54   of CASCADE, SET
4830: 20 44 45 46 41 55 4c 54 20 6f 72 20 53 45 54 20   DEFAULT or SET 
4840: 4e 55 4c 4c 2e 0a 20 20 20 20 2a 2f 0a 20 20 20  NULL..    */.   
4850: 20 69 66 28 20 70 46 4b 65 79 2d 3e 69 73 44 65   if( pFKey->isDe
4860: 66 65 72 72 65 64 3d 3d 30 20 29 7b 0a 20 20 20  ferred==0 ){.   
4870: 20 20 20 69 66 28 20 72 65 67 4f 6c 64 3d 3d 30     if( regOld==0
4880: 20 29 20 63 6f 6e 74 69 6e 75 65 3b 20 20 20 20   ) continue;    
4890: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
48a0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
48b0: 20 2f 2a 20 31 20 2a 2f 0a 20 20 20 20 20 20 69   /* 1 */.      i
48c0: 66 28 20 72 65 67 4e 65 77 21 3d 30 20 26 26 20  f( regNew!=0 && 
48d0: 70 46 4b 65 79 2d 3e 75 70 64 61 74 65 43 6f 6e  pFKey->updateCon
48e0: 66 3e 4f 45 5f 52 65 73 74 72 69 63 74 20 29 20  f>OE_Restrict ) 
48f0: 63 6f 6e 74 69 6e 75 65 3b 20 20 20 20 2f 2a 20  continue;    /* 
4900: 32 20 2a 2f 0a 20 20 20 20 20 20 69 66 28 20 72  2 */.      if( r
4910: 65 67 4e 65 77 3d 3d 30 20 26 26 20 70 46 4b 65  egNew==0 && pFKe
4920: 79 2d 3e 64 65 6c 65 74 65 43 6f 6e 66 3e 4f 45  y->deleteConf>OE
4930: 5f 52 65 73 74 72 69 63 74 20 29 20 63 6f 6e 74  _Restrict ) cont
4940: 69 6e 75 65 3b 20 20 20 20 2f 2a 20 33 20 2a 2f  inue;    /* 3 */
4950: 0a 20 20 20 20 7d 0a 0a 20 20 20 20 69 66 28 20  .    }..    if( 
4960: 6c 6f 63 61 74 65 46 6b 65 79 49 6e 64 65 78 28  locateFkeyIndex(
4970: 70 50 61 72 73 65 2c 20 70 54 61 62 2c 20 70 46  pParse, pTab, pF
4980: 4b 65 79 2c 20 26 70 49 64 78 2c 20 26 61 69 43  Key, &pIdx, &aiC
4990: 6f 6c 29 20 29 20 72 65 74 75 72 6e 3b 0a 20 20  ol) ) return;.  
49a0: 20 20 61 73 73 65 72 74 28 20 61 69 43 6f 6c 20    assert( aiCol 
49b0: 7c 7c 20 70 46 4b 65 79 2d 3e 6e 43 6f 6c 3d 3d  || pFKey->nCol==
49c0: 31 20 29 3b 0a 0a 20 20 20 20 2f 2a 20 43 68 65  1 );..    /* Che
49d0: 63 6b 20 69 66 20 74 68 69 73 20 75 70 64 61 74  ck if this updat
49e0: 65 20 73 74 61 74 65 6d 65 6e 74 20 68 61 73 20  e statement has 
49f0: 6d 6f 64 69 66 69 65 64 20 61 6e 79 20 6f 66 20  modified any of 
4a00: 74 68 65 20 6b 65 79 20 63 6f 6c 75 6d 6e 73 0a  the key columns.
4a10: 20 20 20 20 2a 2a 20 66 6f 72 20 74 68 69 73 20      ** for this 
4a20: 66 6f 72 65 69 67 6e 20 6b 65 79 20 63 6f 6e 73  foreign key cons
4a30: 74 72 61 69 6e 74 2e 20 49 66 20 69 74 20 68 61  traint. If it ha
4a40: 73 20 6e 6f 74 2c 20 74 68 65 72 65 20 69 73 20  s not, there is 
4a50: 6e 6f 20 6e 65 65 64 0a 20 20 20 20 2a 2a 20 74  no need.    ** t
4a60: 6f 20 73 65 61 72 63 68 20 74 68 65 20 72 65 66  o search the ref
4a70: 65 72 65 6e 63 69 6e 67 20 74 61 62 6c 65 20 66  erencing table f
4a80: 6f 72 20 72 6f 77 73 20 69 6e 20 76 69 6f 6c 61  or rows in viola
4a90: 74 69 6f 6e 2e 20 54 68 69 73 20 69 73 0a 20 20  tion. This is.  
4aa0: 20 20 2a 2a 20 6a 75 73 74 20 61 6e 20 6f 70 74    ** just an opt
4ab0: 69 6d 69 7a 61 74 69 6f 6e 2e 20 54 68 69 6e 67  imization. Thing
4ac0: 73 20 77 6f 75 6c 64 20 77 6f 72 6b 20 66 69 6e  s would work fin
4ad0: 65 20 77 69 74 68 6f 75 74 20 74 68 69 73 20 63  e without this c
4ae0: 68 65 63 6b 2e 20 20 2a 2f 0a 20 20 20 20 69 66  heck.  */.    if
4af0: 28 20 70 43 68 61 6e 67 65 73 20 29 7b 0a 20 20  ( pChanges ){.  
4b00: 20 20 20 20 2f 2a 20 54 4f 44 4f 20 2a 2f 0a 20      /* TODO */. 
4b10: 20 20 20 7d 0a 0a 20 20 20 20 2f 2a 20 43 72 65     }..    /* Cre
4b20: 61 74 65 20 61 20 53 72 63 4c 69 73 74 20 73 74  ate a SrcList st
4b30: 72 75 63 74 75 72 65 20 63 6f 6e 74 61 69 6e 69  ructure containi
4b40: 6e 67 20 61 20 73 69 6e 67 6c 65 20 74 61 62 6c  ng a single tabl
4b50: 65 20 28 74 68 65 20 74 61 62 6c 65 20 0a 20 20  e (the table .  
4b60: 20 20 2a 2a 20 74 68 65 20 66 6f 72 65 69 67 6e    ** the foreign
4b70: 20 6b 65 79 20 74 68 61 74 20 72 65 66 65 72 73   key that refers
4b80: 20 74 6f 20 74 68 69 73 20 74 61 62 6c 65 20 69   to this table i
4b90: 73 20 61 74 74 61 63 68 65 64 20 74 6f 29 2e 20  s attached to). 
4ba0: 54 68 69 73 0a 20 20 20 20 2a 2a 20 69 73 20 72  This.    ** is r
4bb0: 65 71 75 69 72 65 64 20 66 6f 72 20 74 68 65 20  equired for the 
4bc0: 73 71 6c 69 74 65 33 57 68 65 72 65 58 58 58 28  sqlite3WhereXXX(
4bd0: 29 20 69 6e 74 65 72 66 61 63 65 2e 20 20 2a 2f  ) interface.  */
4be0: 0a 20 20 20 20 70 53 72 63 20 3d 20 73 71 6c 69  .    pSrc = sqli
4bf0: 74 65 33 53 72 63 4c 69 73 74 41 70 70 65 6e 64  te3SrcListAppend
4c00: 28 64 62 2c 20 30 2c 20 30 2c 20 30 29 3b 0a 20  (db, 0, 0, 0);. 
4c10: 20 20 20 69 66 28 20 21 70 53 72 63 20 29 20 72     if( !pSrc ) r
4c20: 65 74 75 72 6e 3b 0a 20 20 20 20 70 53 72 63 2d  eturn;.    pSrc-
4c30: 3e 61 2d 3e 70 54 61 62 20 3d 20 70 46 4b 65 79  >a->pTab = pFKey
4c40: 2d 3e 70 46 72 6f 6d 3b 0a 20 20 20 20 70 53 72  ->pFrom;.    pSr
4c50: 63 2d 3e 61 2d 3e 70 54 61 62 2d 3e 6e 52 65 66  c->a->pTab->nRef
4c60: 2b 2b 3b 0a 20 20 20 20 70 53 72 63 2d 3e 61 2d  ++;.    pSrc->a-
4c70: 3e 69 43 75 72 73 6f 72 20 3d 20 70 50 61 72 73  >iCursor = pPars
4c80: 65 2d 3e 6e 54 61 62 2b 2b 3b 0a 0a 20 20 20 20  e->nTab++;..    
4c90: 2f 2a 20 49 66 20 74 68 69 73 20 69 73 20 61 6e  /* If this is an
4ca0: 20 55 50 44 41 54 45 2c 20 61 6e 64 20 6e 6f 6e   UPDATE, and non
4cb0: 65 20 6f 66 20 74 68 65 20 63 6f 6c 75 6d 6e 73  e of the columns
4cc0: 20 61 73 73 6f 63 69 61 74 65 64 20 77 69 74 68   associated with
4cd0: 20 74 68 69 73 0a 20 20 20 20 2a 2a 20 46 4b 20   this.    ** FK 
4ce0: 68 61 76 65 20 62 65 65 6e 20 6d 6f 64 69 66 69  have been modifi
4cf0: 65 64 2c 20 64 6f 20 6e 6f 74 20 73 63 61 6e 20  ed, do not scan 
4d00: 74 68 65 20 72 65 66 65 72 65 6e 63 69 6e 67 20  the referencing 
4d10: 74 61 62 6c 65 2e 20 55 6e 6c 69 6b 65 0a 20 20  table. Unlike.  
4d20: 20 20 2a 2a 20 74 68 65 20 63 6f 6d 70 69 6c 65    ** the compile
4d30: 2d 74 69 6d 65 20 74 65 73 74 20 69 6d 70 6c 65  -time test imple
4d40: 6d 65 6e 74 65 64 20 61 62 6f 76 65 2c 20 74 68  mented above, th
4d50: 69 73 20 69 73 20 6e 6f 74 20 6a 75 73 74 20 61  is is not just a
4d60: 6e 20 0a 20 20 20 20 2a 2a 20 6f 70 74 69 6d 69  n .    ** optimi
4d70: 7a 61 74 69 6f 6e 2e 20 49 74 20 69 73 20 72 65  zation. It is re
4d80: 71 75 69 72 65 64 20 73 6f 20 74 68 61 74 20 69  quired so that i
4d90: 6d 6d 65 64 69 61 74 65 20 66 6f 72 65 69 67 6e  mmediate foreign
4da0: 20 6b 65 79 73 20 64 6f 20 6e 6f 74 20 0a 20 20   keys do not .  
4db0: 20 20 2a 2a 20 74 68 72 6f 77 20 65 78 63 65 70    ** throw excep
4dc0: 74 69 6f 6e 73 20 77 68 65 6e 20 74 68 65 20 75  tions when the u
4dd0: 73 65 72 20 65 78 65 63 75 74 65 73 20 61 20 73  ser executes a s
4de0: 74 61 74 65 6d 65 6e 74 20 6c 69 6b 65 3a 0a 20  tatement like:. 
4df0: 20 20 20 2a 2a 0a 20 20 20 20 2a 2a 20 20 20 20     **.    **    
4e00: 20 55 50 44 41 54 45 20 72 65 66 64 5f 74 61 62   UPDATE refd_tab
4e10: 6c 65 20 53 45 54 20 72 65 66 64 5f 63 6f 6c 75  le SET refd_colu
4e20: 6d 6e 20 3d 20 72 65 66 64 5f 63 6f 6c 75 6d 6e  mn = refd_column
4e30: 0a 20 20 20 20 2a 2f 0a 20 20 20 20 69 66 28 20  .    */.    if( 
4e40: 70 43 68 61 6e 67 65 73 20 29 7b 0a 20 20 20 20  pChanges ){.    
4e50: 20 20 69 6e 74 20 69 3b 0a 20 20 20 20 20 20 69    int i;.      i
4e60: 6e 74 20 69 4a 75 6d 70 20 3d 20 73 71 6c 69 74  nt iJump = sqlit
4e70: 65 33 56 64 62 65 43 75 72 72 65 6e 74 41 64 64  e3VdbeCurrentAdd
4e80: 72 28 76 29 20 2b 20 70 46 4b 65 79 2d 3e 6e 43  r(v) + pFKey->nC
4e90: 6f 6c 20 2b 20 31 3b 0a 20 20 20 20 20 20 66 6f  ol + 1;.      fo
4ea0: 72 28 69 3d 30 3b 20 69 3c 70 46 4b 65 79 2d 3e  r(i=0; i<pFKey->
4eb0: 6e 43 6f 6c 3b 20 69 2b 2b 29 7b 0a 20 20 20 20  nCol; i++){.    
4ec0: 20 20 20 20 69 6e 74 20 69 4f 66 66 20 3d 20 28      int iOff = (
4ed0: 70 49 64 78 20 3f 20 70 49 64 78 2d 3e 61 69 43  pIdx ? pIdx->aiC
4ee0: 6f 6c 75 6d 6e 5b 69 5d 20 3a 20 2d 31 29 20 2b  olumn[i] : -1) +
4ef0: 20 31 3b 0a 20 20 20 20 20 20 20 20 73 71 6c 69   1;.        sqli
4f00: 74 65 33 56 64 62 65 41 64 64 4f 70 33 28 76 2c  te3VdbeAddOp3(v,
4f10: 20 4f 50 5f 4e 65 2c 20 72 65 67 4f 6c 64 2b 69   OP_Ne, regOld+i
4f20: 4f 66 66 2c 20 69 4a 75 6d 70 2c 20 72 65 67 4e  Off, iJump, regN
4f30: 65 77 2b 69 4f 66 66 29 3b 0a 20 20 20 20 20 20  ew+iOff);.      
4f40: 7d 0a 20 20 20 20 20 20 69 47 6f 74 6f 20 3d 20  }.      iGoto = 
4f50: 73 71 6c 69 74 65 33 56 64 62 65 41 64 64 4f 70  sqlite3VdbeAddOp
4f60: 30 28 76 2c 20 4f 50 5f 47 6f 74 6f 29 3b 0a 20  0(v, OP_Goto);. 
4f70: 20 20 20 7d 0a 0a 20 20 20 20 69 66 28 20 72 65     }..    if( re
4f80: 67 4e 65 77 21 3d 30 20 26 26 20 70 46 4b 65 79  gNew!=0 && pFKey
4f90: 2d 3e 69 73 44 65 66 65 72 72 65 64 20 29 7b 0a  ->isDeferred ){.
4fa0: 20 20 20 20 20 20 66 6b 53 63 61 6e 52 65 66 65        fkScanRefe
4fb0: 72 65 6e 63 65 73 28 70 50 61 72 73 65 2c 20 70  rences(pParse, p
4fc0: 53 72 63 2c 20 70 49 64 78 2c 20 70 46 4b 65 79  Src, pIdx, pFKey
4fd0: 2c 20 61 69 43 6f 6c 2c 20 72 65 67 4e 65 77 2c  , aiCol, regNew,
4fe0: 20 2d 31 29 3b 0a 20 20 20 20 7d 0a 20 20 20 20   -1);.    }.    
4ff0: 69 66 28 20 72 65 67 4f 6c 64 21 3d 30 20 29 7b  if( regOld!=0 ){
5000: 0a 20 20 20 20 20 20 2f 2a 20 49 66 20 74 68 65  .      /* If the
5010: 72 65 20 69 73 20 61 20 52 45 53 54 52 49 43 54  re is a RESTRICT
5020: 20 61 63 74 69 6f 6e 20 63 6f 6e 66 69 67 75 72   action configur
5030: 65 64 20 66 6f 72 20 74 68 65 20 63 75 72 72 65  ed for the curre
5040: 6e 74 20 6f 70 65 72 61 74 69 6f 6e 0a 20 20 20  nt operation.   
5050: 20 20 20 2a 2a 20 6f 6e 20 74 68 65 20 72 65 66     ** on the ref
5060: 65 72 65 6e 63 65 64 20 74 61 62 6c 65 20 6f 66  erenced table of
5070: 20 74 68 69 73 20 46 4b 2c 20 74 68 65 6e 20 74   this FK, then t
5080: 68 72 6f 77 20 61 6e 20 65 78 63 65 70 74 69 6f  hrow an exceptio
5090: 6e 20 0a 20 20 20 20 20 20 2a 2a 20 69 6d 6d 65  n .      ** imme
50a0: 64 69 61 74 65 6c 79 20 69 66 20 74 68 65 20 46  diately if the F
50b0: 4b 20 63 6f 6e 73 74 72 61 69 6e 74 20 69 73 20  K constraint is 
50c0: 76 69 6f 6c 61 74 65 64 2c 20 65 76 65 6e 20 69  violated, even i
50d0: 66 20 74 68 69 73 20 69 73 20 61 0a 20 20 20 20  f this is a.    
50e0: 20 20 2a 2a 20 64 65 66 65 72 72 65 64 20 74 72    ** deferred tr
50f0: 69 67 67 65 72 2e 20 54 68 61 74 27 73 20 77 68  igger. That's wh
5100: 61 74 20 52 45 53 54 52 49 43 54 20 6d 65 61 6e  at RESTRICT mean
5110: 73 2e 20 54 6f 20 64 65 66 65 72 20 63 68 65 63  s. To defer chec
5120: 6b 69 6e 67 0a 20 20 20 20 20 20 2a 2a 20 74 68  king.      ** th
5130: 65 20 63 6f 6e 73 74 72 61 69 6e 74 2c 20 74 68  e constraint, th
5140: 65 20 46 4b 20 73 68 6f 75 6c 64 20 73 70 65 63  e FK should spec
5150: 69 66 79 20 4e 4f 20 41 43 54 49 4f 4e 20 28 72  ify NO ACTION (r
5160: 65 70 72 65 73 65 6e 74 65 64 0a 20 20 20 20 20  epresented.     
5170: 20 2a 2a 20 75 73 69 6e 67 20 4f 45 5f 4e 6f 6e   ** using OE_Non
5180: 65 29 2e 20 4e 4f 20 41 43 54 49 4f 4e 20 69 73  e). NO ACTION is
5190: 20 74 68 65 20 64 65 66 61 75 6c 74 2e 20 20 2a   the default.  *
51a0: 2f 0a 20 20 20 20 20 20 66 6b 53 63 61 6e 52 65  /.      fkScanRe
51b0: 66 65 72 65 6e 63 65 73 28 70 50 61 72 73 65 2c  ferences(pParse,
51c0: 20 70 53 72 63 2c 20 70 49 64 78 2c 20 70 46 4b   pSrc, pIdx, pFK
51d0: 65 79 2c 20 61 69 43 6f 6c 2c 20 72 65 67 4f 6c  ey, aiCol, regOl
51e0: 64 2c 20 0a 20 20 20 20 20 20 20 20 20 20 28 70  d, .          (p
51f0: 43 68 61 6e 67 65 73 21 3d 30 20 26 26 20 70 46  Changes!=0 && pF
5200: 4b 65 79 2d 3e 75 70 64 61 74 65 43 6f 6e 66 21  Key->updateConf!
5210: 3d 4f 45 5f 52 65 73 74 72 69 63 74 29 0a 20 20  =OE_Restrict).  
5220: 20 20 20 20 20 7c 7c 20 28 70 43 68 61 6e 67 65       || (pChange
5230: 73 3d 3d 30 20 26 26 20 70 46 4b 65 79 2d 3e 64  s==0 && pFKey->d
5240: 65 6c 65 74 65 43 6f 6e 66 21 3d 4f 45 5f 52 65  eleteConf!=OE_Re
5250: 73 74 72 69 63 74 29 0a 20 20 20 20 20 20 29 3b  strict).      );
5260: 0a 20 20 20 20 7d 0a 0a 20 20 20 20 69 66 28 20  .    }..    if( 
5270: 70 43 68 61 6e 67 65 73 20 29 7b 0a 20 20 20 20  pChanges ){.    
5280: 20 20 73 71 6c 69 74 65 33 56 64 62 65 4a 75 6d    sqlite3VdbeJum
5290: 70 48 65 72 65 28 76 2c 20 69 47 6f 74 6f 29 3b  pHere(v, iGoto);
52a0: 0a 20 20 20 20 7d 0a 20 20 20 20 73 71 6c 69 74  .    }.    sqlit
52b0: 65 33 53 72 63 4c 69 73 74 44 65 6c 65 74 65 28  e3SrcListDelete(
52c0: 64 62 2c 20 70 53 72 63 29 3b 0a 20 20 20 20 73  db, pSrc);.    s
52d0: 71 6c 69 74 65 33 44 62 46 72 65 65 28 64 62 2c  qlite3DbFree(db,
52e0: 20 61 69 43 6f 6c 29 3b 0a 20 20 7d 0a 7d 0a 0a   aiCol);.  }.}..
52f0: 23 64 65 66 69 6e 65 20 43 4f 4c 55 4d 4e 5f 4d  #define COLUMN_M
5300: 41 53 4b 28 78 29 20 28 28 28 78 29 3e 33 31 29  ASK(x) (((x)>31)
5310: 20 3f 20 30 78 66 66 66 66 66 66 66 66 20 3a 20   ? 0xffffffff : 
5320: 28 28 75 33 32 29 31 3c 3c 28 78 29 29 29 0a 0a  ((u32)1<<(x)))..
5330: 2f 2a 0a 2a 2a 20 54 68 69 73 20 66 75 6e 63 74  /*.** This funct
5340: 69 6f 6e 20 69 73 20 63 61 6c 6c 65 64 20 62 65  ion is called be
5350: 66 6f 72 65 20 67 65 6e 65 72 61 74 69 6e 67 20  fore generating 
5360: 63 6f 64 65 20 74 6f 20 75 70 64 61 74 65 20 6f  code to update o
5370: 72 20 64 65 6c 65 74 65 20 61 20 0a 2a 2a 20 72  r delete a .** r
5380: 6f 77 20 63 6f 6e 74 61 69 6e 65 64 20 69 6e 20  ow contained in 
5390: 74 61 62 6c 65 20 70 54 61 62 2e 20 49 66 20 74  table pTab. If t
53a0: 68 65 20 6f 70 65 72 61 74 69 6f 6e 20 69 73 20  he operation is 
53b0: 61 6e 20 75 70 64 61 74 65 2c 20 74 68 65 6e 20  an update, then 
53c0: 0a 2a 2a 20 70 43 68 61 6e 67 65 73 20 69 73 20  .** pChanges is 
53d0: 61 20 70 6f 69 6e 74 65 72 20 74 6f 20 74 68 65  a pointer to the
53e0: 20 6c 69 73 74 20 6f 66 20 63 6f 6c 75 6d 6e 73   list of columns
53f0: 20 74 6f 20 6d 6f 64 69 66 79 2e 20 49 66 20 74   to modify. If t
5400: 68 69 73 20 69 73 20 61 20 0a 2a 2a 20 64 65 6c  his is a .** del
5410: 65 74 65 2c 20 74 68 65 6e 20 70 43 68 61 6e 67  ete, then pChang
5420: 65 73 20 69 73 20 4e 55 4c 4c 2e 0a 2a 2f 0a 75  es is NULL..*/.u
5430: 33 32 20 73 71 6c 69 74 65 33 46 6b 4f 6c 64 6d  32 sqlite3FkOldm
5440: 61 73 6b 28 0a 20 20 50 61 72 73 65 20 2a 70 50  ask(.  Parse *pP
5450: 61 72 73 65 2c 20 20 20 20 20 20 20 20 20 20 20  arse,           
5460: 20 20 20 20 20 20 20 2f 2a 20 50 61 72 73 65 20         /* Parse 
5470: 63 6f 6e 74 65 78 74 20 2a 2f 0a 20 20 54 61 62  context */.  Tab
5480: 6c 65 20 2a 70 54 61 62 2c 20 20 20 20 20 20 20  le *pTab,       
5490: 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20               /* 
54a0: 54 61 62 6c 65 20 62 65 69 6e 67 20 6d 6f 64 69  Table being modi
54b0: 66 69 65 64 20 2a 2f 0a 20 20 45 78 70 72 4c 69  fied */.  ExprLi
54c0: 73 74 20 2a 70 43 68 61 6e 67 65 73 20 20 20 20  st *pChanges    
54d0: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 4e 6f 6e            /* Non
54e0: 2d 4e 55 4c 4c 20 66 6f 72 20 55 50 44 41 54 45  -NULL for UPDATE
54f0: 20 6f 70 65 72 61 74 69 6f 6e 73 20 2a 2f 0a 29   operations */.)
5500: 7b 0a 20 20 75 33 32 20 6d 61 73 6b 20 3d 20 30  {.  u32 mask = 0
5510: 3b 0a 20 20 69 66 28 20 70 50 61 72 73 65 2d 3e  ;.  if( pParse->
5520: 64 62 2d 3e 66 6c 61 67 73 26 53 51 4c 49 54 45  db->flags&SQLITE
5530: 5f 46 6f 72 65 69 67 6e 4b 65 79 73 20 29 7b 0a  _ForeignKeys ){.
5540: 20 20 20 20 46 4b 65 79 20 2a 70 3b 0a 20 20 20      FKey *p;.   
5550: 20 69 6e 74 20 69 3b 0a 20 20 20 20 66 6f 72 28   int i;.    for(
5560: 70 3d 70 54 61 62 2d 3e 70 46 4b 65 79 3b 20 70  p=pTab->pFKey; p
5570: 3b 20 70 3d 70 2d 3e 70 4e 65 78 74 46 72 6f 6d  ; p=p->pNextFrom
5580: 29 7b 0a 20 20 20 20 20 20 69 66 28 20 70 43 68  ){.      if( pCh
5590: 61 6e 67 65 73 20 7c 7c 20 70 2d 3e 69 73 44 65  anges || p->isDe
55a0: 66 65 72 72 65 64 20 29 7b 0a 20 20 20 20 20 20  ferred ){.      
55b0: 20 20 66 6f 72 28 69 3d 30 3b 20 69 3c 70 2d 3e    for(i=0; i<p->
55c0: 6e 43 6f 6c 3b 20 69 2b 2b 29 20 6d 61 73 6b 20  nCol; i++) mask 
55d0: 7c 3d 20 43 4f 4c 55 4d 4e 5f 4d 41 53 4b 28 70  |= COLUMN_MASK(p
55e0: 2d 3e 61 43 6f 6c 5b 69 5d 2e 69 46 72 6f 6d 29  ->aCol[i].iFrom)
55f0: 3b 0a 20 20 20 20 20 20 7d 0a 20 20 20 20 7d 0a  ;.      }.    }.
5600: 20 20 20 20 66 6f 72 28 70 3d 66 6b 52 65 66 65      for(p=fkRefe
5610: 72 69 6e 67 28 70 54 61 62 29 3b 20 70 3b 20 70  ring(pTab); p; p
5620: 3d 70 2d 3e 70 4e 65 78 74 54 6f 29 7b 0a 20 20  =p->pNextTo){.  
5630: 20 20 20 20 49 6e 64 65 78 20 2a 70 49 64 78 20      Index *pIdx 
5640: 3d 20 30 3b 0a 20 20 20 20 20 20 6c 6f 63 61 74  = 0;.      locat
5650: 65 46 6b 65 79 49 6e 64 65 78 28 30 2c 20 70 54  eFkeyIndex(0, pT
5660: 61 62 2c 20 70 2c 20 26 70 49 64 78 2c 20 30 29  ab, p, &pIdx, 0)
5670: 3b 0a 20 20 20 20 20 20 69 66 28 20 70 49 64 78  ;.      if( pIdx
5680: 20 29 7b 0a 20 20 20 20 20 20 20 20 66 6f 72 28   ){.        for(
5690: 69 3d 30 3b 20 69 3c 70 49 64 78 2d 3e 6e 43 6f  i=0; i<pIdx->nCo
56a0: 6c 75 6d 6e 3b 20 69 2b 2b 29 20 6d 61 73 6b 20  lumn; i++) mask 
56b0: 7c 3d 20 43 4f 4c 55 4d 4e 5f 4d 41 53 4b 28 70  |= COLUMN_MASK(p
56c0: 49 64 78 2d 3e 61 69 43 6f 6c 75 6d 6e 5b 69 5d  Idx->aiColumn[i]
56d0: 29 3b 0a 20 20 20 20 20 20 7d 0a 20 20 20 20 7d  );.      }.    }
56e0: 0a 20 20 7d 0a 20 20 72 65 74 75 72 6e 20 6d 61  .  }.  return ma
56f0: 73 6b 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68 69  sk;.}../*.** Thi
5700: 73 20 66 75 6e 63 74 69 6f 6e 20 69 73 20 63 61  s function is ca
5710: 6c 6c 65 64 20 62 65 66 6f 72 65 20 67 65 6e 65  lled before gene
5720: 72 61 74 69 6e 67 20 63 6f 64 65 20 74 6f 20 75  rating code to u
5730: 70 64 61 74 65 20 6f 72 20 64 65 6c 65 74 65 20  pdate or delete 
5740: 61 20 0a 2a 2a 20 72 6f 77 20 63 6f 6e 74 61 69  a .** row contai
5750: 6e 65 64 20 69 6e 20 74 61 62 6c 65 20 70 54 61  ned in table pTa
5760: 62 2e 20 49 66 20 74 68 65 20 6f 70 65 72 61 74  b. If the operat
5770: 69 6f 6e 20 69 73 20 61 6e 20 75 70 64 61 74 65  ion is an update
5780: 2c 20 74 68 65 6e 20 0a 2a 2a 20 70 43 68 61 6e  , then .** pChan
5790: 67 65 73 20 69 73 20 61 20 70 6f 69 6e 74 65 72  ges is a pointer
57a0: 20 74 6f 20 74 68 65 20 6c 69 73 74 20 6f 66 20   to the list of 
57b0: 63 6f 6c 75 6d 6e 73 20 74 6f 20 6d 6f 64 69 66  columns to modif
57c0: 79 2e 20 49 66 20 74 68 69 73 20 69 73 20 61 20  y. If this is a 
57d0: 0a 2a 2a 20 64 65 6c 65 74 65 2c 20 74 68 65 6e  .** delete, then
57e0: 20 70 43 68 61 6e 67 65 73 20 69 73 20 4e 55 4c   pChanges is NUL
57f0: 4c 2e 0a 2a 2a 0a 2a 2a 20 49 66 20 61 6e 79 20  L..**.** If any 
5800: 66 6f 72 65 69 67 6e 20 6b 65 79 20 70 72 6f 63  foreign key proc
5810: 65 73 73 69 6e 67 20 77 69 6c 6c 20 62 65 20 72  essing will be r
5820: 65 71 75 69 72 65 64 2c 20 74 68 69 73 20 66 75  equired, this fu
5830: 6e 63 74 69 6f 6e 20 72 65 74 75 72 6e 73 0a 2a  nction returns.*
5840: 2a 20 74 72 75 65 2e 20 49 66 20 74 68 65 72 65  * true. If there
5850: 20 69 73 20 6e 6f 20 66 6f 72 65 69 67 6e 20 6b   is no foreign k
5860: 65 79 20 72 65 6c 61 74 65 64 20 70 72 6f 63 65  ey related proce
5870: 73 73 69 6e 67 2c 20 74 68 69 73 20 66 75 6e 63  ssing, this func
5880: 74 69 6f 6e 20 0a 2a 2a 20 72 65 74 75 72 6e 73  tion .** returns
5890: 20 66 61 6c 73 65 2e 0a 2a 2f 0a 69 6e 74 20 73   false..*/.int s
58a0: 71 6c 69 74 65 33 46 6b 52 65 71 75 69 72 65 64  qlite3FkRequired
58b0: 28 0a 20 20 50 61 72 73 65 20 2a 70 50 61 72 73  (.  Parse *pPars
58c0: 65 2c 20 20 20 20 20 20 20 20 20 20 20 20 20 20  e,              
58d0: 20 20 20 20 2f 2a 20 50 61 72 73 65 20 63 6f 6e      /* Parse con
58e0: 74 65 78 74 20 2a 2f 0a 20 20 54 61 62 6c 65 20  text */.  Table 
58f0: 2a 70 54 61 62 2c 20 20 20 20 20 20 20 20 20 20  *pTab,          
5900: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 54 61 62            /* Tab
5910: 6c 65 20 62 65 69 6e 67 20 6d 6f 64 69 66 69 65  le being modifie
5920: 64 20 2a 2f 0a 20 20 45 78 70 72 4c 69 73 74 20  d */.  ExprList 
5930: 2a 70 43 68 61 6e 67 65 73 20 20 20 20 20 20 20  *pChanges       
5940: 20 20 20 20 20 20 20 2f 2a 20 4e 6f 6e 2d 4e 55         /* Non-NU
5950: 4c 4c 20 66 6f 72 20 55 50 44 41 54 45 20 6f 70  LL for UPDATE op
5960: 65 72 61 74 69 6f 6e 73 20 2a 2f 0a 29 7b 0a 20  erations */.){. 
5970: 20 69 66 28 20 70 50 61 72 73 65 2d 3e 64 62 2d   if( pParse->db-
5980: 3e 66 6c 61 67 73 26 53 51 4c 49 54 45 5f 46 6f  >flags&SQLITE_Fo
5990: 72 65 69 67 6e 4b 65 79 73 20 29 7b 0a 20 20 20  reignKeys ){.   
59a0: 20 46 4b 65 79 20 2a 70 3b 0a 20 20 20 20 66 6f   FKey *p;.    fo
59b0: 72 28 70 3d 70 54 61 62 2d 3e 70 46 4b 65 79 3b  r(p=pTab->pFKey;
59c0: 20 70 3b 20 70 3d 70 2d 3e 70 4e 65 78 74 46 72   p; p=p->pNextFr
59d0: 6f 6d 29 7b 0a 20 20 20 20 20 20 69 66 28 20 70  om){.      if( p
59e0: 43 68 61 6e 67 65 73 20 7c 7c 20 70 2d 3e 69 73  Changes || p->is
59f0: 44 65 66 65 72 72 65 64 20 29 20 72 65 74 75 72  Deferred ) retur
5a00: 6e 20 31 3b 0a 20 20 20 20 7d 0a 20 20 20 20 69  n 1;.    }.    i
5a10: 66 28 20 66 6b 52 65 66 65 72 69 6e 67 28 70 54  f( fkRefering(pT
5a20: 61 62 29 20 29 20 72 65 74 75 72 6e 20 31 3b 0a  ab) ) return 1;.
5a30: 20 20 7d 0a 20 20 72 65 74 75 72 6e 20 30 3b 0a    }.  return 0;.
5a40: 7d 0a 0a 73 74 61 74 69 63 20 54 72 69 67 67 65  }..static Trigge
5a50: 72 20 2a 66 6b 41 63 74 69 6f 6e 54 72 69 67 67  r *fkActionTrigg
5a60: 65 72 28 0a 20 20 50 61 72 73 65 20 2a 70 50 61  er(.  Parse *pPa
5a70: 72 73 65 2c 0a 20 20 54 61 62 6c 65 20 2a 70 54  rse,.  Table *pT
5a80: 61 62 2c 20 20 20 20 20 20 20 20 20 20 20 20 20  ab,             
5a90: 20 20 20 20 20 20 20 2f 2a 20 54 61 62 6c 65 20         /* Table 
5aa0: 62 65 69 6e 67 20 75 70 64 61 74 65 64 20 6f 72  being updated or
5ab0: 20 64 65 6c 65 74 65 64 20 66 72 6f 6d 20 2a 2f   deleted from */
5ac0: 0a 20 20 46 4b 65 79 20 2a 70 46 4b 65 79 2c 20  .  FKey *pFKey, 
5ad0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
5ae0: 20 20 20 2f 2a 20 46 6f 72 65 69 67 6e 20 6b 65     /* Foreign ke
5af0: 79 20 74 6f 20 67 65 74 20 61 63 74 69 6f 6e 20  y to get action 
5b00: 66 6f 72 20 2a 2f 0a 20 20 45 78 70 72 4c 69 73  for */.  ExprLis
5b10: 74 20 2a 70 43 68 61 6e 67 65 73 20 20 20 20 20  t *pChanges     
5b20: 20 20 20 20 20 20 20 20 20 2f 2a 20 43 68 61 6e           /* Chan
5b30: 67 65 2d 6c 69 73 74 20 66 6f 72 20 55 50 44 41  ge-list for UPDA
5b40: 54 45 2c 20 4e 55 4c 4c 20 66 6f 72 20 44 45 4c  TE, NULL for DEL
5b50: 45 54 45 20 2a 2f 0a 29 7b 0a 20 20 73 71 6c 69  ETE */.){.  sqli
5b60: 74 65 33 20 2a 64 62 20 3d 20 70 50 61 72 73 65  te3 *db = pParse
5b70: 2d 3e 64 62 3b 20 20 20 20 20 20 20 2f 2a 20 44  ->db;       /* D
5b80: 61 74 61 62 61 73 65 20 68 61 6e 64 6c 65 20 2a  atabase handle *
5b90: 2f 0a 20 20 69 6e 74 20 61 63 74 69 6f 6e 3b 0a  /.  int action;.
5ba0: 20 20 54 72 69 67 67 65 72 20 2a 70 54 72 69 67    Trigger *pTrig
5bb0: 67 65 72 3b 0a 0a 20 20 69 66 28 20 70 43 68 61  ger;..  if( pCha
5bc0: 6e 67 65 73 20 29 7b 0a 20 20 20 20 61 63 74 69  nges ){.    acti
5bd0: 6f 6e 20 3d 20 70 46 4b 65 79 2d 3e 75 70 64 61  on = pFKey->upda
5be0: 74 65 43 6f 6e 66 3b 0a 20 20 20 20 70 54 72 69  teConf;.    pTri
5bf0: 67 67 65 72 20 3d 20 70 46 4b 65 79 2d 3e 70 4f  gger = pFKey->pO
5c00: 6e 55 70 64 61 74 65 3b 0a 20 20 7d 65 6c 73 65  nUpdate;.  }else
5c10: 7b 0a 20 20 20 20 61 63 74 69 6f 6e 20 3d 20 70  {.    action = p
5c20: 46 4b 65 79 2d 3e 64 65 6c 65 74 65 43 6f 6e 66  FKey->deleteConf
5c30: 3b 0a 20 20 20 20 70 54 72 69 67 67 65 72 20 3d  ;.    pTrigger =
5c40: 20 70 46 4b 65 79 2d 3e 70 4f 6e 44 65 6c 65 74   pFKey->pOnDelet
5c50: 65 3b 0a 20 20 7d 0a 0a 20 20 61 73 73 65 72 74  e;.  }..  assert
5c60: 28 20 4f 45 5f 53 65 74 4e 75 6c 6c 3e 4f 45 5f  ( OE_SetNull>OE_
5c70: 52 65 73 74 72 69 63 74 20 26 26 20 4f 45 5f 53  Restrict && OE_S
5c80: 65 74 44 66 6c 74 3e 4f 45 5f 52 65 73 74 72 69  etDflt>OE_Restri
5c90: 63 74 20 29 3b 0a 20 20 61 73 73 65 72 74 28 20  ct );.  assert( 
5ca0: 4f 45 5f 43 61 73 63 61 64 65 3e 4f 45 5f 52 65  OE_Cascade>OE_Re
5cb0: 73 74 72 69 63 74 20 26 26 20 4f 45 5f 4e 6f 6e  strict && OE_Non
5cc0: 65 3c 4f 45 5f 52 65 73 74 72 69 63 74 20 29 3b  e<OE_Restrict );
5cd0: 0a 0a 20 20 69 66 28 20 61 63 74 69 6f 6e 3e 4f  ..  if( action>O
5ce0: 45 5f 52 65 73 74 72 69 63 74 20 26 26 20 21 70  E_Restrict && !p
5cf0: 54 72 69 67 67 65 72 20 29 7b 0a 20 20 20 20 63  Trigger ){.    c
5d00: 68 61 72 20 63 6f 6e 73 74 20 2a 7a 46 72 6f 6d  har const *zFrom
5d10: 3b 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20  ;            /* 
5d20: 4e 61 6d 65 20 6f 66 20 72 65 66 65 72 65 6e 63  Name of referenc
5d30: 69 6e 67 20 74 61 62 6c 65 20 2a 2f 0a 20 20 20  ing table */.   
5d40: 20 69 6e 74 20 6e 46 72 6f 6d 3b 20 20 20 20 20   int nFrom;     
5d50: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f                 /
5d60: 2a 20 4c 65 6e 67 74 68 20 69 6e 20 62 79 74 65  * Length in byte
5d70: 73 20 6f 66 20 7a 46 72 6f 6d 20 2a 2f 0a 20 20  s of zFrom */.  
5d80: 20 20 49 6e 64 65 78 20 2a 70 49 64 78 20 3d 20    Index *pIdx = 
5d90: 30 3b 0a 20 20 20 20 69 6e 74 20 2a 61 69 43 6f  0;.    int *aiCo
5da0: 6c 20 3d 20 30 3b 0a 20 20 20 20 54 72 69 67 67  l = 0;.    Trigg
5db0: 65 72 53 74 65 70 20 2a 70 53 74 65 70 3b 0a 20  erStep *pStep;. 
5dc0: 20 20 20 73 71 6c 69 74 65 33 20 2a 64 62 4d 65     sqlite3 *dbMe
5dd0: 6d 20 3d 20 70 54 61 62 2d 3e 64 62 4d 65 6d 3b  m = pTab->dbMem;
5de0: 0a 20 20 20 20 45 78 70 72 20 2a 70 57 68 65 72  .    Expr *pWher
5df0: 65 20 3d 20 30 3b 0a 20 20 20 20 45 78 70 72 4c  e = 0;.    ExprL
5e00: 69 73 74 20 2a 70 4c 69 73 74 20 3d 20 30 3b 0a  ist *pList = 0;.
5e10: 20 20 20 20 69 6e 74 20 69 3b 0a 0a 20 20 20 20      int i;..    
5e20: 69 66 28 20 6c 6f 63 61 74 65 46 6b 65 79 49 6e  if( locateFkeyIn
5e30: 64 65 78 28 70 50 61 72 73 65 2c 20 70 54 61 62  dex(pParse, pTab
5e40: 2c 20 70 46 4b 65 79 2c 20 26 70 49 64 78 2c 20  , pFKey, &pIdx, 
5e50: 26 61 69 43 6f 6c 29 20 29 20 72 65 74 75 72 6e  &aiCol) ) return
5e60: 20 30 3b 0a 20 20 20 20 61 73 73 65 72 74 28 20   0;.    assert( 
5e70: 61 69 43 6f 6c 20 7c 7c 20 70 46 4b 65 79 2d 3e  aiCol || pFKey->
5e80: 6e 43 6f 6c 3d 3d 31 20 29 3b 0a 0a 20 20 20 20  nCol==1 );..    
5e90: 61 73 73 65 72 74 28 20 64 62 4d 65 6d 3d 3d 30  assert( dbMem==0
5ea0: 20 7c 7c 20 64 62 4d 65 6d 3d 3d 70 50 61 72 73   || dbMem==pPars
5eb0: 65 2d 3e 64 62 20 29 3b 0a 20 20 20 20 7a 46 72  e->db );.    zFr
5ec0: 6f 6d 20 3d 20 70 46 4b 65 79 2d 3e 70 46 72 6f  om = pFKey->pFro
5ed0: 6d 2d 3e 7a 4e 61 6d 65 3b 0a 20 20 20 20 6e 46  m->zName;.    nF
5ee0: 72 6f 6d 20 3d 20 73 71 6c 69 74 65 33 53 74 72  rom = sqlite3Str
5ef0: 6c 65 6e 33 30 28 7a 46 72 6f 6d 29 3b 0a 20 20  len30(zFrom);.  
5f00: 20 20 70 54 72 69 67 67 65 72 20 3d 20 28 54 72    pTrigger = (Tr
5f10: 69 67 67 65 72 20 2a 29 73 71 6c 69 74 65 33 44  igger *)sqlite3D
5f20: 62 4d 61 6c 6c 6f 63 5a 65 72 6f 28 64 62 4d 65  bMallocZero(dbMe
5f30: 6d 2c 20 0a 20 20 20 20 20 20 20 20 73 69 7a 65  m, .        size
5f40: 6f 66 28 54 72 69 67 67 65 72 29 20 2b 20 20 20  of(Trigger) +   
5f50: 20 20 20 20 20 20 2f 2a 20 73 74 72 75 63 74 20        /* struct 
5f60: 54 72 69 67 67 65 72 20 2a 2f 0a 20 20 20 20 20  Trigger */.     
5f70: 20 20 20 73 69 7a 65 6f 66 28 54 72 69 67 67 65     sizeof(Trigge
5f80: 72 53 74 65 70 29 20 2b 20 20 20 20 20 2f 2a 20  rStep) +     /* 
5f90: 53 69 6e 67 6c 65 20 73 74 65 70 20 69 6e 20 74  Single step in t
5fa0: 72 69 67 67 65 72 20 70 72 6f 67 72 61 6d 20 2a  rigger program *
5fb0: 2f 0a 20 20 20 20 20 20 20 20 6e 46 72 6f 6d 20  /.        nFrom 
5fc0: 2b 20 31 20 20 20 20 20 20 20 20 20 20 20 20 20  + 1             
5fd0: 20 20 20 20 2f 2a 20 53 70 61 63 65 20 66 6f 72      /* Space for
5fe0: 20 70 53 74 65 70 2d 3e 74 61 72 67 65 74 2e 7a   pStep->target.z
5ff0: 20 2a 2f 0a 20 20 20 20 29 3b 0a 20 20 20 20 69   */.    );.    i
6000: 66 28 20 21 70 54 72 69 67 67 65 72 20 29 7b 0a  f( !pTrigger ){.
6010: 20 20 20 20 20 20 70 50 61 72 73 65 2d 3e 64 62        pParse->db
6020: 2d 3e 6d 61 6c 6c 6f 63 46 61 69 6c 65 64 20 3d  ->mallocFailed =
6030: 20 31 3b 0a 20 20 20 20 20 20 72 65 74 75 72 6e   1;.      return
6040: 20 30 3b 0a 20 20 20 20 7d 0a 20 20 20 20 70 53   0;.    }.    pS
6050: 74 65 70 20 3d 20 70 54 72 69 67 67 65 72 2d 3e  tep = pTrigger->
6060: 73 74 65 70 5f 6c 69 73 74 20 3d 20 28 54 72 69  step_list = (Tri
6070: 67 67 65 72 53 74 65 70 20 2a 29 26 70 54 72 69  ggerStep *)&pTri
6080: 67 67 65 72 5b 31 5d 3b 0a 20 20 20 20 70 53 74  gger[1];.    pSt
6090: 65 70 2d 3e 74 61 72 67 65 74 2e 7a 20 3d 20 28  ep->target.z = (
60a0: 63 68 61 72 20 2a 29 26 70 53 74 65 70 5b 31 5d  char *)&pStep[1]
60b0: 3b 0a 20 20 20 20 70 53 74 65 70 2d 3e 74 61 72  ;.    pStep->tar
60c0: 67 65 74 2e 6e 20 3d 20 6e 46 72 6f 6d 3b 0a 20  get.n = nFrom;. 
60d0: 20 20 20 6d 65 6d 63 70 79 28 28 63 68 61 72 20     memcpy((char 
60e0: 2a 29 70 53 74 65 70 2d 3e 74 61 72 67 65 74 2e  *)pStep->target.
60f0: 7a 2c 20 7a 46 72 6f 6d 2c 20 6e 46 72 6f 6d 29  z, zFrom, nFrom)
6100: 3b 0a 0a 20 20 20 20 66 6f 72 28 69 3d 30 3b 20  ;..    for(i=0; 
6110: 69 3c 70 46 4b 65 79 2d 3e 6e 43 6f 6c 3b 20 69  i<pFKey->nCol; i
6120: 2b 2b 29 7b 0a 20 20 20 20 20 20 45 78 70 72 20  ++){.      Expr 
6130: 2a 70 45 71 3b 0a 20 20 20 20 20 20 69 6e 74 20  *pEq;.      int 
6140: 69 46 72 6f 6d 43 6f 6c 3b 20 20 20 20 20 20 20  iFromCol;       
6150: 20 20 20 20 20 20 20 20 2f 2a 20 49 64 78 20 6f          /* Idx o
6160: 66 20 63 6f 6c 75 6d 6e 20 69 6e 20 72 65 66 65  f column in refe
6170: 72 65 6e 63 69 6e 67 20 74 61 62 6c 65 20 2a 2f  rencing table */
6180: 0a 20 20 20 20 20 20 54 6f 6b 65 6e 20 74 46 72  .      Token tFr
6190: 6f 6d 43 6f 6c 3b 20 20 20 20 20 20 20 20 20 20  omCol;          
61a0: 20 20 20 2f 2a 20 4e 61 6d 65 20 6f 66 20 63 6f     /* Name of co
61b0: 6c 75 6d 6e 20 69 6e 20 72 65 66 65 72 65 6e 63  lumn in referenc
61c0: 69 6e 67 20 74 61 62 6c 65 20 2a 2f 0a 20 20 20  ing table */.   
61d0: 20 20 20 54 6f 6b 65 6e 20 74 54 6f 43 6f 6c 3b     Token tToCol;
61e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f                 /
61f0: 2a 20 4e 61 6d 65 20 6f 66 20 63 6f 6c 75 6d 6e  * Name of column
6200: 20 69 6e 20 72 65 66 65 72 65 6e 63 65 64 20 74   in referenced t
6210: 61 62 6c 65 20 2a 2f 0a 20 20 20 20 20 20 54 6f  able */.      To
6220: 6b 65 6e 20 74 4f 6c 64 20 3d 20 7b 20 22 6f 6c  ken tOld = { "ol
6230: 64 22 2c 20 33 20 7d 3b 20 20 2f 2a 20 4c 69 74  d", 3 };  /* Lit
6240: 65 72 61 6c 20 22 6f 6c 64 22 20 74 6f 6b 65 6e  eral "old" token
6250: 20 2a 2f 0a 20 20 20 20 20 20 54 6f 6b 65 6e 20   */.      Token 
6260: 74 4e 65 77 20 3d 20 7b 20 22 6e 65 77 22 2c 20  tNew = { "new", 
6270: 33 20 7d 3b 20 20 2f 2a 20 4c 69 74 65 72 61 6c  3 };  /* Literal
6280: 20 22 6e 65 77 22 20 74 6f 6b 65 6e 20 2a 2f 0a   "new" token */.
6290: 0a 20 20 20 20 20 20 69 46 72 6f 6d 43 6f 6c 20  .      iFromCol 
62a0: 3d 20 61 69 43 6f 6c 20 3f 20 61 69 43 6f 6c 5b  = aiCol ? aiCol[
62b0: 69 5d 20 3a 20 70 46 4b 65 79 2d 3e 61 43 6f 6c  i] : pFKey->aCol
62c0: 5b 30 5d 2e 69 46 72 6f 6d 3b 0a 20 20 20 20 20  [0].iFrom;.     
62d0: 20 74 54 6f 43 6f 6c 2e 7a 20 3d 20 70 49 64 78   tToCol.z = pIdx
62e0: 20 3f 20 70 54 61 62 2d 3e 61 43 6f 6c 5b 70 49   ? pTab->aCol[pI
62f0: 64 78 2d 3e 61 69 43 6f 6c 75 6d 6e 5b 69 5d 5d  dx->aiColumn[i]]
6300: 2e 7a 4e 61 6d 65 20 3a 20 22 6f 69 64 22 3b 0a  .zName : "oid";.
6310: 20 20 20 20 20 20 74 46 72 6f 6d 43 6f 6c 2e 7a        tFromCol.z
6320: 20 3d 20 69 46 72 6f 6d 43 6f 6c 3c 30 20 3f 20   = iFromCol<0 ? 
6330: 22 6f 69 64 22 20 3a 20 70 46 4b 65 79 2d 3e 70  "oid" : pFKey->p
6340: 46 72 6f 6d 2d 3e 61 43 6f 6c 5b 69 46 72 6f 6d  From->aCol[iFrom
6350: 43 6f 6c 5d 2e 7a 4e 61 6d 65 3b 0a 0a 20 20 20  Col].zName;..   
6360: 20 20 20 74 54 6f 43 6f 6c 2e 6e 20 3d 20 73 71     tToCol.n = sq
6370: 6c 69 74 65 33 53 74 72 6c 65 6e 33 30 28 74 54  lite3Strlen30(tT
6380: 6f 43 6f 6c 2e 7a 29 3b 0a 20 20 20 20 20 20 74  oCol.z);.      t
6390: 46 72 6f 6d 43 6f 6c 2e 6e 20 3d 20 73 71 6c 69  FromCol.n = sqli
63a0: 74 65 33 53 74 72 6c 65 6e 33 30 28 74 46 72 6f  te3Strlen30(tFro
63b0: 6d 43 6f 6c 2e 7a 29 3b 0a 0a 20 20 20 20 20 20  mCol.z);..      
63c0: 2f 2a 20 43 72 65 61 74 65 20 74 68 65 20 65 78  /* Create the ex
63d0: 70 72 65 73 73 69 6f 6e 20 22 7a 46 72 6f 6d 43  pression "zFromC
63e0: 6f 6c 20 3d 20 4f 4c 44 2e 7a 54 6f 43 6f 6c 22  ol = OLD.zToCol"
63f0: 20 2a 2f 0a 20 20 20 20 20 20 70 45 71 20 3d 20   */.      pEq = 
6400: 73 71 6c 69 74 65 33 50 45 78 70 72 28 70 50 61  sqlite3PExpr(pPa
6410: 72 73 65 2c 20 54 4b 5f 45 51 2c 0a 20 20 20 20  rse, TK_EQ,.    
6420: 20 20 20 20 20 20 73 71 6c 69 74 65 33 50 45 78        sqlite3PEx
6430: 70 72 28 70 50 61 72 73 65 2c 20 54 4b 5f 49 44  pr(pParse, TK_ID
6440: 2c 20 30 2c 20 30 2c 20 26 74 46 72 6f 6d 43 6f  , 0, 0, &tFromCo
6450: 6c 29 2c 0a 20 20 20 20 20 20 20 20 20 20 73 71  l),.          sq
6460: 6c 69 74 65 33 50 45 78 70 72 28 70 50 61 72 73  lite3PExpr(pPars
6470: 65 2c 20 54 4b 5f 44 4f 54 2c 20 0a 20 20 20 20  e, TK_DOT, .    
6480: 20 20 20 20 20 20 20 20 73 71 6c 69 74 65 33 50          sqlite3P
6490: 45 78 70 72 28 70 50 61 72 73 65 2c 20 54 4b 5f  Expr(pParse, TK_
64a0: 49 44 2c 20 30 2c 20 30 2c 20 26 74 4f 6c 64 29  ID, 0, 0, &tOld)
64b0: 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20 73 71  ,.            sq
64c0: 6c 69 74 65 33 50 45 78 70 72 28 70 50 61 72 73  lite3PExpr(pPars
64d0: 65 2c 20 54 4b 5f 49 44 2c 20 30 2c 20 30 2c 20  e, TK_ID, 0, 0, 
64e0: 26 74 54 6f 43 6f 6c 29 0a 20 20 20 20 20 20 20  &tToCol).       
64f0: 20 20 20 2c 20 30 29 0a 20 20 20 20 20 20 2c 20     , 0).      , 
6500: 30 29 3b 0a 20 20 20 20 20 20 70 57 68 65 72 65  0);.      pWhere
6510: 20 3d 20 73 71 6c 69 74 65 33 45 78 70 72 41 6e   = sqlite3ExprAn
6520: 64 28 70 50 61 72 73 65 2d 3e 64 62 2c 20 70 57  d(pParse->db, pW
6530: 68 65 72 65 2c 20 70 45 71 29 3b 0a 0a 20 20 20  here, pEq);..   
6540: 20 20 20 69 66 28 20 61 63 74 69 6f 6e 21 3d 4f     if( action!=O
6550: 45 5f 43 61 73 63 61 64 65 20 7c 7c 20 70 43 68  E_Cascade || pCh
6560: 61 6e 67 65 73 20 29 7b 0a 20 20 20 20 20 20 20  anges ){.       
6570: 20 45 78 70 72 20 2a 70 4e 65 77 3b 0a 20 20 20   Expr *pNew;.   
6580: 20 20 20 20 20 69 66 28 20 61 63 74 69 6f 6e 3d       if( action=
6590: 3d 4f 45 5f 43 61 73 63 61 64 65 20 29 7b 0a 20  =OE_Cascade ){. 
65a0: 20 20 20 20 20 20 20 20 20 70 4e 65 77 20 3d 20           pNew = 
65b0: 73 71 6c 69 74 65 33 50 45 78 70 72 28 70 50 61  sqlite3PExpr(pPa
65c0: 72 73 65 2c 20 54 4b 5f 44 4f 54 2c 20 0a 20 20  rse, TK_DOT, .  
65d0: 20 20 20 20 20 20 20 20 20 20 73 71 6c 69 74 65            sqlite
65e0: 33 50 45 78 70 72 28 70 50 61 72 73 65 2c 20 54  3PExpr(pParse, T
65f0: 4b 5f 49 44 2c 20 30 2c 20 30 2c 20 26 74 4e 65  K_ID, 0, 0, &tNe
6600: 77 29 2c 0a 20 20 20 20 20 20 20 20 20 20 20 20  w),.            
6610: 73 71 6c 69 74 65 33 50 45 78 70 72 28 70 50 61  sqlite3PExpr(pPa
6620: 72 73 65 2c 20 54 4b 5f 49 44 2c 20 30 2c 20 30  rse, TK_ID, 0, 0
6630: 2c 20 26 74 54 6f 43 6f 6c 29 0a 20 20 20 20 20  , &tToCol).     
6640: 20 20 20 20 20 2c 20 30 29 3b 0a 20 20 20 20 20       , 0);.     
6650: 20 20 20 7d 65 6c 73 65 20 69 66 28 20 61 63 74     }else if( act
6660: 69 6f 6e 3d 3d 4f 45 5f 53 65 74 44 66 6c 74 20  ion==OE_SetDflt 
6670: 29 7b 0a 20 20 20 20 20 20 20 20 20 20 45 78 70  ){.          Exp
6680: 72 20 2a 70 44 66 6c 74 20 3d 20 70 49 64 78 20  r *pDflt = pIdx 
6690: 3f 20 30 20 3a 20 70 54 61 62 2d 3e 61 43 6f 6c  ? 0 : pTab->aCol
66a0: 5b 70 49 64 78 2d 3e 61 69 43 6f 6c 75 6d 6e 5b  [pIdx->aiColumn[
66b0: 69 5d 5d 2e 70 44 66 6c 74 3b 0a 20 20 20 20 20  i]].pDflt;.     
66c0: 20 20 20 20 20 69 66 28 20 70 44 66 6c 74 20 29       if( pDflt )
66d0: 7b 0a 20 20 20 20 20 20 20 20 20 20 20 20 70 4e  {.            pN
66e0: 65 77 20 3d 20 73 71 6c 69 74 65 33 45 78 70 72  ew = sqlite3Expr
66f0: 44 75 70 28 64 62 2c 20 70 44 66 6c 74 2c 20 30  Dup(db, pDflt, 0
6700: 29 3b 0a 20 20 20 20 20 20 20 20 20 20 7d 65 6c  );.          }el
6710: 73 65 7b 0a 20 20 20 20 20 20 20 20 20 20 20 20  se{.            
6720: 70 4e 65 77 20 3d 20 73 71 6c 69 74 65 33 50 45  pNew = sqlite3PE
6730: 78 70 72 28 70 50 61 72 73 65 2c 20 54 4b 5f 4e  xpr(pParse, TK_N
6740: 55 4c 4c 2c 20 30 2c 20 30 2c 20 30 29 3b 0a 20  ULL, 0, 0, 0);. 
6750: 20 20 20 20 20 20 20 20 20 7d 0a 20 20 20 20 20           }.     
6760: 20 20 20 7d 65 6c 73 65 7b 0a 20 20 20 20 20 20     }else{.      
6770: 20 20 20 20 70 4e 65 77 20 3d 20 73 71 6c 69 74      pNew = sqlit
6780: 65 33 50 45 78 70 72 28 70 50 61 72 73 65 2c 20  e3PExpr(pParse, 
6790: 54 4b 5f 4e 55 4c 4c 2c 20 30 2c 20 30 2c 20 30  TK_NULL, 0, 0, 0
67a0: 29 3b 0a 20 20 20 20 20 20 20 20 7d 0a 20 20 20  );.        }.   
67b0: 20 20 20 20 20 70 4c 69 73 74 20 3d 20 73 71 6c       pList = sql
67c0: 69 74 65 33 45 78 70 72 4c 69 73 74 41 70 70 65  ite3ExprListAppe
67d0: 6e 64 28 70 50 61 72 73 65 2c 20 70 4c 69 73 74  nd(pParse, pList
67e0: 2c 20 70 4e 65 77 29 3b 0a 20 20 20 20 20 20 20  , pNew);.       
67f0: 20 73 71 6c 69 74 65 33 45 78 70 72 4c 69 73 74   sqlite3ExprList
6800: 53 65 74 4e 61 6d 65 28 70 50 61 72 73 65 2c 20  SetName(pParse, 
6810: 70 4c 69 73 74 2c 20 26 74 46 72 6f 6d 43 6f 6c  pList, &tFromCol
6820: 2c 20 30 29 3b 0a 20 20 20 20 20 20 7d 0a 20 20  , 0);.      }.  
6830: 20 20 7d 0a 20 20 20 20 73 71 6c 69 74 65 33 44    }.    sqlite3D
6840: 62 46 72 65 65 28 70 50 61 72 73 65 2d 3e 64 62  bFree(pParse->db
6850: 2c 20 61 69 43 6f 6c 29 3b 0a 0a 20 20 20 20 70  , aiCol);..    p
6860: 53 74 65 70 2d 3e 70 57 68 65 72 65 20 3d 20 73  Step->pWhere = s
6870: 71 6c 69 74 65 33 45 78 70 72 44 75 70 28 64 62  qlite3ExprDup(db
6880: 4d 65 6d 2c 20 70 57 68 65 72 65 2c 20 45 58 50  Mem, pWhere, EXP
6890: 52 44 55 50 5f 52 45 44 55 43 45 29 3b 0a 20 20  RDUP_REDUCE);.  
68a0: 20 20 70 53 74 65 70 2d 3e 70 45 78 70 72 4c 69    pStep->pExprLi
68b0: 73 74 20 3d 20 73 71 6c 69 74 65 33 45 78 70 72  st = sqlite3Expr
68c0: 4c 69 73 74 44 75 70 28 64 62 4d 65 6d 2c 20 70  ListDup(dbMem, p
68d0: 4c 69 73 74 2c 20 45 58 50 52 44 55 50 5f 52 45  List, EXPRDUP_RE
68e0: 44 55 43 45 29 3b 0a 20 20 20 20 73 71 6c 69 74  DUCE);.    sqlit
68f0: 65 33 45 78 70 72 44 65 6c 65 74 65 28 70 50 61  e3ExprDelete(pPa
6900: 72 73 65 2d 3e 64 62 2c 20 70 57 68 65 72 65 29  rse->db, pWhere)
6910: 3b 0a 20 20 20 20 73 71 6c 69 74 65 33 45 78 70  ;.    sqlite3Exp
6920: 72 4c 69 73 74 44 65 6c 65 74 65 28 70 50 61 72  rListDelete(pPar
6930: 73 65 2d 3e 64 62 2c 20 70 4c 69 73 74 29 3b 0a  se->db, pList);.
6940: 0a 20 20 20 20 70 53 74 65 70 2d 3e 6f 70 20 3d  .    pStep->op =
6950: 20 28 61 63 74 69 6f 6e 21 3d 4f 45 5f 43 61 73   (action!=OE_Cas
6960: 63 61 64 65 20 7c 7c 20 70 43 68 61 6e 67 65 73  cade || pChanges
6970: 29 20 3f 20 54 4b 5f 55 50 44 41 54 45 20 3a 20  ) ? TK_UPDATE : 
6980: 54 4b 5f 44 45 4c 45 54 45 3b 0a 20 20 20 20 70  TK_DELETE;.    p
6990: 53 74 65 70 2d 3e 70 54 72 69 67 20 3d 20 70 54  Step->pTrig = pT
69a0: 72 69 67 67 65 72 3b 0a 20 20 20 20 70 54 72 69  rigger;.    pTri
69b0: 67 67 65 72 2d 3e 70 53 63 68 65 6d 61 20 3d 20  gger->pSchema = 
69c0: 70 54 61 62 2d 3e 70 53 63 68 65 6d 61 3b 0a 20  pTab->pSchema;. 
69d0: 20 20 20 70 54 72 69 67 67 65 72 2d 3e 70 54 61     pTrigger->pTa
69e0: 62 53 63 68 65 6d 61 20 3d 20 70 54 61 62 2d 3e  bSchema = pTab->
69f0: 70 53 63 68 65 6d 61 3b 0a 0a 20 20 20 20 69 66  pSchema;..    if
6a00: 28 20 70 43 68 61 6e 67 65 73 20 29 7b 0a 20 20  ( pChanges ){.  
6a10: 20 20 20 20 70 46 4b 65 79 2d 3e 70 4f 6e 55 70      pFKey->pOnUp
6a20: 64 61 74 65 20 3d 20 70 54 72 69 67 67 65 72 3b  date = pTrigger;
6a30: 0a 20 20 20 20 20 20 70 54 72 69 67 67 65 72 2d  .      pTrigger-
6a40: 3e 6f 70 20 3d 20 54 4b 5f 55 50 44 41 54 45 3b  >op = TK_UPDATE;
6a50: 0a 20 20 20 20 20 20 70 53 74 65 70 2d 3e 6f 70  .      pStep->op
6a60: 20 3d 20 54 4b 5f 55 50 44 41 54 45 3b 0a 20 20   = TK_UPDATE;.  
6a70: 20 20 7d 65 6c 73 65 7b 0a 20 20 20 20 20 20 70    }else{.      p
6a80: 46 4b 65 79 2d 3e 70 4f 6e 44 65 6c 65 74 65 20  FKey->pOnDelete 
6a90: 3d 20 70 54 72 69 67 67 65 72 3b 0a 20 20 20 20  = pTrigger;.    
6aa0: 20 20 70 54 72 69 67 67 65 72 2d 3e 6f 70 20 3d    pTrigger->op =
6ab0: 20 54 4b 5f 44 45 4c 45 54 45 3b 0a 20 20 20 20   TK_DELETE;.    
6ac0: 20 20 70 53 74 65 70 2d 3e 6f 70 20 3d 20 28 61    pStep->op = (a
6ad0: 63 74 69 6f 6e 3d 3d 4f 45 5f 43 61 73 63 61 64  ction==OE_Cascad
6ae0: 65 29 3f 54 4b 5f 44 45 4c 45 54 45 3a 54 4b 5f  e)?TK_DELETE:TK_
6af0: 55 50 44 41 54 45 3b 0a 20 20 20 20 7d 0a 20 20  UPDATE;.    }.  
6b00: 7d 0a 0a 20 20 72 65 74 75 72 6e 20 70 54 72 69  }..  return pTri
6b10: 67 67 65 72 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 54  gger;.}../*.** T
6b20: 68 69 73 20 66 75 6e 63 74 69 6f 6e 20 69 73 20  his function is 
6b30: 63 61 6c 6c 65 64 20 77 68 65 6e 20 64 65 6c 65  called when dele
6b40: 74 69 6e 67 20 6f 72 20 75 70 64 61 74 69 6e 67  ting or updating
6b50: 20 61 20 72 6f 77 20 74 6f 20 69 6d 70 6c 65 6d   a row to implem
6b60: 65 6e 74 0a 2a 2a 20 61 6e 79 20 72 65 71 75 69  ent.** any requi
6b70: 72 65 64 20 43 41 53 43 41 44 45 2c 20 53 45 54  red CASCADE, SET
6b80: 20 4e 55 4c 4c 20 6f 72 20 53 45 54 20 44 45 46   NULL or SET DEF
6b90: 41 55 4c 54 20 61 63 74 69 6f 6e 73 2e 0a 2a 2f  AULT actions..*/
6ba0: 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 46 6b 41  .void sqlite3FkA
6bb0: 63 74 69 6f 6e 73 28 0a 20 20 50 61 72 73 65 20  ctions(.  Parse 
6bc0: 2a 70 50 61 72 73 65 2c 20 20 20 20 20 20 20 20  *pParse,        
6bd0: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 50 61 72            /* Par
6be0: 73 65 20 63 6f 6e 74 65 78 74 20 2a 2f 0a 20 20  se context */.  
6bf0: 54 61 62 6c 65 20 2a 70 54 61 62 2c 20 20 20 20  Table *pTab,    
6c00: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
6c10: 2f 2a 20 54 61 62 6c 65 20 62 65 69 6e 67 20 75  /* Table being u
6c20: 70 64 61 74 65 64 20 6f 72 20 64 65 6c 65 74 65  pdated or delete
6c30: 64 20 66 72 6f 6d 20 2a 2f 0a 20 20 45 78 70 72  d from */.  Expr
6c40: 4c 69 73 74 20 2a 70 43 68 61 6e 67 65 73 2c 20  List *pChanges, 
6c50: 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 43              /* C
6c60: 68 61 6e 67 65 2d 6c 69 73 74 20 66 6f 72 20 55  hange-list for U
6c70: 50 44 41 54 45 2c 20 4e 55 4c 4c 20 66 6f 72 20  PDATE, NULL for 
6c80: 44 45 4c 45 54 45 20 2a 2f 0a 20 20 69 6e 74 20  DELETE */.  int 
6c90: 72 65 67 4f 6c 64 20 20 20 20 20 20 20 20 20 20  regOld          
6ca0: 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 41              /* A
6cb0: 64 64 72 65 73 73 20 6f 66 20 61 72 72 61 79 20  ddress of array 
6cc0: 63 6f 6e 74 61 69 6e 69 6e 67 20 6f 6c 64 20 72  containing old r
6cd0: 6f 77 20 2a 2f 0a 29 7b 0a 20 20 2f 2a 20 49 66  ow */.){.  /* If
6ce0: 20 66 6f 72 65 69 67 6e 2d 6b 65 79 20 73 75 70   foreign-key sup
6cf0: 70 6f 72 74 20 69 73 20 65 6e 61 62 6c 65 64 2c  port is enabled,
6d00: 20 69 74 65 72 61 74 65 20 74 68 72 6f 75 67 68   iterate through
6d10: 20 61 6c 6c 20 46 4b 73 20 74 68 61 74 20 0a 20   all FKs that . 
6d20: 20 2a 2a 20 72 65 66 65 72 20 74 6f 20 74 61 62   ** refer to tab
6d30: 6c 65 20 70 54 61 62 2e 20 49 66 20 74 68 65 72  le pTab. If ther
6d40: 65 20 69 73 20 61 6e 20 61 63 74 69 6f 6e 20 61  e is an action a
6d50: 73 73 6f 63 69 61 74 65 64 20 77 69 74 68 20 74  ssociated with t
6d60: 68 65 20 46 4b 20 0a 20 20 2a 2a 20 66 6f 72 20  he FK .  ** for 
6d70: 74 68 69 73 20 6f 70 65 72 61 74 69 6f 6e 20 28  this operation (
6d80: 65 69 74 68 65 72 20 75 70 64 61 74 65 20 6f 72  either update or
6d90: 20 64 65 6c 65 74 65 29 2c 20 69 6e 76 6f 6b 65   delete), invoke
6da0: 20 74 68 65 20 61 73 73 6f 63 69 61 74 65 64 20   the associated 
6db0: 0a 20 20 2a 2a 20 74 72 69 67 67 65 72 20 73 75  .  ** trigger su
6dc0: 62 2d 70 72 6f 67 72 61 6d 2e 20 20 2a 2f 0a 20  b-program.  */. 
6dd0: 20 69 66 28 20 70 50 61 72 73 65 2d 3e 64 62 2d   if( pParse->db-
6de0: 3e 66 6c 61 67 73 26 53 51 4c 49 54 45 5f 46 6f  >flags&SQLITE_Fo
6df0: 72 65 69 67 6e 4b 65 79 73 20 29 7b 0a 20 20 20  reignKeys ){.   
6e00: 20 46 4b 65 79 20 2a 70 46 4b 65 79 3b 20 20 20   FKey *pFKey;   
6e10: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f                 /
6e20: 2a 20 49 74 65 72 61 74 6f 72 20 76 61 72 69 61  * Iterator varia
6e30: 62 6c 65 20 2a 2f 0a 20 20 20 20 66 6f 72 28 70  ble */.    for(p
6e40: 46 4b 65 79 20 3d 20 66 6b 52 65 66 65 72 69 6e  FKey = fkReferin
6e50: 67 28 70 54 61 62 29 3b 20 70 46 4b 65 79 3b 20  g(pTab); pFKey; 
6e60: 70 46 4b 65 79 3d 70 46 4b 65 79 2d 3e 70 4e 65  pFKey=pFKey->pNe
6e70: 78 74 54 6f 29 7b 0a 20 20 20 20 20 20 54 72 69  xtTo){.      Tri
6e80: 67 67 65 72 20 2a 70 41 63 74 69 6f 6e 20 3d 20  gger *pAction = 
6e90: 66 6b 41 63 74 69 6f 6e 54 72 69 67 67 65 72 28  fkActionTrigger(
6ea0: 70 50 61 72 73 65 2c 20 70 54 61 62 2c 20 70 46  pParse, pTab, pF
6eb0: 4b 65 79 2c 20 70 43 68 61 6e 67 65 73 29 3b 0a  Key, pChanges);.
6ec0: 20 20 20 20 20 20 69 66 28 20 70 41 63 74 69 6f        if( pActio
6ed0: 6e 20 29 7b 0a 20 20 20 20 20 20 20 20 73 71 6c  n ){.        sql
6ee0: 69 74 65 33 43 6f 64 65 52 6f 77 54 72 69 67 67  ite3CodeRowTrigg
6ef0: 65 72 44 69 72 65 63 74 28 70 50 61 72 73 65 2c  erDirect(pParse,
6f00: 20 70 41 63 74 69 6f 6e 2c 20 70 54 61 62 2c 20   pAction, pTab, 
6f10: 72 65 67 4f 6c 64 2c 20 4f 45 5f 41 62 6f 72 74  regOld, OE_Abort
6f20: 2c 20 30 29 3b 0a 20 20 20 20 20 20 7d 0a 20 20  , 0);.      }.  
6f30: 20 20 7d 0a 20 20 7d 0a 7d 0a 0a 23 65 6e 64 69    }.  }.}..#endi
6f40: 66 20 2f 2a 20 69 66 6e 64 65 66 20 53 51 4c 49  f /* ifndef SQLI
6f50: 54 45 5f 4f 4d 49 54 5f 54 52 49 47 47 45 52 20  TE_OMIT_TRIGGER 
6f60: 2a 2f 0a 0a 2f 2a 0a 2a 2a 20 46 72 65 65 20 61  */../*.** Free a
6f70: 6c 6c 20 6d 65 6d 6f 72 79 20 61 73 73 6f 63 69  ll memory associ
6f80: 61 74 65 64 20 77 69 74 68 20 66 6f 72 65 69 67  ated with foreig
6f90: 6e 20 6b 65 79 20 64 65 66 69 6e 69 74 69 6f 6e  n key definition
6fa0: 73 20 61 74 74 61 63 68 65 64 20 74 6f 0a 2a 2a  s attached to.**
6fb0: 20 74 61 62 6c 65 20 70 54 61 62 2e 20 52 65 6d   table pTab. Rem
6fc0: 6f 76 65 20 74 68 65 20 64 65 6c 65 74 65 64 20  ove the deleted 
6fd0: 66 6f 72 65 69 67 6e 20 6b 65 79 73 20 66 72 6f  foreign keys fro
6fe0: 6d 20 74 68 65 20 53 63 68 65 6d 61 2e 66 6b 65  m the Schema.fke
6ff0: 79 48 61 73 68 0a 2a 2a 20 68 61 73 68 20 74 61  yHash.** hash ta
7000: 62 6c 65 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71 6c  ble..*/.void sql
7010: 69 74 65 33 46 6b 44 65 6c 65 74 65 28 54 61 62  ite3FkDelete(Tab
7020: 6c 65 20 2a 70 54 61 62 29 7b 0a 20 20 46 4b 65  le *pTab){.  FKe
7030: 79 20 2a 70 46 4b 65 79 3b 20 20 20 20 20 20 20  y *pFKey;       
7040: 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20               /* 
7050: 49 74 65 72 61 74 6f 72 20 76 61 72 69 61 62 6c  Iterator variabl
7060: 65 20 2a 2f 0a 20 20 46 4b 65 79 20 2a 70 4e 65  e */.  FKey *pNe
7070: 78 74 3b 20 20 20 20 20 20 20 20 20 20 20 20 20  xt;             
7080: 20 20 20 20 20 20 20 2f 2a 20 43 6f 70 79 20 6f         /* Copy o
7090: 66 20 70 46 4b 65 79 2d 3e 70 4e 65 78 74 46 72  f pFKey->pNextFr
70a0: 6f 6d 20 2a 2f 0a 0a 20 20 66 6f 72 28 70 46 4b  om */..  for(pFK
70b0: 65 79 3d 70 54 61 62 2d 3e 70 46 4b 65 79 3b 20  ey=pTab->pFKey; 
70c0: 70 46 4b 65 79 3b 20 70 46 4b 65 79 3d 70 4e 65  pFKey; pFKey=pNe
70d0: 78 74 29 7b 0a 0a 20 20 20 20 2f 2a 20 52 65 6d  xt){..    /* Rem
70e0: 6f 76 65 20 74 68 65 20 46 4b 20 66 72 6f 6d 20  ove the FK from 
70f0: 74 68 65 20 66 6b 65 79 48 61 73 68 20 68 61 73  the fkeyHash has
7100: 68 20 74 61 62 6c 65 2e 20 2a 2f 0a 20 20 20 20  h table. */.    
7110: 69 66 28 20 70 46 4b 65 79 2d 3e 70 50 72 65 76  if( pFKey->pPrev
7120: 54 6f 20 29 7b 0a 20 20 20 20 20 20 70 46 4b 65  To ){.      pFKe
7130: 79 2d 3e 70 50 72 65 76 54 6f 2d 3e 70 4e 65 78  y->pPrevTo->pNex
7140: 74 54 6f 20 3d 20 70 46 4b 65 79 2d 3e 70 4e 65  tTo = pFKey->pNe
7150: 78 74 54 6f 3b 0a 20 20 20 20 7d 65 6c 73 65 7b  xtTo;.    }else{
7160: 0a 20 20 20 20 20 20 76 6f 69 64 20 2a 64 61 74  .      void *dat
7170: 61 20 3d 20 28 76 6f 69 64 20 2a 29 70 46 4b 65  a = (void *)pFKe
7180: 79 2d 3e 70 4e 65 78 74 54 6f 3b 0a 20 20 20 20  y->pNextTo;.    
7190: 20 20 63 6f 6e 73 74 20 63 68 61 72 20 2a 7a 20    const char *z 
71a0: 3d 20 28 64 61 74 61 20 3f 20 70 46 4b 65 79 2d  = (data ? pFKey-
71b0: 3e 70 4e 65 78 74 54 6f 2d 3e 7a 54 6f 20 3a 20  >pNextTo->zTo : 
71c0: 70 46 4b 65 79 2d 3e 7a 54 6f 29 3b 0a 20 20 20  pFKey->zTo);.   
71d0: 20 20 20 73 71 6c 69 74 65 33 48 61 73 68 49 6e     sqlite3HashIn
71e0: 73 65 72 74 28 26 70 54 61 62 2d 3e 70 53 63 68  sert(&pTab->pSch
71f0: 65 6d 61 2d 3e 66 6b 65 79 48 61 73 68 2c 20 7a  ema->fkeyHash, z
7200: 2c 20 73 71 6c 69 74 65 33 53 74 72 6c 65 6e 33  , sqlite3Strlen3
7210: 30 28 7a 29 2c 20 64 61 74 61 29 3b 0a 20 20 20  0(z), data);.   
7220: 20 7d 0a 20 20 20 20 69 66 28 20 70 46 4b 65 79   }.    if( pFKey
7230: 2d 3e 70 4e 65 78 74 54 6f 20 29 7b 0a 20 20 20  ->pNextTo ){.   
7240: 20 20 20 70 46 4b 65 79 2d 3e 70 4e 65 78 74 54     pFKey->pNextT
7250: 6f 2d 3e 70 50 72 65 76 54 6f 20 3d 20 70 46 4b  o->pPrevTo = pFK
7260: 65 79 2d 3e 70 50 72 65 76 54 6f 3b 0a 20 20 20  ey->pPrevTo;.   
7270: 20 7d 0a 0a 20 20 20 20 2f 2a 20 44 65 6c 65 74   }..    /* Delet
7280: 65 20 61 6e 79 20 74 72 69 67 67 65 72 73 20 63  e any triggers c
7290: 72 65 61 74 65 64 20 74 6f 20 69 6d 70 6c 65 6d  reated to implem
72a0: 65 6e 74 20 61 63 74 69 6f 6e 73 20 66 6f 72 20  ent actions for 
72b0: 74 68 69 73 20 46 4b 2e 20 2a 2f 0a 23 69 66 6e  this FK. */.#ifn
72c0: 64 65 66 20 53 51 4c 49 54 45 5f 4f 4d 49 54 5f  def SQLITE_OMIT_
72d0: 54 52 49 47 47 45 52 0a 20 20 20 20 66 6b 54 72  TRIGGER.    fkTr
72e0: 69 67 67 65 72 44 65 6c 65 74 65 28 70 54 61 62  iggerDelete(pTab
72f0: 2d 3e 64 62 4d 65 6d 2c 20 70 46 4b 65 79 2d 3e  ->dbMem, pFKey->
7300: 70 4f 6e 44 65 6c 65 74 65 29 3b 0a 20 20 20 20  pOnDelete);.    
7310: 66 6b 54 72 69 67 67 65 72 44 65 6c 65 74 65 28  fkTriggerDelete(
7320: 70 54 61 62 2d 3e 64 62 4d 65 6d 2c 20 70 46 4b  pTab->dbMem, pFK
7330: 65 79 2d 3e 70 4f 6e 55 70 64 61 74 65 29 3b 0a  ey->pOnUpdate);.
7340: 23 65 6e 64 69 66 0a 0a 20 20 20 20 2f 2a 20 44  #endif..    /* D
7350: 65 6c 65 74 65 20 74 68 65 20 6d 65 6d 6f 72 79  elete the memory
7360: 20 61 6c 6c 6f 63 61 74 65 64 20 66 6f 72 20 74   allocated for t
7370: 68 65 20 46 4b 20 73 74 72 75 63 74 75 72 65 2e  he FK structure.
7380: 20 2a 2f 0a 20 20 20 20 70 4e 65 78 74 20 3d 20   */.    pNext = 
7390: 70 46 4b 65 79 2d 3e 70 4e 65 78 74 46 72 6f 6d  pFKey->pNextFrom
73a0: 3b 0a 20 20 20 20 73 71 6c 69 74 65 33 44 62 46  ;.    sqlite3DbF
73b0: 72 65 65 28 70 54 61 62 2d 3e 64 62 4d 65 6d 2c  ree(pTab->dbMem,
73c0: 20 70 46 4b 65 79 29 3b 0a 20 20 7d 0a 7d 0a 23   pFKey);.  }.}.#
73d0: 65 6e 64 69 66 20 2f 2a 20 69 66 6e 64 65 66 20  endif /* ifndef 
73e0: 53 51 4c 49 54 45 5f 4f 4d 49 54 5f 46 4f 52 45  SQLITE_OMIT_FORE
73f0: 49 47 4e 5f 4b 45 59 20 2a 2f 0a                 IGN_KEY */.