OLD | NEW |
| (Empty) |
1 # 2012 December 17 | |
2 # | |
3 # The author disclaims copyright to this source code. In place of | |
4 # a legal notice, here is a blessing: | |
5 # | |
6 # May you do good and not evil. | |
7 # May you find forgiveness for yourself and forgive others. | |
8 # May you share freely, never taking more than you give. | |
9 # | |
10 #*********************************************************************** | |
11 # This file implements regression tests for SQLite library. | |
12 # | |
13 # This file tests the PRAGMA foreign_key_check command. | |
14 # | |
15 # EVIDENCE-OF: R-15402-03103 PRAGMA schema.foreign_key_check; PRAGMA | |
16 # schema.foreign_key_check(table-name); | |
17 # | |
18 # EVIDENCE-OF: R-23918-17301 The foreign_key_check pragma checks the | |
19 # database, or the table called "table-name", for foreign key | |
20 # constraints that are violated and returns one row of output for each | |
21 # violation. | |
22 | |
23 set testdir [file dirname $argv0] | |
24 source $testdir/tester.tcl | |
25 set testprefix fkey5 | |
26 | |
27 ifcapable {!foreignkey} { | |
28 finish_test | |
29 return | |
30 } | |
31 | |
32 do_test fkey5-1.1 { | |
33 db eval { | |
34 CREATE TABLE p1(a INTEGER PRIMARY KEY); INSERT INTO p1 VALUES(88),(89); | |
35 CREATE TABLE p2(a INT PRIMARY KEY); INSERT INTO p2 VALUES(77),(78); | |
36 CREATE TABLE p3(a TEXT PRIMARY KEY); | |
37 INSERT INTO p3 VALUES(66),(67),('alpha'),('BRAVO'); | |
38 CREATE TABLE p4(a TEXT PRIMARY KEY COLLATE nocase); | |
39 INSERT INTO p4 VALUES('alpha'),('BRAVO'),('55'),('Delta'),('ECHO'); | |
40 CREATE TABLE p5(a INTEGER PRIMARY KEY, b, c, UNIQUE(b,c)); | |
41 INSERT INTO p5 VALUES(1,'Alpha','abc'),(2,'beta','def'); | |
42 CREATE TABLE p6(a INTEGER PRIMARY KEY, b TEXT COLLATE nocase, | |
43 c TEXT COLLATE rtrim, UNIQUE(b,c)); | |
44 INSERT INTO p6 VALUES(1,'Alpha','abc '),(2,'bETA','def '); | |
45 | |
46 CREATE TABLE c1(x INTEGER PRIMARY KEY references p1); | |
47 CREATE TABLE c2(x INTEGER PRIMARY KEY references p2); | |
48 CREATE TABLE c3(x INTEGER PRIMARY KEY references p3); | |
49 CREATE TABLE c4(x INTEGER PRIMARY KEY references p4); | |
50 CREATE TABLE c5(x INT references p1); | |
51 CREATE TABLE c6(x INT references p2); | |
52 CREATE TABLE c7(x INT references p3); | |
53 CREATE TABLE c8(x INT references p4); | |
54 CREATE TABLE c9(x TEXT UNIQUE references p1); | |
55 CREATE TABLE c10(x TEXT UNIQUE references p2); | |
56 CREATE TABLE c11(x TEXT UNIQUE references p3); | |
57 CREATE TABLE c12(x TEXT UNIQUE references p4); | |
58 CREATE TABLE c13(x TEXT COLLATE nocase references p3); | |
59 CREATE TABLE c14(x TEXT COLLATE nocase references p4); | |
60 CREATE TABLE c15(x, y, FOREIGN KEY(x,y) REFERENCES p5(b,c)); | |
61 CREATE TABLE c16(x, y, FOREIGN KEY(x,y) REFERENCES p5(c,b)); | |
62 CREATE TABLE c17(x, y, FOREIGN KEY(x,y) REFERENCES p6(b,c)); | |
63 CREATE TABLE c18(x, y, FOREIGN KEY(x,y) REFERENCES p6(c,b)); | |
64 CREATE TABLE c19(x TEXT COLLATE nocase, y TEXT COLLATE rtrim, | |
65 FOREIGN KEY(x,y) REFERENCES p5(b,c)); | |
66 CREATE TABLE c20(x TEXT COLLATE nocase, y TEXT COLLATE rtrim, | |
67 FOREIGN KEY(x,y) REFERENCES p5(c,b)); | |
68 CREATE TABLE c21(x TEXT COLLATE nocase, y TEXT COLLATE rtrim, | |
69 FOREIGN KEY(x,y) REFERENCES p6(b,c)); | |
70 CREATE TABLE c22(x TEXT COLLATE nocase, y TEXT COLLATE rtrim, | |
71 FOREIGN KEY(x,y) REFERENCES p6(c,b)); | |
72 | |
73 PRAGMA foreign_key_check; | |
74 } | |
75 } {} | |
76 do_test fkey5-1.2 { | |
77 db eval { | |
78 INSERT INTO c1 VALUES(90),(87),(88); | |
79 PRAGMA foreign_key_check; | |
80 } | |
81 } {c1 87 p1 0 c1 90 p1 0} | |
82 do_test fkey5-1.2b { | |
83 db eval { | |
84 PRAGMA main.foreign_key_check; | |
85 } | |
86 } {c1 87 p1 0 c1 90 p1 0} | |
87 do_test fkey5-1.2c { | |
88 db eval { | |
89 PRAGMA temp.foreign_key_check; | |
90 } | |
91 } {} | |
92 do_test fkey5-1.3 { | |
93 db eval { | |
94 PRAGMA foreign_key_check(c1); | |
95 } | |
96 } {c1 87 p1 0 c1 90 p1 0} | |
97 do_test fkey5-1.4 { | |
98 db eval { | |
99 PRAGMA foreign_key_check(c2); | |
100 } | |
101 } {} | |
102 do_test fkey5-1.5 { | |
103 db eval { | |
104 PRAGMA main.foreign_key_check(c2); | |
105 } | |
106 } {} | |
107 do_test fkey5-1.6 { | |
108 catchsql { | |
109 PRAGMA temp.foreign_key_check(c2); | |
110 } | |
111 } {1 {no such table: temp.c2}} | |
112 | |
113 # EVIDENCE-OF: R-45728-08709 There are four columns in each result row. | |
114 # | |
115 # EVIDENCE-OF: R-55672-01620 The first column is the name of the table | |
116 # that contains the REFERENCES clause. | |
117 # | |
118 # EVIDENCE-OF: R-25219-25618 The second column is the rowid of the row | |
119 # that contains the invalid REFERENCES clause. | |
120 # | |
121 # EVIDENCE-OF: R-40482-20265 The third column is the name of the table | |
122 # that is referred to. | |
123 # | |
124 # EVIDENCE-OF: R-62839-07969 The fourth column is the index of the | |
125 # specific foreign key constraint that failed. | |
126 # | |
127 do_test fkey5-2.0 { | |
128 db eval { | |
129 INSERT INTO c5 SELECT x FROM c1; | |
130 DELETE FROM c1; | |
131 PRAGMA foreign_key_check; | |
132 } | |
133 } {c5 1 p1 0 c5 3 p1 0} | |
134 do_test fkey5-2.1 { | |
135 db eval { | |
136 PRAGMA foreign_key_check(c5); | |
137 } | |
138 } {c5 1 p1 0 c5 3 p1 0} | |
139 do_test fkey5-2.2 { | |
140 db eval { | |
141 PRAGMA foreign_key_check(c1); | |
142 } | |
143 } {} | |
144 do_execsql_test fkey5-2.3 { | |
145 PRAGMA foreign_key_list(c5); | |
146 } {0 0 p1 x {} {NO ACTION} {NO ACTION} NONE} | |
147 | |
148 do_test fkey5-3.0 { | |
149 db eval { | |
150 INSERT INTO c9 SELECT x FROM c5; | |
151 DELETE FROM c5; | |
152 PRAGMA foreign_key_check; | |
153 } | |
154 } {c9 1 p1 0 c9 3 p1 0} | |
155 do_test fkey5-3.1 { | |
156 db eval { | |
157 PRAGMA foreign_key_check(c9); | |
158 } | |
159 } {c9 1 p1 0 c9 3 p1 0} | |
160 do_test fkey5-3.2 { | |
161 db eval { | |
162 PRAGMA foreign_key_check(c5); | |
163 } | |
164 } {} | |
165 | |
166 do_test fkey5-4.0 { | |
167 db eval { | |
168 DELETE FROM c9; | |
169 INSERT INTO c2 VALUES(79),(77),(76); | |
170 PRAGMA foreign_key_check; | |
171 } | |
172 } {c2 76 p2 0 c2 79 p2 0} | |
173 do_test fkey5-4.1 { | |
174 db eval { | |
175 PRAGMA foreign_key_check(c2); | |
176 } | |
177 } {c2 76 p2 0 c2 79 p2 0} | |
178 do_test fkey5-4.2 { | |
179 db eval { | |
180 INSERT INTO c6 SELECT x FROM c2; | |
181 DELETE FROM c2; | |
182 PRAGMA foreign_key_check; | |
183 } | |
184 } {c6 1 p2 0 c6 3 p2 0} | |
185 do_test fkey5-4.3 { | |
186 db eval { | |
187 PRAGMA foreign_key_check(c6); | |
188 } | |
189 } {c6 1 p2 0 c6 3 p2 0} | |
190 do_test fkey5-4.4 { | |
191 db eval { | |
192 INSERT INTO c10 SELECT x FROM c6; | |
193 DELETE FROM c6; | |
194 PRAGMA foreign_key_check; | |
195 } | |
196 } {c10 1 p2 0 c10 3 p2 0} | |
197 do_test fkey5-4.5 { | |
198 db eval { | |
199 PRAGMA foreign_key_check(c10); | |
200 } | |
201 } {c10 1 p2 0 c10 3 p2 0} | |
202 | |
203 do_test fkey5-5.0 { | |
204 db eval { | |
205 DELETE FROM c10; | |
206 INSERT INTO c3 VALUES(68),(67),(65); | |
207 PRAGMA foreign_key_check; | |
208 } | |
209 } {c3 65 p3 0 c3 68 p3 0} | |
210 do_test fkey5-5.1 { | |
211 db eval { | |
212 PRAGMA foreign_key_check(c3); | |
213 } | |
214 } {c3 65 p3 0 c3 68 p3 0} | |
215 do_test fkey5-5.2 { | |
216 db eval { | |
217 INSERT INTO c7 SELECT x FROM c3; | |
218 INSERT INTO c7 VALUES('Alpha'),('alpha'),('foxtrot'); | |
219 DELETE FROM c3; | |
220 PRAGMA foreign_key_check; | |
221 } | |
222 } {c7 1 p3 0 c7 3 p3 0 c7 4 p3 0 c7 6 p3 0} | |
223 do_test fkey5-5.3 { | |
224 db eval { | |
225 PRAGMA foreign_key_check(c7); | |
226 } | |
227 } {c7 1 p3 0 c7 3 p3 0 c7 4 p3 0 c7 6 p3 0} | |
228 do_test fkey5-5.4 { | |
229 db eval { | |
230 INSERT INTO c11 SELECT x FROM c7; | |
231 DELETE FROM c7; | |
232 PRAGMA foreign_key_check; | |
233 } | |
234 } {c11 1 p3 0 c11 3 p3 0 c11 4 p3 0 c11 6 p3 0} | |
235 do_test fkey5-5.5 { | |
236 db eval { | |
237 PRAGMA foreign_key_check(c11); | |
238 } | |
239 } {c11 1 p3 0 c11 3 p3 0 c11 4 p3 0 c11 6 p3 0} | |
240 | |
241 do_test fkey5-6.0 { | |
242 db eval { | |
243 DELETE FROM c11; | |
244 INSERT INTO c4 VALUES(54),(55),(56); | |
245 PRAGMA foreign_key_check; | |
246 } | |
247 } {c4 54 p4 0 c4 56 p4 0} | |
248 do_test fkey5-6.1 { | |
249 db eval { | |
250 PRAGMA foreign_key_check(c4); | |
251 } | |
252 } {c4 54 p4 0 c4 56 p4 0} | |
253 do_test fkey5-6.2 { | |
254 db eval { | |
255 INSERT INTO c8 SELECT x FROM c4; | |
256 INSERT INTO c8 VALUES('Alpha'),('ALPHA'),('foxtrot'); | |
257 DELETE FROM c4; | |
258 PRAGMA foreign_key_check; | |
259 } | |
260 } {c8 1 p4 0 c8 3 p4 0 c8 6 p4 0} | |
261 do_test fkey5-6.3 { | |
262 db eval { | |
263 PRAGMA foreign_key_check(c8); | |
264 } | |
265 } {c8 1 p4 0 c8 3 p4 0 c8 6 p4 0} | |
266 do_test fkey5-6.4 { | |
267 db eval { | |
268 INSERT INTO c12 SELECT x FROM c8; | |
269 DELETE FROM c8; | |
270 PRAGMA foreign_key_check; | |
271 } | |
272 } {c12 1 p4 0 c12 3 p4 0 c12 6 p4 0} | |
273 do_test fkey5-6.5 { | |
274 db eval { | |
275 PRAGMA foreign_key_check(c12); | |
276 } | |
277 } {c12 1 p4 0 c12 3 p4 0 c12 6 p4 0} | |
278 | |
279 do_test fkey5-7.1 { | |
280 set res {} | |
281 db eval { | |
282 INSERT OR IGNORE INTO c13 SELECT * FROM c12; | |
283 INSERT OR IGNORE INTO C14 SELECT * FROM c12; | |
284 DELETE FROM c12; | |
285 PRAGMA foreign_key_check; | |
286 } { | |
287 lappend res [list $table $rowid $fkid $parent] | |
288 } | |
289 lsort $res | |
290 } {{c13 1 0 p3} {c13 2 0 p3} {c13 3 0 p3} {c13 4 0 p3} {c13 5 0 p3} {c13 6 0 p3}
{c14 1 0 p4} {c14 3 0 p4} {c14 6 0 p4}} | |
291 do_test fkey5-7.2 { | |
292 db eval { | |
293 PRAGMA foreign_key_check(c14); | |
294 } | |
295 } {c14 1 p4 0 c14 3 p4 0 c14 6 p4 0} | |
296 do_test fkey5-7.3 { | |
297 db eval { | |
298 PRAGMA foreign_key_check(c13); | |
299 } | |
300 } {c13 1 p3 0 c13 2 p3 0 c13 3 p3 0 c13 4 p3 0 c13 5 p3 0 c13 6 p3 0} | |
301 | |
302 do_test fkey5-8.0 { | |
303 db eval { | |
304 DELETE FROM c13; | |
305 DELETE FROM c14; | |
306 INSERT INTO c19 VALUES('alpha','abc'); | |
307 PRAGMA foreign_key_check(c19); | |
308 } | |
309 } {c19 1 p5 0} | |
310 do_test fkey5-8.1 { | |
311 db eval { | |
312 DELETE FROM c19; | |
313 INSERT INTO c19 VALUES('Alpha','abc'); | |
314 PRAGMA foreign_key_check(c19); | |
315 } | |
316 } {} | |
317 do_test fkey5-8.2 { | |
318 db eval { | |
319 INSERT INTO c20 VALUES('Alpha','abc'); | |
320 PRAGMA foreign_key_check(c20); | |
321 } | |
322 } {c20 1 p5 0} | |
323 do_test fkey5-8.3 { | |
324 db eval { | |
325 DELETE FROM c20; | |
326 INSERT INTO c20 VALUES('abc','Alpha'); | |
327 PRAGMA foreign_key_check(c20); | |
328 } | |
329 } {} | |
330 do_test fkey5-8.4 { | |
331 db eval { | |
332 INSERT INTO c21 VALUES('alpha','abc '); | |
333 PRAGMA foreign_key_check(c21); | |
334 } | |
335 } {} | |
336 do_test fkey5-8.5 { | |
337 db eval { | |
338 DELETE FROM c21; | |
339 INSERT INTO c19 VALUES('Alpha','abc'); | |
340 PRAGMA foreign_key_check(c21); | |
341 } | |
342 } {} | |
343 do_test fkey5-8.6 { | |
344 db eval { | |
345 INSERT INTO c22 VALUES('Alpha','abc'); | |
346 PRAGMA foreign_key_check(c22); | |
347 } | |
348 } {c22 1 p6 0} | |
349 do_test fkey5-8.7 { | |
350 db eval { | |
351 DELETE FROM c22; | |
352 INSERT INTO c22 VALUES('abc ','ALPHA'); | |
353 PRAGMA foreign_key_check(c22); | |
354 } | |
355 } {} | |
356 | |
357 | |
358 #------------------------------------------------------------------------- | |
359 # Tests 9.* verify that missing parent tables are handled correctly. | |
360 # | |
361 do_execsql_test 9.1.1 { | |
362 CREATE TABLE k1(x REFERENCES s1); | |
363 PRAGMA foreign_key_check(k1); | |
364 } {} | |
365 do_execsql_test 9.1.2 { | |
366 INSERT INTO k1 VALUES(NULL); | |
367 PRAGMA foreign_key_check(k1); | |
368 } {} | |
369 do_execsql_test 9.1.3 { | |
370 INSERT INTO k1 VALUES(1); | |
371 PRAGMA foreign_key_check(k1); | |
372 } {k1 2 s1 0} | |
373 | |
374 do_execsql_test 9.2.1 { | |
375 CREATE TABLE k2(x, y, FOREIGN KEY(x, y) REFERENCES s1(a, b)); | |
376 PRAGMA foreign_key_check(k2); | |
377 } {} | |
378 do_execsql_test 9.2 { | |
379 INSERT INTO k2 VALUES(NULL, 'five'); | |
380 PRAGMA foreign_key_check(k2); | |
381 } {} | |
382 do_execsql_test 9.3 { | |
383 INSERT INTO k2 VALUES('one', NULL); | |
384 PRAGMA foreign_key_check(k2); | |
385 } {} | |
386 do_execsql_test 9.4 { | |
387 INSERT INTO k2 VALUES('six', 'seven'); | |
388 PRAGMA foreign_key_check(k2); | |
389 } {k2 3 s1 0} | |
390 | |
391 | |
392 finish_test | |
OLD | NEW |