/ Hex Artifact Content
Login
SQLite training in Houston TX on 2019-11-05 (details)
Part of the 2019 Tcl Conference

Artifact c513e7992a602a87ef3a2cc9ca1cba4146924e9b:


0000: 23 20 32 30 30 37 20 53 65 70 20 31 32 0a 23 0a  # 2007 Sep 12.#.
0010: 23 20 54 68 65 20 61 75 74 68 6f 72 20 64 69 73  # The author dis
0020: 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68 74  claims copyright
0030: 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65 20   to this source 
0040: 63 6f 64 65 2e 20 49 6e 20 70 6c 61 63 65 20 6f  code. In place o
0050: 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f 74 69  f.# a legal noti
0060: 63 65 2c 20 68 65 72 65 20 69 73 20 61 20 62 6c  ce, here is a bl
0070: 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20 20 4d  essing:.#.#    M
0080: 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64 20 61  ay you do good a
0090: 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23 20 20  nd not evil..#  
00a0: 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 20 66    May you find f
00b0: 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72 20 79  orgiveness for y
00c0: 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f 72 67  ourself and forg
00d0: 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20 20 20  ive others..#   
00e0: 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20 66   May you share f
00f0: 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61 6b  reely, never tak
0100: 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79 6f  ing more than yo
0110: 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a 2a 2a  u give..#.#*****
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 2a 0a 23 0a 23 20 54 68 69 73 20 66 69 6c 65  **.#.# This file
0170: 20 69 73 20 74 6f 20 74 65 73 74 20 74 68 61 74   is to test that
0180: 20 74 69 63 6b 65 74 20 23 32 36 34 30 20 68 61   ticket #2640 ha
0190: 73 20 62 65 65 6e 20 66 69 78 65 64 2e 0a 23 0a  s been fixed..#.
01a0: 23 20 24 49 64 3a 20 74 6b 74 32 36 34 30 2e 74  # $Id: tkt2640.t
01b0: 65 73 74 2c 76 20 31 2e 31 20 32 30 30 37 2f 30  est,v 1.1 2007/0
01c0: 39 2f 31 32 20 31 35 3a 34 31 3a 30 31 20 64 72  9/12 15:41:01 dr
01d0: 68 20 45 78 70 20 24 0a 23 0a 0a 23 20 54 68 65  h Exp $.#..# The
01e0: 20 70 72 6f 62 6c 65 6d 20 69 6e 20 74 69 63 6b   problem in tick
01f0: 65 74 20 23 32 36 34 30 20 77 61 73 20 74 68 61  et #2640 was tha
0200: 74 20 74 68 65 20 71 75 65 72 79 20 6f 70 74 69  t the query opti
0210: 6d 69 7a 65 72 20 77 61 73 20 0a 23 20 6e 6f 74  mizer was .# not
0220: 20 72 65 63 6f 67 6e 69 7a 69 6e 67 20 61 6c 6c   recognizing all
0230: 20 75 73 65 73 20 6f 66 20 74 61 62 6c 65 73 20   uses of tables 
0240: 77 69 74 68 69 6e 20 73 75 62 71 75 65 72 69 65  within subquerie
0250: 73 20 69 6e 20 74 68 65 0a 23 20 57 48 45 52 45  s in the.# WHERE
0260: 20 63 6c 61 75 73 65 2e 20 20 49 66 20 74 68 65   clause.  If the
0270: 20 73 75 62 71 75 65 72 79 20 63 6f 6e 74 61 69   subquery contai
0280: 6e 65 64 20 61 20 63 6f 6d 70 6f 75 6e 64 20 53  ned a compound S
0290: 45 4c 45 43 54 2c 0a 23 20 74 68 65 6e 20 74 61  ELECT,.# then ta
02a0: 62 6c 65 73 20 74 68 61 74 20 77 65 72 65 20 75  bles that were u
02b0: 73 65 64 20 62 79 20 74 65 72 6d 73 20 6f 66 20  sed by terms of 
02c0: 74 68 65 20 63 6f 6d 70 6f 75 6e 64 20 6f 74 68  the compound oth
02d0: 65 72 20 74 68 61 6e 0a 23 20 74 68 65 20 6c 61  er than.# the la
02e0: 73 74 20 74 65 72 6d 20 77 6f 75 6c 64 20 6e 6f  st term would no
02f0: 74 20 62 65 20 72 65 63 6f 67 6e 69 7a 65 64 20  t be recognized 
0300: 61 73 20 64 65 70 65 6e 64 65 6e 63 69 65 73 2e  as dependencies.
0310: 0a 23 20 53 6f 20 69 66 20 6f 6e 65 20 6f 66 20  .# So if one of 
0320: 74 68 65 20 53 45 4c 45 43 54 20 73 74 61 74 65  the SELECT state
0330: 6d 65 6e 74 73 20 77 69 74 68 69 6e 20 61 20 63  ments within a c
0340: 6f 6d 70 6f 75 6e 64 20 6d 61 64 65 0a 23 20 75  ompound made.# u
0350: 73 65 20 6f 66 20 61 20 74 61 62 6c 65 20 74 68  se of a table th
0360: 61 74 20 6f 63 63 75 72 73 20 6c 61 74 65 72 20  at occurs later 
0370: 69 6e 20 61 20 6a 6f 69 6e 2c 20 74 68 65 20 71  in a join, the q
0380: 75 65 72 79 0a 23 20 6f 70 74 69 6d 69 7a 65 72  uery.# optimizer
0390: 20 77 6f 75 6c 64 20 6e 6f 74 20 72 65 63 6f 67   would not recog
03a0: 6e 69 7a 65 20 74 68 69 73 20 61 6e 64 20 77 6f  nize this and wo
03b0: 75 6c 64 20 74 72 79 20 74 6f 20 65 76 61 6c 75  uld try to evalu
03c0: 61 74 65 0a 23 20 74 68 65 20 73 75 62 71 75 65  ate.# the subque
03d0: 72 79 20 74 6f 6f 20 65 61 72 6c 79 2c 20 62 65  ry too early, be
03e0: 66 6f 72 65 20 74 68 61 74 20 74 61 62 6c 65 73  fore that tables
03f0: 20 76 61 6c 75 65 20 68 61 64 20 62 65 65 6e 0a   value had been.
0400: 23 20 65 73 74 61 62 6c 69 73 68 65 64 2e 0a 0a  # established...
0410: 73 65 74 20 74 65 73 74 64 69 72 20 5b 66 69 6c  set testdir [fil
0420: 65 20 64 69 72 6e 61 6d 65 20 24 61 72 67 76 30  e dirname $argv0
0430: 5d 0a 73 6f 75 72 63 65 20 24 74 65 73 74 64 69  ].source $testdi
0440: 72 2f 74 65 73 74 65 72 2e 74 63 6c 0a 0a 64 6f  r/tester.tcl..do
0450: 5f 74 65 73 74 20 74 6b 74 32 36 34 30 2d 31 2e  _test tkt2640-1.
0460: 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  1 {.  execsql {.
0470: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45      CREATE TABLE
0480: 20 70 65 72 73 6f 6e 73 28 70 65 72 73 6f 6e 5f   persons(person_
0490: 69 64 2c 20 6e 61 6d 65 29 3b 0a 20 20 20 20 49  id, name);.    I
04a0: 4e 53 45 52 54 20 49 4e 54 4f 20 70 65 72 73 6f  NSERT INTO perso
04b0: 6e 73 20 56 41 4c 55 45 53 28 31 2c 27 66 72 65  ns VALUES(1,'fre
04c0: 64 27 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20  d');.    INSERT 
04d0: 49 4e 54 4f 20 70 65 72 73 6f 6e 73 20 56 41 4c  INTO persons VAL
04e0: 55 45 53 28 32 2c 27 62 61 72 6e 65 79 27 29 3b  UES(2,'barney');
04f0: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
0500: 20 70 65 72 73 6f 6e 73 20 56 41 4c 55 45 53 28   persons VALUES(
0510: 33 2c 27 77 69 6c 6d 61 27 29 3b 0a 20 20 20 20  3,'wilma');.    
0520: 49 4e 53 45 52 54 20 49 4e 54 4f 20 70 65 72 73  INSERT INTO pers
0530: 6f 6e 73 20 56 41 4c 55 45 53 28 34 2c 27 70 65  ons VALUES(4,'pe
0540: 62 62 6c 65 73 27 29 3b 0a 20 20 20 20 49 4e 53  bbles');.    INS
0550: 45 52 54 20 49 4e 54 4f 20 70 65 72 73 6f 6e 73  ERT INTO persons
0560: 20 56 41 4c 55 45 53 28 35 2c 27 62 61 6d 62 61   VALUES(5,'bamba
0570: 6d 27 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20  m');.    CREATE 
0580: 54 41 42 4c 45 20 64 69 72 65 63 74 6f 72 73 28  TABLE directors(
0590: 70 65 72 73 6f 6e 5f 69 64 29 3b 0a 20 20 20 20  person_id);.    
05a0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 64 69 72 65  INSERT INTO dire
05b0: 63 74 6f 72 73 20 56 41 4c 55 45 53 28 35 29 3b  ctors VALUES(5);
05c0: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
05d0: 20 64 69 72 65 63 74 6f 72 73 20 56 41 4c 55 45   directors VALUE
05e0: 53 28 33 29 3b 0a 20 20 20 20 43 52 45 41 54 45  S(3);.    CREATE
05f0: 20 54 41 42 4c 45 20 77 72 69 74 65 72 73 28 70   TABLE writers(p
0600: 65 72 73 6f 6e 5f 69 64 29 3b 0a 20 20 20 20 49  erson_id);.    I
0610: 4e 53 45 52 54 20 49 4e 54 4f 20 77 72 69 74 65  NSERT INTO write
0620: 72 73 20 56 41 4c 55 45 53 28 32 29 3b 0a 20 20  rs VALUES(2);.  
0630: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 77 72    INSERT INTO wr
0640: 69 74 65 72 73 20 56 41 4c 55 45 53 28 33 29 3b  iters VALUES(3);
0650: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
0660: 20 77 72 69 74 65 72 73 20 56 41 4c 55 45 53 28   writers VALUES(
0670: 34 29 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 44  4);.    SELECT D
0680: 49 53 54 49 4e 43 54 20 70 2e 6e 61 6d 65 0a 20  ISTINCT p.name. 
0690: 20 20 20 20 20 46 52 4f 4d 20 70 65 72 73 6f 6e       FROM person
06a0: 73 20 70 2c 20 64 69 72 65 63 74 6f 72 73 20 64  s p, directors d
06b0: 0a 20 20 20 20 20 57 48 45 52 45 20 64 2e 70 65  .     WHERE d.pe
06c0: 72 73 6f 6e 5f 69 64 3d 70 2e 70 65 72 73 6f 6e  rson_id=p.person
06d0: 5f 69 64 0a 20 20 20 20 20 20 20 41 4e 44 20 4e  _id.       AND N
06e0: 4f 54 20 45 58 49 53 54 53 20 28 0a 20 20 20 20  OT EXISTS (.    
06f0: 20 20 20 20 20 20 20 20 20 53 45 4c 45 43 54 20           SELECT 
0700: 70 65 72 73 6f 6e 5f 69 64 20 46 52 4f 4d 20 64  person_id FROM d
0710: 69 72 65 63 74 6f 72 73 20 64 31 20 57 48 45 52  irectors d1 WHER
0720: 45 20 64 31 2e 70 65 72 73 6f 6e 5f 69 64 3d 70  E d1.person_id=p
0730: 2e 70 65 72 73 6f 6e 5f 69 64 0a 20 20 20 20 20  .person_id.     
0740: 20 20 20 20 20 20 20 20 45 58 43 45 50 54 0a 20          EXCEPT. 
0750: 20 20 20 20 20 20 20 20 20 20 20 20 53 45 4c 45              SELE
0760: 43 54 20 70 65 72 73 6f 6e 5f 69 64 20 46 52 4f  CT person_id FRO
0770: 4d 20 77 72 69 74 65 72 73 20 77 0a 20 20 20 20  M writers w.    
0780: 20 20 20 20 20 20 20 29 3b 0a 20 20 7d 0a 7d 20         );.  }.} 
0790: 7b 77 69 6c 6d 61 7d 0a 64 6f 5f 74 65 73 74 20  {wilma}.do_test 
07a0: 74 6b 74 32 36 34 30 2d 31 2e 32 20 7b 0a 20 20  tkt2640-1.2 {.  
07b0: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45  execsql {.    SE
07c0: 4c 45 43 54 20 44 49 53 54 49 4e 43 54 20 70 2e  LECT DISTINCT p.
07d0: 6e 61 6d 65 0a 20 20 20 20 20 20 46 52 4f 4d 20  name.      FROM 
07e0: 70 65 72 73 6f 6e 73 20 70 20 43 52 4f 53 53 20  persons p CROSS 
07f0: 4a 4f 49 4e 20 64 69 72 65 63 74 6f 72 73 20 64  JOIN directors d
0800: 0a 20 20 20 20 20 57 48 45 52 45 20 64 2e 70 65  .     WHERE d.pe
0810: 72 73 6f 6e 5f 69 64 3d 70 2e 70 65 72 73 6f 6e  rson_id=p.person
0820: 5f 69 64 0a 20 20 20 20 20 20 20 41 4e 44 20 4e  _id.       AND N
0830: 4f 54 20 45 58 49 53 54 53 20 28 0a 20 20 20 20  OT EXISTS (.    
0840: 20 20 20 20 20 20 20 20 20 53 45 4c 45 43 54 20           SELECT 
0850: 70 65 72 73 6f 6e 5f 69 64 20 46 52 4f 4d 20 64  person_id FROM d
0860: 69 72 65 63 74 6f 72 73 20 64 31 20 57 48 45 52  irectors d1 WHER
0870: 45 20 64 31 2e 70 65 72 73 6f 6e 5f 69 64 3d 70  E d1.person_id=p
0880: 2e 70 65 72 73 6f 6e 5f 69 64 0a 20 20 20 20 20  .person_id.     
0890: 20 20 20 20 20 20 20 20 45 58 43 45 50 54 0a 20          EXCEPT. 
08a0: 20 20 20 20 20 20 20 20 20 20 20 20 53 45 4c 45              SELE
08b0: 43 54 20 70 65 72 73 6f 6e 5f 69 64 20 46 52 4f  CT person_id FRO
08c0: 4d 20 77 72 69 74 65 72 73 20 77 0a 20 20 20 20  M writers w.    
08d0: 20 20 20 20 20 20 20 29 3b 0a 20 20 7d 0a 7d 20         );.  }.} 
08e0: 7b 77 69 6c 6d 61 7d 0a 64 6f 5f 74 65 73 74 20  {wilma}.do_test 
08f0: 74 6b 74 32 36 34 30 2d 31 2e 33 20 7b 0a 20 20  tkt2640-1.3 {.  
0900: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45  execsql {.    SE
0910: 4c 45 43 54 20 44 49 53 54 49 4e 43 54 20 70 2e  LECT DISTINCT p.
0920: 6e 61 6d 65 0a 20 20 20 20 20 20 46 52 4f 4d 20  name.      FROM 
0930: 64 69 72 65 63 74 6f 72 73 20 64 20 43 52 4f 53  directors d CROS
0940: 53 20 4a 4f 49 4e 20 70 65 72 73 6f 6e 73 20 70  S JOIN persons p
0950: 0a 20 20 20 20 20 57 48 45 52 45 20 64 2e 70 65  .     WHERE d.pe
0960: 72 73 6f 6e 5f 69 64 3d 70 2e 70 65 72 73 6f 6e  rson_id=p.person
0970: 5f 69 64 0a 20 20 20 20 20 20 20 41 4e 44 20 4e  _id.       AND N
0980: 4f 54 20 45 58 49 53 54 53 20 28 0a 20 20 20 20  OT EXISTS (.    
0990: 20 20 20 20 20 20 20 20 20 53 45 4c 45 43 54 20           SELECT 
09a0: 70 65 72 73 6f 6e 5f 69 64 20 46 52 4f 4d 20 64  person_id FROM d
09b0: 69 72 65 63 74 6f 72 73 20 64 31 20 57 48 45 52  irectors d1 WHER
09c0: 45 20 64 31 2e 70 65 72 73 6f 6e 5f 69 64 3d 70  E d1.person_id=p
09d0: 2e 70 65 72 73 6f 6e 5f 69 64 0a 20 20 20 20 20  .person_id.     
09e0: 20 20 20 20 20 20 20 20 45 58 43 45 50 54 0a 20          EXCEPT. 
09f0: 20 20 20 20 20 20 20 20 20 20 20 20 53 45 4c 45              SELE
0a00: 43 54 20 70 65 72 73 6f 6e 5f 69 64 20 46 52 4f  CT person_id FRO
0a10: 4d 20 77 72 69 74 65 72 73 20 77 0a 20 20 20 20  M writers w.    
0a20: 20 20 20 20 20 20 20 29 3b 0a 20 20 7d 0a 7d 20         );.  }.} 
0a30: 7b 77 69 6c 6d 61 7d 0a 64 6f 5f 74 65 73 74 20  {wilma}.do_test 
0a40: 74 6b 74 32 36 34 30 2d 31 2e 34 20 7b 0a 20 20  tkt2640-1.4 {.  
0a50: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45  execsql {.    SE
0a60: 4c 45 43 54 20 44 49 53 54 49 4e 43 54 20 70 2e  LECT DISTINCT p.
0a70: 6e 61 6d 65 0a 20 20 20 20 20 20 46 52 4f 4d 20  name.      FROM 
0a80: 70 65 72 73 6f 6e 73 20 70 2c 20 64 69 72 65 63  persons p, direc
0a90: 74 6f 72 73 20 64 0a 20 20 20 20 20 57 48 45 52  tors d.     WHER
0aa0: 45 20 64 2e 70 65 72 73 6f 6e 5f 69 64 3d 70 2e  E d.person_id=p.
0ab0: 70 65 72 73 6f 6e 5f 69 64 0a 20 20 20 20 20 20  person_id.      
0ac0: 20 41 4e 44 20 4e 4f 54 20 45 58 49 53 54 53 20   AND NOT EXISTS 
0ad0: 28 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 53  (.             S
0ae0: 45 4c 45 43 54 20 70 65 72 73 6f 6e 5f 69 64 20  ELECT person_id 
0af0: 46 52 4f 4d 20 64 69 72 65 63 74 6f 72 73 20 64  FROM directors d
0b00: 31 20 57 48 45 52 45 20 64 31 2e 70 65 72 73 6f  1 WHERE d1.perso
0b10: 6e 5f 69 64 3d 64 2e 70 65 72 73 6f 6e 5f 69 64  n_id=d.person_id
0b20: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 45 58  .             EX
0b30: 43 45 50 54 0a 20 20 20 20 20 20 20 20 20 20 20  CEPT.           
0b40: 20 20 53 45 4c 45 43 54 20 70 65 72 73 6f 6e 5f    SELECT person_
0b50: 69 64 20 46 52 4f 4d 20 77 72 69 74 65 72 73 20  id FROM writers 
0b60: 77 0a 20 20 20 20 20 20 20 20 20 20 20 29 3b 0a  w.           );.
0b70: 20 20 7d 0a 7d 20 7b 77 69 6c 6d 61 7d 0a 64 6f    }.} {wilma}.do
0b80: 5f 74 65 73 74 20 74 6b 74 32 36 34 30 2d 31 2e  _test tkt2640-1.
0b90: 35 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  5 {.  execsql {.
0ba0: 20 20 20 20 53 45 4c 45 43 54 20 44 49 53 54 49      SELECT DISTI
0bb0: 4e 43 54 20 70 2e 6e 61 6d 65 0a 20 20 20 20 20  NCT p.name.     
0bc0: 20 46 52 4f 4d 20 70 65 72 73 6f 6e 73 20 70 20   FROM persons p 
0bd0: 43 52 4f 53 53 20 4a 4f 49 4e 20 64 69 72 65 63  CROSS JOIN direc
0be0: 74 6f 72 73 20 64 0a 20 20 20 20 20 57 48 45 52  tors d.     WHER
0bf0: 45 20 64 2e 70 65 72 73 6f 6e 5f 69 64 3d 70 2e  E d.person_id=p.
0c00: 70 65 72 73 6f 6e 5f 69 64 0a 20 20 20 20 20 20  person_id.      
0c10: 20 41 4e 44 20 4e 4f 54 20 45 58 49 53 54 53 20   AND NOT EXISTS 
0c20: 28 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 53  (.             S
0c30: 45 4c 45 43 54 20 70 65 72 73 6f 6e 5f 69 64 20  ELECT person_id 
0c40: 46 52 4f 4d 20 64 69 72 65 63 74 6f 72 73 20 64  FROM directors d
0c50: 31 20 57 48 45 52 45 20 64 31 2e 70 65 72 73 6f  1 WHERE d1.perso
0c60: 6e 5f 69 64 3d 64 2e 70 65 72 73 6f 6e 5f 69 64  n_id=d.person_id
0c70: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 45 58  .             EX
0c80: 43 45 50 54 0a 20 20 20 20 20 20 20 20 20 20 20  CEPT.           
0c90: 20 20 53 45 4c 45 43 54 20 70 65 72 73 6f 6e 5f    SELECT person_
0ca0: 69 64 20 46 52 4f 4d 20 77 72 69 74 65 72 73 20  id FROM writers 
0cb0: 77 0a 20 20 20 20 20 20 20 20 20 20 20 29 3b 0a  w.           );.
0cc0: 20 20 7d 0a 7d 20 7b 77 69 6c 6d 61 7d 0a 64 6f    }.} {wilma}.do
0cd0: 5f 74 65 73 74 20 74 6b 74 32 36 34 30 2d 31 2e  _test tkt2640-1.
0ce0: 36 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  6 {.  execsql {.
0cf0: 20 20 20 20 53 45 4c 45 43 54 20 44 49 53 54 49      SELECT DISTI
0d00: 4e 43 54 20 70 2e 6e 61 6d 65 0a 20 20 20 20 20  NCT p.name.     
0d10: 20 46 52 4f 4d 20 64 69 72 65 63 74 6f 72 73 20   FROM directors 
0d20: 64 20 43 52 4f 53 53 20 4a 4f 49 4e 20 70 65 72  d CROSS JOIN per
0d30: 73 6f 6e 73 20 70 0a 20 20 20 20 20 57 48 45 52  sons p.     WHER
0d40: 45 20 64 2e 70 65 72 73 6f 6e 5f 69 64 3d 70 2e  E d.person_id=p.
0d50: 70 65 72 73 6f 6e 5f 69 64 0a 20 20 20 20 20 20  person_id.      
0d60: 20 41 4e 44 20 4e 4f 54 20 45 58 49 53 54 53 20   AND NOT EXISTS 
0d70: 28 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 53  (.             S
0d80: 45 4c 45 43 54 20 70 65 72 73 6f 6e 5f 69 64 20  ELECT person_id 
0d90: 46 52 4f 4d 20 64 69 72 65 63 74 6f 72 73 20 64  FROM directors d
0da0: 31 20 57 48 45 52 45 20 64 31 2e 70 65 72 73 6f  1 WHERE d1.perso
0db0: 6e 5f 69 64 3d 64 2e 70 65 72 73 6f 6e 5f 69 64  n_id=d.person_id
0dc0: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 45 58  .             EX
0dd0: 43 45 50 54 0a 20 20 20 20 20 20 20 20 20 20 20  CEPT.           
0de0: 20 20 53 45 4c 45 43 54 20 70 65 72 73 6f 6e 5f    SELECT person_
0df0: 69 64 20 46 52 4f 4d 20 77 72 69 74 65 72 73 20  id FROM writers 
0e00: 77 0a 20 20 20 20 20 20 20 20 20 20 20 29 3b 0a  w.           );.
0e10: 20 20 7d 0a 7d 20 7b 77 69 6c 6d 61 7d 0a 0a 0a    }.} {wilma}...
0e20: 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a           .finish_test.