/ Hex Artifact Content
Login

Artifact 77a358c5054726e071dd5064990cea7b47fb790e:


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 0a 2f 2a 0a 2a 2a 20 44 65  GN_KEY../*.** De
0210: 66 65 72 72 65 64 20 61 6e 64 20 49 6d 6d 65 64  ferred and Immed
0220: 69 61 74 65 20 46 4b 73 0a 2a 2a 20 2d 2d 2d 2d  iate FKs.** ----
0230: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0240: 2d 2d 2d 2d 2d 2d 0a 2a 2a 0a 2a 2a 20 46 6f 72  ------.**.** For
0250: 65 69 67 6e 20 6b 65 79 73 20 69 6e 20 53 51 4c  eign keys in SQL
0260: 69 74 65 20 63 6f 6d 65 20 69 6e 20 74 77 6f 20  ite come in two 
0270: 66 6c 61 76 6f 75 72 73 3a 20 64 65 66 65 72 72  flavours: deferr
0280: 65 64 20 61 6e 64 20 69 6d 6d 65 64 69 61 74 65  ed and immediate
0290: 2e 0a 2a 2a 20 49 66 20 61 6e 20 69 6d 6d 65 64  ..** If an immed
02a0: 69 61 74 65 20 66 6f 72 65 69 67 6e 20 6b 65 79  iate foreign key
02b0: 20 63 6f 6e 73 74 72 61 69 6e 74 20 69 73 20 76   constraint is v
02c0: 69 6f 6c 61 74 65 64 2c 20 61 6e 20 4f 50 5f 48  iolated, an OP_H
02d0: 61 6c 74 20 69 73 20 0a 2a 2a 20 65 78 65 63 75  alt is .** execu
02e0: 74 65 64 20 61 6e 64 20 74 68 65 20 63 75 72 72  ted and the curr
02f0: 65 6e 74 20 73 74 61 74 65 6d 65 6e 74 20 74 72  ent statement tr
0300: 61 6e 73 61 63 74 69 6f 6e 20 72 6f 6c 6c 65 64  ansaction rolled
0310: 20 62 61 63 6b 2e 20 49 66 20 61 20 0a 2a 2a 20   back. If a .** 
0320: 64 65 66 65 72 72 65 64 20 66 6f 72 65 69 67 6e  deferred foreign
0330: 20 6b 65 79 20 63 6f 6e 73 74 72 61 69 6e 74 20   key constraint 
0340: 69 73 20 76 69 6f 6c 61 74 65 64 2c 20 6e 6f 20  is violated, no 
0350: 61 63 74 69 6f 6e 20 69 73 20 74 61 6b 65 6e 20  action is taken 
0360: 0a 2a 2a 20 69 6d 6d 65 64 69 61 74 65 6c 79 2e  .** immediately.
0370: 20 48 6f 77 65 76 65 72 20 69 66 20 74 68 65 20   However if the 
0380: 61 70 70 6c 69 63 61 74 69 6f 6e 20 61 74 74 65  application atte
0390: 6d 70 74 73 20 74 6f 20 63 6f 6d 6d 69 74 20 74  mpts to commit t
03a0: 68 65 20 0a 2a 2a 20 74 72 61 6e 73 61 63 74 69  he .** transacti
03b0: 6f 6e 20 62 65 66 6f 72 65 20 66 69 78 69 6e 67  on before fixing
03c0: 20 74 68 65 20 63 6f 6e 73 74 72 61 69 6e 74 20   the constraint 
03d0: 76 69 6f 6c 61 74 69 6f 6e 2c 20 74 68 65 20 61  violation, the a
03e0: 74 74 65 6d 70 74 20 66 61 69 6c 73 2e 0a 2a 2a  ttempt fails..**
03f0: 0a 2a 2a 20 44 65 66 65 72 72 65 64 20 63 6f 6e  .** Deferred con
0400: 73 74 72 61 69 6e 74 73 20 61 72 65 20 69 6d 70  straints are imp
0410: 6c 65 6d 65 6e 74 65 64 20 75 73 69 6e 67 20 61  lemented using a
0420: 20 73 69 6d 70 6c 65 20 63 6f 75 6e 74 65 72 20   simple counter 
0430: 61 73 73 6f 63 69 61 74 65 64 0a 2a 2a 20 77 69  associated.** wi
0440: 74 68 20 74 68 65 20 64 61 74 61 62 61 73 65 20  th the database 
0450: 68 61 6e 64 6c 65 2e 20 54 68 65 20 63 6f 75 6e  handle. The coun
0460: 74 65 72 20 69 73 20 73 65 74 20 74 6f 20 7a 65  ter is set to ze
0470: 72 6f 20 65 61 63 68 20 74 69 6d 65 20 61 20 0a  ro each time a .
0480: 2a 2a 20 64 61 74 61 62 61 73 65 20 74 72 61 6e  ** database tran
0490: 73 61 63 74 69 6f 6e 20 69 73 20 6f 70 65 6e 65  saction is opene
04a0: 64 2e 20 45 61 63 68 20 74 69 6d 65 20 61 20 73  d. Each time a s
04b0: 74 61 74 65 6d 65 6e 74 20 69 73 20 65 78 65 63  tatement is exec
04c0: 75 74 65 64 20 0a 2a 2a 20 74 68 61 74 20 63 61  uted .** that ca
04d0: 75 73 65 73 20 61 20 66 6f 72 65 69 67 6e 20 6b  uses a foreign k
04e0: 65 79 20 76 69 6f 6c 61 74 69 6f 6e 2c 20 74 68  ey violation, th
04f0: 65 20 63 6f 75 6e 74 65 72 20 69 73 20 69 6e 63  e counter is inc
0500: 72 65 6d 65 6e 74 65 64 2e 20 45 61 63 68 0a 2a  remented. Each.*
0510: 2a 20 74 69 6d 65 20 61 20 73 74 61 74 65 6d 65  * time a stateme
0520: 6e 74 20 69 73 20 65 78 65 63 75 74 65 64 20 74  nt is executed t
0530: 68 61 74 20 72 65 6d 6f 76 65 73 20 61 6e 20 65  hat removes an e
0540: 78 69 73 74 69 6e 67 20 76 69 6f 6c 61 74 69 6f  xisting violatio
0550: 6e 20 66 72 6f 6d 0a 2a 2a 20 74 68 65 20 64 61  n from.** the da
0560: 74 61 62 61 73 65 2c 20 74 68 65 20 63 6f 75 6e  tabase, the coun
0570: 74 65 72 20 69 73 20 64 65 63 72 65 6d 65 6e 74  ter is decrement
0580: 65 64 2e 20 57 68 65 6e 20 74 68 65 20 74 72 61  ed. When the tra
0590: 6e 73 61 63 74 69 6f 6e 20 69 73 0a 2a 2a 20 63  nsaction is.** c
05a0: 6f 6d 6d 69 74 74 65 64 2c 20 74 68 65 20 63 6f  ommitted, the co
05b0: 6d 6d 69 74 20 66 61 69 6c 73 20 69 66 20 74 68  mmit fails if th
05c0: 65 20 63 75 72 72 65 6e 74 20 76 61 6c 75 65 20  e current value 
05d0: 6f 66 20 74 68 65 20 63 6f 75 6e 74 65 72 20 69  of the counter i
05e0: 73 0a 2a 2a 20 67 72 65 61 74 65 72 20 74 68 61  s.** greater tha
05f0: 6e 20 7a 65 72 6f 2e 20 54 68 69 73 20 73 63 68  n zero. This sch
0600: 65 6d 65 20 68 61 73 20 74 77 6f 20 62 69 67 20  eme has two big 
0610: 64 72 61 77 62 61 63 6b 73 3a 0a 2a 2a 0a 2a 2a  drawbacks:.**.**
0620: 20 20 20 2a 20 57 68 65 6e 20 61 20 63 6f 6d 6d     * When a comm
0630: 69 74 20 66 61 69 6c 73 20 64 75 65 20 74 6f 20  it fails due to 
0640: 61 20 64 65 66 65 72 72 65 64 20 66 6f 72 65 69  a deferred forei
0650: 67 6e 20 6b 65 79 20 63 6f 6e 73 74 72 61 69 6e  gn key constrain
0660: 74 2c 20 0a 2a 2a 20 20 20 20 20 74 68 65 72 65  t, .**     there
0670: 20 69 73 20 6e 6f 20 77 61 79 20 74 6f 20 74 65   is no way to te
0680: 6c 6c 20 77 68 69 63 68 20 66 6f 72 65 69 67 6e  ll which foreign
0690: 20 63 6f 6e 73 74 72 61 69 6e 74 20 69 73 20 6e   constraint is n
06a0: 6f 74 20 73 61 74 69 73 66 69 65 64 2c 0a 2a 2a  ot satisfied,.**
06b0: 20 20 20 20 20 6f 72 20 77 68 69 63 68 20 72 6f       or which ro
06c0: 77 20 69 74 20 69 73 20 6e 6f 74 20 73 61 74 69  w it is not sati
06d0: 73 66 69 65 64 20 66 6f 72 2e 0a 2a 2a 0a 2a 2a  sfied for..**.**
06e0: 20 20 20 2a 20 49 66 20 74 68 65 20 64 61 74 61     * If the data
06f0: 62 61 73 65 20 63 6f 6e 74 61 69 6e 73 20 66 6f  base contains fo
0700: 72 65 69 67 6e 20 6b 65 79 20 76 69 6f 6c 61 74  reign key violat
0710: 69 6f 6e 73 20 77 68 65 6e 20 74 68 65 20 0a 2a  ions when the .*
0720: 2a 20 20 20 20 20 74 72 61 6e 73 61 63 74 69 6f  *     transactio
0730: 6e 20 69 73 20 6f 70 65 6e 65 64 2c 20 74 68 69  n is opened, thi
0740: 73 20 6d 61 79 20 63 61 75 73 65 20 74 68 65 20  s may cause the 
0750: 6d 65 63 68 61 6e 69 73 6d 20 74 6f 20 6d 61 6c  mechanism to mal
0760: 66 75 6e 63 74 69 6f 6e 2e 0a 2a 2a 0a 2a 2a 20  function..**.** 
0770: 44 65 73 70 69 74 65 20 74 68 65 73 65 20 70 72  Despite these pr
0780: 6f 62 6c 65 6d 73 2c 20 74 68 69 73 20 61 70 70  oblems, this app
0790: 72 6f 61 63 68 20 69 73 20 61 64 6f 70 74 65 64  roach is adopted
07a0: 20 61 73 20 69 74 20 73 65 65 6d 73 20 73 69 6d   as it seems sim
07b0: 70 6c 65 72 0a 2a 2a 20 74 68 61 6e 20 74 68 65  pler.** than the
07c0: 20 61 6c 74 65 72 6e 61 74 69 76 65 73 2e 0a 2a   alternatives..*
07d0: 2a 0a 2a 2a 20 49 4e 53 45 52 54 20 6f 70 65 72  *.** INSERT oper
07e0: 61 74 69 6f 6e 73 3a 0a 2a 2a 0a 2a 2a 20 20 20  ations:.**.**   
07f0: 49 2e 31 29 20 46 6f 72 20 65 61 63 68 20 46 4b  I.1) For each FK
0800: 20 66 6f 72 20 77 68 69 63 68 20 74 68 65 20 74   for which the t
0810: 61 62 6c 65 20 69 73 20 74 68 65 20 72 65 66 65  able is the refe
0820: 72 65 6e 63 69 6e 67 20 74 61 62 6c 65 2c 20 73  rencing table, s
0830: 65 61 72 63 68 0a 2a 2a 20 20 20 20 20 20 20 20  earch.**        
0840: 74 68 65 20 72 65 66 65 72 65 6e 63 65 64 20 74  the referenced t
0850: 61 62 6c 65 20 66 6f 72 20 61 20 6d 61 74 63 68  able for a match
0860: 2e 20 49 66 20 6e 6f 6e 65 20 69 73 20 66 6f 75  . If none is fou
0870: 6e 64 2c 20 74 68 72 6f 77 20 61 6e 20 0a 2a 2a  nd, throw an .**
0880: 20 20 20 20 20 20 20 20 65 78 63 65 70 74 69 6f          exceptio
0890: 6e 20 66 6f 72 20 61 6e 20 69 6d 6d 65 64 69 61  n for an immedia
08a0: 74 65 20 46 4b 2c 20 6f 72 20 69 6e 63 72 65 6d  te FK, or increm
08b0: 65 6e 74 20 74 68 65 20 63 6f 75 6e 74 65 72 20  ent the counter 
08c0: 66 6f 72 20 61 0a 2a 2a 20 20 20 20 20 20 20 20  for a.**        
08d0: 64 65 66 65 72 72 65 64 20 46 4b 2e 0a 2a 2a 0a  deferred FK..**.
08e0: 2a 2a 20 20 20 49 2e 32 29 20 46 6f 72 20 65 61  **   I.2) For ea
08f0: 63 68 20 64 65 66 65 72 72 65 64 20 46 4b 20 66  ch deferred FK f
0900: 6f 72 20 77 68 69 63 68 20 74 68 65 20 74 61 62  or which the tab
0910: 6c 65 20 69 73 20 74 68 65 20 72 65 66 65 72 65  le is the refere
0920: 6e 63 65 64 20 74 61 62 6c 65 2c 20 0a 2a 2a 20  nced table, .** 
0930: 20 20 20 20 20 20 20 73 65 61 72 63 68 20 74 68         search th
0940: 65 20 72 65 66 65 72 65 6e 63 69 6e 67 20 74 61  e referencing ta
0950: 62 6c 65 20 66 6f 72 20 72 6f 77 73 20 74 68 61  ble for rows tha
0960: 74 20 63 6f 72 72 65 73 70 6f 6e 64 20 74 6f 20  t correspond to 
0970: 74 68 65 20 6e 65 77 0a 2a 2a 20 20 20 20 20 20  the new.**      
0980: 20 20 72 6f 77 20 69 6e 20 74 68 65 20 72 65 66    row in the ref
0990: 65 72 65 6e 63 65 64 20 74 61 62 6c 65 2e 20 44  erenced table. D
09a0: 65 63 72 65 6d 65 6e 74 20 74 68 65 20 63 6f 75  ecrement the cou
09b0: 6e 74 65 72 20 66 6f 72 20 65 61 63 68 20 72 6f  nter for each ro
09c0: 77 0a 2a 2a 20 20 20 20 20 20 20 20 66 6f 75 6e  w.**        foun
09d0: 64 20 28 61 73 20 74 68 65 20 63 6f 6e 73 74 72  d (as the constr
09e0: 61 69 6e 74 20 69 73 20 6e 6f 77 20 73 61 74 69  aint is now sati
09f0: 73 66 69 65 64 29 2e 0a 2a 2a 0a 2a 2a 20 44 45  sfied)..**.** DE
0a00: 4c 45 54 45 20 6f 70 65 72 61 74 69 6f 6e 73 3a  LETE operations:
0a10: 0a 2a 2a 0a 2a 2a 20 20 20 44 2e 31 29 20 46 6f  .**.**   D.1) Fo
0a20: 72 20 65 61 63 68 20 64 65 66 65 72 72 65 64 20  r each deferred 
0a30: 46 4b 20 66 6f 72 20 77 68 69 63 68 20 74 68 65  FK for which the
0a40: 20 74 61 62 6c 65 20 69 73 20 74 68 65 20 72 65   table is the re
0a50: 66 65 72 65 6e 63 69 6e 67 20 74 61 62 6c 65 2c  ferencing table,
0a60: 20 0a 2a 2a 20 20 20 20 20 20 20 20 73 65 61 72   .**        sear
0a70: 63 68 20 74 68 65 20 72 65 66 65 72 65 6e 63 65  ch the reference
0a80: 64 20 74 61 62 6c 65 20 66 6f 72 20 61 20 72 6f  d table for a ro
0a90: 77 20 74 68 61 74 20 63 6f 72 72 65 73 70 6f 6e  w that correspon
0aa0: 64 73 20 74 6f 20 74 68 65 20 0a 2a 2a 20 20 20  ds to the .**   
0ab0: 20 20 20 20 20 64 65 6c 65 74 65 64 20 72 6f 77       deleted row
0ac0: 20 69 6e 20 74 68 65 20 72 65 66 65 72 65 6e 63   in the referenc
0ad0: 69 6e 67 20 74 61 62 6c 65 2e 20 49 66 20 73 75  ing table. If su
0ae0: 63 68 20 61 20 72 6f 77 20 69 73 20 6e 6f 74 20  ch a row is not 
0af0: 66 6f 75 6e 64 2c 20 0a 2a 2a 20 20 20 20 20 20  found, .**      
0b00: 20 20 64 65 63 72 65 6d 65 6e 74 20 74 68 65 20    decrement the 
0b10: 63 6f 75 6e 74 65 72 2e 0a 2a 2a 0a 2a 2a 20 20  counter..**.**  
0b20: 20 44 2e 32 29 20 46 6f 72 20 65 61 63 68 20 46   D.2) For each F
0b30: 4b 20 66 6f 72 20 77 68 69 63 68 20 74 68 65 20  K for which the 
0b40: 74 61 62 6c 65 20 69 73 20 74 68 65 20 72 65 66  table is the ref
0b50: 65 72 65 6e 63 65 64 20 74 61 62 6c 65 2c 20 73  erenced table, s
0b60: 65 61 72 63 68 20 0a 2a 2a 20 20 20 20 20 20 20  earch .**       
0b70: 20 74 68 65 20 72 65 66 65 72 65 6e 63 69 6e 67   the referencing
0b80: 20 74 61 62 6c 65 20 66 6f 72 20 72 6f 77 73 20   table for rows 
0b90: 74 68 61 74 20 63 6f 72 72 65 73 70 6f 6e 64 20  that correspond 
0ba0: 74 6f 20 74 68 65 20 64 65 6c 65 74 65 64 20 72  to the deleted r
0bb0: 6f 77 20 0a 2a 2a 20 20 20 20 20 20 20 20 69 6e  ow .**        in
0bc0: 20 74 68 65 20 72 65 66 65 72 65 6e 63 65 64 20   the referenced 
0bd0: 74 61 62 6c 65 2e 20 46 6f 72 20 65 61 63 68 20  table. For each 
0be0: 66 6f 75 6e 64 2c 20 74 68 72 6f 77 20 61 6e 20  found, throw an 
0bf0: 65 78 63 65 70 74 69 6f 6e 20 66 6f 72 20 61 6e  exception for an
0c00: 0a 2a 2a 20 20 20 20 20 20 20 20 69 6d 6d 65 64  .**        immed
0c10: 69 61 74 65 20 46 4b 2c 20 6f 72 20 69 6e 63 72  iate FK, or incr
0c20: 65 6d 65 6e 74 20 74 68 65 20 63 6f 75 6e 74 65  ement the counte
0c30: 72 20 66 6f 72 20 61 20 64 65 66 65 72 72 65 64  r for a deferred
0c40: 20 46 4b 2e 0a 2a 2a 0a 2a 2a 20 55 50 44 41 54   FK..**.** UPDAT
0c50: 45 20 6f 70 65 72 61 74 69 6f 6e 73 3a 0a 2a 2a  E operations:.**
0c60: 0a 2a 2a 20 20 20 41 6e 20 55 50 44 41 54 45 20  .**   An UPDATE 
0c70: 63 6f 6d 6d 61 6e 64 20 72 65 71 75 69 72 65 73  command requires
0c80: 20 74 68 61 74 20 61 6c 6c 20 34 20 73 74 65 70   that all 4 step
0c90: 73 20 61 62 6f 76 65 20 61 72 65 20 74 61 6b 65  s above are take
0ca0: 6e 2c 20 62 75 74 20 6f 6e 6c 79 0a 2a 2a 20 20  n, but only.**  
0cb0: 20 66 6f 72 20 46 4b 20 63 6f 6e 73 74 72 61 69   for FK constrai
0cc0: 6e 74 73 20 66 6f 72 20 77 68 69 63 68 20 74 68  nts for which th
0cd0: 65 20 61 66 66 65 63 74 65 64 20 63 6f 6c 75 6d  e affected colum
0ce0: 6e 73 20 61 72 65 20 61 63 74 75 61 6c 6c 79 20  ns are actually 
0cf0: 0a 2a 2a 20 20 20 6d 6f 64 69 66 69 65 64 20 28  .**   modified (
0d00: 76 61 6c 75 65 73 20 6d 75 73 74 20 62 65 20 63  values must be c
0d10: 6f 6d 70 61 72 65 64 20 61 74 20 72 75 6e 74 69  ompared at runti
0d20: 6d 65 29 2e 0a 2a 2a 0a 2a 2a 20 4e 6f 74 65 20  me)..**.** Note 
0d30: 74 68 61 74 20 49 2e 31 20 61 6e 64 20 44 2e 31  that I.1 and D.1
0d40: 20 61 72 65 20 76 65 72 79 20 73 69 6d 69 6c 61   are very simila
0d50: 72 20 6f 70 65 72 61 74 69 6f 6e 73 2c 20 61 73  r operations, as
0d60: 20 61 72 65 20 49 2e 32 20 61 6e 64 20 44 2e 32   are I.2 and D.2
0d70: 2e 0a 2a 2a 20 54 68 69 73 20 73 69 6d 70 6c 69  ..** This simpli
0d80: 66 69 65 73 20 74 68 65 20 69 6d 70 6c 65 6d 65  fies the impleme
0d90: 6e 74 61 74 69 6f 6e 20 61 20 62 69 74 2e 0a 2a  ntation a bit..*
0da0: 2a 0a 2a 2a 20 46 6f 72 20 74 68 65 20 70 75 72  *.** For the pur
0db0: 70 6f 73 65 73 20 6f 66 20 69 6d 6d 65 64 69 61  poses of immedia
0dc0: 74 65 20 46 4b 20 63 6f 6e 73 74 72 61 69 6e 74  te FK constraint
0dd0: 73 2c 20 74 68 65 20 4f 52 20 52 45 50 4c 41 43  s, the OR REPLAC
0de0: 45 20 63 6f 6e 66 6c 69 63 74 0a 2a 2a 20 72 65  E conflict.** re
0df0: 73 6f 6c 75 74 69 6f 6e 20 69 73 20 63 6f 6e 73  solution is cons
0e00: 69 64 65 72 65 64 20 74 6f 20 64 65 6c 65 74 65  idered to delete
0e10: 20 72 6f 77 73 20 62 65 66 6f 72 65 20 74 68 65   rows before the
0e20: 20 6e 65 77 20 72 6f 77 20 69 73 20 69 6e 73 65   new row is inse
0e30: 72 74 65 64 2e 0a 2a 2a 20 49 66 20 61 20 64 65  rted..** If a de
0e40: 6c 65 74 65 20 63 61 75 73 65 64 20 62 79 20 4f  lete caused by O
0e50: 52 20 52 45 50 4c 41 43 45 20 76 69 6f 6c 61 74  R REPLACE violat
0e60: 65 73 20 61 6e 20 46 4b 20 63 6f 6e 73 74 72 61  es an FK constra
0e70: 69 6e 74 2c 20 61 6e 20 65 78 63 65 70 74 69 6f  int, an exceptio
0e80: 6e 0a 2a 2a 20 69 73 20 74 68 72 6f 77 6e 2c 20  n.** is thrown, 
0e90: 65 76 65 6e 20 69 66 20 74 68 65 20 46 4b 20 63  even if the FK c
0ea0: 6f 6e 73 74 72 61 69 6e 74 20 77 6f 75 6c 64 20  onstraint would 
0eb0: 62 65 20 73 61 74 69 73 66 69 65 64 20 61 66 74  be satisfied aft
0ec0: 65 72 20 74 68 65 20 6e 65 77 20 0a 2a 2a 20 72  er the new .** r
0ed0: 6f 77 20 69 73 20 69 6e 73 65 72 74 65 64 2e 0a  ow is inserted..
0ee0: 2a 2a 0a 2a 2a 20 54 4f 44 4f 3a 20 48 6f 77 20  **.** TODO: How 
0ef0: 73 68 6f 75 6c 64 20 64 72 6f 70 70 69 6e 67 20  should dropping 
0f00: 61 20 74 61 62 6c 65 20 62 65 20 68 61 6e 64 6c  a table be handl
0f10: 65 64 3f 20 48 6f 77 20 73 68 6f 75 6c 64 20 72  ed? How should r
0f20: 65 6e 61 6d 69 6e 67 20 61 20 0a 2a 2a 20 74 61  enaming a .** ta
0f30: 62 6c 65 20 62 65 20 68 61 6e 64 6c 65 64 3f 0a  ble be handled?.
0f40: 2a 2f 0a 0a 2f 2a 0a 2a 2a 20 51 75 65 72 79 20  */../*.** Query 
0f50: 41 50 49 20 4e 6f 74 65 73 0a 2a 2a 20 2d 2d 2d  API Notes.** ---
0f60: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 2a 2a 0a  ------------.**.
0f70: 2a 2a 20 42 65 66 6f 72 65 20 63 6f 64 69 6e 67  ** Before coding
0f80: 20 61 6e 20 55 50 44 41 54 45 20 6f 72 20 44 45   an UPDATE or DE
0f90: 4c 45 54 45 20 72 6f 77 20 6f 70 65 72 61 74 69  LETE row operati
0fa0: 6f 6e 2c 20 74 68 65 20 63 6f 64 65 2d 67 65 6e  on, the code-gen
0fb0: 65 72 61 74 6f 72 0a 2a 2a 20 66 6f 72 20 74 68  erator.** for th
0fc0: 6f 73 65 20 74 77 6f 20 6f 70 65 72 61 74 69 6f  ose two operatio
0fd0: 6e 73 20 6e 65 65 64 73 20 74 6f 20 6b 6e 6f 77  ns needs to know
0fe0: 20 77 68 65 74 68 65 72 20 6f 72 20 6e 6f 74 20   whether or not 
0ff0: 74 68 65 20 6f 70 65 72 61 74 69 6f 6e 0a 2a 2a  the operation.**
1000: 20 72 65 71 75 69 72 65 73 20 61 6e 79 20 46 4b   requires any FK
1010: 20 70 72 6f 63 65 73 73 69 6e 67 20 61 6e 64 2c   processing and,
1020: 20 69 66 20 73 6f 2c 20 77 68 69 63 68 20 63 6f   if so, which co
1030: 6c 75 6d 6e 73 20 6f 66 20 74 68 65 20 6f 72 69  lumns of the ori
1040: 67 69 6e 61 6c 0a 2a 2a 20 72 6f 77 20 61 72 65  ginal.** row are
1050: 20 72 65 71 75 69 72 65 64 20 62 79 20 74 68 65   required by the
1060: 20 46 4b 20 70 72 6f 63 65 73 73 69 6e 67 20 56   FK processing V
1070: 44 42 45 20 63 6f 64 65 20 28 69 2e 65 2e 20 69  DBE code (i.e. i
1080: 66 20 46 4b 73 20 77 65 72 65 0a 2a 2a 20 69 6d  f FKs were.** im
1090: 70 6c 65 6d 65 6e 74 65 64 20 75 73 69 6e 67 20  plemented using 
10a0: 74 72 69 67 67 65 72 73 2c 20 77 68 69 63 68 20  triggers, which 
10b0: 6f 66 20 74 68 65 20 6f 6c 64 2e 2a 20 63 6f 6c  of the old.* col
10c0: 75 6d 6e 73 20 77 6f 75 6c 64 20 62 65 20 0a 2a  umns would be .*
10d0: 2a 20 61 63 63 65 73 73 65 64 29 2e 20 4e 6f 20  * accessed). No 
10e0: 69 6e 66 6f 72 6d 61 74 69 6f 6e 20 69 73 20 72  information is r
10f0: 65 71 75 69 72 65 64 20 62 79 20 74 68 65 20 63  equired by the c
1100: 6f 64 65 2d 67 65 6e 65 72 61 74 6f 72 20 62 65  ode-generator be
1110: 66 6f 72 65 0a 2a 2a 20 63 6f 64 69 6e 67 20 61  fore.** coding a
1120: 6e 20 49 4e 53 45 52 54 20 6f 70 65 72 61 74 69  n INSERT operati
1130: 6f 6e 2e 0a 2a 2a 0a 2a 2f 0a 0a 2f 2a 0a 2a 2a  on..**.*/../*.**
1140: 20 56 44 42 45 20 43 61 6c 6c 69 6e 67 20 43 6f   VDBE Calling Co
1150: 6e 76 65 6e 74 69 6f 6e 0a 2a 2a 20 2d 2d 2d 2d  nvention.** ----
1160: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1170: 2d 2d 2d 0a 2a 2a 0a 2a 2a 20 45 78 61 6d 70 6c  ---.**.** Exampl
1180: 65 3a 0a 2a 2a 0a 2a 2a 20 20 20 46 6f 72 20 74  e:.**.**   For t
1190: 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 49 4e 53  he following INS
11a0: 45 52 54 20 73 74 61 74 65 6d 65 6e 74 3a 0a 2a  ERT statement:.*
11b0: 2a 0a 2a 2a 20 20 20 20 20 43 52 45 41 54 45 20  *.**     CREATE 
11c0: 54 41 42 4c 45 20 74 31 28 61 2c 20 62 20 49 4e  TABLE t1(a, b IN
11d0: 54 45 47 45 52 20 50 52 49 4d 41 52 59 20 4b 45  TEGER PRIMARY KE
11e0: 59 2c 20 63 29 3b 0a 2a 2a 20 20 20 20 20 49 4e  Y, c);.**     IN
11f0: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c  SERT INTO t1 VAL
1200: 55 45 53 28 31 2c 20 32 2c 20 33 2e 31 29 3b 0a  UES(1, 2, 3.1);.
1210: 2a 2a 0a 2a 2a 20 20 20 52 65 67 69 73 74 65 72  **.**   Register
1220: 20 28 78 29 3a 20 20 20 20 20 20 20 20 32 20 20   (x):        2  
1230: 20 20 28 74 79 70 65 20 69 6e 74 65 67 65 72 29    (type integer)
1240: 0a 2a 2a 20 20 20 52 65 67 69 73 74 65 72 20 28  .**   Register (
1250: 78 2b 31 29 3a 20 20 20 20 20 20 31 20 20 20 20  x+1):      1    
1260: 28 74 79 70 65 20 69 6e 74 65 67 65 72 29 0a 2a  (type integer).*
1270: 2a 20 20 20 52 65 67 69 73 74 65 72 20 28 78 2b  *   Register (x+
1280: 32 29 3a 20 20 20 20 20 20 4e 55 4c 4c 20 28 74  2):      NULL (t
1290: 79 70 65 20 4e 55 4c 4c 29 0a 2a 2a 20 20 20 52  ype NULL).**   R
12a0: 65 67 69 73 74 65 72 20 28 78 2b 33 29 3a 20 20  egister (x+3):  
12b0: 20 20 20 20 33 2e 31 20 20 28 74 79 70 65 20 72      3.1  (type r
12c0: 65 61 6c 29 0a 2a 2f 0a 0a 2f 2a 0a 2a 2a 20 4f  eal).*/../*.** O
12d0: 4e 20 55 50 44 41 54 45 20 61 6e 64 20 4f 4e 20  N UPDATE and ON 
12e0: 44 45 4c 45 54 45 20 63 6c 61 75 73 65 73 0a 2a  DELETE clauses.*
12f0: 2a 20 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  * --------------
1300: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1310: 2d 0a 2a 2f 0a 0a 2f 2a 0a 2a 2a 20 45 78 74 65  -.*/../*.** Exte
1320: 72 6e 61 6c 6c 79 20 61 63 63 65 73 73 69 62 6c  rnally accessibl
1330: 65 20 6d 6f 64 75 6c 65 20 66 75 6e 63 74 69 6f  e module functio
1340: 6e 73 0a 2a 2a 20 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ns.** ----------
1350: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1360: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 2a 2a 0a  ------------.**.
1370: 2a 2a 20 20 20 73 71 6c 69 74 65 33 46 6b 52 65  **   sqlite3FkRe
1380: 71 75 69 72 65 64 28 29 0a 2a 2a 20 20 20 73 71  quired().**   sq
1390: 6c 69 74 65 33 46 6b 4f 6c 64 6d 61 73 6b 28 29  lite3FkOldmask()
13a0: 0a 2a 2a 0a 2a 2a 20 20 20 73 71 6c 69 74 65 33  .**.**   sqlite3
13b0: 46 6b 43 68 65 63 6b 28 29 0a 2a 2a 20 20 20 73  FkCheck().**   s
13c0: 71 6c 69 74 65 33 46 6b 41 63 74 69 6f 6e 73 28  qlite3FkActions(
13d0: 29 0a 2a 2a 0a 2a 2a 20 20 20 73 71 6c 69 74 65  ).**.**   sqlite
13e0: 33 46 6b 44 65 6c 65 74 65 28 29 0a 2a 2a 20 0a  3FkDelete().** .
13f0: 2a 2f 0a 0a 2f 2a 0a 2a 2a 20 41 20 66 6f 72 65  */../*.** A fore
1400: 69 67 6e 20 6b 65 79 20 63 6f 6e 73 74 72 61 69  ign key constrai
1410: 6e 74 20 72 65 71 75 69 72 65 73 20 74 68 61 74  nt requires that
1420: 20 74 68 65 20 6b 65 79 20 63 6f 6c 75 6d 6e 73   the key columns
1430: 20 69 6e 20 74 68 65 20 72 65 66 65 72 65 6e 63   in the referenc
1440: 65 64 0a 2a 2a 20 74 61 62 6c 65 20 61 72 65 20  ed.** table are 
1450: 63 6f 6c 6c 65 63 74 69 76 65 6c 79 20 73 75 62  collectively sub
1460: 6a 65 63 74 20 74 6f 20 61 20 55 4e 49 51 55 45  ject to a UNIQUE
1470: 20 6f 72 20 50 52 49 4d 41 52 59 20 4b 45 59 20   or PRIMARY KEY 
1480: 63 6f 6e 73 74 72 61 69 6e 74 2e 0a 2a 2a 20 47  constraint..** G
1490: 69 76 65 6e 20 74 68 61 74 20 70 54 6f 20 69 73  iven that pTo is
14a0: 20 74 68 65 20 72 65 66 65 72 65 6e 63 65 64 20   the referenced 
14b0: 74 61 62 6c 65 20 66 6f 72 20 66 6f 72 65 69 67  table for foreig
14c0: 6e 20 6b 65 79 20 63 6f 6e 73 74 72 61 69 6e 74  n key constraint
14d0: 0a 2a 2a 20 70 46 4b 65 79 2c 20 63 68 65 63 6b  .** pFKey, check
14e0: 20 74 68 61 74 20 74 68 65 20 63 6f 6c 75 6d 6e   that the column
14f0: 73 20 69 6e 20 70 54 6f 20 61 72 65 20 69 6e 64  s in pTo are ind
1500: 65 65 64 20 73 75 62 6a 65 63 74 20 74 6f 20 61  eed subject to a
1510: 20 73 75 63 68 20 61 0a 2a 2a 20 63 6f 6e 73 74   such a.** const
1520: 72 61 69 6e 74 2e 20 49 66 20 74 68 65 79 20 61  raint. If they a
1530: 72 65 20 6e 6f 74 2c 20 72 65 74 75 72 6e 20 6e  re not, return n
1540: 6f 6e 2d 7a 65 72 6f 20 61 6e 64 20 6c 65 61 76  on-zero and leav
1550: 65 20 61 6e 20 65 72 72 6f 72 20 69 6e 20 70 50  e an error in pP
1560: 61 72 73 65 2e 0a 2a 2a 0a 2a 2a 20 49 66 20 61  arse..**.** If a
1570: 6e 20 65 72 72 6f 72 20 64 6f 65 73 20 6e 6f 74  n error does not
1580: 20 6f 63 63 75 72 2c 20 72 65 74 75 72 6e 20 7a   occur, return z
1590: 65 72 6f 2e 0a 2a 2f 0a 73 74 61 74 69 63 20 69  ero..*/.static i
15a0: 6e 74 20 6c 6f 63 61 74 65 46 6b 65 79 49 6e 64  nt locateFkeyInd
15b0: 65 78 28 0a 20 20 50 61 72 73 65 20 2a 70 50 61  ex(.  Parse *pPa
15c0: 72 73 65 2c 20 20 20 20 20 20 20 20 20 20 20 20  rse,            
15d0: 20 20 20 20 20 20 2f 2a 20 50 61 72 73 65 20 63        /* Parse c
15e0: 6f 6e 74 65 78 74 20 74 6f 20 73 74 6f 72 65 20  ontext to store 
15f0: 61 6e 79 20 65 72 72 6f 72 20 69 6e 20 2a 2f 0a  any error in */.
1600: 20 20 54 61 62 6c 65 20 2a 70 54 6f 2c 20 20 20    Table *pTo,   
1610: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1620: 20 20 2f 2a 20 52 65 66 65 72 65 6e 63 65 64 20    /* Referenced 
1630: 74 61 62 6c 65 20 2a 2f 0a 20 20 46 4b 65 79 20  table */.  FKey 
1640: 2a 70 46 4b 65 79 2c 20 20 20 20 20 20 20 20 20  *pFKey,         
1650: 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 46 6f             /* Fo
1660: 72 65 69 67 6e 20 6b 65 79 20 74 6f 20 66 69 6e  reign key to fin
1670: 64 20 69 6e 64 65 78 20 66 6f 72 20 2a 2f 0a 20  d index for */. 
1680: 20 49 6e 64 65 78 20 2a 2a 70 70 49 64 78 2c 20   Index **ppIdx, 
1690: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
16a0: 20 2f 2a 20 4f 55 54 3a 20 55 6e 69 71 75 65 20   /* OUT: Unique 
16b0: 69 6e 64 65 78 20 6f 6e 20 72 65 66 65 72 65 6e  index on referen
16c0: 63 65 64 20 74 61 62 6c 65 20 2a 2f 0a 20 20 69  ced table */.  i
16d0: 6e 74 20 2a 2a 70 61 69 43 6f 6c 20 20 20 20 20  nt **paiCol     
16e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f                 /
16f0: 2a 20 4f 55 54 3a 20 4d 61 70 20 6f 66 20 69 6e  * OUT: Map of in
1700: 64 65 78 20 63 6f 6c 75 6d 6e 73 20 69 6e 20 70  dex columns in p
1710: 46 4b 65 79 20 2a 2f 0a 29 7b 0a 20 20 49 6e 64  FKey */.){.  Ind
1720: 65 78 20 2a 70 49 64 78 20 3d 20 30 3b 0a 20 20  ex *pIdx = 0;.  
1730: 69 6e 74 20 2a 61 69 43 6f 6c 20 3d 20 30 3b 0a  int *aiCol = 0;.
1740: 20 20 69 6e 74 20 6e 43 6f 6c 20 3d 20 70 46 4b    int nCol = pFK
1750: 65 79 2d 3e 6e 43 6f 6c 3b 0a 20 20 63 68 61 72  ey->nCol;.  char
1760: 20 2a 7a 46 69 72 73 74 20 3d 20 70 46 4b 65 79   *zFirst = pFKey
1770: 2d 3e 61 43 6f 6c 5b 30 5d 2e 7a 43 6f 6c 3b 0a  ->aCol[0].zCol;.
1780: 0a 20 20 2f 2a 20 54 68 65 20 63 61 6c 6c 65 72  .  /* The caller
1790: 20 69 73 20 72 65 73 70 6f 6e 73 69 62 6c 65 20   is responsible 
17a0: 66 6f 72 20 7a 65 72 6f 69 6e 67 20 6f 75 74 70  for zeroing outp
17b0: 75 74 20 70 61 72 61 6d 65 74 65 72 73 2e 20 2a  ut parameters. *
17c0: 2f 0a 20 20 61 73 73 65 72 74 28 20 70 70 49 64  /.  assert( ppId
17d0: 78 20 26 26 20 2a 70 70 49 64 78 3d 3d 30 20 29  x && *ppIdx==0 )
17e0: 3b 0a 20 20 61 73 73 65 72 74 28 20 21 70 61 69  ;.  assert( !pai
17f0: 43 6f 6c 20 7c 7c 20 2a 70 61 69 43 6f 6c 3d 3d  Col || *paiCol==
1800: 30 20 29 3b 0a 0a 20 20 2f 2a 20 49 66 20 74 68  0 );..  /* If th
1810: 69 73 20 69 73 20 61 20 6e 6f 6e 2d 63 6f 6d 70  is is a non-comp
1820: 6f 73 69 74 65 20 28 73 69 6e 67 6c 65 20 63 6f  osite (single co
1830: 6c 75 6d 6e 29 20 66 6f 72 65 69 67 6e 20 6b 65  lumn) foreign ke
1840: 79 2c 20 63 68 65 63 6b 20 69 66 20 69 74 20 0a  y, check if it .
1850: 20 20 2a 2a 20 6d 61 70 73 20 74 6f 20 74 68 65    ** maps to the
1860: 20 49 4e 54 45 47 45 52 20 50 52 49 4d 41 52 59   INTEGER PRIMARY
1870: 20 4b 45 59 20 6f 66 20 74 61 62 6c 65 20 70 54   KEY of table pT
1880: 6f 2e 20 49 66 20 73 6f 2c 20 6c 65 61 76 65 20  o. If so, leave 
1890: 2a 70 70 49 64 78 20 0a 20 20 2a 2a 20 61 6e 64  *ppIdx .  ** and
18a0: 20 2a 70 61 69 43 6f 6c 20 73 65 74 20 74 6f 20   *paiCol set to 
18b0: 7a 65 72 6f 20 61 6e 64 20 72 65 74 75 72 6e 20  zero and return 
18c0: 65 61 72 6c 79 2e 20 0a 20 20 2a 2a 0a 20 20 2a  early. .  **.  *
18d0: 2a 20 4f 74 68 65 72 77 69 73 65 2c 20 66 6f 72  * Otherwise, for
18e0: 20 61 20 63 6f 6d 70 6f 73 69 74 65 20 66 6f 72   a composite for
18f0: 65 69 67 6e 20 6b 65 79 20 28 6d 6f 72 65 20 74  eign key (more t
1900: 68 61 6e 20 6f 6e 65 20 63 6f 6c 75 6d 6e 29 2c  han one column),
1910: 20 61 6c 6c 6f 63 61 74 65 0a 20 20 2a 2a 20 73   allocate.  ** s
1920: 70 61 63 65 20 66 6f 72 20 74 68 65 20 61 69 43  pace for the aiC
1930: 6f 6c 20 61 72 72 61 79 20 28 72 65 74 75 72 6e  ol array (return
1940: 65 64 20 76 69 61 20 6f 75 74 70 75 74 20 70 61  ed via output pa
1950: 72 61 6d 65 74 65 72 20 2a 70 61 69 43 6f 6c 29  rameter *paiCol)
1960: 2e 0a 20 20 2a 2a 20 4e 6f 6e 2d 63 6f 6d 70 6f  ..  ** Non-compo
1970: 73 69 74 65 20 66 6f 72 65 69 67 6e 20 6b 65 79  site foreign key
1980: 73 20 64 6f 20 6e 6f 74 20 72 65 71 75 69 72 65  s do not require
1990: 20 74 68 65 20 61 69 43 6f 6c 20 61 72 72 61 79   the aiCol array
19a0: 2e 0a 20 20 2a 2f 0a 20 20 69 66 28 20 6e 43 6f  ..  */.  if( nCo
19b0: 6c 3d 3d 31 20 29 7b 0a 20 20 20 20 2f 2a 20 54  l==1 ){.    /* T
19c0: 68 65 20 46 4b 20 6d 61 70 73 20 74 6f 20 74 68  he FK maps to th
19d0: 65 20 49 50 4b 20 69 66 20 61 6e 79 20 6f 66 20  e IPK if any of 
19e0: 74 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 61 72  the following ar
19f0: 65 20 74 72 75 65 3a 0a 20 20 20 20 2a 2a 0a 20  e true:.    **. 
1a00: 20 20 20 2a 2a 20 20 20 31 29 20 54 68 65 20 46     **   1) The F
1a10: 4b 20 69 73 20 65 78 70 6c 69 63 69 74 6c 79 20  K is explicitly 
1a20: 6d 61 70 70 65 64 20 74 6f 20 22 72 6f 77 69 64  mapped to "rowid
1a30: 22 2c 20 22 6f 69 64 22 20 6f 72 20 22 5f 72 6f  ", "oid" or "_ro
1a40: 77 69 64 5f 22 2c 20 6f 72 0a 20 20 20 20 2a 2a  wid_", or.    **
1a50: 20 20 20 32 29 20 54 68 65 72 65 20 69 73 20 61     2) There is a
1a60: 6e 20 65 78 70 6c 69 63 69 74 20 49 4e 54 45 47  n explicit INTEG
1a70: 45 52 20 50 52 49 4d 41 52 59 20 4b 45 59 20 63  ER PRIMARY KEY c
1a80: 6f 6c 75 6d 6e 20 61 6e 64 20 74 68 65 20 46 4b  olumn and the FK
1a90: 20 69 73 0a 20 20 20 20 2a 2a 20 20 20 20 20 20   is.    **      
1aa0: 69 6d 70 6c 69 63 69 74 6c 79 20 6d 61 70 70 65  implicitly mappe
1ab0: 64 20 74 6f 20 74 68 65 20 70 72 69 6d 61 72 79  d to the primary
1ac0: 20 6b 65 79 20 6f 66 20 74 61 62 6c 65 20 70 54   key of table pT
1ad0: 6f 2c 20 6f 72 0a 20 20 20 20 2a 2a 20 20 20 33  o, or.    **   3
1ae0: 29 20 54 68 65 20 46 4b 20 69 73 20 65 78 70 6c  ) The FK is expl
1af0: 69 63 69 74 6c 79 20 6d 61 70 70 65 64 20 74 6f  icitly mapped to
1b00: 20 61 20 63 6f 6c 75 6d 6e 20 64 65 63 6c 61 72   a column declar
1b10: 65 64 20 61 73 20 49 4e 54 45 47 45 52 0a 20 20  ed as INTEGER.  
1b20: 20 20 2a 2a 20 20 20 20 20 20 50 52 49 4d 41 52    **      PRIMAR
1b30: 59 20 4b 45 59 2e 0a 20 20 20 20 2a 2f 0a 20 20  Y KEY..    */.  
1b40: 20 20 69 66 28 20 7a 46 69 72 73 74 20 26 26 20    if( zFirst && 
1b50: 73 71 6c 69 74 65 33 49 73 52 6f 77 69 64 28 7a  sqlite3IsRowid(z
1b60: 46 69 72 73 74 29 20 29 20 72 65 74 75 72 6e 20  First) ) return 
1b70: 30 3b 0a 20 20 20 20 69 66 28 20 70 54 6f 2d 3e  0;.    if( pTo->
1b80: 69 50 4b 65 79 3e 3d 30 20 29 7b 0a 20 20 20 20  iPKey>=0 ){.    
1b90: 20 20 69 66 28 20 21 7a 46 69 72 73 74 20 29 20    if( !zFirst ) 
1ba0: 72 65 74 75 72 6e 20 30 3b 0a 20 20 20 20 20 20  return 0;.      
1bb0: 69 66 28 20 21 73 71 6c 69 74 65 33 53 74 72 49  if( !sqlite3StrI
1bc0: 43 6d 70 28 70 54 6f 2d 3e 61 43 6f 6c 5b 70 54  Cmp(pTo->aCol[pT
1bd0: 6f 2d 3e 69 50 4b 65 79 5d 2e 7a 4e 61 6d 65 2c  o->iPKey].zName,
1be0: 20 7a 46 69 72 73 74 29 20 29 20 72 65 74 75 72   zFirst) ) retur
1bf0: 6e 20 30 3b 0a 20 20 20 20 7d 0a 20 20 7d 65 6c  n 0;.    }.  }el
1c00: 73 65 20 69 66 28 20 70 61 69 43 6f 6c 20 29 7b  se if( paiCol ){
1c10: 0a 20 20 20 20 61 73 73 65 72 74 28 20 6e 43 6f  .    assert( nCo
1c20: 6c 3e 31 20 29 3b 0a 20 20 20 20 61 69 43 6f 6c  l>1 );.    aiCol
1c30: 20 3d 20 28 69 6e 74 20 2a 29 73 71 6c 69 74 65   = (int *)sqlite
1c40: 33 44 62 4d 61 6c 6c 6f 63 52 61 77 28 70 50 61  3DbMallocRaw(pPa
1c50: 72 73 65 2d 3e 64 62 2c 20 6e 43 6f 6c 2a 73 69  rse->db, nCol*si
1c60: 7a 65 6f 66 28 69 6e 74 29 29 3b 0a 20 20 20 20  zeof(int));.    
1c70: 69 66 28 20 21 61 69 43 6f 6c 20 29 20 72 65 74  if( !aiCol ) ret
1c80: 75 72 6e 20 31 3b 0a 20 20 20 20 2a 70 61 69 43  urn 1;.    *paiC
1c90: 6f 6c 20 3d 20 61 69 43 6f 6c 3b 0a 20 20 7d 0a  ol = aiCol;.  }.
1ca0: 0a 20 20 66 6f 72 28 70 49 64 78 3d 70 54 6f 2d  .  for(pIdx=pTo-
1cb0: 3e 70 49 6e 64 65 78 3b 20 70 49 64 78 3b 20 70  >pIndex; pIdx; p
1cc0: 49 64 78 3d 70 49 64 78 2d 3e 70 4e 65 78 74 29  Idx=pIdx->pNext)
1cd0: 7b 0a 20 20 20 20 69 66 28 20 70 49 64 78 2d 3e  {.    if( pIdx->
1ce0: 6e 43 6f 6c 75 6d 6e 3d 3d 6e 43 6f 6c 20 26 26  nColumn==nCol &&
1cf0: 20 70 49 64 78 2d 3e 6f 6e 45 72 72 6f 72 21 3d   pIdx->onError!=
1d00: 4f 45 5f 4e 6f 6e 65 20 29 7b 20 0a 20 20 20 20  OE_None ){ .    
1d10: 20 20 2f 2a 20 70 49 64 78 20 69 73 20 61 20 55    /* pIdx is a U
1d20: 4e 49 51 55 45 20 69 6e 64 65 78 20 28 6f 72 20  NIQUE index (or 
1d30: 61 20 50 52 49 4d 41 52 59 20 4b 45 59 29 20 61  a PRIMARY KEY) a
1d40: 6e 64 20 68 61 73 20 74 68 65 20 72 69 67 68 74  nd has the right
1d50: 20 6e 75 6d 62 65 72 0a 20 20 20 20 20 20 2a 2a   number.      **
1d60: 20 6f 66 20 63 6f 6c 75 6d 6e 73 2e 20 49 66 20   of columns. If 
1d70: 65 61 63 68 20 69 6e 64 65 78 65 64 20 63 6f 6c  each indexed col
1d80: 75 6d 6e 20 63 6f 72 72 65 73 70 6f 6e 64 73 20  umn corresponds 
1d90: 74 6f 20 61 20 66 6f 72 65 69 67 6e 20 6b 65 79  to a foreign key
1da0: 0a 20 20 20 20 20 20 2a 2a 20 63 6f 6c 75 6d 6e  .      ** column
1db0: 20 6f 66 20 70 46 4b 65 79 2c 20 74 68 65 6e 20   of pFKey, then 
1dc0: 74 68 69 73 20 69 6e 64 65 78 20 69 73 20 61 20  this index is a 
1dd0: 77 69 6e 6e 65 72 2e 20 20 2a 2f 0a 0a 20 20 20  winner.  */..   
1de0: 20 20 20 69 66 28 20 7a 46 69 72 73 74 3d 3d 30     if( zFirst==0
1df0: 20 29 7b 0a 20 20 20 20 20 20 20 20 2f 2a 20 49   ){.        /* I
1e00: 66 20 7a 46 69 72 73 74 20 69 73 20 4e 55 4c 4c  f zFirst is NULL
1e10: 2c 20 74 68 65 6e 20 74 68 69 73 20 66 6f 72 65  , then this fore
1e20: 69 67 6e 20 6b 65 79 20 69 73 20 69 6d 70 6c 69  ign key is impli
1e30: 63 69 74 6c 79 20 6d 61 70 70 65 64 20 74 6f 20  citly mapped to 
1e40: 0a 20 20 20 20 20 20 20 20 2a 2a 20 74 68 65 20  .        ** the 
1e50: 50 52 49 4d 41 52 59 20 4b 45 59 20 6f 66 20 74  PRIMARY KEY of t
1e60: 61 62 6c 65 20 70 54 6f 2e 20 54 68 65 20 50 52  able pTo. The PR
1e70: 49 4d 41 52 59 20 4b 45 59 20 69 6e 64 65 78 20  IMARY KEY index 
1e80: 6d 61 79 20 62 65 20 0a 20 20 20 20 20 20 20 20  may be .        
1e90: 2a 2a 20 69 64 65 6e 74 69 66 69 65 64 20 62 79  ** identified by
1ea0: 20 74 68 65 20 74 65 73 74 20 28 49 6e 64 65 78   the test (Index
1eb0: 2e 61 75 74 6f 49 6e 64 65 78 3d 3d 32 29 2e 20  .autoIndex==2). 
1ec0: 20 2a 2f 0a 20 20 20 20 20 20 20 20 69 66 28 20   */.        if( 
1ed0: 70 49 64 78 2d 3e 61 75 74 6f 49 6e 64 65 78 3d  pIdx->autoIndex=
1ee0: 3d 32 20 29 7b 0a 20 20 20 20 20 20 20 20 20 20  =2 ){.          
1ef0: 69 66 28 20 61 69 43 6f 6c 20 29 20 6d 65 6d 63  if( aiCol ) memc
1f00: 70 79 28 61 69 43 6f 6c 2c 20 70 49 64 78 2d 3e  py(aiCol, pIdx->
1f10: 61 69 43 6f 6c 75 6d 6e 2c 20 73 69 7a 65 6f 66  aiColumn, sizeof
1f20: 28 69 6e 74 29 2a 6e 43 6f 6c 29 3b 0a 20 20 20  (int)*nCol);.   
1f30: 20 20 20 20 20 20 20 62 72 65 61 6b 3b 0a 20 20         break;.  
1f40: 20 20 20 20 20 20 7d 0a 20 20 20 20 20 20 7d 65        }.      }e
1f50: 6c 73 65 7b 0a 20 20 20 20 20 20 20 20 2f 2a 20  lse{.        /* 
1f60: 49 66 20 7a 46 69 72 73 74 20 69 73 20 6e 6f 6e  If zFirst is non
1f70: 2d 4e 55 4c 4c 2c 20 74 68 65 6e 20 74 68 69 73  -NULL, then this
1f80: 20 66 6f 72 65 69 67 6e 20 6b 65 79 20 77 61 73   foreign key was
1f90: 20 64 65 63 6c 61 72 65 64 20 74 6f 0a 20 20 20   declared to.   
1fa0: 20 20 20 20 20 2a 2a 20 6d 61 70 20 74 6f 20 61       ** map to a
1fb0: 6e 20 65 78 70 6c 69 63 69 74 20 6c 69 73 74 20  n explicit list 
1fc0: 6f 66 20 63 6f 6c 75 6d 6e 73 20 69 6e 20 74 61  of columns in ta
1fd0: 62 6c 65 20 70 54 6f 2e 20 43 68 65 63 6b 20 69  ble pTo. Check i
1fe0: 66 20 74 68 69 73 0a 20 20 20 20 20 20 20 20 2a  f this.        *
1ff0: 2a 20 69 6e 64 65 78 20 6d 61 74 63 68 65 73 20  * index matches 
2000: 74 68 6f 73 65 20 63 6f 6c 75 6d 6e 73 2e 20 20  those columns.  
2010: 2a 2f 0a 20 20 20 20 20 20 20 20 69 6e 74 20 69  */.        int i
2020: 2c 20 6a 3b 0a 20 20 20 20 20 20 20 20 66 6f 72  , j;.        for
2030: 28 69 3d 30 3b 20 69 3c 6e 43 6f 6c 3b 20 69 2b  (i=0; i<nCol; i+
2040: 2b 29 7b 0a 20 20 20 20 20 20 20 20 20 20 63 68  +){.          ch
2050: 61 72 20 2a 7a 49 64 78 43 6f 6c 20 3d 20 70 54  ar *zIdxCol = pT
2060: 6f 2d 3e 61 43 6f 6c 5b 70 49 64 78 2d 3e 61 69  o->aCol[pIdx->ai
2070: 43 6f 6c 75 6d 6e 5b 69 5d 5d 2e 7a 4e 61 6d 65  Column[i]].zName
2080: 3b 0a 20 20 20 20 20 20 20 20 20 20 66 6f 72 28  ;.          for(
2090: 6a 3d 30 3b 20 6a 3c 6e 43 6f 6c 3b 20 6a 2b 2b  j=0; j<nCol; j++
20a0: 29 7b 0a 20 20 20 20 20 20 20 20 20 20 20 20 69  ){.            i
20b0: 66 28 20 73 71 6c 69 74 65 33 53 74 72 49 43 6d  f( sqlite3StrICm
20c0: 70 28 70 46 4b 65 79 2d 3e 61 43 6f 6c 5b 6a 5d  p(pFKey->aCol[j]
20d0: 2e 7a 43 6f 6c 2c 20 7a 49 64 78 43 6f 6c 29 3d  .zCol, zIdxCol)=
20e0: 3d 30 20 29 7b 0a 20 20 20 20 20 20 20 20 20 20  =0 ){.          
20f0: 20 20 20 20 69 66 28 20 61 69 43 6f 6c 20 29 20      if( aiCol ) 
2100: 61 69 43 6f 6c 5b 69 5d 20 3d 20 70 46 4b 65 79  aiCol[i] = pFKey
2110: 2d 3e 61 43 6f 6c 5b 6a 5d 2e 69 46 72 6f 6d 3b  ->aCol[j].iFrom;
2120: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 62  .              b
2130: 72 65 61 6b 3b 0a 20 20 20 20 20 20 20 20 20 20  reak;.          
2140: 20 20 7d 0a 20 20 20 20 20 20 20 20 20 20 7d 0a    }.          }.
2150: 20 20 20 20 20 20 20 20 20 20 69 66 28 20 6a 3d            if( j=
2160: 3d 6e 43 6f 6c 20 29 20 62 72 65 61 6b 3b 0a 20  =nCol ) break;. 
2170: 20 20 20 20 20 20 20 7d 0a 20 20 20 20 20 20 20         }.       
2180: 20 69 66 28 20 69 3d 3d 6e 43 6f 6c 20 29 20 62   if( i==nCol ) b
2190: 72 65 61 6b 3b 20 20 20 20 20 20 2f 2a 20 70 49  reak;      /* pI
21a0: 64 78 20 69 73 20 75 73 61 62 6c 65 20 2a 2f 0a  dx is usable */.
21b0: 20 20 20 20 20 20 7d 0a 20 20 20 20 7d 0a 20 20        }.    }.  
21c0: 7d 0a 0a 20 20 69 66 28 20 70 50 61 72 73 65 20  }..  if( pParse 
21d0: 26 26 20 21 70 49 64 78 20 29 7b 0a 20 20 20 20  && !pIdx ){.    
21e0: 73 71 6c 69 74 65 33 45 72 72 6f 72 4d 73 67 28  sqlite3ErrorMsg(
21f0: 70 50 61 72 73 65 2c 20 22 66 6f 72 65 69 67 6e  pParse, "foreign
2200: 20 6b 65 79 20 6d 69 73 6d 61 74 63 68 22 29 3b   key mismatch");
2210: 0a 20 20 20 20 73 71 6c 69 74 65 33 44 62 46 72  .    sqlite3DbFr
2220: 65 65 28 70 50 61 72 73 65 2d 3e 64 62 2c 20 61  ee(pParse->db, a
2230: 69 43 6f 6c 29 3b 0a 20 20 20 20 72 65 74 75 72  iCol);.    retur
2240: 6e 20 31 3b 0a 20 20 7d 0a 0a 20 20 2a 70 70 49  n 1;.  }..  *ppI
2250: 64 78 20 3d 20 70 49 64 78 3b 0a 20 20 72 65 74  dx = pIdx;.  ret
2260: 75 72 6e 20 30 3b 0a 7d 0a 0a 73 74 61 74 69 63  urn 0;.}..static
2270: 20 76 6f 69 64 20 66 6b 43 68 65 63 6b 52 65 66   void fkCheckRef
2280: 65 72 65 6e 63 65 28 0a 20 20 50 61 72 73 65 20  erence(.  Parse 
2290: 2a 70 50 61 72 73 65 2c 20 20 20 20 20 20 20 20  *pParse,        
22a0: 2f 2a 20 50 61 72 73 65 20 63 6f 6e 74 65 78 74  /* Parse context
22b0: 20 2a 2f 0a 20 20 69 6e 74 20 69 44 62 2c 20 20   */.  int iDb,  
22c0: 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 49              /* I
22d0: 6e 64 65 78 20 6f 66 20 64 61 74 61 62 61 73 65  ndex of database
22e0: 20 68 6f 75 73 69 6e 67 20 70 54 61 62 20 2a 2f   housing pTab */
22f0: 0a 20 20 54 61 62 6c 65 20 2a 70 54 61 62 2c 20  .  Table *pTab, 
2300: 20 20 20 20 20 20 20 20 20 2f 2a 20 54 61 62 6c           /* Tabl
2310: 65 20 72 65 66 65 72 65 6e 63 65 64 20 62 79 20  e referenced by 
2320: 46 4b 20 70 46 4b 65 79 20 2a 2f 0a 20 20 49 6e  FK pFKey */.  In
2330: 64 65 78 20 2a 70 49 64 78 2c 20 20 20 20 20 20  dex *pIdx,      
2340: 20 20 20 20 2f 2a 20 49 6e 64 65 78 20 65 6e 73      /* Index ens
2350: 75 72 69 6e 67 20 75 6e 69 71 75 65 6e 65 73 73  uring uniqueness
2360: 20 6f 66 20 46 4b 20 69 6e 20 70 54 61 62 20 2a   of FK in pTab *
2370: 2f 0a 20 20 46 4b 65 79 20 2a 70 46 4b 65 79 2c  /.  FKey *pFKey,
2380: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 46 6f 72            /* For
2390: 65 69 67 6e 20 6b 65 79 20 74 6f 20 63 68 65 63  eign key to chec
23a0: 6b 20 2a 2f 0a 20 20 69 6e 74 20 2a 61 69 43 6f  k */.  int *aiCo
23b0: 6c 2c 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20  l,           /* 
23c0: 4d 61 70 20 66 72 6f 6d 20 46 4b 20 63 6f 6c 75  Map from FK colu
23d0: 6d 6e 20 74 6f 20 72 65 66 65 72 65 6e 63 69 6e  mn to referencin
23e0: 67 20 74 61 62 6c 65 20 63 6f 6c 75 6d 6e 20 2a  g table column *
23f0: 2f 0a 20 20 69 6e 74 20 72 65 67 44 61 74 61 2c  /.  int regData,
2400: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 41 64 64            /* Add
2410: 72 65 73 73 20 6f 66 20 61 72 72 61 79 20 63 6f  ress of array co
2420: 6e 74 61 69 6e 69 6e 67 20 72 65 66 65 72 65 6e  ntaining referen
2430: 63 69 6e 67 20 72 6f 77 20 2a 2f 0a 20 20 69 6e  cing row */.  in
2440: 74 20 6e 49 6e 63 72 20 20 20 20 20 20 20 20 20  t nIncr         
2450: 20 20 20 20 2f 2a 20 49 66 20 64 65 66 65 72 72      /* If deferr
2460: 65 64 20 46 4b 2c 20 69 6e 63 72 65 6d 65 6e 74  ed FK, increment
2470: 20 63 6f 75 6e 74 65 72 20 62 79 20 74 68 69 73   counter by this
2480: 20 2a 2f 0a 29 7b 0a 20 20 69 6e 74 20 69 3b 0a   */.){.  int i;.
2490: 20 20 56 64 62 65 20 2a 76 20 3d 20 73 71 6c 69    Vdbe *v = sqli
24a0: 74 65 33 47 65 74 56 64 62 65 28 70 50 61 72 73  te3GetVdbe(pPars
24b0: 65 29 3b 0a 20 20 69 6e 74 20 69 43 75 72 20 3d  e);.  int iCur =
24c0: 20 70 50 61 72 73 65 2d 3e 6e 54 61 62 20 2d 20   pParse->nTab - 
24d0: 31 3b 0a 20 20 69 6e 74 20 69 4f 6b 20 3d 20 73  1;.  int iOk = s
24e0: 71 6c 69 74 65 33 56 64 62 65 4d 61 6b 65 4c 61  qlite3VdbeMakeLa
24f0: 62 65 6c 28 76 29 3b 0a 0a 20 20 61 73 73 65 72  bel(v);..  asser
2500: 74 28 20 70 46 4b 65 79 2d 3e 69 73 44 65 66 65  t( pFKey->isDefe
2510: 72 72 65 64 20 7c 7c 20 6e 49 6e 63 72 3d 3d 31  rred || nIncr==1
2520: 20 29 3b 0a 0a 20 20 2f 2a 20 43 68 65 63 6b 20   );..  /* Check 
2530: 69 66 20 61 6e 79 20 6f 66 20 74 68 65 20 6b 65  if any of the ke
2540: 79 20 63 6f 6c 75 6d 6e 73 20 69 6e 20 74 68 65  y columns in the
2550: 20 72 65 66 65 72 65 6e 63 69 6e 67 20 74 61 62   referencing tab
2560: 6c 65 20 61 72 65 20 0a 20 20 2a 2a 20 4e 55 4c  le are .  ** NUL
2570: 4c 2e 20 49 66 20 61 6e 79 20 61 72 65 2c 20 74  L. If any are, t
2580: 68 65 6e 20 74 68 65 20 63 6f 6e 73 74 72 61 69  hen the constrai
2590: 6e 74 20 69 73 20 73 61 74 69 73 66 69 65 64 2e  nt is satisfied.
25a0: 20 4e 6f 20 6e 65 65 64 0a 20 20 2a 2a 20 74 6f   No need.  ** to
25b0: 20 73 65 61 72 63 68 20 66 6f 72 20 61 20 6d 61   search for a ma
25c0: 74 63 68 69 6e 67 20 72 6f 77 20 69 6e 20 74 68  tching row in th
25d0: 65 20 72 65 66 65 72 65 6e 63 65 64 20 74 61 62  e referenced tab
25e0: 6c 65 2e 20 20 2a 2f 0a 20 20 66 6f 72 28 69 3d  le.  */.  for(i=
25f0: 30 3b 20 69 3c 70 46 4b 65 79 2d 3e 6e 43 6f 6c  0; i<pFKey->nCol
2600: 3b 20 69 2b 2b 29 7b 0a 20 20 20 20 69 6e 74 20  ; i++){.    int 
2610: 69 52 65 67 20 3d 20 70 46 4b 65 79 2d 3e 61 43  iReg = pFKey->aC
2620: 6f 6c 5b 69 5d 2e 69 46 72 6f 6d 20 2b 20 72 65  ol[i].iFrom + re
2630: 67 44 61 74 61 20 2b 20 31 3b 0a 20 20 20 20 73  gData + 1;.    s
2640: 71 6c 69 74 65 33 56 64 62 65 41 64 64 4f 70 32  qlite3VdbeAddOp2
2650: 28 76 2c 20 4f 50 5f 49 73 4e 75 6c 6c 2c 20 69  (v, OP_IsNull, i
2660: 52 65 67 2c 20 69 4f 6b 29 3b 0a 20 20 7d 0a 0a  Reg, iOk);.  }..
2670: 20 20 69 66 28 20 70 49 64 78 3d 3d 30 20 29 7b    if( pIdx==0 ){
2680: 0a 20 20 20 20 2f 2a 20 49 66 20 70 49 64 78 20  .    /* If pIdx 
2690: 69 73 20 4e 55 4c 4c 2c 20 74 68 65 6e 20 74 68  is NULL, then th
26a0: 65 20 66 6f 72 65 69 67 6e 20 6b 65 79 20 63 6f  e foreign key co
26b0: 6e 73 74 72 61 69 6e 74 20 72 65 66 65 72 65 6e  nstraint referen
26c0: 63 65 73 20 74 68 65 0a 20 20 20 20 2a 2a 20 49  ces the.    ** I
26d0: 4e 54 45 47 45 52 20 50 52 49 4d 41 52 59 20 4b  NTEGER PRIMARY K
26e0: 45 59 20 63 6f 6c 75 6d 6e 20 69 6e 20 74 68 65  EY column in the
26f0: 20 72 65 66 65 72 65 6e 63 65 64 20 74 61 62 6c   referenced tabl
2700: 65 20 28 74 61 62 6c 65 20 70 54 61 62 29 2e 20  e (table pTab). 
2710: 20 2a 2f 0a 20 20 20 20 69 6e 74 20 69 52 65 67   */.    int iReg
2720: 20 3d 20 70 46 4b 65 79 2d 3e 61 43 6f 6c 5b 30   = pFKey->aCol[0
2730: 5d 2e 69 46 72 6f 6d 20 2b 20 72 65 67 44 61 74  ].iFrom + regDat
2740: 61 20 2b 20 31 3b 0a 20 20 20 20 73 71 6c 69 74  a + 1;.    sqlit
2750: 65 33 4f 70 65 6e 54 61 62 6c 65 28 70 50 61 72  e3OpenTable(pPar
2760: 73 65 2c 20 69 43 75 72 2c 20 69 44 62 2c 20 70  se, iCur, iDb, p
2770: 54 61 62 2c 20 4f 50 5f 4f 70 65 6e 52 65 61 64  Tab, OP_OpenRead
2780: 29 3b 0a 20 20 20 20 73 71 6c 69 74 65 33 56 64  );.    sqlite3Vd
2790: 62 65 41 64 64 4f 70 33 28 76 2c 20 4f 50 5f 4e  beAddOp3(v, OP_N
27a0: 6f 74 45 78 69 73 74 73 2c 20 69 43 75 72 2c 20  otExists, iCur, 
27b0: 30 2c 20 69 52 65 67 29 3b 0a 20 20 20 20 73 71  0, iReg);.    sq
27c0: 6c 69 74 65 33 56 64 62 65 41 64 64 4f 70 32 28  lite3VdbeAddOp2(
27d0: 76 2c 20 4f 50 5f 47 6f 74 6f 2c 20 30 2c 20 69  v, OP_Goto, 0, i
27e0: 4f 6b 29 3b 0a 20 20 20 20 73 71 6c 69 74 65 33  Ok);.    sqlite3
27f0: 56 64 62 65 4a 75 6d 70 48 65 72 65 28 76 2c 20  VdbeJumpHere(v, 
2800: 73 71 6c 69 74 65 33 56 64 62 65 43 75 72 72 65  sqlite3VdbeCurre
2810: 6e 74 41 64 64 72 28 76 29 2d 32 29 3b 0a 20 20  ntAddr(v)-2);.  
2820: 7d 65 6c 73 65 7b 0a 20 20 20 20 69 6e 74 20 72  }else{.    int r
2830: 65 67 52 65 63 20 3d 20 73 71 6c 69 74 65 33 47  egRec = sqlite3G
2840: 65 74 54 65 6d 70 52 65 67 28 70 50 61 72 73 65  etTempReg(pParse
2850: 29 3b 0a 20 20 20 20 4b 65 79 49 6e 66 6f 20 2a  );.    KeyInfo *
2860: 70 4b 65 79 20 3d 20 73 71 6c 69 74 65 33 49 6e  pKey = sqlite3In
2870: 64 65 78 4b 65 79 69 6e 66 6f 28 70 50 61 72 73  dexKeyinfo(pPars
2880: 65 2c 20 70 49 64 78 29 3b 0a 0a 20 20 20 20 73  e, pIdx);..    s
2890: 71 6c 69 74 65 33 56 64 62 65 41 64 64 4f 70 33  qlite3VdbeAddOp3
28a0: 28 76 2c 20 4f 50 5f 4f 70 65 6e 52 65 61 64 2c  (v, OP_OpenRead,
28b0: 20 69 43 75 72 2c 20 70 49 64 78 2d 3e 74 6e 75   iCur, pIdx->tnu
28c0: 6d 2c 20 69 44 62 29 3b 0a 20 20 20 20 73 71 6c  m, iDb);.    sql
28d0: 69 74 65 33 56 64 62 65 43 68 61 6e 67 65 50 34  ite3VdbeChangeP4
28e0: 28 76 2c 20 2d 31 2c 20 28 63 68 61 72 2a 29 70  (v, -1, (char*)p
28f0: 4b 65 79 2c 20 50 34 5f 4b 45 59 49 4e 46 4f 5f  Key, P4_KEYINFO_
2900: 48 41 4e 44 4f 46 46 29 3b 0a 0a 20 20 20 20 69  HANDOFF);..    i
2910: 66 28 20 61 69 43 6f 6c 20 29 7b 0a 20 20 20 20  f( aiCol ){.    
2920: 20 20 69 6e 74 20 6e 43 6f 6c 20 3d 20 70 46 4b    int nCol = pFK
2930: 65 79 2d 3e 6e 43 6f 6c 3b 0a 20 20 20 20 20 20  ey->nCol;.      
2940: 69 6e 74 20 72 65 67 54 65 6d 70 20 3d 20 73 71  int regTemp = sq
2950: 6c 69 74 65 33 47 65 74 54 65 6d 70 52 61 6e 67  lite3GetTempRang
2960: 65 28 70 50 61 72 73 65 2c 20 6e 43 6f 6c 29 3b  e(pParse, nCol);
2970: 0a 20 20 20 20 20 20 66 6f 72 28 69 3d 30 3b 20  .      for(i=0; 
2980: 69 3c 6e 43 6f 6c 3b 20 69 2b 2b 29 7b 20 0a 20  i<nCol; i++){ . 
2990: 20 20 20 20 20 20 20 73 71 6c 69 74 65 33 56 64         sqlite3Vd
29a0: 62 65 41 64 64 4f 70 32 28 76 2c 20 4f 50 5f 53  beAddOp2(v, OP_S
29b0: 43 6f 70 79 2c 20 61 69 43 6f 6c 5b 69 5d 2b 31  Copy, aiCol[i]+1
29c0: 2b 72 65 67 44 61 74 61 2c 20 72 65 67 54 65 6d  +regData, regTem
29d0: 70 2b 69 29 3b 0a 20 20 20 20 20 20 7d 0a 20 20  p+i);.      }.  
29e0: 20 20 20 20 73 71 6c 69 74 65 33 56 64 62 65 41      sqlite3VdbeA
29f0: 64 64 4f 70 33 28 76 2c 20 4f 50 5f 4d 61 6b 65  ddOp3(v, OP_Make
2a00: 52 65 63 6f 72 64 2c 20 72 65 67 54 65 6d 70 2c  Record, regTemp,
2a10: 20 6e 43 6f 6c 2c 20 72 65 67 52 65 63 29 3b 0a   nCol, regRec);.
2a20: 20 20 20 20 20 20 73 71 6c 69 74 65 33 52 65 6c        sqlite3Rel
2a30: 65 61 73 65 54 65 6d 70 52 61 6e 67 65 28 70 50  easeTempRange(pP
2a40: 61 72 73 65 2c 20 72 65 67 54 65 6d 70 2c 20 6e  arse, regTemp, n
2a50: 43 6f 6c 29 3b 0a 20 20 20 20 7d 65 6c 73 65 7b  Col);.    }else{
2a60: 0a 20 20 20 20 20 20 69 6e 74 20 69 52 65 67 20  .      int iReg 
2a70: 3d 20 70 46 4b 65 79 2d 3e 61 43 6f 6c 5b 30 5d  = pFKey->aCol[0]
2a80: 2e 69 46 72 6f 6d 20 2b 20 72 65 67 44 61 74 61  .iFrom + regData
2a90: 20 2b 20 31 3b 0a 20 20 20 20 20 20 73 71 6c 69   + 1;.      sqli
2aa0: 74 65 33 56 64 62 65 41 64 64 4f 70 33 28 76 2c  te3VdbeAddOp3(v,
2ab0: 20 4f 50 5f 4d 61 6b 65 52 65 63 6f 72 64 2c 20   OP_MakeRecord, 
2ac0: 69 52 65 67 2c 20 31 2c 20 72 65 67 52 65 63 29  iReg, 1, regRec)
2ad0: 3b 0a 20 20 20 20 20 20 73 71 6c 69 74 65 33 49  ;.      sqlite3I
2ae0: 6e 64 65 78 41 66 66 69 6e 69 74 79 53 74 72 28  ndexAffinityStr(
2af0: 76 2c 20 70 49 64 78 29 3b 0a 20 20 20 20 7d 0a  v, pIdx);.    }.
2b00: 0a 20 20 20 20 73 71 6c 69 74 65 33 56 64 62 65  .    sqlite3Vdbe
2b10: 41 64 64 4f 70 33 28 76 2c 20 4f 50 5f 46 6f 75  AddOp3(v, OP_Fou
2b20: 6e 64 2c 20 69 43 75 72 2c 20 69 4f 6b 2c 20 72  nd, iCur, iOk, r
2b30: 65 67 52 65 63 29 3b 0a 20 20 20 20 73 71 6c 69  egRec);.    sqli
2b40: 74 65 33 52 65 6c 65 61 73 65 54 65 6d 70 52 65  te3ReleaseTempRe
2b50: 67 28 70 50 61 72 73 65 2c 20 72 65 67 52 65 63  g(pParse, regRec
2b60: 29 3b 0a 20 20 7d 0a 0a 20 20 69 66 28 20 70 46  );.  }..  if( pF
2b70: 4b 65 79 2d 3e 69 73 44 65 66 65 72 72 65 64 20  Key->isDeferred 
2b80: 29 7b 0a 20 20 20 20 61 73 73 65 72 74 28 20 6e  ){.    assert( n
2b90: 49 6e 63 72 3d 3d 31 20 7c 7c 20 6e 49 6e 63 72  Incr==1 || nIncr
2ba0: 3d 3d 2d 31 20 29 3b 0a 20 20 20 20 73 71 6c 69  ==-1 );.    sqli
2bb0: 74 65 33 56 64 62 65 41 64 64 4f 70 31 28 76 2c  te3VdbeAddOp1(v,
2bc0: 20 4f 50 5f 44 65 66 65 72 72 65 64 43 6f 6e 73   OP_DeferredCons
2bd0: 2c 20 6e 49 6e 63 72 29 3b 0a 20 20 7d 65 6c 73  , nIncr);.  }els
2be0: 65 7b 0a 20 20 20 20 73 71 6c 69 74 65 33 48 61  e{.    sqlite3Ha
2bf0: 6c 74 43 6f 6e 73 74 72 61 69 6e 74 28 0a 20 20  ltConstraint(.  
2c00: 20 20 20 20 20 20 70 50 61 72 73 65 2c 20 4f 45        pParse, OE
2c10: 5f 41 62 6f 72 74 2c 20 22 66 6f 72 65 69 67 6e  _Abort, "foreign
2c20: 20 6b 65 79 20 63 6f 6e 73 74 72 61 69 6e 74 20   key constraint 
2c30: 66 61 69 6c 65 64 22 2c 20 50 34 5f 53 54 41 54  failed", P4_STAT
2c40: 49 43 0a 20 20 20 20 29 3b 0a 20 20 7d 0a 0a 20  IC.    );.  }.. 
2c50: 20 73 71 6c 69 74 65 33 56 64 62 65 52 65 73 6f   sqlite3VdbeReso
2c60: 6c 76 65 4c 61 62 65 6c 28 76 2c 20 69 4f 6b 29  lveLabel(v, iOk)
2c70: 3b 0a 7d 0a 0a 73 74 61 74 69 63 20 76 6f 69 64  ;.}..static void
2c80: 20 66 6b 53 63 61 6e 52 65 66 65 72 65 6e 63 65   fkScanReference
2c90: 73 28 0a 20 20 50 61 72 73 65 20 2a 70 50 61 72  s(.  Parse *pPar
2ca0: 73 65 2c 20 20 20 20 20 20 20 20 20 20 20 20 20  se,             
2cb0: 20 20 20 20 20 2f 2a 20 50 61 72 73 65 20 63 6f       /* Parse co
2cc0: 6e 74 65 78 74 20 2a 2f 0a 20 20 53 72 63 4c 69  ntext */.  SrcLi
2cd0: 73 74 20 2a 70 53 72 63 2c 20 20 20 20 20 20 20  st *pSrc,       
2ce0: 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 53 72             /* Sr
2cf0: 63 4c 69 73 74 20 63 6f 6e 74 61 69 6e 69 6e 67  cList containing
2d00: 20 74 68 65 20 74 61 62 6c 65 20 74 6f 20 73 63   the table to sc
2d10: 61 6e 20 2a 2f 0a 20 20 49 6e 64 65 78 20 2a 70  an */.  Index *p
2d20: 49 64 78 2c 20 20 20 20 20 20 20 20 20 20 20 20  Idx,            
2d30: 20 20 20 20 20 20 20 20 2f 2a 20 46 6f 72 65 69          /* Forei
2d40: 67 6e 20 6b 65 79 20 69 6e 64 65 78 20 2a 2f 0a  gn key index */.
2d50: 20 20 46 4b 65 79 20 2a 70 46 4b 65 79 2c 20 20    FKey *pFKey,  
2d60: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2d70: 20 20 2f 2a 20 46 6f 72 65 69 67 6e 20 6b 65 79    /* Foreign key
2d80: 20 72 65 6c 61 74 69 6f 6e 73 68 69 70 20 2a 2f   relationship */
2d90: 0a 20 20 69 6e 74 20 2a 61 69 43 6f 6c 2c 20 20  .  int *aiCol,  
2da0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2db0: 20 20 20 2f 2a 20 4d 61 70 20 66 72 6f 6d 20 46     /* Map from F
2dc0: 4b 20 74 6f 20 72 65 66 65 72 65 6e 63 65 64 20  K to referenced 
2dd0: 74 61 62 6c 65 20 63 6f 6c 75 6d 6e 73 20 2a 2f  table columns */
2de0: 0a 20 20 69 6e 74 20 72 65 67 44 61 74 61 2c 20  .  int regData, 
2df0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2e00: 20 20 20 2f 2a 20 52 65 66 65 72 65 6e 63 65 64     /* Referenced
2e10: 20 74 61 62 6c 65 20 64 61 74 61 20 73 74 61 72   table data star
2e20: 74 73 20 68 65 72 65 20 2a 2f 0a 20 20 69 6e 74  ts here */.  int
2e30: 20 6e 49 6e 63 72 20 20 20 20 20 20 20 20 20 20   nIncr          
2e40: 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20               /* 
2e50: 41 6d 6f 75 6e 74 20 74 6f 20 69 6e 63 72 65 6d  Amount to increm
2e60: 65 6e 74 20 64 65 66 65 72 72 65 64 20 63 6f 75  ent deferred cou
2e70: 6e 74 65 72 20 62 79 20 2a 2f 0a 29 7b 0a 20 20  nter by */.){.  
2e80: 73 71 6c 69 74 65 33 20 2a 64 62 20 3d 20 70 50  sqlite3 *db = pP
2e90: 61 72 73 65 2d 3e 64 62 3b 20 20 20 20 20 20 20  arse->db;       
2ea0: 2f 2a 20 44 61 74 61 62 61 73 65 20 68 61 6e 64  /* Database hand
2eb0: 6c 65 20 2a 2f 0a 20 20 69 6e 74 20 69 3b 20 20  le */.  int i;  
2ec0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2ed0: 20 20 20 20 20 20 20 20 2f 2a 20 49 74 65 72 61          /* Itera
2ee0: 74 6f 72 20 76 61 72 69 61 62 6c 65 20 2a 2f 0a  tor variable */.
2ef0: 20 20 45 78 70 72 20 2a 70 57 68 65 72 65 20 3d    Expr *pWhere =
2f00: 20 30 3b 20 20 20 20 20 20 20 20 20 20 20 20 20   0;             
2f10: 20 20 2f 2a 20 57 48 45 52 45 20 63 6c 61 75 73    /* WHERE claus
2f20: 65 20 74 6f 20 73 63 61 6e 20 77 69 74 68 20 2a  e to scan with *
2f30: 2f 0a 20 20 4e 61 6d 65 43 6f 6e 74 65 78 74 20  /.  NameContext 
2f40: 73 4e 61 6d 65 43 6f 6e 74 65 78 74 3b 20 20 20  sNameContext;   
2f50: 20 20 20 20 2f 2a 20 43 6f 6e 74 65 78 74 20 75      /* Context u
2f60: 73 65 64 20 74 6f 20 72 65 73 6f 6c 76 65 20 57  sed to resolve W
2f70: 48 45 52 45 20 63 6c 61 75 73 65 20 2a 2f 0a 20  HERE clause */. 
2f80: 20 57 68 65 72 65 49 6e 66 6f 20 2a 70 57 49 6e   WhereInfo *pWIn
2f90: 66 6f 3b 20 20 20 20 20 20 20 20 20 20 20 20 20  fo;             
2fa0: 20 2f 2a 20 43 6f 6e 74 65 78 74 20 75 73 65 64   /* Context used
2fb0: 20 62 79 20 73 71 6c 69 74 65 33 57 68 65 72 65   by sqlite3Where
2fc0: 58 58 58 28 29 20 2a 2f 0a 0a 20 20 66 6f 72 28  XXX() */..  for(
2fd0: 69 3d 30 3b 20 69 3c 70 46 4b 65 79 2d 3e 6e 43  i=0; i<pFKey->nC
2fe0: 6f 6c 3b 20 69 2b 2b 29 7b 0a 20 20 20 20 45 78  ol; i++){.    Ex
2ff0: 70 72 20 2a 70 4c 65 66 74 3b 20 20 20 20 20 20  pr *pLeft;      
3000: 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 56              /* V
3010: 61 6c 75 65 20 66 72 6f 6d 20 64 65 6c 65 74 65  alue from delete
3020: 64 20 72 6f 77 20 2a 2f 0a 20 20 20 20 45 78 70  d row */.    Exp
3030: 72 20 2a 70 52 69 67 68 74 3b 20 20 20 20 20 20  r *pRight;      
3040: 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 43 6f             /* Co
3050: 6c 75 6d 6e 20 72 65 66 20 74 6f 20 72 65 66 65  lumn ref to refe
3060: 72 65 6e 63 69 6e 67 20 74 61 62 6c 65 20 2a 2f  rencing table */
3070: 0a 20 20 20 20 45 78 70 72 20 2a 70 45 71 3b 20  .    Expr *pEq; 
3080: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
3090: 20 20 20 2f 2a 20 45 78 70 72 65 73 73 69 6f 6e     /* Expression
30a0: 20 28 70 4c 65 66 74 20 3d 20 70 52 69 67 68 74   (pLeft = pRight
30b0: 29 20 2a 2f 0a 20 20 20 20 69 6e 74 20 69 43 6f  ) */.    int iCo
30c0: 6c 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 20  l;              
30d0: 20 20 20 20 20 20 20 2f 2a 20 49 6e 64 65 78 20         /* Index 
30e0: 6f 66 20 63 6f 6c 75 6d 6e 20 69 6e 20 72 65 66  of column in ref
30f0: 65 72 65 6e 63 69 6e 67 20 74 61 62 6c 65 20 2a  erencing table *
3100: 2f 20 0a 20 20 20 20 63 6f 6e 73 74 20 63 68 61  / .    const cha
3110: 72 20 2a 7a 43 6f 6c 3b 20 20 20 20 20 20 20 20  r *zCol;        
3120: 20 20 20 20 20 2f 2a 20 4e 61 6d 65 20 6f 66 20       /* Name of 
3130: 63 6f 6c 75 6d 6e 20 69 6e 20 72 65 66 65 72 65  column in refere
3140: 6e 63 69 6e 67 20 74 61 62 6c 65 20 2a 2f 0a 0a  ncing table */..
3150: 20 20 20 20 70 4c 65 66 74 20 3d 20 73 71 6c 69      pLeft = sqli
3160: 74 65 33 45 78 70 72 28 64 62 2c 20 54 4b 5f 52  te3Expr(db, TK_R
3170: 45 47 49 53 54 45 52 2c 20 30 29 3b 0a 20 20 20  EGISTER, 0);.   
3180: 20 69 66 28 20 70 4c 65 66 74 20 29 7b 0a 20 20   if( pLeft ){.  
3190: 20 20 20 20 70 4c 65 66 74 2d 3e 69 54 61 62 6c      pLeft->iTabl
31a0: 65 20 3d 20 28 70 49 64 78 20 3f 20 28 72 65 67  e = (pIdx ? (reg
31b0: 44 61 74 61 2b 70 49 64 78 2d 3e 61 69 43 6f 6c  Data+pIdx->aiCol
31c0: 75 6d 6e 5b 69 5d 2b 31 29 20 3a 20 72 65 67 44  umn[i]+1) : regD
31d0: 61 74 61 29 3b 0a 20 20 20 20 7d 0a 20 20 20 20  ata);.    }.    
31e0: 69 43 6f 6c 20 3d 20 61 69 43 6f 6c 20 3f 20 61  iCol = aiCol ? a
31f0: 69 43 6f 6c 5b 69 5d 20 3a 20 70 46 4b 65 79 2d  iCol[i] : pFKey-
3200: 3e 61 43 6f 6c 5b 30 5d 2e 69 46 72 6f 6d 3b 0a  >aCol[0].iFrom;.
3210: 20 20 20 20 69 66 28 20 69 43 6f 6c 3c 30 20 29      if( iCol<0 )
3220: 7b 0a 20 20 20 20 20 20 7a 43 6f 6c 20 3d 20 22  {.      zCol = "
3230: 72 6f 77 69 64 22 3b 0a 20 20 20 20 7d 65 6c 73  rowid";.    }els
3240: 65 7b 0a 20 20 20 20 20 20 7a 43 6f 6c 20 3d 20  e{.      zCol = 
3250: 70 46 4b 65 79 2d 3e 70 46 72 6f 6d 2d 3e 61 43  pFKey->pFrom->aC
3260: 6f 6c 5b 69 43 6f 6c 5d 2e 7a 4e 61 6d 65 3b 0a  ol[iCol].zName;.
3270: 20 20 20 20 7d 0a 20 20 20 20 70 52 69 67 68 74      }.    pRight
3280: 20 3d 20 73 71 6c 69 74 65 33 45 78 70 72 28 64   = sqlite3Expr(d
3290: 62 2c 20 54 4b 5f 49 44 2c 20 7a 43 6f 6c 29 3b  b, TK_ID, zCol);
32a0: 0a 20 20 20 20 70 45 71 20 3d 20 73 71 6c 69 74  .    pEq = sqlit
32b0: 65 33 50 45 78 70 72 28 70 50 61 72 73 65 2c 20  e3PExpr(pParse, 
32c0: 54 4b 5f 45 51 2c 20 70 4c 65 66 74 2c 20 70 52  TK_EQ, pLeft, pR
32d0: 69 67 68 74 2c 20 30 29 3b 0a 20 20 20 20 70 57  ight, 0);.    pW
32e0: 68 65 72 65 20 3d 20 73 71 6c 69 74 65 33 45 78  here = sqlite3Ex
32f0: 70 72 41 6e 64 28 64 62 2c 20 70 57 68 65 72 65  prAnd(db, pWhere
3300: 2c 20 70 45 71 29 3b 0a 20 20 7d 0a 0a 20 20 2f  , pEq);.  }..  /
3310: 2a 20 52 65 73 6f 6c 76 65 20 74 68 65 20 72 65  * Resolve the re
3320: 66 65 72 65 6e 63 65 73 20 69 6e 20 74 68 65 20  ferences in the 
3330: 57 48 45 52 45 20 63 6c 61 75 73 65 2e 20 2a 2f  WHERE clause. */
3340: 0a 20 20 6d 65 6d 73 65 74 28 26 73 4e 61 6d 65  .  memset(&sName
3350: 43 6f 6e 74 65 78 74 2c 20 30 2c 20 73 69 7a 65  Context, 0, size
3360: 6f 66 28 4e 61 6d 65 43 6f 6e 74 65 78 74 29 29  of(NameContext))
3370: 3b 0a 20 20 73 4e 61 6d 65 43 6f 6e 74 65 78 74  ;.  sNameContext
3380: 2e 70 53 72 63 4c 69 73 74 20 3d 20 70 53 72 63  .pSrcList = pSrc
3390: 3b 0a 20 20 73 4e 61 6d 65 43 6f 6e 74 65 78 74  ;.  sNameContext
33a0: 2e 70 50 61 72 73 65 20 3d 20 70 50 61 72 73 65  .pParse = pParse
33b0: 3b 0a 20 20 73 71 6c 69 74 65 33 52 65 73 6f 6c  ;.  sqlite3Resol
33c0: 76 65 45 78 70 72 4e 61 6d 65 73 28 26 73 4e 61  veExprNames(&sNa
33d0: 6d 65 43 6f 6e 74 65 78 74 2c 20 70 57 68 65 72  meContext, pWher
33e0: 65 29 3b 0a 0a 20 20 2f 2a 20 43 72 65 61 74 65  e);..  /* Create
33f0: 20 56 44 42 45 20 74 6f 20 6c 6f 6f 70 20 74 68   VDBE to loop th
3400: 72 6f 75 67 68 20 74 68 65 20 65 6e 74 72 69 65  rough the entrie
3410: 73 20 69 6e 20 70 53 72 63 20 74 68 61 74 20 6d  s in pSrc that m
3420: 61 74 63 68 20 74 68 65 20 57 48 45 52 45 0a 20  atch the WHERE. 
3430: 20 2a 2a 20 63 6c 61 75 73 65 2e 20 49 66 20 74   ** clause. If t
3440: 68 65 20 63 6f 6e 73 74 72 61 69 6e 74 20 69 73  he constraint is
3450: 20 6e 6f 74 20 64 65 66 65 72 72 65 64 2c 20 74   not deferred, t
3460: 68 72 6f 77 20 61 6e 20 65 78 63 65 70 74 69 6f  hrow an exceptio
3470: 6e 20 66 6f 72 0a 20 20 2a 2a 20 65 61 63 68 20  n for.  ** each 
3480: 72 6f 77 20 66 6f 75 6e 64 2e 20 4f 74 68 65 72  row found. Other
3490: 77 69 73 65 2c 20 66 6f 72 20 64 65 66 65 72 72  wise, for deferr
34a0: 65 64 20 63 6f 6e 73 74 72 61 69 6e 74 73 2c 20  ed constraints, 
34b0: 69 6e 63 72 65 6d 65 6e 74 20 74 68 65 0a 20 20  increment the.  
34c0: 2a 2a 20 64 65 66 65 72 72 65 64 20 63 6f 6e 73  ** deferred cons
34d0: 74 72 61 69 6e 74 20 63 6f 75 6e 74 65 72 20 62  traint counter b
34e0: 79 20 6e 49 6e 63 72 20 66 6f 72 20 65 61 63 68  y nIncr for each
34f0: 20 72 6f 77 20 73 65 6c 65 63 74 65 64 2e 20 20   row selected.  
3500: 2a 2f 0a 20 20 70 57 49 6e 66 6f 20 3d 20 73 71  */.  pWInfo = sq
3510: 6c 69 74 65 33 57 68 65 72 65 42 65 67 69 6e 28  lite3WhereBegin(
3520: 70 50 61 72 73 65 2c 20 70 53 72 63 2c 20 70 57  pParse, pSrc, pW
3530: 68 65 72 65 2c 20 30 2c 20 30 29 3b 0a 20 20 69  here, 0, 0);.  i
3540: 66 28 20 70 46 4b 65 79 2d 3e 69 73 44 65 66 65  f( pFKey->isDefe
3550: 72 72 65 64 20 26 26 20 6e 49 6e 63 72 20 29 7b  rred && nIncr ){
3560: 0a 20 20 20 20 61 73 73 65 72 74 28 20 6e 49 6e  .    assert( nIn
3570: 63 72 3d 3d 31 20 7c 7c 20 6e 49 6e 63 72 3d 3d  cr==1 || nIncr==
3580: 2d 31 20 29 3b 0a 20 20 20 20 73 71 6c 69 74 65  -1 );.    sqlite
3590: 33 56 64 62 65 41 64 64 4f 70 31 28 70 50 61 72  3VdbeAddOp1(pPar
35a0: 73 65 2d 3e 70 56 64 62 65 2c 20 4f 50 5f 44 65  se->pVdbe, OP_De
35b0: 66 65 72 72 65 64 43 6f 6e 73 2c 20 6e 49 6e 63  ferredCons, nInc
35c0: 72 29 3b 0a 20 20 7d 65 6c 73 65 7b 0a 20 20 20  r);.  }else{.   
35d0: 20 61 73 73 65 72 74 28 20 6e 49 6e 63 72 3d 3d   assert( nIncr==
35e0: 31 20 7c 7c 20 6e 49 6e 63 72 3d 3d 30 20 29 3b  1 || nIncr==0 );
35f0: 0a 20 20 20 20 73 71 6c 69 74 65 33 48 61 6c 74  .    sqlite3Halt
3600: 43 6f 6e 73 74 72 61 69 6e 74 28 0a 20 20 20 20  Constraint(.    
3610: 20 20 70 50 61 72 73 65 2c 20 4f 45 5f 41 62 6f    pParse, OE_Abo
3620: 72 74 2c 20 22 66 6f 72 65 69 67 6e 20 6b 65 79  rt, "foreign key
3630: 20 63 6f 6e 73 74 72 61 69 6e 74 20 66 61 69 6c   constraint fail
3640: 65 64 22 2c 20 50 34 5f 53 54 41 54 49 43 0a 20  ed", P4_STATIC. 
3650: 20 20 20 29 3b 0a 20 20 7d 0a 20 20 73 71 6c 69     );.  }.  sqli
3660: 74 65 33 57 68 65 72 65 45 6e 64 28 70 57 49 6e  te3WhereEnd(pWIn
3670: 66 6f 29 3b 0a 0a 20 20 2f 2a 20 43 6c 65 61 6e  fo);..  /* Clean
3680: 20 75 70 20 74 68 65 20 57 48 45 52 45 20 63 6c   up the WHERE cl
3690: 61 75 73 65 20 63 6f 6e 73 74 72 75 63 74 65 64  ause constructed
36a0: 20 61 62 6f 76 65 2e 20 2a 2f 0a 20 20 73 71 6c   above. */.  sql
36b0: 69 74 65 33 45 78 70 72 44 65 6c 65 74 65 28 64  ite3ExprDelete(d
36c0: 62 2c 20 70 57 68 65 72 65 29 3b 0a 7d 0a 0a 2f  b, pWhere);.}../
36d0: 2a 0a 2a 2a 20 54 68 69 73 20 66 75 6e 63 74 69  *.** This functi
36e0: 6f 6e 20 72 65 74 75 72 6e 73 20 61 20 70 6f 69  on returns a poi
36f0: 6e 74 65 72 20 74 6f 20 74 68 65 20 68 65 61 64  nter to the head
3700: 20 6f 66 20 61 20 6c 69 6e 6b 65 64 20 6c 69 73   of a linked lis
3710: 74 20 6f 66 20 46 4b 0a 2a 2a 20 63 6f 6e 73 74  t of FK.** const
3720: 72 61 69 6e 74 73 20 74 68 61 74 20 72 65 66 65  raints that refe
3730: 72 20 74 6f 20 74 68 65 20 74 61 62 6c 65 20 70  r to the table p
3740: 61 73 73 65 64 20 61 73 20 61 6e 20 61 72 67 75  assed as an argu
3750: 6d 65 6e 74 2e 20 46 6f 72 20 65 78 61 6d 70 6c  ment. For exampl
3760: 65 2c 0a 2a 2a 20 67 69 76 65 6e 20 74 68 65 20  e,.** given the 
3770: 66 6f 6c 6c 6f 77 69 6e 67 20 73 63 68 65 6d 61  following schema
3780: 3a 0a 2a 2a 0a 2a 2a 20 20 20 43 52 45 41 54 45  :.**.**   CREATE
3790: 20 54 41 42 4c 45 20 74 31 28 61 20 50 52 49 4d   TABLE t1(a PRIM
37a0: 41 52 59 20 4b 45 59 29 3b 0a 2a 2a 20 20 20 43  ARY KEY);.**   C
37b0: 52 45 41 54 45 20 54 41 42 4c 45 20 74 32 28 62  REATE TABLE t2(b
37c0: 20 52 45 46 45 52 45 4e 43 45 53 20 74 31 28 61   REFERENCES t1(a
37d0: 29 3b 0a 2a 2a 0a 2a 2a 20 43 61 6c 6c 69 6e 67  );.**.** Calling
37e0: 20 74 68 69 73 20 66 75 6e 63 74 69 6f 6e 20 77   this function w
37f0: 69 74 68 20 74 61 62 6c 65 20 22 74 31 22 20 61  ith table "t1" a
3800: 73 20 61 6e 20 61 72 67 75 6d 65 6e 74 20 72 65  s an argument re
3810: 74 75 72 6e 73 20 61 20 70 6f 69 6e 74 65 72 0a  turns a pointer.
3820: 2a 2a 20 74 6f 20 74 68 65 20 46 4b 65 79 20 73  ** to the FKey s
3830: 74 72 75 63 74 75 72 65 20 72 65 70 72 65 73 65  tructure represe
3840: 6e 74 69 6e 67 20 74 68 65 20 66 6f 72 65 69 67  nting the foreig
3850: 6e 20 6b 65 79 20 63 6f 6e 73 74 72 61 69 6e 74  n key constraint
3860: 20 6f 6e 20 74 61 62 6c 65 0a 2a 2a 20 22 74 32   on table.** "t2
3870: 22 2e 20 43 61 6c 6c 69 6e 67 20 74 68 69 73 20  ". Calling this 
3880: 66 75 6e 63 74 69 6f 6e 20 77 69 74 68 20 22 74  function with "t
3890: 32 22 20 61 73 20 74 68 65 20 61 72 67 75 6d 65  2" as the argume
38a0: 6e 74 20 77 6f 75 6c 64 20 72 65 74 75 72 6e 20  nt would return 
38b0: 61 0a 2a 2a 20 4e 55 4c 4c 20 70 6f 69 6e 74 65  a.** NULL pointe
38c0: 72 20 28 61 73 20 74 68 65 72 65 20 61 72 65 20  r (as there are 
38d0: 6e 6f 20 46 4b 20 63 6f 6e 73 74 72 61 69 6e 74  no FK constraint
38e0: 73 20 74 68 61 74 20 72 65 66 65 72 20 74 6f 20  s that refer to 
38f0: 74 32 29 2e 0a 2a 2f 0a 73 74 61 74 69 63 20 46  t2)..*/.static F
3900: 4b 65 79 20 2a 66 6b 52 65 66 65 72 69 6e 67 28  Key *fkRefering(
3910: 54 61 62 6c 65 20 2a 70 54 61 62 29 7b 0a 20 20  Table *pTab){.  
3920: 69 6e 74 20 6e 4e 61 6d 65 20 3d 20 73 71 6c 69  int nName = sqli
3930: 74 65 33 53 74 72 6c 65 6e 33 30 28 70 54 61 62  te3Strlen30(pTab
3940: 2d 3e 7a 4e 61 6d 65 29 3b 0a 20 20 72 65 74 75  ->zName);.  retu
3950: 72 6e 20 28 46 4b 65 79 20 2a 29 73 71 6c 69 74  rn (FKey *)sqlit
3960: 65 33 48 61 73 68 46 69 6e 64 28 26 70 54 61 62  e3HashFind(&pTab
3970: 2d 3e 70 53 63 68 65 6d 61 2d 3e 66 6b 65 79 48  ->pSchema->fkeyH
3980: 61 73 68 2c 20 70 54 61 62 2d 3e 7a 4e 61 6d 65  ash, pTab->zName
3990: 2c 20 6e 4e 61 6d 65 29 3b 0a 7d 0a 0a 76 6f 69  , nName);.}..voi
39a0: 64 20 73 71 6c 69 74 65 33 46 6b 43 68 65 63 6b  d sqlite3FkCheck
39b0: 28 0a 20 20 50 61 72 73 65 20 2a 70 50 61 72 73  (.  Parse *pPars
39c0: 65 2c 20 20 20 20 20 20 20 20 20 20 20 20 20 20  e,              
39d0: 20 20 20 20 2f 2a 20 50 61 72 73 65 20 63 6f 6e      /* Parse con
39e0: 74 65 78 74 20 2a 2f 0a 20 20 54 61 62 6c 65 20  text */.  Table 
39f0: 2a 70 54 61 62 2c 20 20 20 20 20 20 20 20 20 20  *pTab,          
3a00: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 52 6f 77            /* Row
3a10: 20 69 73 20 62 65 69 6e 67 20 64 65 6c 65 74 65   is being delete
3a20: 64 20 66 72 6f 6d 20 74 68 69 73 20 74 61 62 6c  d from this tabl
3a30: 65 20 2a 2f 20 0a 20 20 45 78 70 72 4c 69 73 74  e */ .  ExprList
3a40: 20 2a 70 43 68 61 6e 67 65 73 2c 20 20 20 20 20   *pChanges,     
3a50: 20 20 20 20 20 20 20 20 2f 2a 20 43 68 61 6e 67          /* Chang
3a60: 65 64 20 63 6f 6c 75 6d 6e 73 20 69 66 20 74 68  ed columns if th
3a70: 69 73 20 69 73 20 61 6e 20 55 50 44 41 54 45 20  is is an UPDATE 
3a80: 2a 2f 0a 20 20 69 6e 74 20 72 65 67 4f 6c 64 2c  */.  int regOld,
3a90: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
3aa0: 20 20 20 20 20 2f 2a 20 50 72 65 76 69 6f 75 73       /* Previous
3ab0: 20 72 6f 77 20 64 61 74 61 20 69 73 20 73 74 6f   row data is sto
3ac0: 72 65 64 20 68 65 72 65 20 2a 2f 0a 20 20 69 6e  red here */.  in
3ad0: 74 20 72 65 67 4e 65 77 20 20 20 20 20 20 20 20  t regNew        
3ae0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a                /*
3af0: 20 4e 65 77 20 72 6f 77 20 64 61 74 61 20 69 73   New row data is
3b00: 20 73 74 6f 72 65 64 20 68 65 72 65 20 2a 2f 0a   stored here */.
3b10: 29 7b 0a 20 20 73 71 6c 69 74 65 33 20 2a 64 62  ){.  sqlite3 *db
3b20: 20 3d 20 70 50 61 72 73 65 2d 3e 64 62 3b 20 20   = pParse->db;  
3b30: 20 20 20 20 20 2f 2a 20 44 61 74 61 62 61 73 65       /* Database
3b40: 20 68 61 6e 64 6c 65 20 2a 2f 0a 20 20 56 64 62   handle */.  Vdb
3b50: 65 20 2a 76 3b 20 20 20 20 20 20 20 20 20 20 20  e *v;           
3b60: 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20               /* 
3b70: 56 4d 20 74 6f 20 77 72 69 74 65 20 63 6f 64 65  VM to write code
3b80: 20 74 6f 20 2a 2f 0a 20 20 46 4b 65 79 20 2a 70   to */.  FKey *p
3b90: 46 4b 65 79 3b 20 20 20 20 20 20 20 20 20 20 20  FKey;           
3ba0: 20 20 20 20 20 20 20 20 20 2f 2a 20 55 73 65 64           /* Used
3bb0: 20 74 6f 20 69 74 65 72 61 74 65 20 74 68 72 6f   to iterate thro
3bc0: 75 67 68 20 46 4b 73 20 2a 2f 0a 20 20 69 6e 74  ugh FKs */.  int
3bd0: 20 69 44 62 3b 20 20 20 20 20 20 20 20 20 20 20   iDb;           
3be0: 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20               /* 
3bf0: 49 6e 64 65 78 20 6f 66 20 64 61 74 61 62 61 73  Index of databas
3c00: 65 20 63 6f 6e 74 61 69 6e 69 6e 67 20 70 54 61  e containing pTa
3c10: 62 20 2a 2f 0a 20 20 63 6f 6e 73 74 20 63 68 61  b */.  const cha
3c20: 72 20 2a 7a 44 62 3b 20 20 20 20 20 20 20 20 20  r *zDb;         
3c30: 20 20 20 20 20 20 20 2f 2a 20 4e 61 6d 65 20 6f         /* Name o
3c40: 66 20 64 61 74 61 62 61 73 65 20 63 6f 6e 74 61  f database conta
3c50: 69 6e 69 6e 67 20 70 54 61 62 20 2a 2f 0a 0a 20  ining pTab */.. 
3c60: 20 61 73 73 65 72 74 28 20 28 20 70 43 68 61 6e   assert( ( pChan
3c70: 67 65 73 20 26 26 20 20 72 65 67 4f 6c 64 20 26  ges &&  regOld &
3c80: 26 20 20 72 65 67 4e 65 77 29 20 20 20 20 20 20  &  regNew)      
3c90: 20 20 20 20 20 2f 2a 20 55 50 44 41 54 45 20 6f       /* UPDATE o
3ca0: 70 65 72 61 74 69 6f 6e 20 2a 2f 0a 20 20 20 20  peration */.    
3cb0: 20 20 20 7c 7c 20 28 21 70 43 68 61 6e 67 65 73     || (!pChanges
3cc0: 20 26 26 20 21 72 65 67 4f 6c 64 20 26 26 20 20   && !regOld &&  
3cd0: 72 65 67 4e 65 77 29 20 20 20 20 20 20 20 20 20  regNew)         
3ce0: 20 20 2f 2a 20 49 4e 53 45 52 54 20 6f 70 65 72    /* INSERT oper
3cf0: 61 74 69 6f 6e 20 2a 2f 0a 20 20 20 20 20 20 20  ation */.       
3d00: 7c 7c 20 28 21 70 43 68 61 6e 67 65 73 20 26 26  || (!pChanges &&
3d10: 20 20 72 65 67 4f 6c 64 20 26 26 20 21 72 65 67    regOld && !reg
3d20: 4e 65 77 29 20 20 20 20 20 20 20 20 20 20 20 2f  New)           /
3d30: 2a 20 44 45 4c 45 54 45 20 6f 70 65 72 61 74 69  * DELETE operati
3d40: 6f 6e 20 2a 2f 0a 20 20 29 3b 0a 0a 20 20 2f 2a  on */.  );..  /*
3d50: 20 49 66 20 66 6f 72 65 69 67 6e 2d 6b 65 79 73   If foreign-keys
3d60: 20 61 72 65 20 64 69 73 61 62 6c 65 64 2c 20 74   are disabled, t
3d70: 68 69 73 20 66 75 6e 63 74 69 6f 6e 20 69 73 20  his function is 
3d80: 61 20 6e 6f 2d 6f 70 2e 20 2a 2f 0a 20 20 69 66  a no-op. */.  if
3d90: 28 20 28 64 62 2d 3e 66 6c 61 67 73 26 53 51 4c  ( (db->flags&SQL
3da0: 49 54 45 5f 46 6f 72 65 69 67 6e 4b 65 79 73 29  ITE_ForeignKeys)
3db0: 3d 3d 30 20 29 20 72 65 74 75 72 6e 3b 0a 0a 20  ==0 ) return;.. 
3dc0: 20 76 20 3d 20 73 71 6c 69 74 65 33 47 65 74 56   v = sqlite3GetV
3dd0: 64 62 65 28 70 50 61 72 73 65 29 3b 0a 20 20 69  dbe(pParse);.  i
3de0: 44 62 20 3d 20 73 71 6c 69 74 65 33 53 63 68 65  Db = sqlite3Sche
3df0: 6d 61 54 6f 49 6e 64 65 78 28 64 62 2c 20 70 54  maToIndex(db, pT
3e00: 61 62 2d 3e 70 53 63 68 65 6d 61 29 3b 0a 20 20  ab->pSchema);.  
3e10: 7a 44 62 20 3d 20 64 62 2d 3e 61 44 62 5b 69 44  zDb = db->aDb[iD
3e20: 62 5d 2e 7a 4e 61 6d 65 3b 0a 0a 20 20 2f 2a 20  b].zName;..  /* 
3e30: 4c 6f 6f 70 20 74 68 72 6f 75 67 68 20 61 6c 6c  Loop through all
3e40: 20 74 68 65 20 66 6f 72 65 69 67 6e 20 6b 65 79   the foreign key
3e50: 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 61 74 74   constraints att
3e60: 61 63 68 65 64 20 74 6f 20 74 68 65 20 74 61 62  ached to the tab
3e70: 6c 65 2e 20 2a 2f 0a 20 20 66 6f 72 28 70 46 4b  le. */.  for(pFK
3e80: 65 79 3d 70 54 61 62 2d 3e 70 46 4b 65 79 3b 20  ey=pTab->pFKey; 
3e90: 70 46 4b 65 79 3b 20 70 46 4b 65 79 3d 70 46 4b  pFKey; pFKey=pFK
3ea0: 65 79 2d 3e 70 4e 65 78 74 46 72 6f 6d 29 7b 0a  ey->pNextFrom){.
3eb0: 20 20 20 20 54 61 62 6c 65 20 2a 70 54 6f 3b 20      Table *pTo; 
3ec0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
3ed0: 20 20 2f 2a 20 54 61 62 6c 65 20 72 65 66 65 72    /* Table refer
3ee0: 65 6e 63 65 64 20 62 79 20 74 68 69 73 20 46 4b  enced by this FK
3ef0: 20 2a 2f 0a 20 20 20 20 49 6e 64 65 78 20 2a 70   */.    Index *p
3f00: 49 64 78 20 3d 20 30 3b 20 20 20 20 20 20 20 20  Idx = 0;        
3f10: 20 20 20 20 20 20 2f 2a 20 49 6e 64 65 78 20 6f        /* Index o
3f20: 6e 20 6b 65 79 20 63 6f 6c 75 6d 6e 73 20 69 6e  n key columns in
3f30: 20 70 54 6f 20 2a 2f 0a 20 20 20 20 69 6e 74 20   pTo */.    int 
3f40: 2a 61 69 43 6f 6c 20 3d 20 30 3b 0a 0a 20 20 20  *aiCol = 0;..   
3f50: 20 69 66 28 20 70 46 4b 65 79 2d 3e 69 73 44 65   if( pFKey->isDe
3f60: 66 65 72 72 65 64 3d 3d 30 20 26 26 20 72 65 67  ferred==0 && reg
3f70: 4e 65 77 3d 3d 30 20 29 20 63 6f 6e 74 69 6e 75  New==0 ) continu
3f80: 65 3b 0a 0a 20 20 20 20 2f 2a 20 46 69 6e 64 20  e;..    /* Find 
3f90: 74 68 65 20 74 61 62 6c 65 20 74 68 69 73 20 66  the table this f
3fa0: 6f 72 65 69 67 6e 20 6b 65 79 20 72 65 66 65 72  oreign key refer
3fb0: 65 6e 63 65 73 2e 20 41 6c 73 6f 20 66 69 6e 64  ences. Also find
3fc0: 20 61 20 75 6e 69 71 75 65 20 0a 20 20 20 20 2a   a unique .    *
3fd0: 2a 20 69 6e 64 65 78 20 6f 6e 20 74 68 65 20 72  * index on the r
3fe0: 65 66 65 72 65 6e 63 65 64 20 74 61 62 6c 65 20  eferenced table 
3ff0: 74 68 61 74 20 63 6f 72 72 65 73 70 6f 6e 64 73  that corresponds
4000: 20 74 6f 20 74 68 65 20 6b 65 79 20 63 6f 6c 75   to the key colu
4010: 6d 6e 73 2e 20 0a 20 20 20 20 2a 2a 20 49 66 20  mns. .    ** If 
4020: 65 69 74 68 65 72 20 6f 66 20 74 68 65 73 65 20  either of these 
4030: 74 68 69 6e 67 73 20 63 61 6e 6e 6f 74 20 62 65  things cannot be
4040: 20 6c 6f 63 61 74 65 64 2c 20 73 65 74 20 61 6e   located, set an
4050: 20 65 72 72 6f 72 20 69 6e 20 70 50 61 72 73 65   error in pParse
4060: 0a 20 20 20 20 2a 2a 20 61 6e 64 20 72 65 74 75  .    ** and retu
4070: 72 6e 20 65 61 72 6c 79 2e 20 20 2a 2f 0a 20 20  rn early.  */.  
4080: 20 20 70 54 6f 20 3d 20 73 71 6c 69 74 65 33 4c    pTo = sqlite3L
4090: 6f 63 61 74 65 54 61 62 6c 65 28 70 50 61 72 73  ocateTable(pPars
40a0: 65 2c 20 30 2c 20 70 46 4b 65 79 2d 3e 7a 54 6f  e, 0, pFKey->zTo
40b0: 2c 20 7a 44 62 29 3b 0a 20 20 20 20 69 66 28 20  , zDb);.    if( 
40c0: 21 70 54 6f 20 7c 7c 20 6c 6f 63 61 74 65 46 6b  !pTo || locateFk
40d0: 65 79 49 6e 64 65 78 28 70 50 61 72 73 65 2c 20  eyIndex(pParse, 
40e0: 70 54 6f 2c 20 70 46 4b 65 79 2c 20 26 70 49 64  pTo, pFKey, &pId
40f0: 78 2c 20 26 61 69 43 6f 6c 29 20 29 20 72 65 74  x, &aiCol) ) ret
4100: 75 72 6e 3b 0a 20 20 20 20 61 73 73 65 72 74 28  urn;.    assert(
4110: 20 70 46 4b 65 79 2d 3e 6e 43 6f 6c 3d 3d 31 20   pFKey->nCol==1 
4120: 7c 7c 20 28 61 69 43 6f 6c 20 26 26 20 70 49 64  || (aiCol && pId
4130: 78 29 20 29 3b 0a 0a 20 20 20 20 2f 2a 20 49 66  x) );..    /* If
4140: 20 74 68 65 20 6b 65 79 20 64 6f 65 73 20 6e 6f   the key does no
4150: 74 20 6f 76 65 72 6c 61 70 20 77 69 74 68 20 74  t overlap with t
4160: 68 65 20 70 43 68 61 6e 67 65 73 20 6c 69 73 74  he pChanges list
4170: 2c 20 73 6b 69 70 20 74 68 69 73 20 46 4b 2e 20  , skip this FK. 
4180: 2a 2f 0a 20 20 20 20 69 66 28 20 70 43 68 61 6e  */.    if( pChan
4190: 67 65 73 20 29 7b 0a 20 20 20 20 20 20 2f 2a 20  ges ){.      /* 
41a0: 54 4f 44 4f 20 2a 2f 0a 20 20 20 20 7d 0a 0a 20  TODO */.    }.. 
41b0: 20 20 20 2f 2a 20 54 61 6b 65 20 61 20 73 68 61     /* Take a sha
41c0: 72 65 64 2d 63 61 63 68 65 20 61 64 76 69 73 6f  red-cache adviso
41d0: 72 79 20 72 65 61 64 2d 6c 6f 63 6b 20 6f 6e 20  ry read-lock on 
41e0: 74 68 65 20 72 65 66 65 72 65 6e 63 65 64 20 74  the referenced t
41f0: 61 62 6c 65 2e 0a 20 20 20 20 2a 2a 20 41 6c 6c  able..    ** All
4200: 6f 63 61 74 65 20 61 20 63 75 72 73 6f 72 20 74  ocate a cursor t
4210: 6f 20 75 73 65 20 74 6f 20 73 65 61 72 63 68 20  o use to search 
4220: 74 68 65 20 75 6e 69 71 75 65 20 69 6e 64 65 78  the unique index
4230: 20 6f 6e 20 74 68 65 20 46 4b 20 0a 20 20 20 20   on the FK .    
4240: 2a 2a 20 63 6f 6c 75 6d 6e 73 20 69 6e 20 74 68  ** columns in th
4250: 65 20 72 65 66 65 72 65 6e 63 65 64 20 74 61 62  e referenced tab
4260: 6c 65 2e 20 20 2a 2f 0a 20 20 20 20 73 71 6c 69  le.  */.    sqli
4270: 74 65 33 54 61 62 6c 65 4c 6f 63 6b 28 70 50 61  te3TableLock(pPa
4280: 72 73 65 2c 20 69 44 62 2c 20 70 54 6f 2d 3e 74  rse, iDb, pTo->t
4290: 6e 75 6d 2c 20 30 2c 20 70 54 6f 2d 3e 7a 4e 61  num, 0, pTo->zNa
42a0: 6d 65 29 3b 0a 20 20 20 20 70 50 61 72 73 65 2d  me);.    pParse-
42b0: 3e 6e 54 61 62 2b 2b 3b 0a 0a 20 20 20 20 69 66  >nTab++;..    if
42c0: 28 20 72 65 67 4f 6c 64 21 3d 30 20 26 26 20 70  ( regOld!=0 && p
42d0: 46 4b 65 79 2d 3e 69 73 44 65 66 65 72 72 65 64  FKey->isDeferred
42e0: 20 29 7b 0a 20 20 20 20 20 20 66 6b 43 68 65 63   ){.      fkChec
42f0: 6b 52 65 66 65 72 65 6e 63 65 28 70 50 61 72 73  kReference(pPars
4300: 65 2c 20 69 44 62 2c 20 70 54 6f 2c 20 70 49 64  e, iDb, pTo, pId
4310: 78 2c 20 70 46 4b 65 79 2c 20 61 69 43 6f 6c 2c  x, pFKey, aiCol,
4320: 20 72 65 67 4f 6c 64 2c 20 2d 31 29 3b 0a 20 20   regOld, -1);.  
4330: 20 20 7d 0a 20 20 20 20 69 66 28 20 72 65 67 4e    }.    if( regN
4340: 65 77 21 3d 30 20 29 7b 0a 20 20 20 20 20 20 66  ew!=0 ){.      f
4350: 6b 43 68 65 63 6b 52 65 66 65 72 65 6e 63 65 28  kCheckReference(
4360: 70 50 61 72 73 65 2c 20 69 44 62 2c 20 70 54 6f  pParse, iDb, pTo
4370: 2c 20 70 49 64 78 2c 20 70 46 4b 65 79 2c 20 61  , pIdx, pFKey, a
4380: 69 43 6f 6c 2c 20 72 65 67 4e 65 77 2c 20 2b 31  iCol, regNew, +1
4390: 29 3b 0a 20 20 20 20 7d 0a 0a 20 20 20 20 73 71  );.    }..    sq
43a0: 6c 69 74 65 33 44 62 46 72 65 65 28 64 62 2c 20  lite3DbFree(db, 
43b0: 61 69 43 6f 6c 29 3b 0a 20 20 7d 0a 0a 20 20 2f  aiCol);.  }..  /
43c0: 2a 20 4c 6f 6f 70 20 74 68 72 6f 75 67 68 20 61  * Loop through a
43d0: 6c 6c 20 74 68 65 20 66 6f 72 65 69 67 6e 20 6b  ll the foreign k
43e0: 65 79 20 63 6f 6e 73 74 72 61 69 6e 74 73 20 74  ey constraints t
43f0: 68 61 74 20 72 65 66 65 72 20 74 6f 20 74 68 69  hat refer to thi
4400: 73 20 74 61 62 6c 65 20 2a 2f 0a 20 20 66 6f 72  s table */.  for
4410: 28 70 46 4b 65 79 20 3d 20 66 6b 52 65 66 65 72  (pFKey = fkRefer
4420: 69 6e 67 28 70 54 61 62 29 3b 20 70 46 4b 65 79  ing(pTab); pFKey
4430: 3b 20 70 46 4b 65 79 3d 70 46 4b 65 79 2d 3e 70  ; pFKey=pFKey->p
4440: 4e 65 78 74 54 6f 29 7b 0a 20 20 20 20 69 6e 74  NextTo){.    int
4450: 20 69 47 6f 74 6f 3b 20 20 20 20 20 20 20 20 20   iGoto;         
4460: 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 41 64             /* Ad
4470: 64 72 65 73 73 20 6f 66 20 4f 50 5f 47 6f 74 6f  dress of OP_Goto
4480: 20 69 6e 73 74 72 75 63 74 69 6f 6e 20 2a 2f 0a   instruction */.
4490: 20 20 20 20 49 6e 64 65 78 20 2a 70 49 64 78 20      Index *pIdx 
44a0: 3d 20 30 3b 20 20 20 20 20 20 20 20 20 20 20 20  = 0;            
44b0: 20 20 2f 2a 20 46 6f 72 65 69 67 6e 20 6b 65 79    /* Foreign key
44c0: 20 69 6e 64 65 78 20 66 6f 72 20 70 46 4b 65 79   index for pFKey
44d0: 20 2a 2f 0a 20 20 20 20 53 72 63 4c 69 73 74 20   */.    SrcList 
44e0: 2a 70 53 72 63 3b 0a 20 20 20 20 69 6e 74 20 2a  *pSrc;.    int *
44f0: 61 69 43 6f 6c 20 3d 20 30 3b 0a 0a 20 20 20 20  aiCol = 0;..    
4500: 2f 2a 20 46 6f 72 20 69 6d 6d 65 64 69 61 74 65  /* For immediate
4510: 20 63 6f 6e 73 74 72 61 69 6e 74 73 2c 20 73 6b   constraints, sk
4520: 69 70 20 74 68 69 73 20 73 63 61 6e 20 69 66 3a  ip this scan if:
4530: 0a 20 20 20 20 2a 2a 0a 20 20 20 20 2a 2a 20 20  .    **.    **  
4540: 20 31 29 20 74 68 69 73 20 69 73 20 61 6e 20 49   1) this is an I
4550: 4e 53 45 52 54 20 6f 70 65 72 61 74 69 6f 6e 2c  NSERT operation,
4560: 20 6f 72 0a 20 20 20 20 2a 2a 20 20 20 32 29 20   or.    **   2) 
4570: 61 6e 20 55 50 44 41 54 45 20 6f 70 65 72 61 74  an UPDATE operat
4580: 69 6f 6e 20 61 6e 64 20 74 68 65 20 46 4b 20 61  ion and the FK a
4590: 63 74 69 6f 6e 20 69 73 20 61 20 74 72 69 67 67  ction is a trigg
45a0: 65 72 2d 61 63 74 69 6f 6e 2c 20 6f 72 0a 20 20  er-action, or.  
45b0: 20 20 2a 2a 20 20 20 33 29 20 61 20 44 45 4c 45    **   3) a DELE
45c0: 54 45 20 6f 70 65 72 61 74 69 6f 6e 20 61 6e 64  TE operation and
45d0: 20 74 68 65 20 46 4b 20 61 63 74 69 6f 6e 20 69   the FK action i
45e0: 73 20 61 20 74 72 69 67 67 65 72 2d 61 63 74 69  s a trigger-acti
45f0: 6f 6e 2e 0a 20 20 20 20 2a 2a 0a 20 20 20 20 2a  on..    **.    *
4600: 2a 20 41 20 22 74 72 69 67 67 65 72 2d 61 63 74  * A "trigger-act
4610: 69 6f 6e 22 20 69 73 20 6f 6e 65 20 6f 66 20 43  ion" is one of C
4620: 41 53 43 41 44 45 2c 20 53 45 54 20 44 45 46 41  ASCADE, SET DEFA
4630: 55 4c 54 20 6f 72 20 53 45 54 20 4e 55 4c 4c 2e  ULT or SET NULL.
4640: 0a 20 20 20 20 2a 2f 0a 20 20 20 20 69 66 28 20  .    */.    if( 
4650: 70 46 4b 65 79 2d 3e 69 73 44 65 66 65 72 72 65  pFKey->isDeferre
4660: 64 3d 3d 30 20 29 7b 0a 20 20 20 20 20 20 69 66  d==0 ){.      if
4670: 28 20 72 65 67 4f 6c 64 3d 3d 30 20 29 20 63 6f  ( regOld==0 ) co
4680: 6e 74 69 6e 75 65 3b 20 20 20 20 20 20 20 20 20  ntinue;         
4690: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
46a0: 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 31              /* 1
46b0: 20 2a 2f 0a 20 20 20 20 20 20 69 66 28 20 72 65   */.      if( re
46c0: 67 4e 65 77 21 3d 30 20 26 26 20 70 46 4b 65 79  gNew!=0 && pFKey
46d0: 2d 3e 75 70 64 61 74 65 43 6f 6e 66 3e 4f 45 5f  ->updateConf>OE_
46e0: 52 65 73 74 72 69 63 74 20 29 20 63 6f 6e 74 69  Restrict ) conti
46f0: 6e 75 65 3b 20 20 20 20 2f 2a 20 32 20 2a 2f 0a  nue;    /* 2 */.
4700: 20 20 20 20 20 20 69 66 28 20 72 65 67 4e 65 77        if( regNew
4710: 3d 3d 30 20 26 26 20 70 46 4b 65 79 2d 3e 64 65  ==0 && pFKey->de
4720: 6c 65 74 65 43 6f 6e 66 3e 4f 45 5f 52 65 73 74  leteConf>OE_Rest
4730: 72 69 63 74 20 29 20 63 6f 6e 74 69 6e 75 65 3b  rict ) continue;
4740: 20 20 20 20 2f 2a 20 33 20 2a 2f 0a 20 20 20 20      /* 3 */.    
4750: 7d 0a 0a 20 20 20 20 69 66 28 20 6c 6f 63 61 74  }..    if( locat
4760: 65 46 6b 65 79 49 6e 64 65 78 28 70 50 61 72 73  eFkeyIndex(pPars
4770: 65 2c 20 70 54 61 62 2c 20 70 46 4b 65 79 2c 20  e, pTab, pFKey, 
4780: 26 70 49 64 78 2c 20 26 61 69 43 6f 6c 29 20 29  &pIdx, &aiCol) )
4790: 20 72 65 74 75 72 6e 3b 0a 20 20 20 20 61 73 73   return;.    ass
47a0: 65 72 74 28 20 61 69 43 6f 6c 20 7c 7c 20 70 46  ert( aiCol || pF
47b0: 4b 65 79 2d 3e 6e 43 6f 6c 3d 3d 31 20 29 3b 0a  Key->nCol==1 );.
47c0: 0a 20 20 20 20 2f 2a 20 43 68 65 63 6b 20 69 66  .    /* Check if
47d0: 20 74 68 69 73 20 75 70 64 61 74 65 20 73 74 61   this update sta
47e0: 74 65 6d 65 6e 74 20 68 61 73 20 6d 6f 64 69 66  tement has modif
47f0: 69 65 64 20 61 6e 79 20 6f 66 20 74 68 65 20 6b  ied any of the k
4800: 65 79 20 63 6f 6c 75 6d 6e 73 0a 20 20 20 20 2a  ey columns.    *
4810: 2a 20 66 6f 72 20 74 68 69 73 20 66 6f 72 65 69  * for this forei
4820: 67 6e 20 6b 65 79 20 63 6f 6e 73 74 72 61 69 6e  gn key constrain
4830: 74 2e 20 49 66 20 69 74 20 68 61 73 20 6e 6f 74  t. If it has not
4840: 2c 20 74 68 65 72 65 20 69 73 20 6e 6f 20 6e 65  , there is no ne
4850: 65 64 0a 20 20 20 20 2a 2a 20 74 6f 20 73 65 61  ed.    ** to sea
4860: 72 63 68 20 74 68 65 20 72 65 66 65 72 65 6e 63  rch the referenc
4870: 69 6e 67 20 74 61 62 6c 65 20 66 6f 72 20 72 6f  ing table for ro
4880: 77 73 20 69 6e 20 76 69 6f 6c 61 74 69 6f 6e 2e  ws in violation.
4890: 20 54 68 69 73 20 69 73 0a 20 20 20 20 2a 2a 20   This is.    ** 
48a0: 6a 75 73 74 20 61 6e 20 6f 70 74 69 6d 69 7a 61  just an optimiza
48b0: 74 69 6f 6e 2e 20 54 68 69 6e 67 73 20 77 6f 75  tion. Things wou
48c0: 6c 64 20 77 6f 72 6b 20 66 69 6e 65 20 77 69 74  ld work fine wit
48d0: 68 6f 75 74 20 74 68 69 73 20 63 68 65 63 6b 2e  hout this check.
48e0: 20 20 2a 2f 0a 20 20 20 20 69 66 28 20 70 43 68    */.    if( pCh
48f0: 61 6e 67 65 73 20 29 7b 0a 20 20 20 20 20 20 2f  anges ){.      /
4900: 2a 20 54 4f 44 4f 20 2a 2f 0a 20 20 20 20 7d 0a  * TODO */.    }.
4910: 0a 20 20 20 20 2f 2a 20 43 72 65 61 74 65 20 61  .    /* Create a
4920: 20 53 72 63 4c 69 73 74 20 73 74 72 75 63 74 75   SrcList structu
4930: 72 65 20 63 6f 6e 74 61 69 6e 69 6e 67 20 61 20  re containing a 
4940: 73 69 6e 67 6c 65 20 74 61 62 6c 65 20 28 74 68  single table (th
4950: 65 20 74 61 62 6c 65 20 0a 20 20 20 20 2a 2a 20  e table .    ** 
4960: 74 68 65 20 66 6f 72 65 69 67 6e 20 6b 65 79 20  the foreign key 
4970: 74 68 61 74 20 72 65 66 65 72 73 20 74 6f 20 74  that refers to t
4980: 68 69 73 20 74 61 62 6c 65 20 69 73 20 61 74 74  his table is att
4990: 61 63 68 65 64 20 74 6f 29 2e 20 54 68 69 73 0a  ached to). This.
49a0: 20 20 20 20 2a 2a 20 69 73 20 72 65 71 75 69 72      ** is requir
49b0: 65 64 20 66 6f 72 20 74 68 65 20 73 71 6c 69 74  ed for the sqlit
49c0: 65 33 57 68 65 72 65 58 58 58 28 29 20 69 6e 74  e3WhereXXX() int
49d0: 65 72 66 61 63 65 2e 20 20 2a 2f 0a 20 20 20 20  erface.  */.    
49e0: 70 53 72 63 20 3d 20 73 71 6c 69 74 65 33 53 72  pSrc = sqlite3Sr
49f0: 63 4c 69 73 74 41 70 70 65 6e 64 28 64 62 2c 20  cListAppend(db, 
4a00: 30 2c 20 30 2c 20 30 29 3b 0a 20 20 20 20 69 66  0, 0, 0);.    if
4a10: 28 20 21 70 53 72 63 20 29 20 72 65 74 75 72 6e  ( !pSrc ) return
4a20: 3b 0a 20 20 20 20 70 53 72 63 2d 3e 61 2d 3e 70  ;.    pSrc->a->p
4a30: 54 61 62 20 3d 20 70 46 4b 65 79 2d 3e 70 46 72  Tab = pFKey->pFr
4a40: 6f 6d 3b 0a 20 20 20 20 70 53 72 63 2d 3e 61 2d  om;.    pSrc->a-
4a50: 3e 70 54 61 62 2d 3e 6e 52 65 66 2b 2b 3b 0a 20  >pTab->nRef++;. 
4a60: 20 20 20 70 53 72 63 2d 3e 61 2d 3e 69 43 75 72     pSrc->a->iCur
4a70: 73 6f 72 20 3d 20 70 50 61 72 73 65 2d 3e 6e 54  sor = pParse->nT
4a80: 61 62 2b 2b 3b 0a 0a 20 20 20 20 2f 2a 20 49 66  ab++;..    /* If
4a90: 20 74 68 69 73 20 69 73 20 61 6e 20 55 50 44 41   this is an UPDA
4aa0: 54 45 2c 20 61 6e 64 20 6e 6f 6e 65 20 6f 66 20  TE, and none of 
4ab0: 74 68 65 20 63 6f 6c 75 6d 6e 73 20 61 73 73 6f  the columns asso
4ac0: 63 69 61 74 65 64 20 77 69 74 68 20 74 68 69 73  ciated with this
4ad0: 0a 20 20 20 20 2a 2a 20 46 4b 20 68 61 76 65 20  .    ** FK have 
4ae0: 62 65 65 6e 20 6d 6f 64 69 66 69 65 64 2c 20 64  been modified, d
4af0: 6f 20 6e 6f 74 20 73 63 61 6e 20 74 68 65 20 72  o not scan the r
4b00: 65 66 65 72 65 6e 63 69 6e 67 20 74 61 62 6c 65  eferencing table
4b10: 2e 20 55 6e 6c 69 6b 65 0a 20 20 20 20 2a 2a 20  . Unlike.    ** 
4b20: 74 68 65 20 63 6f 6d 70 69 6c 65 2d 74 69 6d 65  the compile-time
4b30: 20 74 65 73 74 20 69 6d 70 6c 65 6d 65 6e 74 65   test implemente
4b40: 64 20 61 62 6f 76 65 2c 20 74 68 69 73 20 69 73  d above, this is
4b50: 20 6e 6f 74 20 6a 75 73 74 20 61 6e 20 0a 20 20   not just an .  
4b60: 20 20 2a 2a 20 6f 70 74 69 6d 69 7a 61 74 69 6f    ** optimizatio
4b70: 6e 2e 20 49 74 20 69 73 20 72 65 71 75 69 72 65  n. It is require
4b80: 64 20 73 6f 20 74 68 61 74 20 69 6d 6d 65 64 69  d so that immedi
4b90: 61 74 65 20 66 6f 72 65 69 67 6e 20 6b 65 79 73  ate foreign keys
4ba0: 20 64 6f 20 6e 6f 74 20 0a 20 20 20 20 2a 2a 20   do not .    ** 
4bb0: 74 68 72 6f 77 20 65 78 63 65 70 74 69 6f 6e 73  throw exceptions
4bc0: 20 77 68 65 6e 20 74 68 65 20 75 73 65 72 20 65   when the user e
4bd0: 78 65 63 75 74 65 73 20 61 20 73 74 61 74 65 6d  xecutes a statem
4be0: 65 6e 74 20 6c 69 6b 65 3a 0a 20 20 20 20 2a 2a  ent like:.    **
4bf0: 0a 20 20 20 20 2a 2a 20 20 20 20 20 55 50 44 41  .    **     UPDA
4c00: 54 45 20 72 65 66 64 5f 74 61 62 6c 65 20 53 45  TE refd_table SE
4c10: 54 20 72 65 66 64 5f 63 6f 6c 75 6d 6e 20 3d 20  T refd_column = 
4c20: 72 65 66 64 5f 63 6f 6c 75 6d 6e 0a 20 20 20 20  refd_column.    
4c30: 2a 2f 0a 20 20 20 20 69 66 28 20 70 43 68 61 6e  */.    if( pChan
4c40: 67 65 73 20 29 7b 0a 20 20 20 20 20 20 69 6e 74  ges ){.      int
4c50: 20 69 3b 0a 20 20 20 20 20 20 69 6e 74 20 69 4a   i;.      int iJ
4c60: 75 6d 70 20 3d 20 73 71 6c 69 74 65 33 56 64 62  ump = sqlite3Vdb
4c70: 65 43 75 72 72 65 6e 74 41 64 64 72 28 76 29 20  eCurrentAddr(v) 
4c80: 2b 20 70 46 4b 65 79 2d 3e 6e 43 6f 6c 20 2b 20  + pFKey->nCol + 
4c90: 31 3b 0a 20 20 20 20 20 20 66 6f 72 28 69 3d 30  1;.      for(i=0
4ca0: 3b 20 69 3c 70 46 4b 65 79 2d 3e 6e 43 6f 6c 3b  ; i<pFKey->nCol;
4cb0: 20 69 2b 2b 29 7b 0a 20 20 20 20 20 20 20 20 69   i++){.        i
4cc0: 6e 74 20 69 4f 66 66 20 3d 20 28 70 49 64 78 20  nt iOff = (pIdx 
4cd0: 3f 20 70 49 64 78 2d 3e 61 69 43 6f 6c 75 6d 6e  ? pIdx->aiColumn
4ce0: 5b 69 5d 20 3a 20 2d 31 29 20 2b 20 31 3b 0a 20  [i] : -1) + 1;. 
4cf0: 20 20 20 20 20 20 20 73 71 6c 69 74 65 33 56 64         sqlite3Vd
4d00: 62 65 41 64 64 4f 70 33 28 76 2c 20 4f 50 5f 4e  beAddOp3(v, OP_N
4d10: 65 2c 20 72 65 67 4f 6c 64 2b 69 4f 66 66 2c 20  e, regOld+iOff, 
4d20: 69 4a 75 6d 70 2c 20 72 65 67 4e 65 77 2b 69 4f  iJump, regNew+iO
4d30: 66 66 29 3b 0a 20 20 20 20 20 20 7d 0a 20 20 20  ff);.      }.   
4d40: 20 20 20 69 47 6f 74 6f 20 3d 20 73 71 6c 69 74     iGoto = sqlit
4d50: 65 33 56 64 62 65 41 64 64 4f 70 30 28 76 2c 20  e3VdbeAddOp0(v, 
4d60: 4f 50 5f 47 6f 74 6f 29 3b 0a 20 20 20 20 7d 0a  OP_Goto);.    }.
4d70: 0a 20 20 20 20 69 66 28 20 72 65 67 4e 65 77 21  .    if( regNew!
4d80: 3d 30 20 26 26 20 70 46 4b 65 79 2d 3e 69 73 44  =0 && pFKey->isD
4d90: 65 66 65 72 72 65 64 20 29 7b 0a 20 20 20 20 20  eferred ){.     
4da0: 20 66 6b 53 63 61 6e 52 65 66 65 72 65 6e 63 65   fkScanReference
4db0: 73 28 70 50 61 72 73 65 2c 20 70 53 72 63 2c 20  s(pParse, pSrc, 
4dc0: 70 49 64 78 2c 20 70 46 4b 65 79 2c 20 61 69 43  pIdx, pFKey, aiC
4dd0: 6f 6c 2c 20 72 65 67 4e 65 77 2c 20 2d 31 29 3b  ol, regNew, -1);
4de0: 0a 20 20 20 20 7d 0a 20 20 20 20 69 66 28 20 72  .    }.    if( r
4df0: 65 67 4f 6c 64 21 3d 30 20 29 7b 0a 20 20 20 20  egOld!=0 ){.    
4e00: 20 20 2f 2a 20 49 66 20 74 68 65 72 65 20 69 73    /* If there is
4e10: 20 61 20 52 45 53 54 52 49 43 54 20 61 63 74 69   a RESTRICT acti
4e20: 6f 6e 20 63 6f 6e 66 69 67 75 72 65 64 20 66 6f  on configured fo
4e30: 72 20 74 68 65 20 63 75 72 72 65 6e 74 20 6f 70  r the current op
4e40: 65 72 61 74 69 6f 6e 0a 20 20 20 20 20 20 2a 2a  eration.      **
4e50: 20 6f 6e 20 74 68 65 20 72 65 66 65 72 65 6e 63   on the referenc
4e60: 65 64 20 74 61 62 6c 65 20 6f 66 20 74 68 69 73  ed table of this
4e70: 20 46 4b 2c 20 74 68 65 6e 20 74 68 72 6f 77 20   FK, then throw 
4e80: 61 6e 20 65 78 63 65 70 74 69 6f 6e 20 0a 20 20  an exception .  
4e90: 20 20 20 20 2a 2a 20 69 6d 6d 65 64 69 61 74 65      ** immediate
4ea0: 6c 79 20 69 66 20 74 68 65 20 46 4b 20 63 6f 6e  ly if the FK con
4eb0: 73 74 72 61 69 6e 74 20 69 73 20 76 69 6f 6c 61  straint is viola
4ec0: 74 65 64 2c 20 65 76 65 6e 20 69 66 20 74 68 69  ted, even if thi
4ed0: 73 20 69 73 20 61 0a 20 20 20 20 20 20 2a 2a 20  s is a.      ** 
4ee0: 64 65 66 65 72 72 65 64 20 74 72 69 67 67 65 72  deferred trigger
4ef0: 2e 20 54 68 61 74 27 73 20 77 68 61 74 20 52 45  . That's what RE
4f00: 53 54 52 49 43 54 20 6d 65 61 6e 73 2e 20 54 6f  STRICT means. To
4f10: 20 64 65 66 65 72 20 63 68 65 63 6b 69 6e 67 0a   defer checking.
4f20: 20 20 20 20 20 20 2a 2a 20 74 68 65 20 63 6f 6e        ** the con
4f30: 73 74 72 61 69 6e 74 2c 20 74 68 65 20 46 4b 20  straint, the FK 
4f40: 73 68 6f 75 6c 64 20 73 70 65 63 69 66 79 20 4e  should specify N
4f50: 4f 20 41 43 54 49 4f 4e 20 28 72 65 70 72 65 73  O ACTION (repres
4f60: 65 6e 74 65 64 0a 20 20 20 20 20 20 2a 2a 20 75  ented.      ** u
4f70: 73 69 6e 67 20 4f 45 5f 4e 6f 6e 65 29 2e 20 4e  sing OE_None). N
4f80: 4f 20 41 43 54 49 4f 4e 20 69 73 20 74 68 65 20  O ACTION is the 
4f90: 64 65 66 61 75 6c 74 2e 20 20 2a 2f 0a 20 20 20  default.  */.   
4fa0: 20 20 20 66 6b 53 63 61 6e 52 65 66 65 72 65 6e     fkScanReferen
4fb0: 63 65 73 28 70 50 61 72 73 65 2c 20 70 53 72 63  ces(pParse, pSrc
4fc0: 2c 20 70 49 64 78 2c 20 70 46 4b 65 79 2c 20 61  , pIdx, pFKey, a
4fd0: 69 43 6f 6c 2c 20 72 65 67 4f 6c 64 2c 20 0a 20  iCol, regOld, . 
4fe0: 20 20 20 20 20 20 20 20 20 28 70 43 68 61 6e 67           (pChang
4ff0: 65 73 21 3d 30 20 26 26 20 70 46 4b 65 79 2d 3e  es!=0 && pFKey->
5000: 75 70 64 61 74 65 43 6f 6e 66 21 3d 4f 45 5f 52  updateConf!=OE_R
5010: 65 73 74 72 69 63 74 29 0a 20 20 20 20 20 20 20  estrict).       
5020: 7c 7c 20 28 70 43 68 61 6e 67 65 73 3d 3d 30 20  || (pChanges==0 
5030: 26 26 20 70 46 4b 65 79 2d 3e 64 65 6c 65 74 65  && pFKey->delete
5040: 43 6f 6e 66 21 3d 4f 45 5f 52 65 73 74 72 69 63  Conf!=OE_Restric
5050: 74 29 0a 20 20 20 20 20 20 29 3b 0a 20 20 20 20  t).      );.    
5060: 7d 0a 0a 20 20 20 20 69 66 28 20 70 43 68 61 6e  }..    if( pChan
5070: 67 65 73 20 29 7b 0a 20 20 20 20 20 20 73 71 6c  ges ){.      sql
5080: 69 74 65 33 56 64 62 65 4a 75 6d 70 48 65 72 65  ite3VdbeJumpHere
5090: 28 76 2c 20 69 47 6f 74 6f 29 3b 0a 20 20 20 20  (v, iGoto);.    
50a0: 7d 0a 20 20 20 20 73 71 6c 69 74 65 33 53 72 63  }.    sqlite3Src
50b0: 4c 69 73 74 44 65 6c 65 74 65 28 64 62 2c 20 70  ListDelete(db, p
50c0: 53 72 63 29 3b 0a 20 20 20 20 73 71 6c 69 74 65  Src);.    sqlite
50d0: 33 44 62 46 72 65 65 28 64 62 2c 20 61 69 43 6f  3DbFree(db, aiCo
50e0: 6c 29 3b 0a 20 20 7d 0a 7d 0a 0a 23 64 65 66 69  l);.  }.}..#defi
50f0: 6e 65 20 43 4f 4c 55 4d 4e 5f 4d 41 53 4b 28 78  ne COLUMN_MASK(x
5100: 29 20 28 28 28 78 29 3e 33 31 29 20 3f 20 30 78  ) (((x)>31) ? 0x
5110: 66 66 66 66 66 66 66 66 20 3a 20 28 28 75 33 32  ffffffff : ((u32
5120: 29 31 3c 3c 28 78 29 29 29 0a 0a 2f 2a 0a 2a 2a  )1<<(x)))../*.**
5130: 20 54 68 69 73 20 66 75 6e 63 74 69 6f 6e 20 69   This function i
5140: 73 20 63 61 6c 6c 65 64 20 62 65 66 6f 72 65 20  s called before 
5150: 67 65 6e 65 72 61 74 69 6e 67 20 63 6f 64 65 20  generating code 
5160: 74 6f 20 75 70 64 61 74 65 20 6f 72 20 64 65 6c  to update or del
5170: 65 74 65 20 61 20 0a 2a 2a 20 72 6f 77 20 63 6f  ete a .** row co
5180: 6e 74 61 69 6e 65 64 20 69 6e 20 74 61 62 6c 65  ntained in table
5190: 20 70 54 61 62 2e 20 49 66 20 74 68 65 20 6f 70   pTab. If the op
51a0: 65 72 61 74 69 6f 6e 20 69 73 20 61 6e 20 75 70  eration is an up
51b0: 64 61 74 65 2c 20 74 68 65 6e 20 0a 2a 2a 20 70  date, then .** p
51c0: 43 68 61 6e 67 65 73 20 69 73 20 61 20 70 6f 69  Changes is a poi
51d0: 6e 74 65 72 20 74 6f 20 74 68 65 20 6c 69 73 74  nter to the list
51e0: 20 6f 66 20 63 6f 6c 75 6d 6e 73 20 74 6f 20 6d   of columns to m
51f0: 6f 64 69 66 79 2e 20 49 66 20 74 68 69 73 20 69  odify. If this i
5200: 73 20 61 20 0a 2a 2a 20 64 65 6c 65 74 65 2c 20  s a .** delete, 
5210: 74 68 65 6e 20 70 43 68 61 6e 67 65 73 20 69 73  then pChanges is
5220: 20 4e 55 4c 4c 2e 0a 2a 2f 0a 75 33 32 20 73 71   NULL..*/.u32 sq
5230: 6c 69 74 65 33 46 6b 4f 6c 64 6d 61 73 6b 28 0a  lite3FkOldmask(.
5240: 20 20 50 61 72 73 65 20 2a 70 50 61 72 73 65 2c    Parse *pParse,
5250: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
5260: 20 20 2f 2a 20 50 61 72 73 65 20 63 6f 6e 74 65    /* Parse conte
5270: 78 74 20 2a 2f 0a 20 20 54 61 62 6c 65 20 2a 70  xt */.  Table *p
5280: 54 61 62 2c 20 20 20 20 20 20 20 20 20 20 20 20  Tab,            
5290: 20 20 20 20 20 20 20 20 2f 2a 20 54 61 62 6c 65          /* Table
52a0: 20 62 65 69 6e 67 20 6d 6f 64 69 66 69 65 64 20   being modified 
52b0: 2a 2f 0a 20 20 45 78 70 72 4c 69 73 74 20 2a 70  */.  ExprList *p
52c0: 43 68 61 6e 67 65 73 20 20 20 20 20 20 20 20 20  Changes         
52d0: 20 20 20 20 20 2f 2a 20 4e 6f 6e 2d 4e 55 4c 4c       /* Non-NULL
52e0: 20 66 6f 72 20 55 50 44 41 54 45 20 6f 70 65 72   for UPDATE oper
52f0: 61 74 69 6f 6e 73 20 2a 2f 0a 29 7b 0a 20 20 75  ations */.){.  u
5300: 33 32 20 6d 61 73 6b 20 3d 20 30 3b 0a 20 20 69  32 mask = 0;.  i
5310: 66 28 20 70 50 61 72 73 65 2d 3e 64 62 2d 3e 66  f( pParse->db->f
5320: 6c 61 67 73 26 53 51 4c 49 54 45 5f 46 6f 72 65  lags&SQLITE_Fore
5330: 69 67 6e 4b 65 79 73 20 29 7b 0a 20 20 20 20 46  ignKeys ){.    F
5340: 4b 65 79 20 2a 70 3b 0a 20 20 20 20 69 6e 74 20  Key *p;.    int 
5350: 69 3b 0a 20 20 20 20 66 6f 72 28 70 3d 70 54 61  i;.    for(p=pTa
5360: 62 2d 3e 70 46 4b 65 79 3b 20 70 3b 20 70 3d 70  b->pFKey; p; p=p
5370: 2d 3e 70 4e 65 78 74 46 72 6f 6d 29 7b 0a 20 20  ->pNextFrom){.  
5380: 20 20 20 20 69 66 28 20 70 43 68 61 6e 67 65 73      if( pChanges
5390: 20 7c 7c 20 70 2d 3e 69 73 44 65 66 65 72 72 65   || p->isDeferre
53a0: 64 20 29 7b 0a 20 20 20 20 20 20 20 20 66 6f 72  d ){.        for
53b0: 28 69 3d 30 3b 20 69 3c 70 2d 3e 6e 43 6f 6c 3b  (i=0; i<p->nCol;
53c0: 20 69 2b 2b 29 20 6d 61 73 6b 20 7c 3d 20 43 4f   i++) mask |= CO
53d0: 4c 55 4d 4e 5f 4d 41 53 4b 28 70 2d 3e 61 43 6f  LUMN_MASK(p->aCo
53e0: 6c 5b 69 5d 2e 69 46 72 6f 6d 29 3b 0a 20 20 20  l[i].iFrom);.   
53f0: 20 20 20 7d 0a 20 20 20 20 7d 0a 20 20 20 20 66     }.    }.    f
5400: 6f 72 28 70 3d 66 6b 52 65 66 65 72 69 6e 67 28  or(p=fkRefering(
5410: 70 54 61 62 29 3b 20 70 3b 20 70 3d 70 2d 3e 70  pTab); p; p=p->p
5420: 4e 65 78 74 54 6f 29 7b 0a 20 20 20 20 20 20 49  NextTo){.      I
5430: 6e 64 65 78 20 2a 70 49 64 78 20 3d 20 30 3b 0a  ndex *pIdx = 0;.
5440: 20 20 20 20 20 20 6c 6f 63 61 74 65 46 6b 65 79        locateFkey
5450: 49 6e 64 65 78 28 30 2c 20 70 54 61 62 2c 20 70  Index(0, pTab, p
5460: 2c 20 26 70 49 64 78 2c 20 30 29 3b 0a 20 20 20  , &pIdx, 0);.   
5470: 20 20 20 69 66 28 20 70 49 64 78 20 29 7b 0a 20     if( pIdx ){. 
5480: 20 20 20 20 20 20 20 66 6f 72 28 69 3d 30 3b 20         for(i=0; 
5490: 69 3c 70 49 64 78 2d 3e 6e 43 6f 6c 75 6d 6e 3b  i<pIdx->nColumn;
54a0: 20 69 2b 2b 29 20 6d 61 73 6b 20 7c 3d 20 43 4f   i++) mask |= CO
54b0: 4c 55 4d 4e 5f 4d 41 53 4b 28 70 49 64 78 2d 3e  LUMN_MASK(pIdx->
54c0: 61 69 43 6f 6c 75 6d 6e 5b 69 5d 29 3b 0a 20 20  aiColumn[i]);.  
54d0: 20 20 20 20 7d 0a 20 20 20 20 7d 0a 20 20 7d 0a      }.    }.  }.
54e0: 20 20 72 65 74 75 72 6e 20 6d 61 73 6b 3b 0a 7d    return mask;.}
54f0: 0a 0a 2f 2a 0a 2a 2a 20 54 68 69 73 20 66 75 6e  ../*.** This fun
5500: 63 74 69 6f 6e 20 69 73 20 63 61 6c 6c 65 64 20  ction is called 
5510: 62 65 66 6f 72 65 20 67 65 6e 65 72 61 74 69 6e  before generatin
5520: 67 20 63 6f 64 65 20 74 6f 20 75 70 64 61 74 65  g code to update
5530: 20 6f 72 20 64 65 6c 65 74 65 20 61 20 0a 2a 2a   or delete a .**
5540: 20 72 6f 77 20 63 6f 6e 74 61 69 6e 65 64 20 69   row contained i
5550: 6e 20 74 61 62 6c 65 20 70 54 61 62 2e 20 49 66  n table pTab. If
5560: 20 74 68 65 20 6f 70 65 72 61 74 69 6f 6e 20 69   the operation i
5570: 73 20 61 6e 20 75 70 64 61 74 65 2c 20 74 68 65  s an update, the
5580: 6e 20 0a 2a 2a 20 70 43 68 61 6e 67 65 73 20 69  n .** pChanges i
5590: 73 20 61 20 70 6f 69 6e 74 65 72 20 74 6f 20 74  s a pointer to t
55a0: 68 65 20 6c 69 73 74 20 6f 66 20 63 6f 6c 75 6d  he list of colum
55b0: 6e 73 20 74 6f 20 6d 6f 64 69 66 79 2e 20 49 66  ns to modify. If
55c0: 20 74 68 69 73 20 69 73 20 61 20 0a 2a 2a 20 64   this is a .** d
55d0: 65 6c 65 74 65 2c 20 74 68 65 6e 20 70 43 68 61  elete, then pCha
55e0: 6e 67 65 73 20 69 73 20 4e 55 4c 4c 2e 0a 2a 2a  nges is NULL..**
55f0: 0a 2a 2a 20 49 66 20 61 6e 79 20 66 6f 72 65 69  .** If any forei
5600: 67 6e 20 6b 65 79 20 70 72 6f 63 65 73 73 69 6e  gn key processin
5610: 67 20 77 69 6c 6c 20 62 65 20 72 65 71 75 69 72  g will be requir
5620: 65 64 2c 20 74 68 69 73 20 66 75 6e 63 74 69 6f  ed, this functio
5630: 6e 20 72 65 74 75 72 6e 73 0a 2a 2a 20 74 72 75  n returns.** tru
5640: 65 2e 20 49 66 20 74 68 65 72 65 20 69 73 20 6e  e. If there is n
5650: 6f 20 66 6f 72 65 69 67 6e 20 6b 65 79 20 72 65  o foreign key re
5660: 6c 61 74 65 64 20 70 72 6f 63 65 73 73 69 6e 67  lated processing
5670: 2c 20 74 68 69 73 20 66 75 6e 63 74 69 6f 6e 20  , this function 
5680: 0a 2a 2a 20 72 65 74 75 72 6e 73 20 66 61 6c 73  .** returns fals
5690: 65 2e 0a 2a 2f 0a 69 6e 74 20 73 71 6c 69 74 65  e..*/.int sqlite
56a0: 33 46 6b 52 65 71 75 69 72 65 64 28 0a 20 20 50  3FkRequired(.  P
56b0: 61 72 73 65 20 2a 70 50 61 72 73 65 2c 20 20 20  arse *pParse,   
56c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f                 /
56d0: 2a 20 50 61 72 73 65 20 63 6f 6e 74 65 78 74 20  * Parse context 
56e0: 2a 2f 0a 20 20 54 61 62 6c 65 20 2a 70 54 61 62  */.  Table *pTab
56f0: 2c 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  ,               
5700: 20 20 20 20 20 2f 2a 20 54 61 62 6c 65 20 62 65       /* Table be
5710: 69 6e 67 20 6d 6f 64 69 66 69 65 64 20 2a 2f 0a  ing modified */.
5720: 20 20 45 78 70 72 4c 69 73 74 20 2a 70 43 68 61    ExprList *pCha
5730: 6e 67 65 73 20 20 20 20 20 20 20 20 20 20 20 20  nges            
5740: 20 20 2f 2a 20 4e 6f 6e 2d 4e 55 4c 4c 20 66 6f    /* Non-NULL fo
5750: 72 20 55 50 44 41 54 45 20 6f 70 65 72 61 74 69  r UPDATE operati
5760: 6f 6e 73 20 2a 2f 0a 29 7b 0a 20 20 69 66 28 20  ons */.){.  if( 
5770: 70 50 61 72 73 65 2d 3e 64 62 2d 3e 66 6c 61 67  pParse->db->flag
5780: 73 26 53 51 4c 49 54 45 5f 46 6f 72 65 69 67 6e  s&SQLITE_Foreign
5790: 4b 65 79 73 20 29 7b 0a 20 20 20 20 46 4b 65 79  Keys ){.    FKey
57a0: 20 2a 70 3b 0a 20 20 20 20 66 6f 72 28 70 3d 70   *p;.    for(p=p
57b0: 54 61 62 2d 3e 70 46 4b 65 79 3b 20 70 3b 20 70  Tab->pFKey; p; p
57c0: 3d 70 2d 3e 70 4e 65 78 74 46 72 6f 6d 29 7b 0a  =p->pNextFrom){.
57d0: 20 20 20 20 20 20 69 66 28 20 70 43 68 61 6e 67        if( pChang
57e0: 65 73 20 7c 7c 20 70 2d 3e 69 73 44 65 66 65 72  es || p->isDefer
57f0: 72 65 64 20 29 20 72 65 74 75 72 6e 20 31 3b 0a  red ) return 1;.
5800: 20 20 20 20 7d 0a 20 20 20 20 69 66 28 20 66 6b      }.    if( fk
5810: 52 65 66 65 72 69 6e 67 28 70 54 61 62 29 20 29  Refering(pTab) )
5820: 20 72 65 74 75 72 6e 20 31 3b 0a 20 20 7d 0a 20   return 1;.  }. 
5830: 20 72 65 74 75 72 6e 20 30 3b 0a 7d 0a 0a 73 74   return 0;.}..st
5840: 61 74 69 63 20 54 72 69 67 67 65 72 20 2a 66 6b  atic Trigger *fk
5850: 41 63 74 69 6f 6e 54 72 69 67 67 65 72 28 0a 20  ActionTrigger(. 
5860: 20 50 61 72 73 65 20 2a 70 50 61 72 73 65 2c 0a   Parse *pParse,.
5870: 20 20 54 61 62 6c 65 20 2a 70 54 61 62 2c 20 20    Table *pTab,  
5880: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
5890: 20 20 2f 2a 20 54 61 62 6c 65 20 62 65 69 6e 67    /* Table being
58a0: 20 75 70 64 61 74 65 64 20 6f 72 20 64 65 6c 65   updated or dele
58b0: 74 65 64 20 66 72 6f 6d 20 2a 2f 0a 20 20 46 4b  ted from */.  FK
58c0: 65 79 20 2a 70 46 4b 65 79 2c 20 20 20 20 20 20  ey *pFKey,      
58d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a                /*
58e0: 20 46 6f 72 65 69 67 6e 20 6b 65 79 20 74 6f 20   Foreign key to 
58f0: 67 65 74 20 61 63 74 69 6f 6e 20 66 6f 72 20 2a  get action for *
5900: 2f 0a 20 20 45 78 70 72 4c 69 73 74 20 2a 70 43  /.  ExprList *pC
5910: 68 61 6e 67 65 73 20 20 20 20 20 20 20 20 20 20  hanges          
5920: 20 20 20 20 2f 2a 20 43 68 61 6e 67 65 2d 6c 69      /* Change-li
5930: 73 74 20 66 6f 72 20 55 50 44 41 54 45 2c 20 4e  st for UPDATE, N
5940: 55 4c 4c 20 66 6f 72 20 44 45 4c 45 54 45 20 2a  ULL for DELETE *
5950: 2f 0a 29 7b 0a 20 20 73 71 6c 69 74 65 33 20 2a  /.){.  sqlite3 *
5960: 64 62 20 3d 20 70 50 61 72 73 65 2d 3e 64 62 3b  db = pParse->db;
5970: 20 20 20 20 20 20 20 2f 2a 20 44 61 74 61 62 61         /* Databa
5980: 73 65 20 68 61 6e 64 6c 65 20 2a 2f 0a 20 20 69  se handle */.  i
5990: 6e 74 20 61 63 74 69 6f 6e 3b 0a 20 20 54 72 69  nt action;.  Tri
59a0: 67 67 65 72 20 2a 70 54 72 69 67 67 65 72 3b 0a  gger *pTrigger;.
59b0: 0a 20 20 69 66 28 20 70 43 68 61 6e 67 65 73 20  .  if( pChanges 
59c0: 29 7b 0a 20 20 20 20 61 63 74 69 6f 6e 20 3d 20  ){.    action = 
59d0: 70 46 4b 65 79 2d 3e 75 70 64 61 74 65 43 6f 6e  pFKey->updateCon
59e0: 66 3b 0a 20 20 20 20 70 54 72 69 67 67 65 72 20  f;.    pTrigger 
59f0: 3d 20 70 46 4b 65 79 2d 3e 70 4f 6e 55 70 64 61  = pFKey->pOnUpda
5a00: 74 65 3b 0a 20 20 7d 65 6c 73 65 7b 0a 20 20 20  te;.  }else{.   
5a10: 20 61 63 74 69 6f 6e 20 3d 20 70 46 4b 65 79 2d   action = pFKey-
5a20: 3e 64 65 6c 65 74 65 43 6f 6e 66 3b 0a 20 20 20  >deleteConf;.   
5a30: 20 70 54 72 69 67 67 65 72 20 3d 20 70 46 4b 65   pTrigger = pFKe
5a40: 79 2d 3e 70 4f 6e 44 65 6c 65 74 65 3b 0a 20 20  y->pOnDelete;.  
5a50: 7d 0a 0a 20 20 61 73 73 65 72 74 28 20 4f 45 5f  }..  assert( OE_
5a60: 53 65 74 4e 75 6c 6c 3e 4f 45 5f 52 65 73 74 72  SetNull>OE_Restr
5a70: 69 63 74 20 26 26 20 4f 45 5f 53 65 74 44 66 6c  ict && OE_SetDfl
5a80: 74 3e 4f 45 5f 52 65 73 74 72 69 63 74 20 29 3b  t>OE_Restrict );
5a90: 0a 20 20 61 73 73 65 72 74 28 20 4f 45 5f 43 61  .  assert( OE_Ca
5aa0: 73 63 61 64 65 3e 4f 45 5f 52 65 73 74 72 69 63  scade>OE_Restric
5ab0: 74 20 26 26 20 4f 45 5f 4e 6f 6e 65 3c 4f 45 5f  t && OE_None<OE_
5ac0: 52 65 73 74 72 69 63 74 20 29 3b 0a 0a 20 20 69  Restrict );..  i
5ad0: 66 28 20 61 63 74 69 6f 6e 3e 4f 45 5f 52 65 73  f( action>OE_Res
5ae0: 74 72 69 63 74 20 26 26 20 21 70 54 72 69 67 67  trict && !pTrigg
5af0: 65 72 20 29 7b 0a 20 20 20 20 63 68 61 72 20 63  er ){.    char c
5b00: 6f 6e 73 74 20 2a 7a 46 72 6f 6d 3b 20 20 20 20  onst *zFrom;    
5b10: 20 20 20 20 20 20 20 20 2f 2a 20 4e 61 6d 65 20          /* Name 
5b20: 6f 66 20 72 65 66 65 72 65 6e 63 69 6e 67 20 74  of referencing t
5b30: 61 62 6c 65 20 2a 2f 0a 20 20 20 20 69 6e 74 20  able */.    int 
5b40: 6e 46 72 6f 6d 3b 20 20 20 20 20 20 20 20 20 20  nFrom;          
5b50: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 4c 65 6e            /* Len
5b60: 67 74 68 20 69 6e 20 62 79 74 65 73 20 6f 66 20  gth in bytes of 
5b70: 7a 46 72 6f 6d 20 2a 2f 0a 20 20 20 20 49 6e 64  zFrom */.    Ind
5b80: 65 78 20 2a 70 49 64 78 20 3d 20 30 3b 0a 20 20  ex *pIdx = 0;.  
5b90: 20 20 69 6e 74 20 2a 61 69 43 6f 6c 20 3d 20 30    int *aiCol = 0
5ba0: 3b 0a 20 20 20 20 54 72 69 67 67 65 72 53 74 65  ;.    TriggerSte
5bb0: 70 20 2a 70 53 74 65 70 3b 0a 20 20 20 20 73 71  p *pStep;.    sq
5bc0: 6c 69 74 65 33 20 2a 64 62 4d 65 6d 20 3d 20 70  lite3 *dbMem = p
5bd0: 54 61 62 2d 3e 64 62 4d 65 6d 3b 0a 20 20 20 20  Tab->dbMem;.    
5be0: 45 78 70 72 20 2a 70 57 68 65 72 65 20 3d 20 30  Expr *pWhere = 0
5bf0: 3b 0a 20 20 20 20 45 78 70 72 4c 69 73 74 20 2a  ;.    ExprList *
5c00: 70 4c 69 73 74 20 3d 20 30 3b 0a 20 20 20 20 69  pList = 0;.    i
5c10: 6e 74 20 69 3b 0a 0a 20 20 20 20 69 66 28 20 6c  nt i;..    if( l
5c20: 6f 63 61 74 65 46 6b 65 79 49 6e 64 65 78 28 70  ocateFkeyIndex(p
5c30: 50 61 72 73 65 2c 20 70 54 61 62 2c 20 70 46 4b  Parse, pTab, pFK
5c40: 65 79 2c 20 26 70 49 64 78 2c 20 26 61 69 43 6f  ey, &pIdx, &aiCo
5c50: 6c 29 20 29 20 72 65 74 75 72 6e 20 30 3b 0a 20  l) ) return 0;. 
5c60: 20 20 20 61 73 73 65 72 74 28 20 61 69 43 6f 6c     assert( aiCol
5c70: 20 7c 7c 20 70 46 4b 65 79 2d 3e 6e 43 6f 6c 3d   || pFKey->nCol=
5c80: 3d 31 20 29 3b 0a 0a 20 20 20 20 61 73 73 65 72  =1 );..    asser
5c90: 74 28 20 64 62 4d 65 6d 3d 3d 30 20 7c 7c 20 64  t( dbMem==0 || d
5ca0: 62 4d 65 6d 3d 3d 70 50 61 72 73 65 2d 3e 64 62  bMem==pParse->db
5cb0: 20 29 3b 0a 20 20 20 20 7a 46 72 6f 6d 20 3d 20   );.    zFrom = 
5cc0: 70 46 4b 65 79 2d 3e 70 46 72 6f 6d 2d 3e 7a 4e  pFKey->pFrom->zN
5cd0: 61 6d 65 3b 0a 20 20 20 20 6e 46 72 6f 6d 20 3d  ame;.    nFrom =
5ce0: 20 73 71 6c 69 74 65 33 53 74 72 6c 65 6e 33 30   sqlite3Strlen30
5cf0: 28 7a 46 72 6f 6d 29 3b 0a 20 20 20 20 70 54 72  (zFrom);.    pTr
5d00: 69 67 67 65 72 20 3d 20 28 54 72 69 67 67 65 72  igger = (Trigger
5d10: 20 2a 29 73 71 6c 69 74 65 33 44 62 4d 61 6c 6c   *)sqlite3DbMall
5d20: 6f 63 5a 65 72 6f 28 64 62 4d 65 6d 2c 20 0a 20  ocZero(dbMem, . 
5d30: 20 20 20 20 20 20 20 73 69 7a 65 6f 66 28 54 72         sizeof(Tr
5d40: 69 67 67 65 72 29 20 2b 20 20 20 20 20 20 20 20  igger) +        
5d50: 20 2f 2a 20 73 74 72 75 63 74 20 54 72 69 67 67   /* struct Trigg
5d60: 65 72 20 2a 2f 0a 20 20 20 20 20 20 20 20 73 69  er */.        si
5d70: 7a 65 6f 66 28 54 72 69 67 67 65 72 53 74 65 70  zeof(TriggerStep
5d80: 29 20 2b 20 20 20 20 20 2f 2a 20 53 69 6e 67 6c  ) +     /* Singl
5d90: 65 20 73 74 65 70 20 69 6e 20 74 72 69 67 67 65  e step in trigge
5da0: 72 20 70 72 6f 67 72 61 6d 20 2a 2f 0a 20 20 20  r program */.   
5db0: 20 20 20 20 20 6e 46 72 6f 6d 20 2b 20 31 20 20       nFrom + 1  
5dc0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f                 /
5dd0: 2a 20 53 70 61 63 65 20 66 6f 72 20 70 53 74 65  * Space for pSte
5de0: 70 2d 3e 74 61 72 67 65 74 2e 7a 20 2a 2f 0a 20  p->target.z */. 
5df0: 20 20 20 29 3b 0a 20 20 20 20 69 66 28 20 21 70     );.    if( !p
5e00: 54 72 69 67 67 65 72 20 29 7b 0a 20 20 20 20 20  Trigger ){.     
5e10: 20 70 50 61 72 73 65 2d 3e 64 62 2d 3e 6d 61 6c   pParse->db->mal
5e20: 6c 6f 63 46 61 69 6c 65 64 20 3d 20 31 3b 0a 20  locFailed = 1;. 
5e30: 20 20 20 20 20 72 65 74 75 72 6e 20 30 3b 0a 20       return 0;. 
5e40: 20 20 20 7d 0a 20 20 20 20 70 53 74 65 70 20 3d     }.    pStep =
5e50: 20 70 54 72 69 67 67 65 72 2d 3e 73 74 65 70 5f   pTrigger->step_
5e60: 6c 69 73 74 20 3d 20 28 54 72 69 67 67 65 72 53  list = (TriggerS
5e70: 74 65 70 20 2a 29 26 70 54 72 69 67 67 65 72 5b  tep *)&pTrigger[
5e80: 31 5d 3b 0a 20 20 20 20 70 53 74 65 70 2d 3e 74  1];.    pStep->t
5e90: 61 72 67 65 74 2e 7a 20 3d 20 28 63 68 61 72 20  arget.z = (char 
5ea0: 2a 29 26 70 53 74 65 70 5b 31 5d 3b 0a 20 20 20  *)&pStep[1];.   
5eb0: 20 70 53 74 65 70 2d 3e 74 61 72 67 65 74 2e 6e   pStep->target.n
5ec0: 20 3d 20 6e 46 72 6f 6d 3b 0a 20 20 20 20 6d 65   = nFrom;.    me
5ed0: 6d 63 70 79 28 28 63 68 61 72 20 2a 29 70 53 74  mcpy((char *)pSt
5ee0: 65 70 2d 3e 74 61 72 67 65 74 2e 7a 2c 20 7a 46  ep->target.z, zF
5ef0: 72 6f 6d 2c 20 6e 46 72 6f 6d 29 3b 0a 0a 20 20  rom, nFrom);..  
5f00: 20 20 66 6f 72 28 69 3d 30 3b 20 69 3c 70 46 4b    for(i=0; i<pFK
5f10: 65 79 2d 3e 6e 43 6f 6c 3b 20 69 2b 2b 29 7b 0a  ey->nCol; i++){.
5f20: 20 20 20 20 20 20 45 78 70 72 20 2a 70 45 71 3b        Expr *pEq;
5f30: 0a 20 20 20 20 20 20 69 6e 74 20 69 46 72 6f 6d  .      int iFrom
5f40: 43 6f 6c 3b 20 20 20 20 20 20 20 20 20 20 20 20  Col;            
5f50: 20 20 20 2f 2a 20 49 64 78 20 6f 66 20 63 6f 6c     /* Idx of col
5f60: 75 6d 6e 20 69 6e 20 72 65 66 65 72 65 6e 63 69  umn in referenci
5f70: 6e 67 20 74 61 62 6c 65 20 2a 2f 0a 20 20 20 20  ng table */.    
5f80: 20 20 54 6f 6b 65 6e 20 74 46 72 6f 6d 43 6f 6c    Token tFromCol
5f90: 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a  ;             /*
5fa0: 20 4e 61 6d 65 20 6f 66 20 63 6f 6c 75 6d 6e 20   Name of column 
5fb0: 69 6e 20 72 65 66 65 72 65 6e 63 69 6e 67 20 74  in referencing t
5fc0: 61 62 6c 65 20 2a 2f 0a 20 20 20 20 20 20 54 6f  able */.      To
5fd0: 6b 65 6e 20 74 54 6f 43 6f 6c 3b 20 20 20 20 20  ken tToCol;     
5fe0: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 4e 61 6d            /* Nam
5ff0: 65 20 6f 66 20 63 6f 6c 75 6d 6e 20 69 6e 20 72  e of column in r
6000: 65 66 65 72 65 6e 63 65 64 20 74 61 62 6c 65 20  eferenced table 
6010: 2a 2f 0a 20 20 20 20 20 20 54 6f 6b 65 6e 20 74  */.      Token t
6020: 4f 6c 64 20 3d 20 7b 20 22 6f 6c 64 22 2c 20 33  Old = { "old", 3
6030: 20 7d 3b 20 20 2f 2a 20 4c 69 74 65 72 61 6c 20   };  /* Literal 
6040: 22 6f 6c 64 22 20 74 6f 6b 65 6e 20 2a 2f 0a 20  "old" token */. 
6050: 20 20 20 20 20 54 6f 6b 65 6e 20 74 4e 65 77 20       Token tNew 
6060: 3d 20 7b 20 22 6e 65 77 22 2c 20 33 20 7d 3b 20  = { "new", 3 }; 
6070: 20 2f 2a 20 4c 69 74 65 72 61 6c 20 22 6e 65 77   /* Literal "new
6080: 22 20 74 6f 6b 65 6e 20 2a 2f 0a 0a 20 20 20 20  " token */..    
6090: 20 20 69 46 72 6f 6d 43 6f 6c 20 3d 20 61 69 43    iFromCol = aiC
60a0: 6f 6c 20 3f 20 61 69 43 6f 6c 5b 69 5d 20 3a 20  ol ? aiCol[i] : 
60b0: 70 46 4b 65 79 2d 3e 61 43 6f 6c 5b 30 5d 2e 69  pFKey->aCol[0].i
60c0: 46 72 6f 6d 3b 0a 20 20 20 20 20 20 74 54 6f 43  From;.      tToC
60d0: 6f 6c 2e 7a 20 3d 20 70 49 64 78 20 3f 20 70 54  ol.z = pIdx ? pT
60e0: 61 62 2d 3e 61 43 6f 6c 5b 70 49 64 78 2d 3e 61  ab->aCol[pIdx->a
60f0: 69 43 6f 6c 75 6d 6e 5b 69 5d 5d 2e 7a 4e 61 6d  iColumn[i]].zNam
6100: 65 20 3a 20 22 6f 69 64 22 3b 0a 20 20 20 20 20  e : "oid";.     
6110: 20 74 46 72 6f 6d 43 6f 6c 2e 7a 20 3d 20 69 46   tFromCol.z = iF
6120: 72 6f 6d 43 6f 6c 3c 30 20 3f 20 22 6f 69 64 22  romCol<0 ? "oid"
6130: 20 3a 20 70 46 4b 65 79 2d 3e 70 46 72 6f 6d 2d   : pFKey->pFrom-
6140: 3e 61 43 6f 6c 5b 69 46 72 6f 6d 43 6f 6c 5d 2e  >aCol[iFromCol].
6150: 7a 4e 61 6d 65 3b 0a 0a 20 20 20 20 20 20 74 54  zName;..      tT
6160: 6f 43 6f 6c 2e 6e 20 3d 20 73 71 6c 69 74 65 33  oCol.n = sqlite3
6170: 53 74 72 6c 65 6e 33 30 28 74 54 6f 43 6f 6c 2e  Strlen30(tToCol.
6180: 7a 29 3b 0a 20 20 20 20 20 20 74 46 72 6f 6d 43  z);.      tFromC
6190: 6f 6c 2e 6e 20 3d 20 73 71 6c 69 74 65 33 53 74  ol.n = sqlite3St
61a0: 72 6c 65 6e 33 30 28 74 46 72 6f 6d 43 6f 6c 2e  rlen30(tFromCol.
61b0: 7a 29 3b 0a 0a 20 20 20 20 20 20 2f 2a 20 43 72  z);..      /* Cr
61c0: 65 61 74 65 20 74 68 65 20 65 78 70 72 65 73 73  eate the express
61d0: 69 6f 6e 20 22 7a 46 72 6f 6d 43 6f 6c 20 3d 20  ion "zFromCol = 
61e0: 4f 4c 44 2e 7a 54 6f 43 6f 6c 22 20 2a 2f 0a 20  OLD.zToCol" */. 
61f0: 20 20 20 20 20 70 45 71 20 3d 20 73 71 6c 69 74       pEq = sqlit
6200: 65 33 50 45 78 70 72 28 70 50 61 72 73 65 2c 20  e3PExpr(pParse, 
6210: 54 4b 5f 45 51 2c 0a 20 20 20 20 20 20 20 20 20  TK_EQ,.         
6220: 20 73 71 6c 69 74 65 33 50 45 78 70 72 28 70 50   sqlite3PExpr(pP
6230: 61 72 73 65 2c 20 54 4b 5f 49 44 2c 20 30 2c 20  arse, TK_ID, 0, 
6240: 30 2c 20 26 74 46 72 6f 6d 43 6f 6c 29 2c 0a 20  0, &tFromCol),. 
6250: 20 20 20 20 20 20 20 20 20 73 71 6c 69 74 65 33           sqlite3
6260: 50 45 78 70 72 28 70 50 61 72 73 65 2c 20 54 4b  PExpr(pParse, TK
6270: 5f 44 4f 54 2c 20 0a 20 20 20 20 20 20 20 20 20  _DOT, .         
6280: 20 20 20 73 71 6c 69 74 65 33 50 45 78 70 72 28     sqlite3PExpr(
6290: 70 50 61 72 73 65 2c 20 54 4b 5f 49 44 2c 20 30  pParse, TK_ID, 0
62a0: 2c 20 30 2c 20 26 74 4f 6c 64 29 2c 0a 20 20 20  , 0, &tOld),.   
62b0: 20 20 20 20 20 20 20 20 20 73 71 6c 69 74 65 33           sqlite3
62c0: 50 45 78 70 72 28 70 50 61 72 73 65 2c 20 54 4b  PExpr(pParse, TK
62d0: 5f 49 44 2c 20 30 2c 20 30 2c 20 26 74 54 6f 43  _ID, 0, 0, &tToC
62e0: 6f 6c 29 0a 20 20 20 20 20 20 20 20 20 20 2c 20  ol).          , 
62f0: 30 29 0a 20 20 20 20 20 20 2c 20 30 29 3b 0a 20  0).      , 0);. 
6300: 20 20 20 20 20 70 57 68 65 72 65 20 3d 20 73 71       pWhere = sq
6310: 6c 69 74 65 33 45 78 70 72 41 6e 64 28 70 50 61  lite3ExprAnd(pPa
6320: 72 73 65 2d 3e 64 62 2c 20 70 57 68 65 72 65 2c  rse->db, pWhere,
6330: 20 70 45 71 29 3b 0a 0a 20 20 20 20 20 20 69 66   pEq);..      if
6340: 28 20 61 63 74 69 6f 6e 21 3d 4f 45 5f 43 61 73  ( action!=OE_Cas
6350: 63 61 64 65 20 7c 7c 20 70 43 68 61 6e 67 65 73  cade || pChanges
6360: 20 29 7b 0a 20 20 20 20 20 20 20 20 45 78 70 72   ){.        Expr
6370: 20 2a 70 4e 65 77 3b 0a 20 20 20 20 20 20 20 20   *pNew;.        
6380: 69 66 28 20 61 63 74 69 6f 6e 3d 3d 4f 45 5f 43  if( action==OE_C
6390: 61 73 63 61 64 65 20 29 7b 0a 20 20 20 20 20 20  ascade ){.      
63a0: 20 20 20 20 70 4e 65 77 20 3d 20 73 71 6c 69 74      pNew = sqlit
63b0: 65 33 50 45 78 70 72 28 70 50 61 72 73 65 2c 20  e3PExpr(pParse, 
63c0: 54 4b 5f 44 4f 54 2c 20 0a 20 20 20 20 20 20 20  TK_DOT, .       
63d0: 20 20 20 20 20 73 71 6c 69 74 65 33 50 45 78 70       sqlite3PExp
63e0: 72 28 70 50 61 72 73 65 2c 20 54 4b 5f 49 44 2c  r(pParse, TK_ID,
63f0: 20 30 2c 20 30 2c 20 26 74 4e 65 77 29 2c 0a 20   0, 0, &tNew),. 
6400: 20 20 20 20 20 20 20 20 20 20 20 73 71 6c 69 74             sqlit
6410: 65 33 50 45 78 70 72 28 70 50 61 72 73 65 2c 20  e3PExpr(pParse, 
6420: 54 4b 5f 49 44 2c 20 30 2c 20 30 2c 20 26 74 54  TK_ID, 0, 0, &tT
6430: 6f 43 6f 6c 29 0a 20 20 20 20 20 20 20 20 20 20  oCol).          
6440: 2c 20 30 29 3b 0a 20 20 20 20 20 20 20 20 7d 65  , 0);.        }e
6450: 6c 73 65 20 69 66 28 20 61 63 74 69 6f 6e 3d 3d  lse if( action==
6460: 4f 45 5f 53 65 74 44 66 6c 74 20 29 7b 0a 20 20  OE_SetDflt ){.  
6470: 20 20 20 20 20 20 20 20 45 78 70 72 20 2a 70 44          Expr *pD
6480: 66 6c 74 20 3d 20 70 49 64 78 20 3f 20 30 20 3a  flt = pIdx ? 0 :
6490: 20 70 54 61 62 2d 3e 61 43 6f 6c 5b 70 49 64 78   pTab->aCol[pIdx
64a0: 2d 3e 61 69 43 6f 6c 75 6d 6e 5b 69 5d 5d 2e 70  ->aiColumn[i]].p
64b0: 44 66 6c 74 3b 0a 20 20 20 20 20 20 20 20 20 20  Dflt;.          
64c0: 69 66 28 20 70 44 66 6c 74 20 29 7b 0a 20 20 20  if( pDflt ){.   
64d0: 20 20 20 20 20 20 20 20 20 70 4e 65 77 20 3d 20           pNew = 
64e0: 73 71 6c 69 74 65 33 45 78 70 72 44 75 70 28 64  sqlite3ExprDup(d
64f0: 62 2c 20 70 44 66 6c 74 2c 20 30 29 3b 0a 20 20  b, pDflt, 0);.  
6500: 20 20 20 20 20 20 20 20 7d 65 6c 73 65 7b 0a 20          }else{. 
6510: 20 20 20 20 20 20 20 20 20 20 20 70 4e 65 77 20             pNew 
6520: 3d 20 73 71 6c 69 74 65 33 50 45 78 70 72 28 70  = sqlite3PExpr(p
6530: 50 61 72 73 65 2c 20 54 4b 5f 4e 55 4c 4c 2c 20  Parse, TK_NULL, 
6540: 30 2c 20 30 2c 20 30 29 3b 0a 20 20 20 20 20 20  0, 0, 0);.      
6550: 20 20 20 20 7d 0a 20 20 20 20 20 20 20 20 7d 65      }.        }e
6560: 6c 73 65 7b 0a 20 20 20 20 20 20 20 20 20 20 70  lse{.          p
6570: 4e 65 77 20 3d 20 73 71 6c 69 74 65 33 50 45 78  New = sqlite3PEx
6580: 70 72 28 70 50 61 72 73 65 2c 20 54 4b 5f 4e 55  pr(pParse, TK_NU
6590: 4c 4c 2c 20 30 2c 20 30 2c 20 30 29 3b 0a 20 20  LL, 0, 0, 0);.  
65a0: 20 20 20 20 20 20 7d 0a 20 20 20 20 20 20 20 20        }.        
65b0: 70 4c 69 73 74 20 3d 20 73 71 6c 69 74 65 33 45  pList = sqlite3E
65c0: 78 70 72 4c 69 73 74 41 70 70 65 6e 64 28 70 50  xprListAppend(pP
65d0: 61 72 73 65 2c 20 70 4c 69 73 74 2c 20 70 4e 65  arse, pList, pNe
65e0: 77 29 3b 0a 20 20 20 20 20 20 20 20 73 71 6c 69  w);.        sqli
65f0: 74 65 33 45 78 70 72 4c 69 73 74 53 65 74 4e 61  te3ExprListSetNa
6600: 6d 65 28 70 50 61 72 73 65 2c 20 70 4c 69 73 74  me(pParse, pList
6610: 2c 20 26 74 46 72 6f 6d 43 6f 6c 2c 20 30 29 3b  , &tFromCol, 0);
6620: 0a 20 20 20 20 20 20 7d 0a 20 20 20 20 7d 0a 20  .      }.    }. 
6630: 20 20 20 73 71 6c 69 74 65 33 44 62 46 72 65 65     sqlite3DbFree
6640: 28 70 50 61 72 73 65 2d 3e 64 62 2c 20 61 69 43  (pParse->db, aiC
6650: 6f 6c 29 3b 0a 0a 20 20 20 20 70 53 74 65 70 2d  ol);..    pStep-
6660: 3e 70 57 68 65 72 65 20 3d 20 73 71 6c 69 74 65  >pWhere = sqlite
6670: 33 45 78 70 72 44 75 70 28 64 62 4d 65 6d 2c 20  3ExprDup(dbMem, 
6680: 70 57 68 65 72 65 2c 20 45 58 50 52 44 55 50 5f  pWhere, EXPRDUP_
6690: 52 45 44 55 43 45 29 3b 0a 20 20 20 20 70 53 74  REDUCE);.    pSt
66a0: 65 70 2d 3e 70 45 78 70 72 4c 69 73 74 20 3d 20  ep->pExprList = 
66b0: 73 71 6c 69 74 65 33 45 78 70 72 4c 69 73 74 44  sqlite3ExprListD
66c0: 75 70 28 64 62 4d 65 6d 2c 20 70 4c 69 73 74 2c  up(dbMem, pList,
66d0: 20 45 58 50 52 44 55 50 5f 52 45 44 55 43 45 29   EXPRDUP_REDUCE)
66e0: 3b 0a 20 20 20 20 73 71 6c 69 74 65 33 45 78 70  ;.    sqlite3Exp
66f0: 72 44 65 6c 65 74 65 28 70 50 61 72 73 65 2d 3e  rDelete(pParse->
6700: 64 62 2c 20 70 57 68 65 72 65 29 3b 0a 20 20 20  db, pWhere);.   
6710: 20 73 71 6c 69 74 65 33 45 78 70 72 4c 69 73 74   sqlite3ExprList
6720: 44 65 6c 65 74 65 28 70 50 61 72 73 65 2d 3e 64  Delete(pParse->d
6730: 62 2c 20 70 4c 69 73 74 29 3b 0a 0a 20 20 20 20  b, pList);..    
6740: 70 53 74 65 70 2d 3e 6f 70 20 3d 20 28 61 63 74  pStep->op = (act
6750: 69 6f 6e 21 3d 4f 45 5f 43 61 73 63 61 64 65 20  ion!=OE_Cascade 
6760: 7c 7c 20 70 43 68 61 6e 67 65 73 29 20 3f 20 54  || pChanges) ? T
6770: 4b 5f 55 50 44 41 54 45 20 3a 20 54 4b 5f 44 45  K_UPDATE : TK_DE
6780: 4c 45 54 45 3b 0a 20 20 20 20 70 53 74 65 70 2d  LETE;.    pStep-
6790: 3e 70 54 72 69 67 20 3d 20 70 54 72 69 67 67 65  >pTrig = pTrigge
67a0: 72 3b 0a 20 20 20 20 70 54 72 69 67 67 65 72 2d  r;.    pTrigger-
67b0: 3e 70 53 63 68 65 6d 61 20 3d 20 70 54 61 62 2d  >pSchema = pTab-
67c0: 3e 70 53 63 68 65 6d 61 3b 0a 20 20 20 20 70 54  >pSchema;.    pT
67d0: 72 69 67 67 65 72 2d 3e 70 54 61 62 53 63 68 65  rigger->pTabSche
67e0: 6d 61 20 3d 20 70 54 61 62 2d 3e 70 53 63 68 65  ma = pTab->pSche
67f0: 6d 61 3b 0a 0a 20 20 20 20 69 66 28 20 70 43 68  ma;..    if( pCh
6800: 61 6e 67 65 73 20 29 7b 0a 20 20 20 20 20 20 70  anges ){.      p
6810: 46 4b 65 79 2d 3e 70 4f 6e 55 70 64 61 74 65 20  FKey->pOnUpdate 
6820: 3d 20 70 54 72 69 67 67 65 72 3b 0a 20 20 20 20  = pTrigger;.    
6830: 20 20 70 54 72 69 67 67 65 72 2d 3e 6f 70 20 3d    pTrigger->op =
6840: 20 54 4b 5f 55 50 44 41 54 45 3b 0a 20 20 20 20   TK_UPDATE;.    
6850: 20 20 70 53 74 65 70 2d 3e 6f 70 20 3d 20 54 4b    pStep->op = TK
6860: 5f 55 50 44 41 54 45 3b 0a 20 20 20 20 7d 65 6c  _UPDATE;.    }el
6870: 73 65 7b 0a 20 20 20 20 20 20 70 46 4b 65 79 2d  se{.      pFKey-
6880: 3e 70 4f 6e 44 65 6c 65 74 65 20 3d 20 70 54 72  >pOnDelete = pTr
6890: 69 67 67 65 72 3b 0a 20 20 20 20 20 20 70 54 72  igger;.      pTr
68a0: 69 67 67 65 72 2d 3e 6f 70 20 3d 20 54 4b 5f 44  igger->op = TK_D
68b0: 45 4c 45 54 45 3b 0a 20 20 20 20 20 20 70 53 74  ELETE;.      pSt
68c0: 65 70 2d 3e 6f 70 20 3d 20 28 61 63 74 69 6f 6e  ep->op = (action
68d0: 3d 3d 4f 45 5f 43 61 73 63 61 64 65 29 3f 54 4b  ==OE_Cascade)?TK
68e0: 5f 44 45 4c 45 54 45 3a 54 4b 5f 55 50 44 41 54  _DELETE:TK_UPDAT
68f0: 45 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a 0a 20 20  E;.    }.  }..  
6900: 72 65 74 75 72 6e 20 70 54 72 69 67 67 65 72 3b  return pTrigger;
6910: 0a 7d 0a 0a 73 74 61 74 69 63 20 76 6f 69 64 20  .}..static void 
6920: 66 6b 54 72 69 67 67 65 72 44 65 6c 65 74 65 28  fkTriggerDelete(
6930: 73 71 6c 69 74 65 33 20 2a 64 62 4d 65 6d 2c 20  sqlite3 *dbMem, 
6940: 54 72 69 67 67 65 72 20 2a 70 29 7b 0a 20 20 69  Trigger *p){.  i
6950: 66 28 20 70 20 29 7b 0a 20 20 20 20 54 72 69 67  f( p ){.    Trig
6960: 67 65 72 53 74 65 70 20 2a 70 53 74 65 70 20 3d  gerStep *pStep =
6970: 20 70 2d 3e 73 74 65 70 5f 6c 69 73 74 3b 0a 20   p->step_list;. 
6980: 20 20 20 73 71 6c 69 74 65 33 45 78 70 72 44 65     sqlite3ExprDe
6990: 6c 65 74 65 28 64 62 4d 65 6d 2c 20 70 53 74 65  lete(dbMem, pSte
69a0: 70 2d 3e 70 57 68 65 72 65 29 3b 0a 20 20 20 20  p->pWhere);.    
69b0: 73 71 6c 69 74 65 33 45 78 70 72 4c 69 73 74 44  sqlite3ExprListD
69c0: 65 6c 65 74 65 28 64 62 4d 65 6d 2c 20 70 53 74  elete(dbMem, pSt
69d0: 65 70 2d 3e 70 45 78 70 72 4c 69 73 74 29 3b 0a  ep->pExprList);.
69e0: 20 20 20 20 73 71 6c 69 74 65 33 44 62 46 72 65      sqlite3DbFre
69f0: 65 28 64 62 4d 65 6d 2c 20 70 29 3b 0a 20 20 7d  e(dbMem, p);.  }
6a00: 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 54 68 69 73 20 66  .}../*.** This f
6a10: 75 6e 63 74 69 6f 6e 20 69 73 20 63 61 6c 6c 65  unction is calle
6a20: 64 20 77 68 65 6e 20 64 65 6c 65 74 69 6e 67 20  d when deleting 
6a30: 6f 72 20 75 70 64 61 74 69 6e 67 20 61 20 72 6f  or updating a ro
6a40: 77 20 74 6f 20 69 6d 70 6c 65 6d 65 6e 74 0a 2a  w to implement.*
6a50: 2a 20 61 6e 79 20 72 65 71 75 69 72 65 64 20 43  * any required C
6a60: 41 53 43 41 44 45 2c 20 53 45 54 20 4e 55 4c 4c  ASCADE, SET NULL
6a70: 20 6f 72 20 53 45 54 20 44 45 46 41 55 4c 54 20   or SET DEFAULT 
6a80: 61 63 74 69 6f 6e 73 2e 0a 2a 2f 0a 76 6f 69 64  actions..*/.void
6a90: 20 73 71 6c 69 74 65 33 46 6b 41 63 74 69 6f 6e   sqlite3FkAction
6aa0: 73 28 0a 20 20 50 61 72 73 65 20 2a 70 50 61 72  s(.  Parse *pPar
6ab0: 73 65 2c 20 20 20 20 20 20 20 20 20 20 20 20 20  se,             
6ac0: 20 20 20 20 20 2f 2a 20 50 61 72 73 65 20 63 6f       /* Parse co
6ad0: 6e 74 65 78 74 20 2a 2f 0a 20 20 54 61 62 6c 65  ntext */.  Table
6ae0: 20 2a 70 54 61 62 2c 20 20 20 20 20 20 20 20 20   *pTab,         
6af0: 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 54 61             /* Ta
6b00: 62 6c 65 20 62 65 69 6e 67 20 75 70 64 61 74 65  ble being update
6b10: 64 20 6f 72 20 64 65 6c 65 74 65 64 20 66 72 6f  d or deleted fro
6b20: 6d 20 2a 2f 0a 20 20 45 78 70 72 4c 69 73 74 20  m */.  ExprList 
6b30: 2a 70 43 68 61 6e 67 65 73 2c 20 20 20 20 20 20  *pChanges,      
6b40: 20 20 20 20 20 20 20 2f 2a 20 43 68 61 6e 67 65         /* Change
6b50: 2d 6c 69 73 74 20 66 6f 72 20 55 50 44 41 54 45  -list for UPDATE
6b60: 2c 20 4e 55 4c 4c 20 66 6f 72 20 44 45 4c 45 54  , NULL for DELET
6b70: 45 20 2a 2f 0a 20 20 69 6e 74 20 72 65 67 4f 6c  E */.  int regOl
6b80: 64 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  d               
6b90: 20 20 20 20 20 20 20 2f 2a 20 41 64 64 72 65 73         /* Addres
6ba0: 73 20 6f 66 20 61 72 72 61 79 20 63 6f 6e 74 61  s of array conta
6bb0: 69 6e 69 6e 67 20 6f 6c 64 20 72 6f 77 20 2a 2f  ining old row */
6bc0: 0a 29 7b 0a 20 20 2f 2a 20 49 66 20 66 6f 72 65  .){.  /* If fore
6bd0: 69 67 6e 2d 6b 65 79 20 73 75 70 70 6f 72 74 20  ign-key support 
6be0: 69 73 20 65 6e 61 62 6c 65 64 2c 20 69 74 65 72  is enabled, iter
6bf0: 61 74 65 20 74 68 72 6f 75 67 68 20 61 6c 6c 20  ate through all 
6c00: 46 4b 73 20 74 68 61 74 20 0a 20 20 2a 2a 20 72  FKs that .  ** r
6c10: 65 66 65 72 20 74 6f 20 74 61 62 6c 65 20 70 54  efer to table pT
6c20: 61 62 2e 20 49 66 20 74 68 65 72 65 20 69 73 20  ab. If there is 
6c30: 61 6e 20 61 63 74 69 6f 6e 20 61 73 73 6f 63 69  an action associ
6c40: 61 74 65 64 20 77 69 74 68 20 74 68 65 20 46 4b  ated with the FK
6c50: 20 0a 20 20 2a 2a 20 66 6f 72 20 74 68 69 73 20   .  ** for this 
6c60: 6f 70 65 72 61 74 69 6f 6e 20 28 65 69 74 68 65  operation (eithe
6c70: 72 20 75 70 64 61 74 65 20 6f 72 20 64 65 6c 65  r update or dele
6c80: 74 65 29 2c 20 69 6e 76 6f 6b 65 20 74 68 65 20  te), invoke the 
6c90: 61 73 73 6f 63 69 61 74 65 64 20 0a 20 20 2a 2a  associated .  **
6ca0: 20 74 72 69 67 67 65 72 20 73 75 62 2d 70 72 6f   trigger sub-pro
6cb0: 67 72 61 6d 2e 20 20 2a 2f 0a 20 20 69 66 28 20  gram.  */.  if( 
6cc0: 70 50 61 72 73 65 2d 3e 64 62 2d 3e 66 6c 61 67  pParse->db->flag
6cd0: 73 26 53 51 4c 49 54 45 5f 46 6f 72 65 69 67 6e  s&SQLITE_Foreign
6ce0: 4b 65 79 73 20 29 7b 0a 20 20 20 20 46 4b 65 79  Keys ){.    FKey
6cf0: 20 2a 70 46 4b 65 79 3b 20 20 20 20 20 20 20 20   *pFKey;        
6d00: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 49 74 65            /* Ite
6d10: 72 61 74 6f 72 20 76 61 72 69 61 62 6c 65 20 2a  rator variable *
6d20: 2f 0a 20 20 20 20 66 6f 72 28 70 46 4b 65 79 20  /.    for(pFKey 
6d30: 3d 20 66 6b 52 65 66 65 72 69 6e 67 28 70 54 61  = fkRefering(pTa
6d40: 62 29 3b 20 70 46 4b 65 79 3b 20 70 46 4b 65 79  b); pFKey; pFKey
6d50: 3d 70 46 4b 65 79 2d 3e 70 4e 65 78 74 54 6f 29  =pFKey->pNextTo)
6d60: 7b 0a 20 20 20 20 20 20 54 72 69 67 67 65 72 20  {.      Trigger 
6d70: 2a 70 41 63 74 69 6f 6e 20 3d 20 66 6b 41 63 74  *pAction = fkAct
6d80: 69 6f 6e 54 72 69 67 67 65 72 28 70 50 61 72 73  ionTrigger(pPars
6d90: 65 2c 20 70 54 61 62 2c 20 70 46 4b 65 79 2c 20  e, pTab, pFKey, 
6da0: 70 43 68 61 6e 67 65 73 29 3b 0a 20 20 20 20 20  pChanges);.     
6db0: 20 69 66 28 20 70 41 63 74 69 6f 6e 20 29 7b 0a   if( pAction ){.
6dc0: 20 20 20 20 20 20 20 20 73 71 6c 69 74 65 33 43          sqlite3C
6dd0: 6f 64 65 52 6f 77 54 72 69 67 67 65 72 44 69 72  odeRowTriggerDir
6de0: 65 63 74 28 70 50 61 72 73 65 2c 20 70 41 63 74  ect(pParse, pAct
6df0: 69 6f 6e 2c 20 70 54 61 62 2c 20 72 65 67 4f 6c  ion, pTab, regOl
6e00: 64 2c 20 4f 45 5f 41 62 6f 72 74 2c 20 30 29 3b  d, OE_Abort, 0);
6e10: 0a 20 20 20 20 20 20 7d 0a 20 20 20 20 7d 0a 20  .      }.    }. 
6e20: 20 7d 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 46 72 65 65   }.}../*.** Free
6e30: 20 61 6c 6c 20 6d 65 6d 6f 72 79 20 61 73 73 6f   all memory asso
6e40: 63 69 61 74 65 64 20 77 69 74 68 20 66 6f 72 65  ciated with fore
6e50: 69 67 6e 20 6b 65 79 20 64 65 66 69 6e 69 74 69  ign key definiti
6e60: 6f 6e 73 20 61 74 74 61 63 68 65 64 20 74 6f 0a  ons attached to.
6e70: 2a 2a 20 74 61 62 6c 65 20 70 54 61 62 2e 20 52  ** table pTab. R
6e80: 65 6d 6f 76 65 20 74 68 65 20 64 65 6c 65 74 65  emove the delete
6e90: 64 20 66 6f 72 65 69 67 6e 20 6b 65 79 73 20 66  d foreign keys f
6ea0: 72 6f 6d 20 74 68 65 20 53 63 68 65 6d 61 2e 66  rom the Schema.f
6eb0: 6b 65 79 48 61 73 68 0a 2a 2a 20 68 61 73 68 20  keyHash.** hash 
6ec0: 74 61 62 6c 65 2e 0a 2a 2f 0a 76 6f 69 64 20 73  table..*/.void s
6ed0: 71 6c 69 74 65 33 46 6b 44 65 6c 65 74 65 28 54  qlite3FkDelete(T
6ee0: 61 62 6c 65 20 2a 70 54 61 62 29 7b 0a 20 20 46  able *pTab){.  F
6ef0: 4b 65 79 20 2a 70 46 4b 65 79 3b 20 20 20 20 20  Key *pFKey;     
6f00: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f                 /
6f10: 2a 20 49 74 65 72 61 74 6f 72 20 76 61 72 69 61  * Iterator varia
6f20: 62 6c 65 20 2a 2f 0a 20 20 46 4b 65 79 20 2a 70  ble */.  FKey *p
6f30: 4e 65 78 74 3b 20 20 20 20 20 20 20 20 20 20 20  Next;           
6f40: 20 20 20 20 20 20 20 20 20 2f 2a 20 43 6f 70 79           /* Copy
6f50: 20 6f 66 20 70 46 4b 65 79 2d 3e 70 4e 65 78 74   of pFKey->pNext
6f60: 46 72 6f 6d 20 2a 2f 0a 0a 20 20 66 6f 72 28 70  From */..  for(p
6f70: 46 4b 65 79 3d 70 54 61 62 2d 3e 70 46 4b 65 79  FKey=pTab->pFKey
6f80: 3b 20 70 46 4b 65 79 3b 20 70 46 4b 65 79 3d 70  ; pFKey; pFKey=p
6f90: 4e 65 78 74 29 7b 0a 0a 20 20 20 20 2f 2a 20 52  Next){..    /* R
6fa0: 65 6d 6f 76 65 20 74 68 65 20 46 4b 20 66 72 6f  emove the FK fro
6fb0: 6d 20 74 68 65 20 66 6b 65 79 48 61 73 68 20 68  m the fkeyHash h
6fc0: 61 73 68 20 74 61 62 6c 65 2e 20 2a 2f 0a 20 20  ash table. */.  
6fd0: 20 20 69 66 28 20 70 46 4b 65 79 2d 3e 70 50 72    if( pFKey->pPr
6fe0: 65 76 54 6f 20 29 7b 0a 20 20 20 20 20 20 70 46  evTo ){.      pF
6ff0: 4b 65 79 2d 3e 70 50 72 65 76 54 6f 2d 3e 70 4e  Key->pPrevTo->pN
7000: 65 78 74 54 6f 20 3d 20 70 46 4b 65 79 2d 3e 70  extTo = pFKey->p
7010: 4e 65 78 74 54 6f 3b 0a 20 20 20 20 7d 65 6c 73  NextTo;.    }els
7020: 65 7b 0a 20 20 20 20 20 20 76 6f 69 64 20 2a 64  e{.      void *d
7030: 61 74 61 20 3d 20 28 76 6f 69 64 20 2a 29 70 46  ata = (void *)pF
7040: 4b 65 79 2d 3e 70 4e 65 78 74 54 6f 3b 0a 20 20  Key->pNextTo;.  
7050: 20 20 20 20 63 6f 6e 73 74 20 63 68 61 72 20 2a      const char *
7060: 7a 20 3d 20 28 64 61 74 61 20 3f 20 70 46 4b 65  z = (data ? pFKe
7070: 79 2d 3e 70 4e 65 78 74 54 6f 2d 3e 7a 54 6f 20  y->pNextTo->zTo 
7080: 3a 20 70 46 4b 65 79 2d 3e 7a 54 6f 29 3b 0a 20  : pFKey->zTo);. 
7090: 20 20 20 20 20 73 71 6c 69 74 65 33 48 61 73 68       sqlite3Hash
70a0: 49 6e 73 65 72 74 28 26 70 54 61 62 2d 3e 70 53  Insert(&pTab->pS
70b0: 63 68 65 6d 61 2d 3e 66 6b 65 79 48 61 73 68 2c  chema->fkeyHash,
70c0: 20 7a 2c 20 73 71 6c 69 74 65 33 53 74 72 6c 65   z, sqlite3Strle
70d0: 6e 33 30 28 7a 29 2c 20 64 61 74 61 29 3b 0a 20  n30(z), data);. 
70e0: 20 20 20 7d 0a 20 20 20 20 69 66 28 20 70 46 4b     }.    if( pFK
70f0: 65 79 2d 3e 70 4e 65 78 74 54 6f 20 29 7b 0a 20  ey->pNextTo ){. 
7100: 20 20 20 20 20 70 46 4b 65 79 2d 3e 70 4e 65 78       pFKey->pNex
7110: 74 54 6f 2d 3e 70 50 72 65 76 54 6f 20 3d 20 70  tTo->pPrevTo = p
7120: 46 4b 65 79 2d 3e 70 50 72 65 76 54 6f 3b 0a 20  FKey->pPrevTo;. 
7130: 20 20 20 7d 0a 0a 20 20 20 20 2f 2a 20 44 65 6c     }..    /* Del
7140: 65 74 65 20 61 6e 79 20 74 72 69 67 67 65 72 73  ete any triggers
7150: 20 63 72 65 61 74 65 64 20 74 6f 20 69 6d 70 6c   created to impl
7160: 65 6d 65 6e 74 20 61 63 74 69 6f 6e 73 20 66 6f  ement actions fo
7170: 72 20 74 68 69 73 20 46 4b 2e 20 2a 2f 0a 20 20  r this FK. */.  
7180: 20 20 66 6b 54 72 69 67 67 65 72 44 65 6c 65 74    fkTriggerDelet
7190: 65 28 70 54 61 62 2d 3e 64 62 4d 65 6d 2c 20 70  e(pTab->dbMem, p
71a0: 46 4b 65 79 2d 3e 70 4f 6e 44 65 6c 65 74 65 29  FKey->pOnDelete)
71b0: 3b 0a 20 20 20 20 66 6b 54 72 69 67 67 65 72 44  ;.    fkTriggerD
71c0: 65 6c 65 74 65 28 70 54 61 62 2d 3e 64 62 4d 65  elete(pTab->dbMe
71d0: 6d 2c 20 70 46 4b 65 79 2d 3e 70 4f 6e 55 70 64  m, pFKey->pOnUpd
71e0: 61 74 65 29 3b 0a 0a 20 20 20 20 2f 2a 20 44 65  ate);..    /* De
71f0: 6c 65 74 65 20 74 68 65 20 6d 65 6d 6f 72 79 20  lete the memory 
7200: 61 6c 6c 6f 63 61 74 65 64 20 66 6f 72 20 74 68  allocated for th
7210: 65 20 46 4b 20 73 74 72 75 63 74 75 72 65 2e 20  e FK structure. 
7220: 2a 2f 0a 20 20 20 20 70 4e 65 78 74 20 3d 20 70  */.    pNext = p
7230: 46 4b 65 79 2d 3e 70 4e 65 78 74 46 72 6f 6d 3b  FKey->pNextFrom;
7240: 0a 20 20 20 20 73 71 6c 69 74 65 33 44 62 46 72  .    sqlite3DbFr
7250: 65 65 28 70 54 61 62 2d 3e 64 62 4d 65 6d 2c 20  ee(pTab->dbMem, 
7260: 70 46 4b 65 79 29 3b 0a 20 20 7d 0a 7d 0a 0a 23  pFKey);.  }.}..#
7270: 65 6e 64 69 66 0a                                endif.