/ Hex Artifact Content
Login

Artifact 0f06ecda52a75a1624e01b7f861a235d97544b98:


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 70 46 4b 65 79 2d 3e 61 43 6f 6c 5b 69   = pFKey->aCol[i
2640: 5d 2e 69 46 72 6f 6d 20 2b 20 72 65 67 44 61 74  ].iFrom + regDat
2650: 61 20 2b 20 31 3b 0a 20 20 20 20 73 71 6c 69 74  a + 1;.    sqlit
2660: 65 33 56 64 62 65 41 64 64 4f 70 32 28 76 2c 20  e3VdbeAddOp2(v, 
2670: 4f 50 5f 49 73 4e 75 6c 6c 2c 20 69 52 65 67 2c  OP_IsNull, iReg,
2680: 20 69 4f 6b 29 3b 0a 20 20 7d 0a 0a 20 20 69 66   iOk);.  }..  if
2690: 28 20 70 49 64 78 3d 3d 30 20 29 7b 0a 20 20 20  ( pIdx==0 ){.   
26a0: 20 2f 2a 20 49 66 20 70 49 64 78 20 69 73 20 4e   /* If pIdx is N
26b0: 55 4c 4c 2c 20 74 68 65 6e 20 74 68 65 20 66 6f  ULL, then the fo
26c0: 72 65 69 67 6e 20 6b 65 79 20 63 6f 6e 73 74 72  reign key constr
26d0: 61 69 6e 74 20 72 65 66 65 72 65 6e 63 65 73 20  aint references 
26e0: 74 68 65 0a 20 20 20 20 2a 2a 20 49 4e 54 45 47  the.    ** INTEG
26f0: 45 52 20 50 52 49 4d 41 52 59 20 4b 45 59 20 63  ER PRIMARY KEY c
2700: 6f 6c 75 6d 6e 20 69 6e 20 74 68 65 20 72 65 66  olumn in the ref
2710: 65 72 65 6e 63 65 64 20 74 61 62 6c 65 20 28 74  erenced table (t
2720: 61 62 6c 65 20 70 54 61 62 29 2e 20 20 2a 2f 0a  able pTab).  */.
2730: 20 20 20 20 69 6e 74 20 69 52 65 67 20 3d 20 70      int iReg = p
2740: 46 4b 65 79 2d 3e 61 43 6f 6c 5b 30 5d 2e 69 46  FKey->aCol[0].iF
2750: 72 6f 6d 20 2b 20 72 65 67 44 61 74 61 20 2b 20  rom + regData + 
2760: 31 3b 0a 20 20 20 20 73 71 6c 69 74 65 33 4f 70  1;.    sqlite3Op
2770: 65 6e 54 61 62 6c 65 28 70 50 61 72 73 65 2c 20  enTable(pParse, 
2780: 69 43 75 72 2c 20 69 44 62 2c 20 70 54 61 62 2c  iCur, iDb, pTab,
2790: 20 4f 50 5f 4f 70 65 6e 52 65 61 64 29 3b 0a 20   OP_OpenRead);. 
27a0: 20 20 20 73 71 6c 69 74 65 33 56 64 62 65 41 64     sqlite3VdbeAd
27b0: 64 4f 70 33 28 76 2c 20 4f 50 5f 4e 6f 74 45 78  dOp3(v, OP_NotEx
27c0: 69 73 74 73 2c 20 69 43 75 72 2c 20 30 2c 20 69  ists, iCur, 0, i
27d0: 52 65 67 29 3b 0a 20 20 20 20 73 71 6c 69 74 65  Reg);.    sqlite
27e0: 33 56 64 62 65 41 64 64 4f 70 32 28 76 2c 20 4f  3VdbeAddOp2(v, O
27f0: 50 5f 47 6f 74 6f 2c 20 30 2c 20 69 4f 6b 29 3b  P_Goto, 0, iOk);
2800: 0a 20 20 20 20 73 71 6c 69 74 65 33 56 64 62 65  .    sqlite3Vdbe
2810: 4a 75 6d 70 48 65 72 65 28 76 2c 20 73 71 6c 69  JumpHere(v, sqli
2820: 74 65 33 56 64 62 65 43 75 72 72 65 6e 74 41 64  te3VdbeCurrentAd
2830: 64 72 28 76 29 2d 32 29 3b 0a 20 20 7d 65 6c 73  dr(v)-2);.  }els
2840: 65 7b 0a 20 20 20 20 69 6e 74 20 72 65 67 52 65  e{.    int regRe
2850: 63 20 3d 20 73 71 6c 69 74 65 33 47 65 74 54 65  c = sqlite3GetTe
2860: 6d 70 52 65 67 28 70 50 61 72 73 65 29 3b 0a 20  mpReg(pParse);. 
2870: 20 20 20 4b 65 79 49 6e 66 6f 20 2a 70 4b 65 79     KeyInfo *pKey
2880: 20 3d 20 73 71 6c 69 74 65 33 49 6e 64 65 78 4b   = sqlite3IndexK
2890: 65 79 69 6e 66 6f 28 70 50 61 72 73 65 2c 20 70  eyinfo(pParse, p
28a0: 49 64 78 29 3b 0a 0a 20 20 20 20 73 71 6c 69 74  Idx);..    sqlit
28b0: 65 33 56 64 62 65 41 64 64 4f 70 33 28 76 2c 20  e3VdbeAddOp3(v, 
28c0: 4f 50 5f 4f 70 65 6e 52 65 61 64 2c 20 69 43 75  OP_OpenRead, iCu
28d0: 72 2c 20 70 49 64 78 2d 3e 74 6e 75 6d 2c 20 69  r, pIdx->tnum, i
28e0: 44 62 29 3b 0a 20 20 20 20 73 71 6c 69 74 65 33  Db);.    sqlite3
28f0: 56 64 62 65 43 68 61 6e 67 65 50 34 28 76 2c 20  VdbeChangeP4(v, 
2900: 2d 31 2c 20 28 63 68 61 72 2a 29 70 4b 65 79 2c  -1, (char*)pKey,
2910: 20 50 34 5f 4b 45 59 49 4e 46 4f 5f 48 41 4e 44   P4_KEYINFO_HAND
2920: 4f 46 46 29 3b 0a 0a 20 20 20 20 69 66 28 20 61  OFF);..    if( a
2930: 69 43 6f 6c 20 29 7b 0a 20 20 20 20 20 20 69 6e  iCol ){.      in
2940: 74 20 6e 43 6f 6c 20 3d 20 70 46 4b 65 79 2d 3e  t nCol = pFKey->
2950: 6e 43 6f 6c 3b 0a 20 20 20 20 20 20 69 6e 74 20  nCol;.      int 
2960: 72 65 67 54 65 6d 70 20 3d 20 73 71 6c 69 74 65  regTemp = sqlite
2970: 33 47 65 74 54 65 6d 70 52 61 6e 67 65 28 70 50  3GetTempRange(pP
2980: 61 72 73 65 2c 20 6e 43 6f 6c 29 3b 0a 20 20 20  arse, nCol);.   
2990: 20 20 20 66 6f 72 28 69 3d 30 3b 20 69 3c 6e 43     for(i=0; i<nC
29a0: 6f 6c 3b 20 69 2b 2b 29 7b 20 0a 20 20 20 20 20  ol; i++){ .     
29b0: 20 20 20 73 71 6c 69 74 65 33 56 64 62 65 41 64     sqlite3VdbeAd
29c0: 64 4f 70 32 28 76 2c 20 4f 50 5f 53 43 6f 70 79  dOp2(v, OP_SCopy
29d0: 2c 20 61 69 43 6f 6c 5b 69 5d 2b 31 2b 72 65 67  , aiCol[i]+1+reg
29e0: 44 61 74 61 2c 20 72 65 67 54 65 6d 70 2b 69 29  Data, regTemp+i)
29f0: 3b 0a 20 20 20 20 20 20 7d 0a 20 20 20 20 20 20  ;.      }.      
2a00: 73 71 6c 69 74 65 33 56 64 62 65 41 64 64 4f 70  sqlite3VdbeAddOp
2a10: 33 28 76 2c 20 4f 50 5f 4d 61 6b 65 52 65 63 6f  3(v, OP_MakeReco
2a20: 72 64 2c 20 72 65 67 54 65 6d 70 2c 20 6e 43 6f  rd, regTemp, nCo
2a30: 6c 2c 20 72 65 67 52 65 63 29 3b 0a 20 20 20 20  l, regRec);.    
2a40: 20 20 73 71 6c 69 74 65 33 52 65 6c 65 61 73 65    sqlite3Release
2a50: 54 65 6d 70 52 61 6e 67 65 28 70 50 61 72 73 65  TempRange(pParse
2a60: 2c 20 72 65 67 54 65 6d 70 2c 20 6e 43 6f 6c 29  , regTemp, nCol)
2a70: 3b 0a 20 20 20 20 7d 65 6c 73 65 7b 0a 20 20 20  ;.    }else{.   
2a80: 20 20 20 69 6e 74 20 69 52 65 67 20 3d 20 70 46     int iReg = pF
2a90: 4b 65 79 2d 3e 61 43 6f 6c 5b 30 5d 2e 69 46 72  Key->aCol[0].iFr
2aa0: 6f 6d 20 2b 20 72 65 67 44 61 74 61 20 2b 20 31  om + regData + 1
2ab0: 3b 0a 20 20 20 20 20 20 73 71 6c 69 74 65 33 56  ;.      sqlite3V
2ac0: 64 62 65 41 64 64 4f 70 33 28 76 2c 20 4f 50 5f  dbeAddOp3(v, OP_
2ad0: 4d 61 6b 65 52 65 63 6f 72 64 2c 20 69 52 65 67  MakeRecord, iReg
2ae0: 2c 20 31 2c 20 72 65 67 52 65 63 29 3b 0a 20 20  , 1, regRec);.  
2af0: 20 20 20 20 73 71 6c 69 74 65 33 49 6e 64 65 78      sqlite3Index
2b00: 41 66 66 69 6e 69 74 79 53 74 72 28 76 2c 20 70  AffinityStr(v, p
2b10: 49 64 78 29 3b 0a 20 20 20 20 7d 0a 0a 20 20 20  Idx);.    }..   
2b20: 20 73 71 6c 69 74 65 33 56 64 62 65 41 64 64 4f   sqlite3VdbeAddO
2b30: 70 33 28 76 2c 20 4f 50 5f 46 6f 75 6e 64 2c 20  p3(v, OP_Found, 
2b40: 69 43 75 72 2c 20 69 4f 6b 2c 20 72 65 67 52 65  iCur, iOk, regRe
2b50: 63 29 3b 0a 20 20 20 20 73 71 6c 69 74 65 33 52  c);.    sqlite3R
2b60: 65 6c 65 61 73 65 54 65 6d 70 52 65 67 28 70 50  eleaseTempReg(pP
2b70: 61 72 73 65 2c 20 72 65 67 52 65 63 29 3b 0a 20  arse, regRec);. 
2b80: 20 7d 0a 0a 20 20 69 66 28 20 70 46 4b 65 79 2d   }..  if( pFKey-
2b90: 3e 69 73 44 65 66 65 72 72 65 64 20 29 7b 0a 20  >isDeferred ){. 
2ba0: 20 20 20 61 73 73 65 72 74 28 20 6e 49 6e 63 72     assert( nIncr
2bb0: 3d 3d 31 20 7c 7c 20 6e 49 6e 63 72 3d 3d 2d 31  ==1 || nIncr==-1
2bc0: 20 29 3b 0a 20 20 20 20 73 71 6c 69 74 65 33 56   );.    sqlite3V
2bd0: 64 62 65 41 64 64 4f 70 31 28 76 2c 20 4f 50 5f  dbeAddOp1(v, OP_
2be0: 44 65 66 65 72 72 65 64 43 6f 6e 73 2c 20 6e 49  DeferredCons, nI
2bf0: 6e 63 72 29 3b 0a 20 20 7d 65 6c 73 65 7b 0a 20  ncr);.  }else{. 
2c00: 20 20 20 73 71 6c 69 74 65 33 48 61 6c 74 43 6f     sqlite3HaltCo
2c10: 6e 73 74 72 61 69 6e 74 28 0a 20 20 20 20 20 20  nstraint(.      
2c20: 20 20 70 50 61 72 73 65 2c 20 4f 45 5f 41 62 6f    pParse, OE_Abo
2c30: 72 74 2c 20 22 66 6f 72 65 69 67 6e 20 6b 65 79  rt, "foreign key
2c40: 20 63 6f 6e 73 74 72 61 69 6e 74 20 66 61 69 6c   constraint fail
2c50: 65 64 22 2c 20 50 34 5f 53 54 41 54 49 43 0a 20  ed", P4_STATIC. 
2c60: 20 20 20 29 3b 0a 20 20 7d 0a 0a 20 20 73 71 6c     );.  }..  sql
2c70: 69 74 65 33 56 64 62 65 52 65 73 6f 6c 76 65 4c  ite3VdbeResolveL
2c80: 61 62 65 6c 28 76 2c 20 69 4f 6b 29 3b 0a 7d 0a  abel(v, iOk);.}.
2c90: 0a 73 74 61 74 69 63 20 76 6f 69 64 20 66 6b 53  .static void fkS
2ca0: 63 61 6e 52 65 66 65 72 65 6e 63 65 73 28 0a 20  canReferences(. 
2cb0: 20 50 61 72 73 65 20 2a 70 50 61 72 73 65 2c 20   Parse *pParse, 
2cc0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2cd0: 20 2f 2a 20 50 61 72 73 65 20 63 6f 6e 74 65 78   /* Parse contex
2ce0: 74 20 2a 2f 0a 20 20 53 72 63 4c 69 73 74 20 2a  t */.  SrcList *
2cf0: 70 53 72 63 2c 20 20 20 20 20 20 20 20 20 20 20  pSrc,           
2d00: 20 20 20 20 20 20 20 2f 2a 20 53 72 63 4c 69 73         /* SrcLis
2d10: 74 20 63 6f 6e 74 61 69 6e 69 6e 67 20 74 68 65  t containing the
2d20: 20 74 61 62 6c 65 20 74 6f 20 73 63 61 6e 20 2a   table to scan *
2d30: 2f 0a 20 20 49 6e 64 65 78 20 2a 70 49 64 78 2c  /.  Index *pIdx,
2d40: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2d50: 20 20 20 20 2f 2a 20 46 6f 72 65 69 67 6e 20 6b      /* Foreign k
2d60: 65 79 20 69 6e 64 65 78 20 2a 2f 0a 20 20 46 4b  ey index */.  FK
2d70: 65 79 20 2a 70 46 4b 65 79 2c 20 20 20 20 20 20  ey *pFKey,      
2d80: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a                /*
2d90: 20 46 6f 72 65 69 67 6e 20 6b 65 79 20 72 65 6c   Foreign key rel
2da0: 61 74 69 6f 6e 73 68 69 70 20 2a 2f 0a 20 20 69  ationship */.  i
2db0: 6e 74 20 2a 61 69 43 6f 6c 2c 20 20 20 20 20 20  nt *aiCol,      
2dc0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f                 /
2dd0: 2a 20 4d 61 70 20 66 72 6f 6d 20 46 4b 20 74 6f  * Map from FK to
2de0: 20 72 65 66 65 72 65 6e 63 65 64 20 74 61 62 6c   referenced tabl
2df0: 65 20 63 6f 6c 75 6d 6e 73 20 2a 2f 0a 20 20 69  e columns */.  i
2e00: 6e 74 20 72 65 67 44 61 74 61 2c 20 20 20 20 20  nt regData,     
2e10: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f                 /
2e20: 2a 20 52 65 66 65 72 65 6e 63 65 64 20 74 61 62  * Referenced tab
2e30: 6c 65 20 64 61 74 61 20 73 74 61 72 74 73 20 68  le data starts h
2e40: 65 72 65 20 2a 2f 0a 20 20 69 6e 74 20 6e 49 6e  ere */.  int nIn
2e50: 63 72 20 20 20 20 20 20 20 20 20 20 20 20 20 20  cr              
2e60: 20 20 20 20 20 20 20 20 20 2f 2a 20 41 6d 6f 75           /* Amou
2e70: 6e 74 20 74 6f 20 69 6e 63 72 65 6d 65 6e 74 20  nt to increment 
2e80: 64 65 66 65 72 72 65 64 20 63 6f 75 6e 74 65 72  deferred counter
2e90: 20 62 79 20 2a 2f 0a 29 7b 0a 20 20 73 71 6c 69   by */.){.  sqli
2ea0: 74 65 33 20 2a 64 62 20 3d 20 70 50 61 72 73 65  te3 *db = pParse
2eb0: 2d 3e 64 62 3b 20 20 20 20 20 20 20 2f 2a 20 44  ->db;       /* D
2ec0: 61 74 61 62 61 73 65 20 68 61 6e 64 6c 65 20 2a  atabase handle *
2ed0: 2f 0a 20 20 69 6e 74 20 69 3b 20 20 20 20 20 20  /.  int i;      
2ee0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2ef0: 20 20 20 20 2f 2a 20 49 74 65 72 61 74 6f 72 20      /* Iterator 
2f00: 76 61 72 69 61 62 6c 65 20 2a 2f 0a 20 20 45 78  variable */.  Ex
2f10: 70 72 20 2a 70 57 68 65 72 65 20 3d 20 30 3b 20  pr *pWhere = 0; 
2f20: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a                /*
2f30: 20 57 48 45 52 45 20 63 6c 61 75 73 65 20 74 6f   WHERE clause to
2f40: 20 73 63 61 6e 20 77 69 74 68 20 2a 2f 0a 20 20   scan with */.  
2f50: 4e 61 6d 65 43 6f 6e 74 65 78 74 20 73 4e 61 6d  NameContext sNam
2f60: 65 43 6f 6e 74 65 78 74 3b 20 20 20 20 20 20 20  eContext;       
2f70: 2f 2a 20 43 6f 6e 74 65 78 74 20 75 73 65 64 20  /* Context used 
2f80: 74 6f 20 72 65 73 6f 6c 76 65 20 57 48 45 52 45  to resolve WHERE
2f90: 20 63 6c 61 75 73 65 20 2a 2f 0a 20 20 57 68 65   clause */.  Whe
2fa0: 72 65 49 6e 66 6f 20 2a 70 57 49 6e 66 6f 3b 20  reInfo *pWInfo; 
2fb0: 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20               /* 
2fc0: 43 6f 6e 74 65 78 74 20 75 73 65 64 20 62 79 20  Context used by 
2fd0: 73 71 6c 69 74 65 33 57 68 65 72 65 58 58 58 28  sqlite3WhereXXX(
2fe0: 29 20 2a 2f 0a 0a 20 20 66 6f 72 28 69 3d 30 3b  ) */..  for(i=0;
2ff0: 20 69 3c 70 46 4b 65 79 2d 3e 6e 43 6f 6c 3b 20   i<pFKey->nCol; 
3000: 69 2b 2b 29 7b 0a 20 20 20 20 45 78 70 72 20 2a  i++){.    Expr *
3010: 70 4c 65 66 74 3b 20 20 20 20 20 20 20 20 20 20  pLeft;          
3020: 20 20 20 20 20 20 20 20 2f 2a 20 56 61 6c 75 65          /* Value
3030: 20 66 72 6f 6d 20 64 65 6c 65 74 65 64 20 72 6f   from deleted ro
3040: 77 20 2a 2f 0a 20 20 20 20 45 78 70 72 20 2a 70  w */.    Expr *p
3050: 52 69 67 68 74 3b 20 20 20 20 20 20 20 20 20 20  Right;          
3060: 20 20 20 20 20 20 20 2f 2a 20 43 6f 6c 75 6d 6e         /* Column
3070: 20 72 65 66 20 74 6f 20 72 65 66 65 72 65 6e 63   ref to referenc
3080: 69 6e 67 20 74 61 62 6c 65 20 2a 2f 0a 20 20 20  ing table */.   
3090: 20 45 78 70 72 20 2a 70 45 71 3b 20 20 20 20 20   Expr *pEq;     
30a0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f                 /
30b0: 2a 20 45 78 70 72 65 73 73 69 6f 6e 20 28 70 4c  * Expression (pL
30c0: 65 66 74 20 3d 20 70 52 69 67 68 74 29 20 2a 2f  eft = pRight) */
30d0: 0a 20 20 20 20 69 6e 74 20 69 43 6f 6c 3b 20 20  .    int iCol;  
30e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
30f0: 20 20 20 2f 2a 20 49 6e 64 65 78 20 6f 66 20 63     /* Index of c
3100: 6f 6c 75 6d 6e 20 69 6e 20 72 65 66 65 72 65 6e  olumn in referen
3110: 63 69 6e 67 20 74 61 62 6c 65 20 2a 2f 20 0a 20  cing table */ . 
3120: 20 20 20 63 6f 6e 73 74 20 63 68 61 72 20 2a 7a     const char *z
3130: 43 6f 6c 3b 20 20 20 20 20 20 20 20 20 20 20 20  Col;            
3140: 20 2f 2a 20 4e 61 6d 65 20 6f 66 20 63 6f 6c 75   /* Name of colu
3150: 6d 6e 20 69 6e 20 72 65 66 65 72 65 6e 63 69 6e  mn in referencin
3160: 67 20 74 61 62 6c 65 20 2a 2f 0a 0a 20 20 20 20  g table */..    
3170: 70 4c 65 66 74 20 3d 20 73 71 6c 69 74 65 33 45  pLeft = sqlite3E
3180: 78 70 72 28 64 62 2c 20 54 4b 5f 52 45 47 49 53  xpr(db, TK_REGIS
3190: 54 45 52 2c 20 30 29 3b 0a 20 20 20 20 69 66 28  TER, 0);.    if(
31a0: 20 70 4c 65 66 74 20 29 7b 0a 20 20 20 20 20 20   pLeft ){.      
31b0: 70 4c 65 66 74 2d 3e 69 54 61 62 6c 65 20 3d 20  pLeft->iTable = 
31c0: 28 70 49 64 78 20 3f 20 28 72 65 67 44 61 74 61  (pIdx ? (regData
31d0: 2b 70 49 64 78 2d 3e 61 69 43 6f 6c 75 6d 6e 5b  +pIdx->aiColumn[
31e0: 69 5d 2b 31 29 20 3a 20 72 65 67 44 61 74 61 29  i]+1) : regData)
31f0: 3b 0a 20 20 20 20 7d 0a 20 20 20 20 69 43 6f 6c  ;.    }.    iCol
3200: 20 3d 20 61 69 43 6f 6c 20 3f 20 61 69 43 6f 6c   = aiCol ? aiCol
3210: 5b 69 5d 20 3a 20 70 46 4b 65 79 2d 3e 61 43 6f  [i] : pFKey->aCo
3220: 6c 5b 30 5d 2e 69 46 72 6f 6d 3b 0a 20 20 20 20  l[0].iFrom;.    
3230: 69 66 28 20 69 43 6f 6c 3c 30 20 29 7b 0a 20 20  if( iCol<0 ){.  
3240: 20 20 20 20 7a 43 6f 6c 20 3d 20 22 72 6f 77 69      zCol = "rowi
3250: 64 22 3b 0a 20 20 20 20 7d 65 6c 73 65 7b 0a 20  d";.    }else{. 
3260: 20 20 20 20 20 7a 43 6f 6c 20 3d 20 70 46 4b 65       zCol = pFKe
3270: 79 2d 3e 70 46 72 6f 6d 2d 3e 61 43 6f 6c 5b 69  y->pFrom->aCol[i
3280: 43 6f 6c 5d 2e 7a 4e 61 6d 65 3b 0a 20 20 20 20  Col].zName;.    
3290: 7d 0a 20 20 20 20 70 52 69 67 68 74 20 3d 20 73  }.    pRight = s
32a0: 71 6c 69 74 65 33 45 78 70 72 28 64 62 2c 20 54  qlite3Expr(db, T
32b0: 4b 5f 49 44 2c 20 7a 43 6f 6c 29 3b 0a 20 20 20  K_ID, zCol);.   
32c0: 20 70 45 71 20 3d 20 73 71 6c 69 74 65 33 50 45   pEq = sqlite3PE
32d0: 78 70 72 28 70 50 61 72 73 65 2c 20 54 4b 5f 45  xpr(pParse, TK_E
32e0: 51 2c 20 70 4c 65 66 74 2c 20 70 52 69 67 68 74  Q, pLeft, pRight
32f0: 2c 20 30 29 3b 0a 20 20 20 20 70 57 68 65 72 65  , 0);.    pWhere
3300: 20 3d 20 73 71 6c 69 74 65 33 45 78 70 72 41 6e   = sqlite3ExprAn
3310: 64 28 64 62 2c 20 70 57 68 65 72 65 2c 20 70 45  d(db, pWhere, pE
3320: 71 29 3b 0a 20 20 7d 0a 0a 20 20 2f 2a 20 52 65  q);.  }..  /* Re
3330: 73 6f 6c 76 65 20 74 68 65 20 72 65 66 65 72 65  solve the refere
3340: 6e 63 65 73 20 69 6e 20 74 68 65 20 57 48 45 52  nces in the WHER
3350: 45 20 63 6c 61 75 73 65 2e 20 2a 2f 0a 20 20 6d  E clause. */.  m
3360: 65 6d 73 65 74 28 26 73 4e 61 6d 65 43 6f 6e 74  emset(&sNameCont
3370: 65 78 74 2c 20 30 2c 20 73 69 7a 65 6f 66 28 4e  ext, 0, sizeof(N
3380: 61 6d 65 43 6f 6e 74 65 78 74 29 29 3b 0a 20 20  ameContext));.  
3390: 73 4e 61 6d 65 43 6f 6e 74 65 78 74 2e 70 53 72  sNameContext.pSr
33a0: 63 4c 69 73 74 20 3d 20 70 53 72 63 3b 0a 20 20  cList = pSrc;.  
33b0: 73 4e 61 6d 65 43 6f 6e 74 65 78 74 2e 70 50 61  sNameContext.pPa
33c0: 72 73 65 20 3d 20 70 50 61 72 73 65 3b 0a 20 20  rse = pParse;.  
33d0: 73 71 6c 69 74 65 33 52 65 73 6f 6c 76 65 45 78  sqlite3ResolveEx
33e0: 70 72 4e 61 6d 65 73 28 26 73 4e 61 6d 65 43 6f  prNames(&sNameCo
33f0: 6e 74 65 78 74 2c 20 70 57 68 65 72 65 29 3b 0a  ntext, pWhere);.
3400: 0a 20 20 2f 2a 20 43 72 65 61 74 65 20 56 44 42  .  /* Create VDB
3410: 45 20 74 6f 20 6c 6f 6f 70 20 74 68 72 6f 75 67  E to loop throug
3420: 68 20 74 68 65 20 65 6e 74 72 69 65 73 20 69 6e  h the entries in
3430: 20 70 53 72 63 20 74 68 61 74 20 6d 61 74 63 68   pSrc that match
3440: 20 74 68 65 20 57 48 45 52 45 0a 20 20 2a 2a 20   the WHERE.  ** 
3450: 63 6c 61 75 73 65 2e 20 49 66 20 74 68 65 20 63  clause. If the c
3460: 6f 6e 73 74 72 61 69 6e 74 20 69 73 20 6e 6f 74  onstraint is not
3470: 20 64 65 66 65 72 72 65 64 2c 20 74 68 72 6f 77   deferred, throw
3480: 20 61 6e 20 65 78 63 65 70 74 69 6f 6e 20 66 6f   an exception fo
3490: 72 0a 20 20 2a 2a 20 65 61 63 68 20 72 6f 77 20  r.  ** each row 
34a0: 66 6f 75 6e 64 2e 20 4f 74 68 65 72 77 69 73 65  found. Otherwise
34b0: 2c 20 66 6f 72 20 64 65 66 65 72 72 65 64 20 63  , for deferred c
34c0: 6f 6e 73 74 72 61 69 6e 74 73 2c 20 69 6e 63 72  onstraints, incr
34d0: 65 6d 65 6e 74 20 74 68 65 0a 20 20 2a 2a 20 64  ement the.  ** d
34e0: 65 66 65 72 72 65 64 20 63 6f 6e 73 74 72 61 69  eferred constrai
34f0: 6e 74 20 63 6f 75 6e 74 65 72 20 62 79 20 6e 49  nt counter by nI
3500: 6e 63 72 20 66 6f 72 20 65 61 63 68 20 72 6f 77  ncr for each row
3510: 20 73 65 6c 65 63 74 65 64 2e 20 20 2a 2f 0a 20   selected.  */. 
3520: 20 70 57 49 6e 66 6f 20 3d 20 73 71 6c 69 74 65   pWInfo = sqlite
3530: 33 57 68 65 72 65 42 65 67 69 6e 28 70 50 61 72  3WhereBegin(pPar
3540: 73 65 2c 20 70 53 72 63 2c 20 70 57 68 65 72 65  se, pSrc, pWhere
3550: 2c 20 30 2c 20 30 29 3b 0a 20 20 69 66 28 20 70  , 0, 0);.  if( p
3560: 46 4b 65 79 2d 3e 69 73 44 65 66 65 72 72 65 64  FKey->isDeferred
3570: 20 26 26 20 6e 49 6e 63 72 20 29 7b 0a 20 20 20   && nIncr ){.   
3580: 20 61 73 73 65 72 74 28 20 6e 49 6e 63 72 3d 3d   assert( nIncr==
3590: 31 20 7c 7c 20 6e 49 6e 63 72 3d 3d 2d 31 20 29  1 || nIncr==-1 )
35a0: 3b 0a 20 20 20 20 73 71 6c 69 74 65 33 56 64 62  ;.    sqlite3Vdb
35b0: 65 41 64 64 4f 70 31 28 70 50 61 72 73 65 2d 3e  eAddOp1(pParse->
35c0: 70 56 64 62 65 2c 20 4f 50 5f 44 65 66 65 72 72  pVdbe, OP_Deferr
35d0: 65 64 43 6f 6e 73 2c 20 6e 49 6e 63 72 29 3b 0a  edCons, nIncr);.
35e0: 20 20 7d 65 6c 73 65 7b 0a 20 20 20 20 61 73 73    }else{.    ass
35f0: 65 72 74 28 20 6e 49 6e 63 72 3d 3d 31 20 7c 7c  ert( nIncr==1 ||
3600: 20 6e 49 6e 63 72 3d 3d 30 20 29 3b 0a 20 20 20   nIncr==0 );.   
3610: 20 73 71 6c 69 74 65 33 48 61 6c 74 43 6f 6e 73   sqlite3HaltCons
3620: 74 72 61 69 6e 74 28 0a 20 20 20 20 20 20 70 50  traint(.      pP
3630: 61 72 73 65 2c 20 4f 45 5f 41 62 6f 72 74 2c 20  arse, OE_Abort, 
3640: 22 66 6f 72 65 69 67 6e 20 6b 65 79 20 63 6f 6e  "foreign key con
3650: 73 74 72 61 69 6e 74 20 66 61 69 6c 65 64 22 2c  straint failed",
3660: 20 50 34 5f 53 54 41 54 49 43 0a 20 20 20 20 29   P4_STATIC.    )
3670: 3b 0a 20 20 7d 0a 20 20 73 71 6c 69 74 65 33 57  ;.  }.  sqlite3W
3680: 68 65 72 65 45 6e 64 28 70 57 49 6e 66 6f 29 3b  hereEnd(pWInfo);
3690: 0a 0a 20 20 2f 2a 20 43 6c 65 61 6e 20 75 70 20  ..  /* Clean up 
36a0: 74 68 65 20 57 48 45 52 45 20 63 6c 61 75 73 65  the WHERE clause
36b0: 20 63 6f 6e 73 74 72 75 63 74 65 64 20 61 62 6f   constructed abo
36c0: 76 65 2e 20 2a 2f 0a 20 20 73 71 6c 69 74 65 33  ve. */.  sqlite3
36d0: 45 78 70 72 44 65 6c 65 74 65 28 64 62 2c 20 70  ExprDelete(db, p
36e0: 57 68 65 72 65 29 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a  Where);.}../*.**
36f0: 20 54 68 69 73 20 66 75 6e 63 74 69 6f 6e 20 72   This function r
3700: 65 74 75 72 6e 73 20 61 20 70 6f 69 6e 74 65 72  eturns a pointer
3710: 20 74 6f 20 74 68 65 20 68 65 61 64 20 6f 66 20   to the head of 
3720: 61 20 6c 69 6e 6b 65 64 20 6c 69 73 74 20 6f 66  a linked list of
3730: 20 46 4b 0a 2a 2a 20 63 6f 6e 73 74 72 61 69 6e   FK.** constrain
3740: 74 73 20 74 68 61 74 20 72 65 66 65 72 20 74 6f  ts that refer to
3750: 20 74 68 65 20 74 61 62 6c 65 20 70 61 73 73 65   the table passe
3760: 64 20 61 73 20 61 6e 20 61 72 67 75 6d 65 6e 74  d as an argument
3770: 2e 20 46 6f 72 20 65 78 61 6d 70 6c 65 2c 0a 2a  . For example,.*
3780: 2a 20 67 69 76 65 6e 20 74 68 65 20 66 6f 6c 6c  * given the foll
3790: 6f 77 69 6e 67 20 73 63 68 65 6d 61 3a 0a 2a 2a  owing schema:.**
37a0: 0a 2a 2a 20 20 20 43 52 45 41 54 45 20 54 41 42  .**   CREATE TAB
37b0: 4c 45 20 74 31 28 61 20 50 52 49 4d 41 52 59 20  LE t1(a PRIMARY 
37c0: 4b 45 59 29 3b 0a 2a 2a 20 20 20 43 52 45 41 54  KEY);.**   CREAT
37d0: 45 20 54 41 42 4c 45 20 74 32 28 62 20 52 45 46  E TABLE t2(b REF
37e0: 45 52 45 4e 43 45 53 20 74 31 28 61 29 3b 0a 2a  ERENCES t1(a);.*
37f0: 2a 0a 2a 2a 20 43 61 6c 6c 69 6e 67 20 74 68 69  *.** Calling thi
3800: 73 20 66 75 6e 63 74 69 6f 6e 20 77 69 74 68 20  s function with 
3810: 74 61 62 6c 65 20 22 74 31 22 20 61 73 20 61 6e  table "t1" as an
3820: 20 61 72 67 75 6d 65 6e 74 20 72 65 74 75 72 6e   argument return
3830: 73 20 61 20 70 6f 69 6e 74 65 72 0a 2a 2a 20 74  s a pointer.** t
3840: 6f 20 74 68 65 20 46 4b 65 79 20 73 74 72 75 63  o the FKey struc
3850: 74 75 72 65 20 72 65 70 72 65 73 65 6e 74 69 6e  ture representin
3860: 67 20 74 68 65 20 66 6f 72 65 69 67 6e 20 6b 65  g the foreign ke
3870: 79 20 63 6f 6e 73 74 72 61 69 6e 74 20 6f 6e 20  y constraint on 
3880: 74 61 62 6c 65 0a 2a 2a 20 22 74 32 22 2e 20 43  table.** "t2". C
3890: 61 6c 6c 69 6e 67 20 74 68 69 73 20 66 75 6e 63  alling this func
38a0: 74 69 6f 6e 20 77 69 74 68 20 22 74 32 22 20 61  tion with "t2" a
38b0: 73 20 74 68 65 20 61 72 67 75 6d 65 6e 74 20 77  s the argument w
38c0: 6f 75 6c 64 20 72 65 74 75 72 6e 20 61 0a 2a 2a  ould return a.**
38d0: 20 4e 55 4c 4c 20 70 6f 69 6e 74 65 72 20 28 61   NULL pointer (a
38e0: 73 20 74 68 65 72 65 20 61 72 65 20 6e 6f 20 46  s there are no F
38f0: 4b 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 74 68  K constraints th
3900: 61 74 20 72 65 66 65 72 20 74 6f 20 74 32 29 2e  at refer to t2).
3910: 0a 2a 2f 0a 73 74 61 74 69 63 20 46 4b 65 79 20  .*/.static FKey 
3920: 2a 66 6b 52 65 66 65 72 69 6e 67 28 54 61 62 6c  *fkRefering(Tabl
3930: 65 20 2a 70 54 61 62 29 7b 0a 20 20 69 6e 74 20  e *pTab){.  int 
3940: 6e 4e 61 6d 65 20 3d 20 73 71 6c 69 74 65 33 53  nName = sqlite3S
3950: 74 72 6c 65 6e 33 30 28 70 54 61 62 2d 3e 7a 4e  trlen30(pTab->zN
3960: 61 6d 65 29 3b 0a 20 20 72 65 74 75 72 6e 20 28  ame);.  return (
3970: 46 4b 65 79 20 2a 29 73 71 6c 69 74 65 33 48 61  FKey *)sqlite3Ha
3980: 73 68 46 69 6e 64 28 26 70 54 61 62 2d 3e 70 53  shFind(&pTab->pS
3990: 63 68 65 6d 61 2d 3e 66 6b 65 79 48 61 73 68 2c  chema->fkeyHash,
39a0: 20 70 54 61 62 2d 3e 7a 4e 61 6d 65 2c 20 6e 4e   pTab->zName, nN
39b0: 61 6d 65 29 3b 0a 7d 0a 0a 73 74 61 74 69 63 20  ame);.}..static 
39c0: 76 6f 69 64 20 66 6b 54 72 69 67 67 65 72 44 65  void fkTriggerDe
39d0: 6c 65 74 65 28 73 71 6c 69 74 65 33 20 2a 64 62  lete(sqlite3 *db
39e0: 4d 65 6d 2c 20 54 72 69 67 67 65 72 20 2a 70 29  Mem, Trigger *p)
39f0: 7b 0a 20 20 69 66 28 20 70 20 29 7b 0a 20 20 20  {.  if( p ){.   
3a00: 20 54 72 69 67 67 65 72 53 74 65 70 20 2a 70 53   TriggerStep *pS
3a10: 74 65 70 20 3d 20 70 2d 3e 73 74 65 70 5f 6c 69  tep = p->step_li
3a20: 73 74 3b 0a 20 20 20 20 73 71 6c 69 74 65 33 45  st;.    sqlite3E
3a30: 78 70 72 44 65 6c 65 74 65 28 64 62 4d 65 6d 2c  xprDelete(dbMem,
3a40: 20 70 53 74 65 70 2d 3e 70 57 68 65 72 65 29 3b   pStep->pWhere);
3a50: 0a 20 20 20 20 73 71 6c 69 74 65 33 45 78 70 72  .    sqlite3Expr
3a60: 4c 69 73 74 44 65 6c 65 74 65 28 64 62 4d 65 6d  ListDelete(dbMem
3a70: 2c 20 70 53 74 65 70 2d 3e 70 45 78 70 72 4c 69  , pStep->pExprLi
3a80: 73 74 29 3b 0a 20 20 20 20 73 71 6c 69 74 65 33  st);.    sqlite3
3a90: 44 62 46 72 65 65 28 64 62 4d 65 6d 2c 20 70 29  DbFree(dbMem, p)
3aa0: 3b 0a 20 20 7d 0a 7d 0a 0a 76 6f 69 64 20 73 71  ;.  }.}..void sq
3ab0: 6c 69 74 65 33 46 6b 43 68 65 63 6b 28 0a 20 20  lite3FkCheck(.  
3ac0: 50 61 72 73 65 20 2a 70 50 61 72 73 65 2c 20 20  Parse *pParse,  
3ad0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
3ae0: 2f 2a 20 50 61 72 73 65 20 63 6f 6e 74 65 78 74  /* Parse context
3af0: 20 2a 2f 0a 20 20 54 61 62 6c 65 20 2a 70 54 61   */.  Table *pTa
3b00: 62 2c 20 20 20 20 20 20 20 20 20 20 20 20 20 20  b,              
3b10: 20 20 20 20 20 20 2f 2a 20 52 6f 77 20 69 73 20        /* Row is 
3b20: 62 65 69 6e 67 20 64 65 6c 65 74 65 64 20 66 72  being deleted fr
3b30: 6f 6d 20 74 68 69 73 20 74 61 62 6c 65 20 2a 2f  om this table */
3b40: 20 0a 20 20 45 78 70 72 4c 69 73 74 20 2a 70 43   .  ExprList *pC
3b50: 68 61 6e 67 65 73 2c 20 20 20 20 20 20 20 20 20  hanges,         
3b60: 20 20 20 20 2f 2a 20 43 68 61 6e 67 65 64 20 63      /* Changed c
3b70: 6f 6c 75 6d 6e 73 20 69 66 20 74 68 69 73 20 69  olumns if this i
3b80: 73 20 61 6e 20 55 50 44 41 54 45 20 2a 2f 0a 20  s an UPDATE */. 
3b90: 20 69 6e 74 20 72 65 67 4f 6c 64 2c 20 20 20 20   int regOld,    
3ba0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
3bb0: 20 2f 2a 20 50 72 65 76 69 6f 75 73 20 72 6f 77   /* Previous row
3bc0: 20 64 61 74 61 20 69 73 20 73 74 6f 72 65 64 20   data is stored 
3bd0: 68 65 72 65 20 2a 2f 0a 20 20 69 6e 74 20 72 65  here */.  int re
3be0: 67 4e 65 77 20 20 20 20 20 20 20 20 20 20 20 20  gNew            
3bf0: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 4e 65 77            /* New
3c00: 20 72 6f 77 20 64 61 74 61 20 69 73 20 73 74 6f   row data is sto
3c10: 72 65 64 20 68 65 72 65 20 2a 2f 0a 29 7b 0a 20  red here */.){. 
3c20: 20 73 71 6c 69 74 65 33 20 2a 64 62 20 3d 20 70   sqlite3 *db = p
3c30: 50 61 72 73 65 2d 3e 64 62 3b 20 20 20 20 20 20  Parse->db;      
3c40: 20 2f 2a 20 44 61 74 61 62 61 73 65 20 68 61 6e   /* Database han
3c50: 64 6c 65 20 2a 2f 0a 20 20 56 64 62 65 20 2a 76  dle */.  Vdbe *v
3c60: 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  ;               
3c70: 20 20 20 20 20 20 20 20 20 2f 2a 20 56 4d 20 74           /* VM t
3c80: 6f 20 77 72 69 74 65 20 63 6f 64 65 20 74 6f 20  o write code to 
3c90: 2a 2f 0a 20 20 46 4b 65 79 20 2a 70 46 4b 65 79  */.  FKey *pFKey
3ca0: 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  ;               
3cb0: 20 20 20 20 20 2f 2a 20 55 73 65 64 20 74 6f 20       /* Used to 
3cc0: 69 74 65 72 61 74 65 20 74 68 72 6f 75 67 68 20  iterate through 
3cd0: 46 4b 73 20 2a 2f 0a 20 20 69 6e 74 20 69 44 62  FKs */.  int iDb
3ce0: 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  ;               
3cf0: 20 20 20 20 20 20 20 20 20 2f 2a 20 49 6e 64 65           /* Inde
3d00: 78 20 6f 66 20 64 61 74 61 62 61 73 65 20 63 6f  x of database co
3d10: 6e 74 61 69 6e 69 6e 67 20 70 54 61 62 20 2a 2f  ntaining pTab */
3d20: 0a 20 20 63 6f 6e 73 74 20 63 68 61 72 20 2a 7a  .  const char *z
3d30: 44 62 3b 20 20 20 20 20 20 20 20 20 20 20 20 20  Db;             
3d40: 20 20 20 2f 2a 20 4e 61 6d 65 20 6f 66 20 64 61     /* Name of da
3d50: 74 61 62 61 73 65 20 63 6f 6e 74 61 69 6e 69 6e  tabase containin
3d60: 67 20 70 54 61 62 20 2a 2f 0a 0a 20 20 61 73 73  g pTab */..  ass
3d70: 65 72 74 28 20 28 20 70 43 68 61 6e 67 65 73 20  ert( ( pChanges 
3d80: 26 26 20 20 72 65 67 4f 6c 64 20 26 26 20 20 72  &&  regOld &&  r
3d90: 65 67 4e 65 77 29 20 20 20 20 20 20 20 20 20 20  egNew)          
3da0: 20 2f 2a 20 55 50 44 41 54 45 20 6f 70 65 72 61   /* UPDATE opera
3db0: 74 69 6f 6e 20 2a 2f 0a 20 20 20 20 20 20 20 7c  tion */.       |
3dc0: 7c 20 28 21 70 43 68 61 6e 67 65 73 20 26 26 20  | (!pChanges && 
3dd0: 21 72 65 67 4f 6c 64 20 26 26 20 20 72 65 67 4e  !regOld &&  regN
3de0: 65 77 29 20 20 20 20 20 20 20 20 20 20 20 2f 2a  ew)           /*
3df0: 20 49 4e 53 45 52 54 20 6f 70 65 72 61 74 69 6f   INSERT operatio
3e00: 6e 20 2a 2f 0a 20 20 20 20 20 20 20 7c 7c 20 28  n */.       || (
3e10: 21 70 43 68 61 6e 67 65 73 20 26 26 20 20 72 65  !pChanges &&  re
3e20: 67 4f 6c 64 20 26 26 20 21 72 65 67 4e 65 77 29  gOld && !regNew)
3e30: 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 44 45             /* DE
3e40: 4c 45 54 45 20 6f 70 65 72 61 74 69 6f 6e 20 2a  LETE operation *
3e50: 2f 0a 20 20 29 3b 0a 0a 20 20 2f 2a 20 49 66 20  /.  );..  /* If 
3e60: 66 6f 72 65 69 67 6e 2d 6b 65 79 73 20 61 72 65  foreign-keys are
3e70: 20 64 69 73 61 62 6c 65 64 2c 20 74 68 69 73 20   disabled, this 
3e80: 66 75 6e 63 74 69 6f 6e 20 69 73 20 61 20 6e 6f  function is a no
3e90: 2d 6f 70 2e 20 2a 2f 0a 20 20 69 66 28 20 28 64  -op. */.  if( (d
3ea0: 62 2d 3e 66 6c 61 67 73 26 53 51 4c 49 54 45 5f  b->flags&SQLITE_
3eb0: 46 6f 72 65 69 67 6e 4b 65 79 73 29 3d 3d 30 20  ForeignKeys)==0 
3ec0: 29 20 72 65 74 75 72 6e 3b 0a 0a 20 20 76 20 3d  ) return;..  v =
3ed0: 20 73 71 6c 69 74 65 33 47 65 74 56 64 62 65 28   sqlite3GetVdbe(
3ee0: 70 50 61 72 73 65 29 3b 0a 20 20 69 44 62 20 3d  pParse);.  iDb =
3ef0: 20 73 71 6c 69 74 65 33 53 63 68 65 6d 61 54 6f   sqlite3SchemaTo
3f00: 49 6e 64 65 78 28 64 62 2c 20 70 54 61 62 2d 3e  Index(db, pTab->
3f10: 70 53 63 68 65 6d 61 29 3b 0a 20 20 7a 44 62 20  pSchema);.  zDb 
3f20: 3d 20 64 62 2d 3e 61 44 62 5b 69 44 62 5d 2e 7a  = db->aDb[iDb].z
3f30: 4e 61 6d 65 3b 0a 0a 20 20 2f 2a 20 4c 6f 6f 70  Name;..  /* Loop
3f40: 20 74 68 72 6f 75 67 68 20 61 6c 6c 20 74 68 65   through all the
3f50: 20 66 6f 72 65 69 67 6e 20 6b 65 79 20 63 6f 6e   foreign key con
3f60: 73 74 72 61 69 6e 74 73 20 61 74 74 61 63 68 65  straints attache
3f70: 64 20 74 6f 20 74 68 65 20 74 61 62 6c 65 2e 20  d to the table. 
3f80: 2a 2f 0a 20 20 66 6f 72 28 70 46 4b 65 79 3d 70  */.  for(pFKey=p
3f90: 54 61 62 2d 3e 70 46 4b 65 79 3b 20 70 46 4b 65  Tab->pFKey; pFKe
3fa0: 79 3b 20 70 46 4b 65 79 3d 70 46 4b 65 79 2d 3e  y; pFKey=pFKey->
3fb0: 70 4e 65 78 74 46 72 6f 6d 29 7b 0a 20 20 20 20  pNextFrom){.    
3fc0: 54 61 62 6c 65 20 2a 70 54 6f 3b 20 20 20 20 20  Table *pTo;     
3fd0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a                /*
3fe0: 20 54 61 62 6c 65 20 72 65 66 65 72 65 6e 63 65   Table reference
3ff0: 64 20 62 79 20 74 68 69 73 20 46 4b 20 2a 2f 0a  d by this FK */.
4000: 20 20 20 20 49 6e 64 65 78 20 2a 70 49 64 78 20      Index *pIdx 
4010: 3d 20 30 3b 20 20 20 20 20 20 20 20 20 20 20 20  = 0;            
4020: 20 20 2f 2a 20 49 6e 64 65 78 20 6f 6e 20 6b 65    /* Index on ke
4030: 79 20 63 6f 6c 75 6d 6e 73 20 69 6e 20 70 54 6f  y columns in pTo
4040: 20 2a 2f 0a 20 20 20 20 69 6e 74 20 2a 61 69 43   */.    int *aiC
4050: 6f 6c 20 3d 20 30 3b 0a 0a 20 20 20 20 69 66 28  ol = 0;..    if(
4060: 20 70 46 4b 65 79 2d 3e 69 73 44 65 66 65 72 72   pFKey->isDeferr
4070: 65 64 3d 3d 30 20 26 26 20 72 65 67 4e 65 77 3d  ed==0 && regNew=
4080: 3d 30 20 29 20 63 6f 6e 74 69 6e 75 65 3b 0a 0a  =0 ) continue;..
4090: 20 20 20 20 2f 2a 20 46 69 6e 64 20 74 68 65 20      /* Find the 
40a0: 74 61 62 6c 65 20 74 68 69 73 20 66 6f 72 65 69  table this forei
40b0: 67 6e 20 6b 65 79 20 72 65 66 65 72 65 6e 63 65  gn key reference
40c0: 73 2e 20 41 6c 73 6f 20 66 69 6e 64 20 61 20 75  s. Also find a u
40d0: 6e 69 71 75 65 20 0a 20 20 20 20 2a 2a 20 69 6e  nique .    ** in
40e0: 64 65 78 20 6f 6e 20 74 68 65 20 72 65 66 65 72  dex on the refer
40f0: 65 6e 63 65 64 20 74 61 62 6c 65 20 74 68 61 74  enced table that
4100: 20 63 6f 72 72 65 73 70 6f 6e 64 73 20 74 6f 20   corresponds to 
4110: 74 68 65 20 6b 65 79 20 63 6f 6c 75 6d 6e 73 2e  the key columns.
4120: 20 0a 20 20 20 20 2a 2a 20 49 66 20 65 69 74 68   .    ** If eith
4130: 65 72 20 6f 66 20 74 68 65 73 65 20 74 68 69 6e  er of these thin
4140: 67 73 20 63 61 6e 6e 6f 74 20 62 65 20 6c 6f 63  gs cannot be loc
4150: 61 74 65 64 2c 20 73 65 74 20 61 6e 20 65 72 72  ated, set an err
4160: 6f 72 20 69 6e 20 70 50 61 72 73 65 0a 20 20 20  or in pParse.   
4170: 20 2a 2a 20 61 6e 64 20 72 65 74 75 72 6e 20 65   ** and return e
4180: 61 72 6c 79 2e 20 20 2a 2f 0a 20 20 20 20 70 54  arly.  */.    pT
4190: 6f 20 3d 20 73 71 6c 69 74 65 33 4c 6f 63 61 74  o = sqlite3Locat
41a0: 65 54 61 62 6c 65 28 70 50 61 72 73 65 2c 20 30  eTable(pParse, 0
41b0: 2c 20 70 46 4b 65 79 2d 3e 7a 54 6f 2c 20 7a 44  , pFKey->zTo, zD
41c0: 62 29 3b 0a 20 20 20 20 69 66 28 20 21 70 54 6f  b);.    if( !pTo
41d0: 20 7c 7c 20 6c 6f 63 61 74 65 46 6b 65 79 49 6e   || locateFkeyIn
41e0: 64 65 78 28 70 50 61 72 73 65 2c 20 70 54 6f 2c  dex(pParse, pTo,
41f0: 20 70 46 4b 65 79 2c 20 26 70 49 64 78 2c 20 26   pFKey, &pIdx, &
4200: 61 69 43 6f 6c 29 20 29 20 72 65 74 75 72 6e 3b  aiCol) ) return;
4210: 0a 20 20 20 20 61 73 73 65 72 74 28 20 70 46 4b  .    assert( pFK
4220: 65 79 2d 3e 6e 43 6f 6c 3d 3d 31 20 7c 7c 20 28  ey->nCol==1 || (
4230: 61 69 43 6f 6c 20 26 26 20 70 49 64 78 29 20 29  aiCol && pIdx) )
4240: 3b 0a 0a 20 20 20 20 2f 2a 20 49 66 20 74 68 65  ;..    /* If the
4250: 20 6b 65 79 20 64 6f 65 73 20 6e 6f 74 20 6f 76   key does not ov
4260: 65 72 6c 61 70 20 77 69 74 68 20 74 68 65 20 70  erlap with the p
4270: 43 68 61 6e 67 65 73 20 6c 69 73 74 2c 20 73 6b  Changes list, sk
4280: 69 70 20 74 68 69 73 20 46 4b 2e 20 2a 2f 0a 20  ip this FK. */. 
4290: 20 20 20 69 66 28 20 70 43 68 61 6e 67 65 73 20     if( pChanges 
42a0: 29 7b 0a 20 20 20 20 20 20 2f 2a 20 54 4f 44 4f  ){.      /* TODO
42b0: 20 2a 2f 0a 20 20 20 20 7d 0a 0a 20 20 20 20 2f   */.    }..    /
42c0: 2a 20 54 61 6b 65 20 61 20 73 68 61 72 65 64 2d  * Take a shared-
42d0: 63 61 63 68 65 20 61 64 76 69 73 6f 72 79 20 72  cache advisory r
42e0: 65 61 64 2d 6c 6f 63 6b 20 6f 6e 20 74 68 65 20  ead-lock on the 
42f0: 72 65 66 65 72 65 6e 63 65 64 20 74 61 62 6c 65  referenced table
4300: 2e 0a 20 20 20 20 2a 2a 20 41 6c 6c 6f 63 61 74  ..    ** Allocat
4310: 65 20 61 20 63 75 72 73 6f 72 20 74 6f 20 75 73  e a cursor to us
4320: 65 20 74 6f 20 73 65 61 72 63 68 20 74 68 65 20  e to search the 
4330: 75 6e 69 71 75 65 20 69 6e 64 65 78 20 6f 6e 20  unique index on 
4340: 74 68 65 20 46 4b 20 0a 20 20 20 20 2a 2a 20 63  the FK .    ** c
4350: 6f 6c 75 6d 6e 73 20 69 6e 20 74 68 65 20 72 65  olumns in the re
4360: 66 65 72 65 6e 63 65 64 20 74 61 62 6c 65 2e 20  ferenced table. 
4370: 20 2a 2f 0a 20 20 20 20 73 71 6c 69 74 65 33 54   */.    sqlite3T
4380: 61 62 6c 65 4c 6f 63 6b 28 70 50 61 72 73 65 2c  ableLock(pParse,
4390: 20 69 44 62 2c 20 70 54 6f 2d 3e 74 6e 75 6d 2c   iDb, pTo->tnum,
43a0: 20 30 2c 20 70 54 6f 2d 3e 7a 4e 61 6d 65 29 3b   0, pTo->zName);
43b0: 0a 20 20 20 20 70 50 61 72 73 65 2d 3e 6e 54 61  .    pParse->nTa
43c0: 62 2b 2b 3b 0a 0a 20 20 20 20 69 66 28 20 72 65  b++;..    if( re
43d0: 67 4f 6c 64 21 3d 30 20 26 26 20 70 46 4b 65 79  gOld!=0 && pFKey
43e0: 2d 3e 69 73 44 65 66 65 72 72 65 64 20 29 7b 0a  ->isDeferred ){.
43f0: 20 20 20 20 20 20 66 6b 43 68 65 63 6b 52 65 66        fkCheckRef
4400: 65 72 65 6e 63 65 28 70 50 61 72 73 65 2c 20 69  erence(pParse, i
4410: 44 62 2c 20 70 54 6f 2c 20 70 49 64 78 2c 20 70  Db, pTo, pIdx, p
4420: 46 4b 65 79 2c 20 61 69 43 6f 6c 2c 20 72 65 67  FKey, aiCol, reg
4430: 4f 6c 64 2c 20 2d 31 29 3b 0a 20 20 20 20 7d 0a  Old, -1);.    }.
4440: 20 20 20 20 69 66 28 20 72 65 67 4e 65 77 21 3d      if( regNew!=
4450: 30 20 29 7b 0a 20 20 20 20 20 20 66 6b 43 68 65  0 ){.      fkChe
4460: 63 6b 52 65 66 65 72 65 6e 63 65 28 70 50 61 72  ckReference(pPar
4470: 73 65 2c 20 69 44 62 2c 20 70 54 6f 2c 20 70 49  se, iDb, pTo, pI
4480: 64 78 2c 20 70 46 4b 65 79 2c 20 61 69 43 6f 6c  dx, pFKey, aiCol
4490: 2c 20 72 65 67 4e 65 77 2c 20 2b 31 29 3b 0a 20  , regNew, +1);. 
44a0: 20 20 20 7d 0a 0a 20 20 20 20 73 71 6c 69 74 65     }..    sqlite
44b0: 33 44 62 46 72 65 65 28 64 62 2c 20 61 69 43 6f  3DbFree(db, aiCo
44c0: 6c 29 3b 0a 20 20 7d 0a 0a 20 20 2f 2a 20 4c 6f  l);.  }..  /* Lo
44d0: 6f 70 20 74 68 72 6f 75 67 68 20 61 6c 6c 20 74  op through all t
44e0: 68 65 20 66 6f 72 65 69 67 6e 20 6b 65 79 20 63  he foreign key c
44f0: 6f 6e 73 74 72 61 69 6e 74 73 20 74 68 61 74 20  onstraints that 
4500: 72 65 66 65 72 20 74 6f 20 74 68 69 73 20 74 61  refer to this ta
4510: 62 6c 65 20 2a 2f 0a 20 20 66 6f 72 28 70 46 4b  ble */.  for(pFK
4520: 65 79 20 3d 20 66 6b 52 65 66 65 72 69 6e 67 28  ey = fkRefering(
4530: 70 54 61 62 29 3b 20 70 46 4b 65 79 3b 20 70 46  pTab); pFKey; pF
4540: 4b 65 79 3d 70 46 4b 65 79 2d 3e 70 4e 65 78 74  Key=pFKey->pNext
4550: 54 6f 29 7b 0a 20 20 20 20 69 6e 74 20 69 47 6f  To){.    int iGo
4560: 74 6f 3b 20 20 20 20 20 20 20 20 20 20 20 20 20  to;             
4570: 20 20 20 20 20 20 20 2f 2a 20 41 64 64 72 65 73         /* Addres
4580: 73 20 6f 66 20 4f 50 5f 47 6f 74 6f 20 69 6e 73  s of OP_Goto ins
4590: 74 72 75 63 74 69 6f 6e 20 2a 2f 0a 20 20 20 20  truction */.    
45a0: 49 6e 64 65 78 20 2a 70 49 64 78 20 3d 20 30 3b  Index *pIdx = 0;
45b0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a                /*
45c0: 20 46 6f 72 65 69 67 6e 20 6b 65 79 20 69 6e 64   Foreign key ind
45d0: 65 78 20 66 6f 72 20 70 46 4b 65 79 20 2a 2f 0a  ex for pFKey */.
45e0: 20 20 20 20 53 72 63 4c 69 73 74 20 2a 70 53 72      SrcList *pSr
45f0: 63 3b 0a 20 20 20 20 69 6e 74 20 2a 61 69 43 6f  c;.    int *aiCo
4600: 6c 20 3d 20 30 3b 0a 0a 20 20 20 20 2f 2a 20 46  l = 0;..    /* F
4610: 6f 72 20 69 6d 6d 65 64 69 61 74 65 20 63 6f 6e  or immediate con
4620: 73 74 72 61 69 6e 74 73 2c 20 73 6b 69 70 20 74  straints, skip t
4630: 68 69 73 20 73 63 61 6e 20 69 66 3a 0a 20 20 20  his scan if:.   
4640: 20 2a 2a 0a 20 20 20 20 2a 2a 20 20 20 31 29 20   **.    **   1) 
4650: 74 68 69 73 20 69 73 20 61 6e 20 49 4e 53 45 52  this is an INSER
4660: 54 20 6f 70 65 72 61 74 69 6f 6e 2c 20 6f 72 0a  T operation, or.
4670: 20 20 20 20 2a 2a 20 20 20 32 29 20 61 6e 20 55      **   2) an U
4680: 50 44 41 54 45 20 6f 70 65 72 61 74 69 6f 6e 20  PDATE operation 
4690: 61 6e 64 20 74 68 65 20 46 4b 20 61 63 74 69 6f  and the FK actio
46a0: 6e 20 69 73 20 61 20 74 72 69 67 67 65 72 2d 61  n is a trigger-a
46b0: 63 74 69 6f 6e 2c 20 6f 72 0a 20 20 20 20 2a 2a  ction, or.    **
46c0: 20 20 20 33 29 20 61 20 44 45 4c 45 54 45 20 6f     3) a DELETE o
46d0: 70 65 72 61 74 69 6f 6e 20 61 6e 64 20 74 68 65  peration and the
46e0: 20 46 4b 20 61 63 74 69 6f 6e 20 69 73 20 61 20   FK action is a 
46f0: 74 72 69 67 67 65 72 2d 61 63 74 69 6f 6e 2e 0a  trigger-action..
4700: 20 20 20 20 2a 2a 0a 20 20 20 20 2a 2a 20 41 20      **.    ** A 
4710: 22 74 72 69 67 67 65 72 2d 61 63 74 69 6f 6e 22  "trigger-action"
4720: 20 69 73 20 6f 6e 65 20 6f 66 20 43 41 53 43 41   is one of CASCA
4730: 44 45 2c 20 53 45 54 20 44 45 46 41 55 4c 54 20  DE, SET DEFAULT 
4740: 6f 72 20 53 45 54 20 4e 55 4c 4c 2e 0a 20 20 20  or SET NULL..   
4750: 20 2a 2f 0a 20 20 20 20 69 66 28 20 70 46 4b 65   */.    if( pFKe
4760: 79 2d 3e 69 73 44 65 66 65 72 72 65 64 3d 3d 30  y->isDeferred==0
4770: 20 29 7b 0a 20 20 20 20 20 20 69 66 28 20 72 65   ){.      if( re
4780: 67 4f 6c 64 3d 3d 30 20 29 20 63 6f 6e 74 69 6e  gOld==0 ) contin
4790: 75 65 3b 20 20 20 20 20 20 20 20 20 20 20 20 20  ue;             
47a0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
47b0: 20 20 20 20 20 20 20 20 2f 2a 20 31 20 2a 2f 0a          /* 1 */.
47c0: 20 20 20 20 20 20 69 66 28 20 72 65 67 4e 65 77        if( regNew
47d0: 21 3d 30 20 26 26 20 70 46 4b 65 79 2d 3e 75 70  !=0 && pFKey->up
47e0: 64 61 74 65 43 6f 6e 66 3e 4f 45 5f 52 65 73 74  dateConf>OE_Rest
47f0: 72 69 63 74 20 29 20 63 6f 6e 74 69 6e 75 65 3b  rict ) continue;
4800: 20 20 20 20 2f 2a 20 32 20 2a 2f 0a 20 20 20 20      /* 2 */.    
4810: 20 20 69 66 28 20 72 65 67 4e 65 77 3d 3d 30 20    if( regNew==0 
4820: 26 26 20 70 46 4b 65 79 2d 3e 64 65 6c 65 74 65  && pFKey->delete
4830: 43 6f 6e 66 3e 4f 45 5f 52 65 73 74 72 69 63 74  Conf>OE_Restrict
4840: 20 29 20 63 6f 6e 74 69 6e 75 65 3b 20 20 20 20   ) continue;    
4850: 2f 2a 20 33 20 2a 2f 0a 20 20 20 20 7d 0a 0a 20  /* 3 */.    }.. 
4860: 20 20 20 69 66 28 20 6c 6f 63 61 74 65 46 6b 65     if( locateFke
4870: 79 49 6e 64 65 78 28 70 50 61 72 73 65 2c 20 70  yIndex(pParse, p
4880: 54 61 62 2c 20 70 46 4b 65 79 2c 20 26 70 49 64  Tab, pFKey, &pId
4890: 78 2c 20 26 61 69 43 6f 6c 29 20 29 20 72 65 74  x, &aiCol) ) ret
48a0: 75 72 6e 3b 0a 20 20 20 20 61 73 73 65 72 74 28  urn;.    assert(
48b0: 20 61 69 43 6f 6c 20 7c 7c 20 70 46 4b 65 79 2d   aiCol || pFKey-
48c0: 3e 6e 43 6f 6c 3d 3d 31 20 29 3b 0a 0a 20 20 20  >nCol==1 );..   
48d0: 20 2f 2a 20 43 68 65 63 6b 20 69 66 20 74 68 69   /* Check if thi
48e0: 73 20 75 70 64 61 74 65 20 73 74 61 74 65 6d 65  s update stateme
48f0: 6e 74 20 68 61 73 20 6d 6f 64 69 66 69 65 64 20  nt has modified 
4900: 61 6e 79 20 6f 66 20 74 68 65 20 6b 65 79 20 63  any of the key c
4910: 6f 6c 75 6d 6e 73 0a 20 20 20 20 2a 2a 20 66 6f  olumns.    ** fo
4920: 72 20 74 68 69 73 20 66 6f 72 65 69 67 6e 20 6b  r this foreign k
4930: 65 79 20 63 6f 6e 73 74 72 61 69 6e 74 2e 20 49  ey constraint. I
4940: 66 20 69 74 20 68 61 73 20 6e 6f 74 2c 20 74 68  f it has not, th
4950: 65 72 65 20 69 73 20 6e 6f 20 6e 65 65 64 0a 20  ere is no need. 
4960: 20 20 20 2a 2a 20 74 6f 20 73 65 61 72 63 68 20     ** to search 
4970: 74 68 65 20 72 65 66 65 72 65 6e 63 69 6e 67 20  the referencing 
4980: 74 61 62 6c 65 20 66 6f 72 20 72 6f 77 73 20 69  table for rows i
4990: 6e 20 76 69 6f 6c 61 74 69 6f 6e 2e 20 54 68 69  n violation. Thi
49a0: 73 20 69 73 0a 20 20 20 20 2a 2a 20 6a 75 73 74  s is.    ** just
49b0: 20 61 6e 20 6f 70 74 69 6d 69 7a 61 74 69 6f 6e   an optimization
49c0: 2e 20 54 68 69 6e 67 73 20 77 6f 75 6c 64 20 77  . Things would w
49d0: 6f 72 6b 20 66 69 6e 65 20 77 69 74 68 6f 75 74  ork fine without
49e0: 20 74 68 69 73 20 63 68 65 63 6b 2e 20 20 2a 2f   this check.  */
49f0: 0a 20 20 20 20 69 66 28 20 70 43 68 61 6e 67 65  .    if( pChange
4a00: 73 20 29 7b 0a 20 20 20 20 20 20 2f 2a 20 54 4f  s ){.      /* TO
4a10: 44 4f 20 2a 2f 0a 20 20 20 20 7d 0a 0a 20 20 20  DO */.    }..   
4a20: 20 2f 2a 20 43 72 65 61 74 65 20 61 20 53 72 63   /* Create a Src
4a30: 4c 69 73 74 20 73 74 72 75 63 74 75 72 65 20 63  List structure c
4a40: 6f 6e 74 61 69 6e 69 6e 67 20 61 20 73 69 6e 67  ontaining a sing
4a50: 6c 65 20 74 61 62 6c 65 20 28 74 68 65 20 74 61  le table (the ta
4a60: 62 6c 65 20 0a 20 20 20 20 2a 2a 20 74 68 65 20  ble .    ** the 
4a70: 66 6f 72 65 69 67 6e 20 6b 65 79 20 74 68 61 74  foreign key that
4a80: 20 72 65 66 65 72 73 20 74 6f 20 74 68 69 73 20   refers to this 
4a90: 74 61 62 6c 65 20 69 73 20 61 74 74 61 63 68 65  table is attache
4aa0: 64 20 74 6f 29 2e 20 54 68 69 73 0a 20 20 20 20  d to). This.    
4ab0: 2a 2a 20 69 73 20 72 65 71 75 69 72 65 64 20 66  ** is required f
4ac0: 6f 72 20 74 68 65 20 73 71 6c 69 74 65 33 57 68  or the sqlite3Wh
4ad0: 65 72 65 58 58 58 28 29 20 69 6e 74 65 72 66 61  ereXXX() interfa
4ae0: 63 65 2e 20 20 2a 2f 0a 20 20 20 20 70 53 72 63  ce.  */.    pSrc
4af0: 20 3d 20 73 71 6c 69 74 65 33 53 72 63 4c 69 73   = sqlite3SrcLis
4b00: 74 41 70 70 65 6e 64 28 64 62 2c 20 30 2c 20 30  tAppend(db, 0, 0
4b10: 2c 20 30 29 3b 0a 20 20 20 20 69 66 28 20 21 70  , 0);.    if( !p
4b20: 53 72 63 20 29 20 72 65 74 75 72 6e 3b 0a 20 20  Src ) return;.  
4b30: 20 20 70 53 72 63 2d 3e 61 2d 3e 70 54 61 62 20    pSrc->a->pTab 
4b40: 3d 20 70 46 4b 65 79 2d 3e 70 46 72 6f 6d 3b 0a  = pFKey->pFrom;.
4b50: 20 20 20 20 70 53 72 63 2d 3e 61 2d 3e 70 54 61      pSrc->a->pTa
4b60: 62 2d 3e 6e 52 65 66 2b 2b 3b 0a 20 20 20 20 70  b->nRef++;.    p
4b70: 53 72 63 2d 3e 61 2d 3e 69 43 75 72 73 6f 72 20  Src->a->iCursor 
4b80: 3d 20 70 50 61 72 73 65 2d 3e 6e 54 61 62 2b 2b  = pParse->nTab++
4b90: 3b 0a 0a 20 20 20 20 2f 2a 20 49 66 20 74 68 69  ;..    /* If thi
4ba0: 73 20 69 73 20 61 6e 20 55 50 44 41 54 45 2c 20  s is an UPDATE, 
4bb0: 61 6e 64 20 6e 6f 6e 65 20 6f 66 20 74 68 65 20  and none of the 
4bc0: 63 6f 6c 75 6d 6e 73 20 61 73 73 6f 63 69 61 74  columns associat
4bd0: 65 64 20 77 69 74 68 20 74 68 69 73 0a 20 20 20  ed with this.   
4be0: 20 2a 2a 20 46 4b 20 68 61 76 65 20 62 65 65 6e   ** FK have been
4bf0: 20 6d 6f 64 69 66 69 65 64 2c 20 64 6f 20 6e 6f   modified, do no
4c00: 74 20 73 63 61 6e 20 74 68 65 20 72 65 66 65 72  t scan the refer
4c10: 65 6e 63 69 6e 67 20 74 61 62 6c 65 2e 20 55 6e  encing table. Un
4c20: 6c 69 6b 65 0a 20 20 20 20 2a 2a 20 74 68 65 20  like.    ** the 
4c30: 63 6f 6d 70 69 6c 65 2d 74 69 6d 65 20 74 65 73  compile-time tes
4c40: 74 20 69 6d 70 6c 65 6d 65 6e 74 65 64 20 61 62  t implemented ab
4c50: 6f 76 65 2c 20 74 68 69 73 20 69 73 20 6e 6f 74  ove, this is not
4c60: 20 6a 75 73 74 20 61 6e 20 0a 20 20 20 20 2a 2a   just an .    **
4c70: 20 6f 70 74 69 6d 69 7a 61 74 69 6f 6e 2e 20 49   optimization. I
4c80: 74 20 69 73 20 72 65 71 75 69 72 65 64 20 73 6f  t is required so
4c90: 20 74 68 61 74 20 69 6d 6d 65 64 69 61 74 65 20   that immediate 
4ca0: 66 6f 72 65 69 67 6e 20 6b 65 79 73 20 64 6f 20  foreign keys do 
4cb0: 6e 6f 74 20 0a 20 20 20 20 2a 2a 20 74 68 72 6f  not .    ** thro
4cc0: 77 20 65 78 63 65 70 74 69 6f 6e 73 20 77 68 65  w exceptions whe
4cd0: 6e 20 74 68 65 20 75 73 65 72 20 65 78 65 63 75  n the user execu
4ce0: 74 65 73 20 61 20 73 74 61 74 65 6d 65 6e 74 20  tes a statement 
4cf0: 6c 69 6b 65 3a 0a 20 20 20 20 2a 2a 0a 20 20 20  like:.    **.   
4d00: 20 2a 2a 20 20 20 20 20 55 50 44 41 54 45 20 72   **     UPDATE r
4d10: 65 66 64 5f 74 61 62 6c 65 20 53 45 54 20 72 65  efd_table SET re
4d20: 66 64 5f 63 6f 6c 75 6d 6e 20 3d 20 72 65 66 64  fd_column = refd
4d30: 5f 63 6f 6c 75 6d 6e 0a 20 20 20 20 2a 2f 0a 20  _column.    */. 
4d40: 20 20 20 69 66 28 20 70 43 68 61 6e 67 65 73 20     if( pChanges 
4d50: 29 7b 0a 20 20 20 20 20 20 69 6e 74 20 69 3b 0a  ){.      int i;.
4d60: 20 20 20 20 20 20 69 6e 74 20 69 4a 75 6d 70 20        int iJump 
4d70: 3d 20 73 71 6c 69 74 65 33 56 64 62 65 43 75 72  = sqlite3VdbeCur
4d80: 72 65 6e 74 41 64 64 72 28 76 29 20 2b 20 70 46  rentAddr(v) + pF
4d90: 4b 65 79 2d 3e 6e 43 6f 6c 20 2b 20 31 3b 0a 20  Key->nCol + 1;. 
4da0: 20 20 20 20 20 66 6f 72 28 69 3d 30 3b 20 69 3c       for(i=0; i<
4db0: 70 46 4b 65 79 2d 3e 6e 43 6f 6c 3b 20 69 2b 2b  pFKey->nCol; i++
4dc0: 29 7b 0a 20 20 20 20 20 20 20 20 69 6e 74 20 69  ){.        int i
4dd0: 4f 66 66 20 3d 20 28 70 49 64 78 20 3f 20 70 49  Off = (pIdx ? pI
4de0: 64 78 2d 3e 61 69 43 6f 6c 75 6d 6e 5b 69 5d 20  dx->aiColumn[i] 
4df0: 3a 20 2d 31 29 20 2b 20 31 3b 0a 20 20 20 20 20  : -1) + 1;.     
4e00: 20 20 20 73 71 6c 69 74 65 33 56 64 62 65 41 64     sqlite3VdbeAd
4e10: 64 4f 70 33 28 76 2c 20 4f 50 5f 4e 65 2c 20 72  dOp3(v, OP_Ne, r
4e20: 65 67 4f 6c 64 2b 69 4f 66 66 2c 20 69 4a 75 6d  egOld+iOff, iJum
4e30: 70 2c 20 72 65 67 4e 65 77 2b 69 4f 66 66 29 3b  p, regNew+iOff);
4e40: 0a 20 20 20 20 20 20 7d 0a 20 20 20 20 20 20 69  .      }.      i
4e50: 47 6f 74 6f 20 3d 20 73 71 6c 69 74 65 33 56 64  Goto = sqlite3Vd
4e60: 62 65 41 64 64 4f 70 30 28 76 2c 20 4f 50 5f 47  beAddOp0(v, OP_G
4e70: 6f 74 6f 29 3b 0a 20 20 20 20 7d 0a 0a 20 20 20  oto);.    }..   
4e80: 20 69 66 28 20 72 65 67 4e 65 77 21 3d 30 20 26   if( regNew!=0 &
4e90: 26 20 70 46 4b 65 79 2d 3e 69 73 44 65 66 65 72  & pFKey->isDefer
4ea0: 72 65 64 20 29 7b 0a 20 20 20 20 20 20 66 6b 53  red ){.      fkS
4eb0: 63 61 6e 52 65 66 65 72 65 6e 63 65 73 28 70 50  canReferences(pP
4ec0: 61 72 73 65 2c 20 70 53 72 63 2c 20 70 49 64 78  arse, pSrc, pIdx
4ed0: 2c 20 70 46 4b 65 79 2c 20 61 69 43 6f 6c 2c 20  , pFKey, aiCol, 
4ee0: 72 65 67 4e 65 77 2c 20 2d 31 29 3b 0a 20 20 20  regNew, -1);.   
4ef0: 20 7d 0a 20 20 20 20 69 66 28 20 72 65 67 4f 6c   }.    if( regOl
4f00: 64 21 3d 30 20 29 7b 0a 20 20 20 20 20 20 2f 2a  d!=0 ){.      /*
4f10: 20 49 66 20 74 68 65 72 65 20 69 73 20 61 20 52   If there is a R
4f20: 45 53 54 52 49 43 54 20 61 63 74 69 6f 6e 20 63  ESTRICT action c
4f30: 6f 6e 66 69 67 75 72 65 64 20 66 6f 72 20 74 68  onfigured for th
4f40: 65 20 63 75 72 72 65 6e 74 20 6f 70 65 72 61 74  e current operat
4f50: 69 6f 6e 0a 20 20 20 20 20 20 2a 2a 20 6f 6e 20  ion.      ** on 
4f60: 74 68 65 20 72 65 66 65 72 65 6e 63 65 64 20 74  the referenced t
4f70: 61 62 6c 65 20 6f 66 20 74 68 69 73 20 46 4b 2c  able of this FK,
4f80: 20 74 68 65 6e 20 74 68 72 6f 77 20 61 6e 20 65   then throw an e
4f90: 78 63 65 70 74 69 6f 6e 20 0a 20 20 20 20 20 20  xception .      
4fa0: 2a 2a 20 69 6d 6d 65 64 69 61 74 65 6c 79 20 69  ** immediately i
4fb0: 66 20 74 68 65 20 46 4b 20 63 6f 6e 73 74 72 61  f the FK constra
4fc0: 69 6e 74 20 69 73 20 76 69 6f 6c 61 74 65 64 2c  int is violated,
4fd0: 20 65 76 65 6e 20 69 66 20 74 68 69 73 20 69 73   even if this is
4fe0: 20 61 0a 20 20 20 20 20 20 2a 2a 20 64 65 66 65   a.      ** defe
4ff0: 72 72 65 64 20 74 72 69 67 67 65 72 2e 20 54 68  rred trigger. Th
5000: 61 74 27 73 20 77 68 61 74 20 52 45 53 54 52 49  at's what RESTRI
5010: 43 54 20 6d 65 61 6e 73 2e 20 54 6f 20 64 65 66  CT means. To def
5020: 65 72 20 63 68 65 63 6b 69 6e 67 0a 20 20 20 20  er checking.    
5030: 20 20 2a 2a 20 74 68 65 20 63 6f 6e 73 74 72 61    ** the constra
5040: 69 6e 74 2c 20 74 68 65 20 46 4b 20 73 68 6f 75  int, the FK shou
5050: 6c 64 20 73 70 65 63 69 66 79 20 4e 4f 20 41 43  ld specify NO AC
5060: 54 49 4f 4e 20 28 72 65 70 72 65 73 65 6e 74 65  TION (represente
5070: 64 0a 20 20 20 20 20 20 2a 2a 20 75 73 69 6e 67  d.      ** using
5080: 20 4f 45 5f 4e 6f 6e 65 29 2e 20 4e 4f 20 41 43   OE_None). NO AC
5090: 54 49 4f 4e 20 69 73 20 74 68 65 20 64 65 66 61  TION is the defa
50a0: 75 6c 74 2e 20 20 2a 2f 0a 20 20 20 20 20 20 66  ult.  */.      f
50b0: 6b 53 63 61 6e 52 65 66 65 72 65 6e 63 65 73 28  kScanReferences(
50c0: 70 50 61 72 73 65 2c 20 70 53 72 63 2c 20 70 49  pParse, pSrc, pI
50d0: 64 78 2c 20 70 46 4b 65 79 2c 20 61 69 43 6f 6c  dx, pFKey, aiCol
50e0: 2c 20 72 65 67 4f 6c 64 2c 20 0a 20 20 20 20 20  , regOld, .     
50f0: 20 20 20 20 20 28 70 43 68 61 6e 67 65 73 21 3d       (pChanges!=
5100: 30 20 26 26 20 70 46 4b 65 79 2d 3e 75 70 64 61  0 && pFKey->upda
5110: 74 65 43 6f 6e 66 21 3d 4f 45 5f 52 65 73 74 72  teConf!=OE_Restr
5120: 69 63 74 29 0a 20 20 20 20 20 20 20 7c 7c 20 28  ict).       || (
5130: 70 43 68 61 6e 67 65 73 3d 3d 30 20 26 26 20 70  pChanges==0 && p
5140: 46 4b 65 79 2d 3e 64 65 6c 65 74 65 43 6f 6e 66  FKey->deleteConf
5150: 21 3d 4f 45 5f 52 65 73 74 72 69 63 74 29 0a 20  !=OE_Restrict). 
5160: 20 20 20 20 20 29 3b 0a 20 20 20 20 7d 0a 0a 20       );.    }.. 
5170: 20 20 20 69 66 28 20 70 43 68 61 6e 67 65 73 20     if( pChanges 
5180: 29 7b 0a 20 20 20 20 20 20 73 71 6c 69 74 65 33  ){.      sqlite3
5190: 56 64 62 65 4a 75 6d 70 48 65 72 65 28 76 2c 20  VdbeJumpHere(v, 
51a0: 69 47 6f 74 6f 29 3b 0a 20 20 20 20 7d 0a 20 20  iGoto);.    }.  
51b0: 20 20 73 71 6c 69 74 65 33 53 72 63 4c 69 73 74    sqlite3SrcList
51c0: 44 65 6c 65 74 65 28 64 62 2c 20 70 53 72 63 29  Delete(db, pSrc)
51d0: 3b 0a 20 20 20 20 73 71 6c 69 74 65 33 44 62 46  ;.    sqlite3DbF
51e0: 72 65 65 28 64 62 2c 20 61 69 43 6f 6c 29 3b 0a  ree(db, aiCol);.
51f0: 20 20 7d 0a 7d 0a 0a 23 64 65 66 69 6e 65 20 43    }.}..#define C
5200: 4f 4c 55 4d 4e 5f 4d 41 53 4b 28 78 29 20 28 28  OLUMN_MASK(x) ((
5210: 28 78 29 3e 33 31 29 20 3f 20 30 78 66 66 66 66  (x)>31) ? 0xffff
5220: 66 66 66 66 20 3a 20 28 28 75 33 32 29 31 3c 3c  ffff : ((u32)1<<
5230: 28 78 29 29 29 0a 0a 2f 2a 0a 2a 2a 20 54 68 69  (x)))../*.** Thi
5240: 73 20 66 75 6e 63 74 69 6f 6e 20 69 73 20 63 61  s function is ca
5250: 6c 6c 65 64 20 62 65 66 6f 72 65 20 67 65 6e 65  lled before gene
5260: 72 61 74 69 6e 67 20 63 6f 64 65 20 74 6f 20 75  rating code to u
5270: 70 64 61 74 65 20 6f 72 20 64 65 6c 65 74 65 20  pdate or delete 
5280: 61 20 0a 2a 2a 20 72 6f 77 20 63 6f 6e 74 61 69  a .** row contai
5290: 6e 65 64 20 69 6e 20 74 61 62 6c 65 20 70 54 61  ned in table pTa
52a0: 62 2e 20 49 66 20 74 68 65 20 6f 70 65 72 61 74  b. If the operat
52b0: 69 6f 6e 20 69 73 20 61 6e 20 75 70 64 61 74 65  ion is an update
52c0: 2c 20 74 68 65 6e 20 0a 2a 2a 20 70 43 68 61 6e  , then .** pChan
52d0: 67 65 73 20 69 73 20 61 20 70 6f 69 6e 74 65 72  ges is a pointer
52e0: 20 74 6f 20 74 68 65 20 6c 69 73 74 20 6f 66 20   to the list of 
52f0: 63 6f 6c 75 6d 6e 73 20 74 6f 20 6d 6f 64 69 66  columns to modif
5300: 79 2e 20 49 66 20 74 68 69 73 20 69 73 20 61 20  y. If this is a 
5310: 0a 2a 2a 20 64 65 6c 65 74 65 2c 20 74 68 65 6e  .** delete, then
5320: 20 70 43 68 61 6e 67 65 73 20 69 73 20 4e 55 4c   pChanges is NUL
5330: 4c 2e 0a 2a 2f 0a 75 33 32 20 73 71 6c 69 74 65  L..*/.u32 sqlite
5340: 33 46 6b 4f 6c 64 6d 61 73 6b 28 0a 20 20 50 61  3FkOldmask(.  Pa
5350: 72 73 65 20 2a 70 50 61 72 73 65 2c 20 20 20 20  rse *pParse,    
5360: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a                /*
5370: 20 50 61 72 73 65 20 63 6f 6e 74 65 78 74 20 2a   Parse context *
5380: 2f 0a 20 20 54 61 62 6c 65 20 2a 70 54 61 62 2c  /.  Table *pTab,
5390: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
53a0: 20 20 20 20 2f 2a 20 54 61 62 6c 65 20 62 65 69      /* Table bei
53b0: 6e 67 20 6d 6f 64 69 66 69 65 64 20 2a 2f 0a 20  ng modified */. 
53c0: 20 45 78 70 72 4c 69 73 74 20 2a 70 43 68 61 6e   ExprList *pChan
53d0: 67 65 73 20 20 20 20 20 20 20 20 20 20 20 20 20  ges             
53e0: 20 2f 2a 20 4e 6f 6e 2d 4e 55 4c 4c 20 66 6f 72   /* Non-NULL for
53f0: 20 55 50 44 41 54 45 20 6f 70 65 72 61 74 69 6f   UPDATE operatio
5400: 6e 73 20 2a 2f 0a 29 7b 0a 20 20 75 33 32 20 6d  ns */.){.  u32 m
5410: 61 73 6b 20 3d 20 30 3b 0a 20 20 69 66 28 20 70  ask = 0;.  if( p
5420: 50 61 72 73 65 2d 3e 64 62 2d 3e 66 6c 61 67 73  Parse->db->flags
5430: 26 53 51 4c 49 54 45 5f 46 6f 72 65 69 67 6e 4b  &SQLITE_ForeignK
5440: 65 79 73 20 29 7b 0a 20 20 20 20 46 4b 65 79 20  eys ){.    FKey 
5450: 2a 70 3b 0a 20 20 20 20 69 6e 74 20 69 3b 0a 20  *p;.    int i;. 
5460: 20 20 20 66 6f 72 28 70 3d 70 54 61 62 2d 3e 70     for(p=pTab->p
5470: 46 4b 65 79 3b 20 70 3b 20 70 3d 70 2d 3e 70 4e  FKey; p; p=p->pN
5480: 65 78 74 46 72 6f 6d 29 7b 0a 20 20 20 20 20 20  extFrom){.      
5490: 69 66 28 20 70 43 68 61 6e 67 65 73 20 7c 7c 20  if( pChanges || 
54a0: 70 2d 3e 69 73 44 65 66 65 72 72 65 64 20 29 7b  p->isDeferred ){
54b0: 0a 20 20 20 20 20 20 20 20 66 6f 72 28 69 3d 30  .        for(i=0
54c0: 3b 20 69 3c 70 2d 3e 6e 43 6f 6c 3b 20 69 2b 2b  ; i<p->nCol; i++
54d0: 29 20 6d 61 73 6b 20 7c 3d 20 43 4f 4c 55 4d 4e  ) mask |= COLUMN
54e0: 5f 4d 41 53 4b 28 70 2d 3e 61 43 6f 6c 5b 69 5d  _MASK(p->aCol[i]
54f0: 2e 69 46 72 6f 6d 29 3b 0a 20 20 20 20 20 20 7d  .iFrom);.      }
5500: 0a 20 20 20 20 7d 0a 20 20 20 20 66 6f 72 28 70  .    }.    for(p
5510: 3d 66 6b 52 65 66 65 72 69 6e 67 28 70 54 61 62  =fkRefering(pTab
5520: 29 3b 20 70 3b 20 70 3d 70 2d 3e 70 4e 65 78 74  ); p; p=p->pNext
5530: 54 6f 29 7b 0a 20 20 20 20 20 20 49 6e 64 65 78  To){.      Index
5540: 20 2a 70 49 64 78 20 3d 20 30 3b 0a 20 20 20 20   *pIdx = 0;.    
5550: 20 20 6c 6f 63 61 74 65 46 6b 65 79 49 6e 64 65    locateFkeyInde
5560: 78 28 30 2c 20 70 54 61 62 2c 20 70 2c 20 26 70  x(0, pTab, p, &p
5570: 49 64 78 2c 20 30 29 3b 0a 20 20 20 20 20 20 69  Idx, 0);.      i
5580: 66 28 20 70 49 64 78 20 29 7b 0a 20 20 20 20 20  f( pIdx ){.     
5590: 20 20 20 66 6f 72 28 69 3d 30 3b 20 69 3c 70 49     for(i=0; i<pI
55a0: 64 78 2d 3e 6e 43 6f 6c 75 6d 6e 3b 20 69 2b 2b  dx->nColumn; i++
55b0: 29 20 6d 61 73 6b 20 7c 3d 20 43 4f 4c 55 4d 4e  ) mask |= COLUMN
55c0: 5f 4d 41 53 4b 28 70 49 64 78 2d 3e 61 69 43 6f  _MASK(pIdx->aiCo
55d0: 6c 75 6d 6e 5b 69 5d 29 3b 0a 20 20 20 20 20 20  lumn[i]);.      
55e0: 7d 0a 20 20 20 20 7d 0a 20 20 7d 0a 20 20 72 65  }.    }.  }.  re
55f0: 74 75 72 6e 20 6d 61 73 6b 3b 0a 7d 0a 0a 2f 2a  turn mask;.}../*
5600: 0a 2a 2a 20 54 68 69 73 20 66 75 6e 63 74 69 6f  .** This functio
5610: 6e 20 69 73 20 63 61 6c 6c 65 64 20 62 65 66 6f  n is called befo
5620: 72 65 20 67 65 6e 65 72 61 74 69 6e 67 20 63 6f  re generating co
5630: 64 65 20 74 6f 20 75 70 64 61 74 65 20 6f 72 20  de to update or 
5640: 64 65 6c 65 74 65 20 61 20 0a 2a 2a 20 72 6f 77  delete a .** row
5650: 20 63 6f 6e 74 61 69 6e 65 64 20 69 6e 20 74 61   contained in ta
5660: 62 6c 65 20 70 54 61 62 2e 20 49 66 20 74 68 65  ble pTab. If the
5670: 20 6f 70 65 72 61 74 69 6f 6e 20 69 73 20 61 6e   operation is an
5680: 20 75 70 64 61 74 65 2c 20 74 68 65 6e 20 0a 2a   update, then .*
5690: 2a 20 70 43 68 61 6e 67 65 73 20 69 73 20 61 20  * pChanges is a 
56a0: 70 6f 69 6e 74 65 72 20 74 6f 20 74 68 65 20 6c  pointer to the l
56b0: 69 73 74 20 6f 66 20 63 6f 6c 75 6d 6e 73 20 74  ist of columns t
56c0: 6f 20 6d 6f 64 69 66 79 2e 20 49 66 20 74 68 69  o modify. If thi
56d0: 73 20 69 73 20 61 20 0a 2a 2a 20 64 65 6c 65 74  s is a .** delet
56e0: 65 2c 20 74 68 65 6e 20 70 43 68 61 6e 67 65 73  e, then pChanges
56f0: 20 69 73 20 4e 55 4c 4c 2e 0a 2a 2a 0a 2a 2a 20   is NULL..**.** 
5700: 49 66 20 61 6e 79 20 66 6f 72 65 69 67 6e 20 6b  If any foreign k
5710: 65 79 20 70 72 6f 63 65 73 73 69 6e 67 20 77 69  ey processing wi
5720: 6c 6c 20 62 65 20 72 65 71 75 69 72 65 64 2c 20  ll be required, 
5730: 74 68 69 73 20 66 75 6e 63 74 69 6f 6e 20 72 65  this function re
5740: 74 75 72 6e 73 0a 2a 2a 20 74 72 75 65 2e 20 49  turns.** true. I
5750: 66 20 74 68 65 72 65 20 69 73 20 6e 6f 20 66 6f  f there is no fo
5760: 72 65 69 67 6e 20 6b 65 79 20 72 65 6c 61 74 65  reign key relate
5770: 64 20 70 72 6f 63 65 73 73 69 6e 67 2c 20 74 68  d processing, th
5780: 69 73 20 66 75 6e 63 74 69 6f 6e 20 0a 2a 2a 20  is function .** 
5790: 72 65 74 75 72 6e 73 20 66 61 6c 73 65 2e 0a 2a  returns false..*
57a0: 2f 0a 69 6e 74 20 73 71 6c 69 74 65 33 46 6b 52  /.int sqlite3FkR
57b0: 65 71 75 69 72 65 64 28 0a 20 20 50 61 72 73 65  equired(.  Parse
57c0: 20 2a 70 50 61 72 73 65 2c 20 20 20 20 20 20 20   *pParse,       
57d0: 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 50 61             /* Pa
57e0: 72 73 65 20 63 6f 6e 74 65 78 74 20 2a 2f 0a 20  rse context */. 
57f0: 20 54 61 62 6c 65 20 2a 70 54 61 62 2c 20 20 20   Table *pTab,   
5800: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
5810: 20 2f 2a 20 54 61 62 6c 65 20 62 65 69 6e 67 20   /* Table being 
5820: 6d 6f 64 69 66 69 65 64 20 2a 2f 0a 20 20 45 78  modified */.  Ex
5830: 70 72 4c 69 73 74 20 2a 70 43 68 61 6e 67 65 73  prList *pChanges
5840: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a                /*
5850: 20 4e 6f 6e 2d 4e 55 4c 4c 20 66 6f 72 20 55 50   Non-NULL for UP
5860: 44 41 54 45 20 6f 70 65 72 61 74 69 6f 6e 73 20  DATE operations 
5870: 2a 2f 0a 29 7b 0a 20 20 69 66 28 20 70 50 61 72  */.){.  if( pPar
5880: 73 65 2d 3e 64 62 2d 3e 66 6c 61 67 73 26 53 51  se->db->flags&SQ
5890: 4c 49 54 45 5f 46 6f 72 65 69 67 6e 4b 65 79 73  LITE_ForeignKeys
58a0: 20 29 7b 0a 20 20 20 20 46 4b 65 79 20 2a 70 3b   ){.    FKey *p;
58b0: 0a 20 20 20 20 66 6f 72 28 70 3d 70 54 61 62 2d  .    for(p=pTab-
58c0: 3e 70 46 4b 65 79 3b 20 70 3b 20 70 3d 70 2d 3e  >pFKey; p; p=p->
58d0: 70 4e 65 78 74 46 72 6f 6d 29 7b 0a 20 20 20 20  pNextFrom){.    
58e0: 20 20 69 66 28 20 70 43 68 61 6e 67 65 73 20 7c    if( pChanges |
58f0: 7c 20 70 2d 3e 69 73 44 65 66 65 72 72 65 64 20  | p->isDeferred 
5900: 29 20 72 65 74 75 72 6e 20 31 3b 0a 20 20 20 20  ) return 1;.    
5910: 7d 0a 20 20 20 20 69 66 28 20 66 6b 52 65 66 65  }.    if( fkRefe
5920: 72 69 6e 67 28 70 54 61 62 29 20 29 20 72 65 74  ring(pTab) ) ret
5930: 75 72 6e 20 31 3b 0a 20 20 7d 0a 20 20 72 65 74  urn 1;.  }.  ret
5940: 75 72 6e 20 30 3b 0a 7d 0a 0a 73 74 61 74 69 63  urn 0;.}..static
5950: 20 54 72 69 67 67 65 72 20 2a 66 6b 41 63 74 69   Trigger *fkActi
5960: 6f 6e 54 72 69 67 67 65 72 28 0a 20 20 50 61 72  onTrigger(.  Par
5970: 73 65 20 2a 70 50 61 72 73 65 2c 0a 20 20 54 61  se *pParse,.  Ta
5980: 62 6c 65 20 2a 70 54 61 62 2c 20 20 20 20 20 20  ble *pTab,      
5990: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a                /*
59a0: 20 54 61 62 6c 65 20 62 65 69 6e 67 20 75 70 64   Table being upd
59b0: 61 74 65 64 20 6f 72 20 64 65 6c 65 74 65 64 20  ated or deleted 
59c0: 66 72 6f 6d 20 2a 2f 0a 20 20 46 4b 65 79 20 2a  from */.  FKey *
59d0: 70 46 4b 65 79 2c 20 20 20 20 20 20 20 20 20 20  pFKey,          
59e0: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 46 6f 72            /* For
59f0: 65 69 67 6e 20 6b 65 79 20 74 6f 20 67 65 74 20  eign key to get 
5a00: 61 63 74 69 6f 6e 20 66 6f 72 20 2a 2f 0a 20 20  action for */.  
5a10: 45 78 70 72 4c 69 73 74 20 2a 70 43 68 61 6e 67  ExprList *pChang
5a20: 65 73 20 20 20 20 20 20 20 20 20 20 20 20 20 20  es              
5a30: 2f 2a 20 43 68 61 6e 67 65 2d 6c 69 73 74 20 66  /* Change-list f
5a40: 6f 72 20 55 50 44 41 54 45 2c 20 4e 55 4c 4c 20  or UPDATE, NULL 
5a50: 66 6f 72 20 44 45 4c 45 54 45 20 2a 2f 0a 29 7b  for DELETE */.){
5a60: 0a 20 20 73 71 6c 69 74 65 33 20 2a 64 62 20 3d  .  sqlite3 *db =
5a70: 20 70 50 61 72 73 65 2d 3e 64 62 3b 20 20 20 20   pParse->db;    
5a80: 20 20 20 2f 2a 20 44 61 74 61 62 61 73 65 20 68     /* Database h
5a90: 61 6e 64 6c 65 20 2a 2f 0a 20 20 69 6e 74 20 61  andle */.  int a
5aa0: 63 74 69 6f 6e 3b 0a 20 20 54 72 69 67 67 65 72  ction;.  Trigger
5ab0: 20 2a 70 54 72 69 67 67 65 72 3b 0a 0a 20 20 69   *pTrigger;..  i
5ac0: 66 28 20 70 43 68 61 6e 67 65 73 20 29 7b 0a 20  f( pChanges ){. 
5ad0: 20 20 20 61 63 74 69 6f 6e 20 3d 20 70 46 4b 65     action = pFKe
5ae0: 79 2d 3e 75 70 64 61 74 65 43 6f 6e 66 3b 0a 20  y->updateConf;. 
5af0: 20 20 20 70 54 72 69 67 67 65 72 20 3d 20 70 46     pTrigger = pF
5b00: 4b 65 79 2d 3e 70 4f 6e 55 70 64 61 74 65 3b 0a  Key->pOnUpdate;.
5b10: 20 20 7d 65 6c 73 65 7b 0a 20 20 20 20 61 63 74    }else{.    act
5b20: 69 6f 6e 20 3d 20 70 46 4b 65 79 2d 3e 64 65 6c  ion = pFKey->del
5b30: 65 74 65 43 6f 6e 66 3b 0a 20 20 20 20 70 54 72  eteConf;.    pTr
5b40: 69 67 67 65 72 20 3d 20 70 46 4b 65 79 2d 3e 70  igger = pFKey->p
5b50: 4f 6e 44 65 6c 65 74 65 3b 0a 20 20 7d 0a 0a 20  OnDelete;.  }.. 
5b60: 20 61 73 73 65 72 74 28 20 4f 45 5f 53 65 74 4e   assert( OE_SetN
5b70: 75 6c 6c 3e 4f 45 5f 52 65 73 74 72 69 63 74 20  ull>OE_Restrict 
5b80: 26 26 20 4f 45 5f 53 65 74 44 66 6c 74 3e 4f 45  && OE_SetDflt>OE
5b90: 5f 52 65 73 74 72 69 63 74 20 29 3b 0a 20 20 61  _Restrict );.  a
5ba0: 73 73 65 72 74 28 20 4f 45 5f 43 61 73 63 61 64  ssert( OE_Cascad
5bb0: 65 3e 4f 45 5f 52 65 73 74 72 69 63 74 20 26 26  e>OE_Restrict &&
5bc0: 20 4f 45 5f 4e 6f 6e 65 3c 4f 45 5f 52 65 73 74   OE_None<OE_Rest
5bd0: 72 69 63 74 20 29 3b 0a 0a 20 20 69 66 28 20 61  rict );..  if( a
5be0: 63 74 69 6f 6e 3e 4f 45 5f 52 65 73 74 72 69 63  ction>OE_Restric
5bf0: 74 20 26 26 20 21 70 54 72 69 67 67 65 72 20 29  t && !pTrigger )
5c00: 7b 0a 20 20 20 20 63 68 61 72 20 63 6f 6e 73 74  {.    char const
5c10: 20 2a 7a 46 72 6f 6d 3b 20 20 20 20 20 20 20 20   *zFrom;        
5c20: 20 20 20 20 2f 2a 20 4e 61 6d 65 20 6f 66 20 72      /* Name of r
5c30: 65 66 65 72 65 6e 63 69 6e 67 20 74 61 62 6c 65  eferencing table
5c40: 20 2a 2f 0a 20 20 20 20 69 6e 74 20 6e 46 72 6f   */.    int nFro
5c50: 6d 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 20  m;              
5c60: 20 20 20 20 20 20 2f 2a 20 4c 65 6e 67 74 68 20        /* Length 
5c70: 69 6e 20 62 79 74 65 73 20 6f 66 20 7a 46 72 6f  in bytes of zFro
5c80: 6d 20 2a 2f 0a 20 20 20 20 49 6e 64 65 78 20 2a  m */.    Index *
5c90: 70 49 64 78 20 3d 20 30 3b 0a 20 20 20 20 69 6e  pIdx = 0;.    in
5ca0: 74 20 2a 61 69 43 6f 6c 20 3d 20 30 3b 0a 20 20  t *aiCol = 0;.  
5cb0: 20 20 54 72 69 67 67 65 72 53 74 65 70 20 2a 70    TriggerStep *p
5cc0: 53 74 65 70 3b 0a 20 20 20 20 73 71 6c 69 74 65  Step;.    sqlite
5cd0: 33 20 2a 64 62 4d 65 6d 20 3d 20 70 54 61 62 2d  3 *dbMem = pTab-
5ce0: 3e 64 62 4d 65 6d 3b 0a 20 20 20 20 45 78 70 72  >dbMem;.    Expr
5cf0: 20 2a 70 57 68 65 72 65 20 3d 20 30 3b 0a 20 20   *pWhere = 0;.  
5d00: 20 20 45 78 70 72 4c 69 73 74 20 2a 70 4c 69 73    ExprList *pLis
5d10: 74 20 3d 20 30 3b 0a 20 20 20 20 69 6e 74 20 69  t = 0;.    int i
5d20: 3b 0a 0a 20 20 20 20 69 66 28 20 6c 6f 63 61 74  ;..    if( locat
5d30: 65 46 6b 65 79 49 6e 64 65 78 28 70 50 61 72 73  eFkeyIndex(pPars
5d40: 65 2c 20 70 54 61 62 2c 20 70 46 4b 65 79 2c 20  e, pTab, pFKey, 
5d50: 26 70 49 64 78 2c 20 26 61 69 43 6f 6c 29 20 29  &pIdx, &aiCol) )
5d60: 20 72 65 74 75 72 6e 20 30 3b 0a 20 20 20 20 61   return 0;.    a
5d70: 73 73 65 72 74 28 20 61 69 43 6f 6c 20 7c 7c 20  ssert( aiCol || 
5d80: 70 46 4b 65 79 2d 3e 6e 43 6f 6c 3d 3d 31 20 29  pFKey->nCol==1 )
5d90: 3b 0a 0a 20 20 20 20 61 73 73 65 72 74 28 20 64  ;..    assert( d
5da0: 62 4d 65 6d 3d 3d 30 20 7c 7c 20 64 62 4d 65 6d  bMem==0 || dbMem
5db0: 3d 3d 70 50 61 72 73 65 2d 3e 64 62 20 29 3b 0a  ==pParse->db );.
5dc0: 20 20 20 20 7a 46 72 6f 6d 20 3d 20 70 46 4b 65      zFrom = pFKe
5dd0: 79 2d 3e 70 46 72 6f 6d 2d 3e 7a 4e 61 6d 65 3b  y->pFrom->zName;
5de0: 0a 20 20 20 20 6e 46 72 6f 6d 20 3d 20 73 71 6c  .    nFrom = sql
5df0: 69 74 65 33 53 74 72 6c 65 6e 33 30 28 7a 46 72  ite3Strlen30(zFr
5e00: 6f 6d 29 3b 0a 20 20 20 20 70 54 72 69 67 67 65  om);.    pTrigge
5e10: 72 20 3d 20 28 54 72 69 67 67 65 72 20 2a 29 73  r = (Trigger *)s
5e20: 71 6c 69 74 65 33 44 62 4d 61 6c 6c 6f 63 5a 65  qlite3DbMallocZe
5e30: 72 6f 28 64 62 4d 65 6d 2c 20 0a 20 20 20 20 20  ro(dbMem, .     
5e40: 20 20 20 73 69 7a 65 6f 66 28 54 72 69 67 67 65     sizeof(Trigge
5e50: 72 29 20 2b 20 20 20 20 20 20 20 20 20 2f 2a 20  r) +         /* 
5e60: 73 74 72 75 63 74 20 54 72 69 67 67 65 72 20 2a  struct Trigger *
5e70: 2f 0a 20 20 20 20 20 20 20 20 73 69 7a 65 6f 66  /.        sizeof
5e80: 28 54 72 69 67 67 65 72 53 74 65 70 29 20 2b 20  (TriggerStep) + 
5e90: 20 20 20 20 2f 2a 20 53 69 6e 67 6c 65 20 73 74      /* Single st
5ea0: 65 70 20 69 6e 20 74 72 69 67 67 65 72 20 70 72  ep in trigger pr
5eb0: 6f 67 72 61 6d 20 2a 2f 0a 20 20 20 20 20 20 20  ogram */.       
5ec0: 20 6e 46 72 6f 6d 20 2b 20 31 20 20 20 20 20 20   nFrom + 1      
5ed0: 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 53 70             /* Sp
5ee0: 61 63 65 20 66 6f 72 20 70 53 74 65 70 2d 3e 74  ace for pStep->t
5ef0: 61 72 67 65 74 2e 7a 20 2a 2f 0a 20 20 20 20 29  arget.z */.    )
5f00: 3b 0a 20 20 20 20 69 66 28 20 21 70 54 72 69 67  ;.    if( !pTrig
5f10: 67 65 72 20 29 7b 0a 20 20 20 20 20 20 70 50 61  ger ){.      pPa
5f20: 72 73 65 2d 3e 64 62 2d 3e 6d 61 6c 6c 6f 63 46  rse->db->mallocF
5f30: 61 69 6c 65 64 20 3d 20 31 3b 0a 20 20 20 20 20  ailed = 1;.     
5f40: 20 72 65 74 75 72 6e 20 30 3b 0a 20 20 20 20 7d   return 0;.    }
5f50: 0a 20 20 20 20 70 53 74 65 70 20 3d 20 70 54 72  .    pStep = pTr
5f60: 69 67 67 65 72 2d 3e 73 74 65 70 5f 6c 69 73 74  igger->step_list
5f70: 20 3d 20 28 54 72 69 67 67 65 72 53 74 65 70 20   = (TriggerStep 
5f80: 2a 29 26 70 54 72 69 67 67 65 72 5b 31 5d 3b 0a  *)&pTrigger[1];.
5f90: 20 20 20 20 70 53 74 65 70 2d 3e 74 61 72 67 65      pStep->targe
5fa0: 74 2e 7a 20 3d 20 28 63 68 61 72 20 2a 29 26 70  t.z = (char *)&p
5fb0: 53 74 65 70 5b 31 5d 3b 0a 20 20 20 20 70 53 74  Step[1];.    pSt
5fc0: 65 70 2d 3e 74 61 72 67 65 74 2e 6e 20 3d 20 6e  ep->target.n = n
5fd0: 46 72 6f 6d 3b 0a 20 20 20 20 6d 65 6d 63 70 79  From;.    memcpy
5fe0: 28 28 63 68 61 72 20 2a 29 70 53 74 65 70 2d 3e  ((char *)pStep->
5ff0: 74 61 72 67 65 74 2e 7a 2c 20 7a 46 72 6f 6d 2c  target.z, zFrom,
6000: 20 6e 46 72 6f 6d 29 3b 0a 0a 20 20 20 20 66 6f   nFrom);..    fo
6010: 72 28 69 3d 30 3b 20 69 3c 70 46 4b 65 79 2d 3e  r(i=0; i<pFKey->
6020: 6e 43 6f 6c 3b 20 69 2b 2b 29 7b 0a 20 20 20 20  nCol; i++){.    
6030: 20 20 45 78 70 72 20 2a 70 45 71 3b 0a 20 20 20    Expr *pEq;.   
6040: 20 20 20 69 6e 74 20 69 46 72 6f 6d 43 6f 6c 3b     int iFromCol;
6050: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f                 /
6060: 2a 20 49 64 78 20 6f 66 20 63 6f 6c 75 6d 6e 20  * Idx of column 
6070: 69 6e 20 72 65 66 65 72 65 6e 63 69 6e 67 20 74  in referencing t
6080: 61 62 6c 65 20 2a 2f 0a 20 20 20 20 20 20 54 6f  able */.      To
6090: 6b 65 6e 20 74 46 72 6f 6d 43 6f 6c 3b 20 20 20  ken tFromCol;   
60a0: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 4e 61 6d            /* Nam
60b0: 65 20 6f 66 20 63 6f 6c 75 6d 6e 20 69 6e 20 72  e of column in r
60c0: 65 66 65 72 65 6e 63 69 6e 67 20 74 61 62 6c 65  eferencing table
60d0: 20 2a 2f 0a 20 20 20 20 20 20 54 6f 6b 65 6e 20   */.      Token 
60e0: 74 54 6f 43 6f 6c 3b 20 20 20 20 20 20 20 20 20  tToCol;         
60f0: 20 20 20 20 20 20 2f 2a 20 4e 61 6d 65 20 6f 66        /* Name of
6100: 20 63 6f 6c 75 6d 6e 20 69 6e 20 72 65 66 65 72   column in refer
6110: 65 6e 63 65 64 20 74 61 62 6c 65 20 2a 2f 0a 20  enced table */. 
6120: 20 20 20 20 20 54 6f 6b 65 6e 20 74 4f 6c 64 20       Token tOld 
6130: 3d 20 7b 20 22 6f 6c 64 22 2c 20 33 20 7d 3b 20  = { "old", 3 }; 
6140: 20 2f 2a 20 4c 69 74 65 72 61 6c 20 22 6f 6c 64   /* Literal "old
6150: 22 20 74 6f 6b 65 6e 20 2a 2f 0a 20 20 20 20 20  " token */.     
6160: 20 54 6f 6b 65 6e 20 74 4e 65 77 20 3d 20 7b 20   Token tNew = { 
6170: 22 6e 65 77 22 2c 20 33 20 7d 3b 20 20 2f 2a 20  "new", 3 };  /* 
6180: 4c 69 74 65 72 61 6c 20 22 6e 65 77 22 20 74 6f  Literal "new" to
6190: 6b 65 6e 20 2a 2f 0a 0a 20 20 20 20 20 20 69 46  ken */..      iF
61a0: 72 6f 6d 43 6f 6c 20 3d 20 61 69 43 6f 6c 20 3f  romCol = aiCol ?
61b0: 20 61 69 43 6f 6c 5b 69 5d 20 3a 20 70 46 4b 65   aiCol[i] : pFKe
61c0: 79 2d 3e 61 43 6f 6c 5b 30 5d 2e 69 46 72 6f 6d  y->aCol[0].iFrom
61d0: 3b 0a 20 20 20 20 20 20 74 54 6f 43 6f 6c 2e 7a  ;.      tToCol.z
61e0: 20 3d 20 70 49 64 78 20 3f 20 70 54 61 62 2d 3e   = pIdx ? pTab->
61f0: 61 43 6f 6c 5b 70 49 64 78 2d 3e 61 69 43 6f 6c  aCol[pIdx->aiCol
6200: 75 6d 6e 5b 69 5d 5d 2e 7a 4e 61 6d 65 20 3a 20  umn[i]].zName : 
6210: 22 6f 69 64 22 3b 0a 20 20 20 20 20 20 74 46 72  "oid";.      tFr
6220: 6f 6d 43 6f 6c 2e 7a 20 3d 20 69 46 72 6f 6d 43  omCol.z = iFromC
6230: 6f 6c 3c 30 20 3f 20 22 6f 69 64 22 20 3a 20 70  ol<0 ? "oid" : p
6240: 46 4b 65 79 2d 3e 70 46 72 6f 6d 2d 3e 61 43 6f  FKey->pFrom->aCo
6250: 6c 5b 69 46 72 6f 6d 43 6f 6c 5d 2e 7a 4e 61 6d  l[iFromCol].zNam
6260: 65 3b 0a 0a 20 20 20 20 20 20 74 54 6f 43 6f 6c  e;..      tToCol
6270: 2e 6e 20 3d 20 73 71 6c 69 74 65 33 53 74 72 6c  .n = sqlite3Strl
6280: 65 6e 33 30 28 74 54 6f 43 6f 6c 2e 7a 29 3b 0a  en30(tToCol.z);.
6290: 20 20 20 20 20 20 74 46 72 6f 6d 43 6f 6c 2e 6e        tFromCol.n
62a0: 20 3d 20 73 71 6c 69 74 65 33 53 74 72 6c 65 6e   = sqlite3Strlen
62b0: 33 30 28 74 46 72 6f 6d 43 6f 6c 2e 7a 29 3b 0a  30(tFromCol.z);.
62c0: 0a 20 20 20 20 20 20 2f 2a 20 43 72 65 61 74 65  .      /* Create
62d0: 20 74 68 65 20 65 78 70 72 65 73 73 69 6f 6e 20   the expression 
62e0: 22 7a 46 72 6f 6d 43 6f 6c 20 3d 20 4f 4c 44 2e  "zFromCol = OLD.
62f0: 7a 54 6f 43 6f 6c 22 20 2a 2f 0a 20 20 20 20 20  zToCol" */.     
6300: 20 70 45 71 20 3d 20 73 71 6c 69 74 65 33 50 45   pEq = sqlite3PE
6310: 78 70 72 28 70 50 61 72 73 65 2c 20 54 4b 5f 45  xpr(pParse, TK_E
6320: 51 2c 0a 20 20 20 20 20 20 20 20 20 20 73 71 6c  Q,.          sql
6330: 69 74 65 33 50 45 78 70 72 28 70 50 61 72 73 65  ite3PExpr(pParse
6340: 2c 20 54 4b 5f 49 44 2c 20 30 2c 20 30 2c 20 26  , TK_ID, 0, 0, &
6350: 74 46 72 6f 6d 43 6f 6c 29 2c 0a 20 20 20 20 20  tFromCol),.     
6360: 20 20 20 20 20 73 71 6c 69 74 65 33 50 45 78 70       sqlite3PExp
6370: 72 28 70 50 61 72 73 65 2c 20 54 4b 5f 44 4f 54  r(pParse, TK_DOT
6380: 2c 20 0a 20 20 20 20 20 20 20 20 20 20 20 20 73  , .            s
6390: 71 6c 69 74 65 33 50 45 78 70 72 28 70 50 61 72  qlite3PExpr(pPar
63a0: 73 65 2c 20 54 4b 5f 49 44 2c 20 30 2c 20 30 2c  se, TK_ID, 0, 0,
63b0: 20 26 74 4f 6c 64 29 2c 0a 20 20 20 20 20 20 20   &tOld),.       
63c0: 20 20 20 20 20 73 71 6c 69 74 65 33 50 45 78 70       sqlite3PExp
63d0: 72 28 70 50 61 72 73 65 2c 20 54 4b 5f 49 44 2c  r(pParse, TK_ID,
63e0: 20 30 2c 20 30 2c 20 26 74 54 6f 43 6f 6c 29 0a   0, 0, &tToCol).
63f0: 20 20 20 20 20 20 20 20 20 20 2c 20 30 29 0a 20            , 0). 
6400: 20 20 20 20 20 2c 20 30 29 3b 0a 20 20 20 20 20       , 0);.     
6410: 20 70 57 68 65 72 65 20 3d 20 73 71 6c 69 74 65   pWhere = sqlite
6420: 33 45 78 70 72 41 6e 64 28 70 50 61 72 73 65 2d  3ExprAnd(pParse-
6430: 3e 64 62 2c 20 70 57 68 65 72 65 2c 20 70 45 71  >db, pWhere, pEq
6440: 29 3b 0a 0a 20 20 20 20 20 20 69 66 28 20 61 63  );..      if( ac
6450: 74 69 6f 6e 21 3d 4f 45 5f 43 61 73 63 61 64 65  tion!=OE_Cascade
6460: 20 7c 7c 20 70 43 68 61 6e 67 65 73 20 29 7b 0a   || pChanges ){.
6470: 20 20 20 20 20 20 20 20 45 78 70 72 20 2a 70 4e          Expr *pN
6480: 65 77 3b 0a 20 20 20 20 20 20 20 20 69 66 28 20  ew;.        if( 
6490: 61 63 74 69 6f 6e 3d 3d 4f 45 5f 43 61 73 63 61  action==OE_Casca
64a0: 64 65 20 29 7b 0a 20 20 20 20 20 20 20 20 20 20  de ){.          
64b0: 70 4e 65 77 20 3d 20 73 71 6c 69 74 65 33 50 45  pNew = sqlite3PE
64c0: 78 70 72 28 70 50 61 72 73 65 2c 20 54 4b 5f 44  xpr(pParse, TK_D
64d0: 4f 54 2c 20 0a 20 20 20 20 20 20 20 20 20 20 20  OT, .           
64e0: 20 73 71 6c 69 74 65 33 50 45 78 70 72 28 70 50   sqlite3PExpr(pP
64f0: 61 72 73 65 2c 20 54 4b 5f 49 44 2c 20 30 2c 20  arse, TK_ID, 0, 
6500: 30 2c 20 26 74 4e 65 77 29 2c 0a 20 20 20 20 20  0, &tNew),.     
6510: 20 20 20 20 20 20 20 73 71 6c 69 74 65 33 50 45         sqlite3PE
6520: 78 70 72 28 70 50 61 72 73 65 2c 20 54 4b 5f 49  xpr(pParse, TK_I
6530: 44 2c 20 30 2c 20 30 2c 20 26 74 54 6f 43 6f 6c  D, 0, 0, &tToCol
6540: 29 0a 20 20 20 20 20 20 20 20 20 20 2c 20 30 29  ).          , 0)
6550: 3b 0a 20 20 20 20 20 20 20 20 7d 65 6c 73 65 20  ;.        }else 
6560: 69 66 28 20 61 63 74 69 6f 6e 3d 3d 4f 45 5f 53  if( action==OE_S
6570: 65 74 44 66 6c 74 20 29 7b 0a 20 20 20 20 20 20  etDflt ){.      
6580: 20 20 20 20 45 78 70 72 20 2a 70 44 66 6c 74 20      Expr *pDflt 
6590: 3d 20 70 49 64 78 20 3f 20 30 20 3a 20 70 54 61  = pIdx ? 0 : pTa
65a0: 62 2d 3e 61 43 6f 6c 5b 70 49 64 78 2d 3e 61 69  b->aCol[pIdx->ai
65b0: 43 6f 6c 75 6d 6e 5b 69 5d 5d 2e 70 44 66 6c 74  Column[i]].pDflt
65c0: 3b 0a 20 20 20 20 20 20 20 20 20 20 69 66 28 20  ;.          if( 
65d0: 70 44 66 6c 74 20 29 7b 0a 20 20 20 20 20 20 20  pDflt ){.       
65e0: 20 20 20 20 20 70 4e 65 77 20 3d 20 73 71 6c 69       pNew = sqli
65f0: 74 65 33 45 78 70 72 44 75 70 28 64 62 2c 20 70  te3ExprDup(db, p
6600: 44 66 6c 74 2c 20 30 29 3b 0a 20 20 20 20 20 20  Dflt, 0);.      
6610: 20 20 20 20 7d 65 6c 73 65 7b 0a 20 20 20 20 20      }else{.     
6620: 20 20 20 20 20 20 20 70 4e 65 77 20 3d 20 73 71         pNew = sq
6630: 6c 69 74 65 33 50 45 78 70 72 28 70 50 61 72 73  lite3PExpr(pPars
6640: 65 2c 20 54 4b 5f 4e 55 4c 4c 2c 20 30 2c 20 30  e, TK_NULL, 0, 0
6650: 2c 20 30 29 3b 0a 20 20 20 20 20 20 20 20 20 20  , 0);.          
6660: 7d 0a 20 20 20 20 20 20 20 20 7d 65 6c 73 65 7b  }.        }else{
6670: 0a 20 20 20 20 20 20 20 20 20 20 70 4e 65 77 20  .          pNew 
6680: 3d 20 73 71 6c 69 74 65 33 50 45 78 70 72 28 70  = sqlite3PExpr(p
6690: 50 61 72 73 65 2c 20 54 4b 5f 4e 55 4c 4c 2c 20  Parse, TK_NULL, 
66a0: 30 2c 20 30 2c 20 30 29 3b 0a 20 20 20 20 20 20  0, 0, 0);.      
66b0: 20 20 7d 0a 20 20 20 20 20 20 20 20 70 4c 69 73    }.        pLis
66c0: 74 20 3d 20 73 71 6c 69 74 65 33 45 78 70 72 4c  t = sqlite3ExprL
66d0: 69 73 74 41 70 70 65 6e 64 28 70 50 61 72 73 65  istAppend(pParse
66e0: 2c 20 70 4c 69 73 74 2c 20 70 4e 65 77 29 3b 0a  , pList, pNew);.
66f0: 20 20 20 20 20 20 20 20 73 71 6c 69 74 65 33 45          sqlite3E
6700: 78 70 72 4c 69 73 74 53 65 74 4e 61 6d 65 28 70  xprListSetName(p
6710: 50 61 72 73 65 2c 20 70 4c 69 73 74 2c 20 26 74  Parse, pList, &t
6720: 46 72 6f 6d 43 6f 6c 2c 20 30 29 3b 0a 20 20 20  FromCol, 0);.   
6730: 20 20 20 7d 0a 20 20 20 20 7d 0a 20 20 20 20 73     }.    }.    s
6740: 71 6c 69 74 65 33 44 62 46 72 65 65 28 70 50 61  qlite3DbFree(pPa
6750: 72 73 65 2d 3e 64 62 2c 20 61 69 43 6f 6c 29 3b  rse->db, aiCol);
6760: 0a 0a 20 20 20 20 70 53 74 65 70 2d 3e 70 57 68  ..    pStep->pWh
6770: 65 72 65 20 3d 20 73 71 6c 69 74 65 33 45 78 70  ere = sqlite3Exp
6780: 72 44 75 70 28 64 62 4d 65 6d 2c 20 70 57 68 65  rDup(dbMem, pWhe
6790: 72 65 2c 20 45 58 50 52 44 55 50 5f 52 45 44 55  re, EXPRDUP_REDU
67a0: 43 45 29 3b 0a 20 20 20 20 70 53 74 65 70 2d 3e  CE);.    pStep->
67b0: 70 45 78 70 72 4c 69 73 74 20 3d 20 73 71 6c 69  pExprList = sqli
67c0: 74 65 33 45 78 70 72 4c 69 73 74 44 75 70 28 64  te3ExprListDup(d
67d0: 62 4d 65 6d 2c 20 70 4c 69 73 74 2c 20 45 58 50  bMem, pList, EXP
67e0: 52 44 55 50 5f 52 45 44 55 43 45 29 3b 0a 20 20  RDUP_REDUCE);.  
67f0: 20 20 73 71 6c 69 74 65 33 45 78 70 72 44 65 6c    sqlite3ExprDel
6800: 65 74 65 28 70 50 61 72 73 65 2d 3e 64 62 2c 20  ete(pParse->db, 
6810: 70 57 68 65 72 65 29 3b 0a 20 20 20 20 73 71 6c  pWhere);.    sql
6820: 69 74 65 33 45 78 70 72 4c 69 73 74 44 65 6c 65  ite3ExprListDele
6830: 74 65 28 70 50 61 72 73 65 2d 3e 64 62 2c 20 70  te(pParse->db, p
6840: 4c 69 73 74 29 3b 0a 0a 20 20 20 20 70 53 74 65  List);..    pSte
6850: 70 2d 3e 6f 70 20 3d 20 28 61 63 74 69 6f 6e 21  p->op = (action!
6860: 3d 4f 45 5f 43 61 73 63 61 64 65 20 7c 7c 20 70  =OE_Cascade || p
6870: 43 68 61 6e 67 65 73 29 20 3f 20 54 4b 5f 55 50  Changes) ? TK_UP
6880: 44 41 54 45 20 3a 20 54 4b 5f 44 45 4c 45 54 45  DATE : TK_DELETE
6890: 3b 0a 20 20 20 20 70 53 74 65 70 2d 3e 70 54 72  ;.    pStep->pTr
68a0: 69 67 20 3d 20 70 54 72 69 67 67 65 72 3b 0a 20  ig = pTrigger;. 
68b0: 20 20 20 70 54 72 69 67 67 65 72 2d 3e 70 53 63     pTrigger->pSc
68c0: 68 65 6d 61 20 3d 20 70 54 61 62 2d 3e 70 53 63  hema = pTab->pSc
68d0: 68 65 6d 61 3b 0a 20 20 20 20 70 54 72 69 67 67  hema;.    pTrigg
68e0: 65 72 2d 3e 70 54 61 62 53 63 68 65 6d 61 20 3d  er->pTabSchema =
68f0: 20 70 54 61 62 2d 3e 70 53 63 68 65 6d 61 3b 0a   pTab->pSchema;.
6900: 0a 20 20 20 20 69 66 28 20 70 43 68 61 6e 67 65  .    if( pChange
6910: 73 20 29 7b 0a 20 20 20 20 20 20 70 46 4b 65 79  s ){.      pFKey
6920: 2d 3e 70 4f 6e 55 70 64 61 74 65 20 3d 20 70 54  ->pOnUpdate = pT
6930: 72 69 67 67 65 72 3b 0a 20 20 20 20 20 20 70 54  rigger;.      pT
6940: 72 69 67 67 65 72 2d 3e 6f 70 20 3d 20 54 4b 5f  rigger->op = TK_
6950: 55 50 44 41 54 45 3b 0a 20 20 20 20 20 20 70 53  UPDATE;.      pS
6960: 74 65 70 2d 3e 6f 70 20 3d 20 54 4b 5f 55 50 44  tep->op = TK_UPD
6970: 41 54 45 3b 0a 20 20 20 20 7d 65 6c 73 65 7b 0a  ATE;.    }else{.
6980: 20 20 20 20 20 20 70 46 4b 65 79 2d 3e 70 4f 6e        pFKey->pOn
6990: 44 65 6c 65 74 65 20 3d 20 70 54 72 69 67 67 65  Delete = pTrigge
69a0: 72 3b 0a 20 20 20 20 20 20 70 54 72 69 67 67 65  r;.      pTrigge
69b0: 72 2d 3e 6f 70 20 3d 20 54 4b 5f 44 45 4c 45 54  r->op = TK_DELET
69c0: 45 3b 0a 20 20 20 20 20 20 70 53 74 65 70 2d 3e  E;.      pStep->
69d0: 6f 70 20 3d 20 28 61 63 74 69 6f 6e 3d 3d 4f 45  op = (action==OE
69e0: 5f 43 61 73 63 61 64 65 29 3f 54 4b 5f 44 45 4c  _Cascade)?TK_DEL
69f0: 45 54 45 3a 54 4b 5f 55 50 44 41 54 45 3b 0a 20  ETE:TK_UPDATE;. 
6a00: 20 20 20 7d 0a 20 20 7d 0a 0a 20 20 72 65 74 75     }.  }..  retu
6a10: 72 6e 20 70 54 72 69 67 67 65 72 3b 0a 7d 0a 0a  rn pTrigger;.}..
6a20: 2f 2a 0a 2a 2a 20 54 68 69 73 20 66 75 6e 63 74  /*.** This funct
6a30: 69 6f 6e 20 69 73 20 63 61 6c 6c 65 64 20 77 68  ion is called wh
6a40: 65 6e 20 64 65 6c 65 74 69 6e 67 20 6f 72 20 75  en deleting or u
6a50: 70 64 61 74 69 6e 67 20 61 20 72 6f 77 20 74 6f  pdating a row to
6a60: 20 69 6d 70 6c 65 6d 65 6e 74 0a 2a 2a 20 61 6e   implement.** an
6a70: 79 20 72 65 71 75 69 72 65 64 20 43 41 53 43 41  y required CASCA
6a80: 44 45 2c 20 53 45 54 20 4e 55 4c 4c 20 6f 72 20  DE, SET NULL or 
6a90: 53 45 54 20 44 45 46 41 55 4c 54 20 61 63 74 69  SET DEFAULT acti
6aa0: 6f 6e 73 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71 6c  ons..*/.void sql
6ab0: 69 74 65 33 46 6b 41 63 74 69 6f 6e 73 28 0a 20  ite3FkActions(. 
6ac0: 20 50 61 72 73 65 20 2a 70 50 61 72 73 65 2c 20   Parse *pParse, 
6ad0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
6ae0: 20 2f 2a 20 50 61 72 73 65 20 63 6f 6e 74 65 78   /* Parse contex
6af0: 74 20 2a 2f 0a 20 20 54 61 62 6c 65 20 2a 70 54  t */.  Table *pT
6b00: 61 62 2c 20 20 20 20 20 20 20 20 20 20 20 20 20  ab,             
6b10: 20 20 20 20 20 20 20 2f 2a 20 54 61 62 6c 65 20         /* Table 
6b20: 62 65 69 6e 67 20 75 70 64 61 74 65 64 20 6f 72  being updated or
6b30: 20 64 65 6c 65 74 65 64 20 66 72 6f 6d 20 2a 2f   deleted from */
6b40: 0a 20 20 45 78 70 72 4c 69 73 74 20 2a 70 43 68  .  ExprList *pCh
6b50: 61 6e 67 65 73 2c 20 20 20 20 20 20 20 20 20 20  anges,          
6b60: 20 20 20 2f 2a 20 43 68 61 6e 67 65 2d 6c 69 73     /* Change-lis
6b70: 74 20 66 6f 72 20 55 50 44 41 54 45 2c 20 4e 55  t for UPDATE, NU
6b80: 4c 4c 20 66 6f 72 20 44 45 4c 45 54 45 20 2a 2f  LL for DELETE */
6b90: 0a 20 20 69 6e 74 20 72 65 67 4f 6c 64 20 20 20  .  int regOld   
6ba0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
6bb0: 20 20 20 2f 2a 20 41 64 64 72 65 73 73 20 6f 66     /* Address of
6bc0: 20 61 72 72 61 79 20 63 6f 6e 74 61 69 6e 69 6e   array containin
6bd0: 67 20 6f 6c 64 20 72 6f 77 20 2a 2f 0a 29 7b 0a  g old row */.){.
6be0: 20 20 2f 2a 20 49 66 20 66 6f 72 65 69 67 6e 2d    /* If foreign-
6bf0: 6b 65 79 20 73 75 70 70 6f 72 74 20 69 73 20 65  key support is e
6c00: 6e 61 62 6c 65 64 2c 20 69 74 65 72 61 74 65 20  nabled, iterate 
6c10: 74 68 72 6f 75 67 68 20 61 6c 6c 20 46 4b 73 20  through all FKs 
6c20: 74 68 61 74 20 0a 20 20 2a 2a 20 72 65 66 65 72  that .  ** refer
6c30: 20 74 6f 20 74 61 62 6c 65 20 70 54 61 62 2e 20   to table pTab. 
6c40: 49 66 20 74 68 65 72 65 20 69 73 20 61 6e 20 61  If there is an a
6c50: 63 74 69 6f 6e 20 61 73 73 6f 63 69 61 74 65 64  ction associated
6c60: 20 77 69 74 68 20 74 68 65 20 46 4b 20 0a 20 20   with the FK .  
6c70: 2a 2a 20 66 6f 72 20 74 68 69 73 20 6f 70 65 72  ** for this oper
6c80: 61 74 69 6f 6e 20 28 65 69 74 68 65 72 20 75 70  ation (either up
6c90: 64 61 74 65 20 6f 72 20 64 65 6c 65 74 65 29 2c  date or delete),
6ca0: 20 69 6e 76 6f 6b 65 20 74 68 65 20 61 73 73 6f   invoke the asso
6cb0: 63 69 61 74 65 64 20 0a 20 20 2a 2a 20 74 72 69  ciated .  ** tri
6cc0: 67 67 65 72 20 73 75 62 2d 70 72 6f 67 72 61 6d  gger sub-program
6cd0: 2e 20 20 2a 2f 0a 20 20 69 66 28 20 70 50 61 72  .  */.  if( pPar
6ce0: 73 65 2d 3e 64 62 2d 3e 66 6c 61 67 73 26 53 51  se->db->flags&SQ
6cf0: 4c 49 54 45 5f 46 6f 72 65 69 67 6e 4b 65 79 73  LITE_ForeignKeys
6d00: 20 29 7b 0a 20 20 20 20 46 4b 65 79 20 2a 70 46   ){.    FKey *pF
6d10: 4b 65 79 3b 20 20 20 20 20 20 20 20 20 20 20 20  Key;            
6d20: 20 20 20 20 20 20 2f 2a 20 49 74 65 72 61 74 6f        /* Iterato
6d30: 72 20 76 61 72 69 61 62 6c 65 20 2a 2f 0a 20 20  r variable */.  
6d40: 20 20 66 6f 72 28 70 46 4b 65 79 20 3d 20 66 6b    for(pFKey = fk
6d50: 52 65 66 65 72 69 6e 67 28 70 54 61 62 29 3b 20  Refering(pTab); 
6d60: 70 46 4b 65 79 3b 20 70 46 4b 65 79 3d 70 46 4b  pFKey; pFKey=pFK
6d70: 65 79 2d 3e 70 4e 65 78 74 54 6f 29 7b 0a 20 20  ey->pNextTo){.  
6d80: 20 20 20 20 54 72 69 67 67 65 72 20 2a 70 41 63      Trigger *pAc
6d90: 74 69 6f 6e 20 3d 20 66 6b 41 63 74 69 6f 6e 54  tion = fkActionT
6da0: 72 69 67 67 65 72 28 70 50 61 72 73 65 2c 20 70  rigger(pParse, p
6db0: 54 61 62 2c 20 70 46 4b 65 79 2c 20 70 43 68 61  Tab, pFKey, pCha
6dc0: 6e 67 65 73 29 3b 0a 20 20 20 20 20 20 69 66 28  nges);.      if(
6dd0: 20 70 41 63 74 69 6f 6e 20 29 7b 0a 20 20 20 20   pAction ){.    
6de0: 20 20 20 20 73 71 6c 69 74 65 33 43 6f 64 65 52      sqlite3CodeR
6df0: 6f 77 54 72 69 67 67 65 72 44 69 72 65 63 74 28  owTriggerDirect(
6e00: 70 50 61 72 73 65 2c 20 70 41 63 74 69 6f 6e 2c  pParse, pAction,
6e10: 20 70 54 61 62 2c 20 72 65 67 4f 6c 64 2c 20 4f   pTab, regOld, O
6e20: 45 5f 41 62 6f 72 74 2c 20 30 29 3b 0a 20 20 20  E_Abort, 0);.   
6e30: 20 20 20 7d 0a 20 20 20 20 7d 0a 20 20 7d 0a 7d     }.    }.  }.}
6e40: 0a 0a 23 65 6e 64 69 66 20 2f 2a 20 69 66 6e 64  ..#endif /* ifnd
6e50: 65 66 20 53 51 4c 49 54 45 5f 4f 4d 49 54 5f 54  ef SQLITE_OMIT_T
6e60: 52 49 47 47 45 52 20 2a 2f 0a 0a 2f 2a 0a 2a 2a  RIGGER */../*.**
6e70: 20 46 72 65 65 20 61 6c 6c 20 6d 65 6d 6f 72 79   Free all memory
6e80: 20 61 73 73 6f 63 69 61 74 65 64 20 77 69 74 68   associated with
6e90: 20 66 6f 72 65 69 67 6e 20 6b 65 79 20 64 65 66   foreign key def
6ea0: 69 6e 69 74 69 6f 6e 73 20 61 74 74 61 63 68 65  initions attache
6eb0: 64 20 74 6f 0a 2a 2a 20 74 61 62 6c 65 20 70 54  d to.** table pT
6ec0: 61 62 2e 20 52 65 6d 6f 76 65 20 74 68 65 20 64  ab. Remove the d
6ed0: 65 6c 65 74 65 64 20 66 6f 72 65 69 67 6e 20 6b  eleted foreign k
6ee0: 65 79 73 20 66 72 6f 6d 20 74 68 65 20 53 63 68  eys from the Sch
6ef0: 65 6d 61 2e 66 6b 65 79 48 61 73 68 0a 2a 2a 20  ema.fkeyHash.** 
6f00: 68 61 73 68 20 74 61 62 6c 65 2e 0a 2a 2f 0a 76  hash table..*/.v
6f10: 6f 69 64 20 73 71 6c 69 74 65 33 46 6b 44 65 6c  oid sqlite3FkDel
6f20: 65 74 65 28 54 61 62 6c 65 20 2a 70 54 61 62 29  ete(Table *pTab)
6f30: 7b 0a 20 20 46 4b 65 79 20 2a 70 46 4b 65 79 3b  {.  FKey *pFKey;
6f40: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
6f50: 20 20 20 20 2f 2a 20 49 74 65 72 61 74 6f 72 20      /* Iterator 
6f60: 76 61 72 69 61 62 6c 65 20 2a 2f 0a 20 20 46 4b  variable */.  FK
6f70: 65 79 20 2a 70 4e 65 78 74 3b 20 20 20 20 20 20  ey *pNext;      
6f80: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a                /*
6f90: 20 43 6f 70 79 20 6f 66 20 70 46 4b 65 79 2d 3e   Copy of pFKey->
6fa0: 70 4e 65 78 74 46 72 6f 6d 20 2a 2f 0a 0a 20 20  pNextFrom */..  
6fb0: 66 6f 72 28 70 46 4b 65 79 3d 70 54 61 62 2d 3e  for(pFKey=pTab->
6fc0: 70 46 4b 65 79 3b 20 70 46 4b 65 79 3b 20 70 46  pFKey; pFKey; pF
6fd0: 4b 65 79 3d 70 4e 65 78 74 29 7b 0a 0a 20 20 20  Key=pNext){..   
6fe0: 20 2f 2a 20 52 65 6d 6f 76 65 20 74 68 65 20 46   /* Remove the F
6ff0: 4b 20 66 72 6f 6d 20 74 68 65 20 66 6b 65 79 48  K from the fkeyH
7000: 61 73 68 20 68 61 73 68 20 74 61 62 6c 65 2e 20  ash hash table. 
7010: 2a 2f 0a 20 20 20 20 69 66 28 20 70 46 4b 65 79  */.    if( pFKey
7020: 2d 3e 70 50 72 65 76 54 6f 20 29 7b 0a 20 20 20  ->pPrevTo ){.   
7030: 20 20 20 70 46 4b 65 79 2d 3e 70 50 72 65 76 54     pFKey->pPrevT
7040: 6f 2d 3e 70 4e 65 78 74 54 6f 20 3d 20 70 46 4b  o->pNextTo = pFK
7050: 65 79 2d 3e 70 4e 65 78 74 54 6f 3b 0a 20 20 20  ey->pNextTo;.   
7060: 20 7d 65 6c 73 65 7b 0a 20 20 20 20 20 20 76 6f   }else{.      vo
7070: 69 64 20 2a 64 61 74 61 20 3d 20 28 76 6f 69 64  id *data = (void
7080: 20 2a 29 70 46 4b 65 79 2d 3e 70 4e 65 78 74 54   *)pFKey->pNextT
7090: 6f 3b 0a 20 20 20 20 20 20 63 6f 6e 73 74 20 63  o;.      const c
70a0: 68 61 72 20 2a 7a 20 3d 20 28 64 61 74 61 20 3f  har *z = (data ?
70b0: 20 70 46 4b 65 79 2d 3e 70 4e 65 78 74 54 6f 2d   pFKey->pNextTo-
70c0: 3e 7a 54 6f 20 3a 20 70 46 4b 65 79 2d 3e 7a 54  >zTo : pFKey->zT
70d0: 6f 29 3b 0a 20 20 20 20 20 20 73 71 6c 69 74 65  o);.      sqlite
70e0: 33 48 61 73 68 49 6e 73 65 72 74 28 26 70 54 61  3HashInsert(&pTa
70f0: 62 2d 3e 70 53 63 68 65 6d 61 2d 3e 66 6b 65 79  b->pSchema->fkey
7100: 48 61 73 68 2c 20 7a 2c 20 73 71 6c 69 74 65 33  Hash, z, sqlite3
7110: 53 74 72 6c 65 6e 33 30 28 7a 29 2c 20 64 61 74  Strlen30(z), dat
7120: 61 29 3b 0a 20 20 20 20 7d 0a 20 20 20 20 69 66  a);.    }.    if
7130: 28 20 70 46 4b 65 79 2d 3e 70 4e 65 78 74 54 6f  ( pFKey->pNextTo
7140: 20 29 7b 0a 20 20 20 20 20 20 70 46 4b 65 79 2d   ){.      pFKey-
7150: 3e 70 4e 65 78 74 54 6f 2d 3e 70 50 72 65 76 54  >pNextTo->pPrevT
7160: 6f 20 3d 20 70 46 4b 65 79 2d 3e 70 50 72 65 76  o = pFKey->pPrev
7170: 54 6f 3b 0a 20 20 20 20 7d 0a 0a 20 20 20 20 2f  To;.    }..    /
7180: 2a 20 44 65 6c 65 74 65 20 61 6e 79 20 74 72 69  * Delete any tri
7190: 67 67 65 72 73 20 63 72 65 61 74 65 64 20 74 6f  ggers created to
71a0: 20 69 6d 70 6c 65 6d 65 6e 74 20 61 63 74 69 6f   implement actio
71b0: 6e 73 20 66 6f 72 20 74 68 69 73 20 46 4b 2e 20  ns for this FK. 
71c0: 2a 2f 0a 23 69 66 6e 64 65 66 20 53 51 4c 49 54  */.#ifndef SQLIT
71d0: 45 5f 4f 4d 49 54 5f 54 52 49 47 47 45 52 0a 20  E_OMIT_TRIGGER. 
71e0: 20 20 20 66 6b 54 72 69 67 67 65 72 44 65 6c 65     fkTriggerDele
71f0: 74 65 28 70 54 61 62 2d 3e 64 62 4d 65 6d 2c 20  te(pTab->dbMem, 
7200: 70 46 4b 65 79 2d 3e 70 4f 6e 44 65 6c 65 74 65  pFKey->pOnDelete
7210: 29 3b 0a 20 20 20 20 66 6b 54 72 69 67 67 65 72  );.    fkTrigger
7220: 44 65 6c 65 74 65 28 70 54 61 62 2d 3e 64 62 4d  Delete(pTab->dbM
7230: 65 6d 2c 20 70 46 4b 65 79 2d 3e 70 4f 6e 55 70  em, pFKey->pOnUp
7240: 64 61 74 65 29 3b 0a 23 65 6e 64 69 66 0a 0a 20  date);.#endif.. 
7250: 20 20 20 2f 2a 20 44 65 6c 65 74 65 20 74 68 65     /* Delete the
7260: 20 6d 65 6d 6f 72 79 20 61 6c 6c 6f 63 61 74 65   memory allocate
7270: 64 20 66 6f 72 20 74 68 65 20 46 4b 20 73 74 72  d for the FK str
7280: 75 63 74 75 72 65 2e 20 2a 2f 0a 20 20 20 20 70  ucture. */.    p
7290: 4e 65 78 74 20 3d 20 70 46 4b 65 79 2d 3e 70 4e  Next = pFKey->pN
72a0: 65 78 74 46 72 6f 6d 3b 0a 20 20 20 20 73 71 6c  extFrom;.    sql
72b0: 69 74 65 33 44 62 46 72 65 65 28 70 54 61 62 2d  ite3DbFree(pTab-
72c0: 3e 64 62 4d 65 6d 2c 20 70 46 4b 65 79 29 3b 0a  >dbMem, pFKey);.
72d0: 20 20 7d 0a 7d 0a 23 65 6e 64 69 66 20 2f 2a 20    }.}.#endif /* 
72e0: 69 66 6e 64 65 66 20 53 51 4c 49 54 45 5f 4f 4d  ifndef SQLITE_OM
72f0: 49 54 5f 46 4f 52 45 49 47 4e 5f 4b 45 59 20 2a  IT_FOREIGN_KEY *
7300: 2f 0a                                            /.