Add further test cases to e_fkey.test.
FossilOrigin-Name: c85e58743a87bfbea6376c237e5e3a6909184f6c
This commit is contained in:
dan
parent
4c4298392e
commit
166d9c8aea
24
manifest
24
manifest
@ -1,8 +1,5 @@
|
||||
-----BEGIN PGP SIGNED MESSAGE-----
|
||||
Hash: SHA1
|
||||
|
||||
C Add\sasserts\sas\sevidence\sthat\sall\sFK\sconstraints\sare\seither\simmediate\sor\ndeferred.
|
||||
D 2009-10-12T22:30:49
|
||||
C Add\sfurther\stest\scases\sto\se_fkey.test.
|
||||
D 2009-10-13T10:39:17
|
||||
F Makefile.arm-wince-mingw32ce-gcc fcd5e9cd67fe88836360bb4f9ef4cb7f8e2fb5a0
|
||||
F Makefile.in 4ca3f1dd6efa2075bcb27f4dc43eef749877740d
|
||||
F Makefile.linux-gcc d53183f4aa6a9192d249731c90dbdffbd2c68654
|
||||
@ -322,7 +319,7 @@ F test/descidx2.test 1310ed1326cdfed4ea2c55169631579f082d174f
|
||||
F test/descidx3.test 3394ad4d089335cac743c36a14129d6d931c316f
|
||||
F test/diskfull.test 0cede7ef9d8f415d9d3944005c76be7589bb5ebb
|
||||
F test/distinctagg.test 1a6ef9c87a58669438fc771450d7a72577417376
|
||||
F test/e_fkey.test 9f42822f9ca513cffc32a8ce00b074e53e951bf4
|
||||
F test/e_fkey.test fb71d3256bc9676c593953e577b10332dc1d6753
|
||||
F test/enc.test e54531cd6bf941ee6760be041dff19a104c7acea
|
||||
F test/enc2.test 6d91a5286f59add0cfcbb2d0da913b76f2242398
|
||||
F test/enc3.test 5c550d59ff31dccdba5d1a02ae11c7047d77c041
|
||||
@ -759,14 +756,7 @@ F tool/speedtest2.tcl ee2149167303ba8e95af97873c575c3e0fab58ff
|
||||
F tool/speedtest8.c 2902c46588c40b55661e471d7a86e4dd71a18224
|
||||
F tool/speedtest8inst1.c 293327bc76823f473684d589a8160bde1f52c14e
|
||||
F tool/vdbe-compress.tcl d70ea6d8a19e3571d7ab8c9b75cba86d1173ff0f
|
||||
P a4ab5215fed231c8e5f8714f5cadafd1209b362a
|
||||
R 4b18d30182072a8cd3031fc782eadfe8
|
||||
U drh
|
||||
Z ae8de04e4c5b2fdecf560180fe83fec1
|
||||
-----BEGIN PGP SIGNATURE-----
|
||||
Version: GnuPG v1.4.6 (GNU/Linux)
|
||||
|
||||
iD8DBQFK064doxKgR168RlERAlWQAJ92yqj4W/BOhV0IW1IUn+D4AqGiwgCeKY3c
|
||||
ofWKl3KBlauHoZ3hAzBbU2Y=
|
||||
=e87L
|
||||
-----END PGP SIGNATURE-----
|
||||
P 634ef4fc9f4051245b38f558bb1c733031548c2f
|
||||
R 3419ce501d0c7c2573fb3cfb0130f288
|
||||
U dan
|
||||
Z 774cf19fb241e0081dde6df7fa45e05e
|
||||
|
||||
@ -1 +1 @@
|
||||
634ef4fc9f4051245b38f558bb1c733031548c2f
|
||||
c85e58743a87bfbea6376c237e5e3a6909184f6c
|
||||
290
test/e_fkey.test
290
test/e_fkey.test
@ -24,6 +24,8 @@
|
||||
set testdir [file dirname $argv0]
|
||||
source $testdir/tester.tcl
|
||||
|
||||
proc eqp {sql {db db}} { uplevel execsql [list "EXPLAIN QUERY PLAN $sql"] $db }
|
||||
|
||||
###########################################################################
|
||||
### SECTION 2: Enabling Foreign Key Support
|
||||
###########################################################################
|
||||
@ -669,6 +671,8 @@ do_test e_fkey-56.5 {
|
||||
} {1 {foreign key mismatch}}
|
||||
|
||||
#-------------------------------------------------------------------------
|
||||
# /* EV: R-45488-08504 */
|
||||
# /* EV: R-48391-38472 */
|
||||
# /* EV: R-03108-63659 */
|
||||
# /* EV: R-60781-26576 */
|
||||
#
|
||||
@ -676,7 +680,7 @@ do_test e_fkey-56.5 {
|
||||
# DML statements. The error text for these messages always matches
|
||||
# either "foreign key mismatch" or "no such table*" (using [string match]).
|
||||
#
|
||||
do_test e_fkey-57.1 {
|
||||
do_test e_fkey-66.1 {
|
||||
execsql {
|
||||
CREATE TABLE c1(c REFERENCES nosuchtable, d);
|
||||
|
||||
@ -692,7 +696,7 @@ do_test e_fkey-57.1 {
|
||||
|
||||
CREATE TABLE p5(a PRIMARY KEY, b COLLATE nocase);
|
||||
CREATE UNIQUE INDEX p5i ON p5(b COLLATE binary);
|
||||
CREATE TABLE c5(c REFERENCES p4(b), d);
|
||||
CREATE TABLE c5(c REFERENCES p5(b), d);
|
||||
|
||||
CREATE TABLE p6(a PRIMARY KEY, b);
|
||||
CREATE TABLE c6(c, d, FOREIGN KEY(c, d) REFERENCES p6);
|
||||
@ -702,18 +706,36 @@ do_test e_fkey-57.1 {
|
||||
}
|
||||
} {}
|
||||
|
||||
foreach {tn tbl err} {
|
||||
2 c1 "no such table: main.nosuchtable"
|
||||
3 c2 "foreign key mismatch"
|
||||
4 c3 "foreign key mismatch"
|
||||
5 c4 "foreign key mismatch"
|
||||
6 c5 "foreign key mismatch"
|
||||
7 c6 "foreign key mismatch"
|
||||
8 c7 "foreign key mismatch"
|
||||
foreach {tn tbl ptbl err} {
|
||||
2 c1 {} "no such table: main.nosuchtable"
|
||||
3 c2 p2 "foreign key mismatch"
|
||||
4 c3 p3 "foreign key mismatch"
|
||||
5 c4 p4 "foreign key mismatch"
|
||||
6 c5 p5 "foreign key mismatch"
|
||||
7 c6 p6 "foreign key mismatch"
|
||||
8 c7 p7 "foreign key mismatch"
|
||||
} {
|
||||
do_test e_fkey-57.$tn {
|
||||
do_test e_fkey-66.$tn.1 {
|
||||
catchsql "INSERT INTO $tbl VALUES('a', 'b')"
|
||||
} [list 1 $err]
|
||||
do_test e_fkey-66.$tn.2 {
|
||||
catchsql "UPDATE $tbl SET c = ?, d = ?"
|
||||
} [list 1 $err]
|
||||
do_test e_fkey-66.$tn.3 {
|
||||
catchsql "INSERT INTO $tbl SELECT ?, ?"
|
||||
} [list 1 $err]
|
||||
|
||||
if {$ptbl ne ""} {
|
||||
do_test e_fkey-66.$tn.4 {
|
||||
catchsql "DELETE FROM $ptbl"
|
||||
} [list 1 $err]
|
||||
do_test e_fkey-66.$tn.5 {
|
||||
catchsql "UPDATE $ptbl SET a = ?, b = ?"
|
||||
} [list 1 $err]
|
||||
do_test e_fkey-66.$tn.6 {
|
||||
catchsql "INSERT INTO $ptbl SELECT ?, ?"
|
||||
} [list 1 $err]
|
||||
}
|
||||
}
|
||||
|
||||
#-------------------------------------------------------------------------
|
||||
@ -818,11 +840,256 @@ test_efkey_60 5 1 "INSERT INTO c2 VALUES(239, 231)"
|
||||
test_efkey_60 6 0 "INSERT INTO p2 VALUES(239, 231)"
|
||||
test_efkey_60 7 0 "INSERT INTO c2 VALUES(239, 231)"
|
||||
|
||||
#-------------------------------------------------------------------------
|
||||
# /* EV: R-15417-28014 */
|
||||
#
|
||||
# Test that an index on on the child key columns of an FK constraint
|
||||
# is optional.
|
||||
#
|
||||
# /* EV: R-15741-50893 */
|
||||
#
|
||||
# Also test that if an index is created on the child key columns, it does
|
||||
# not make a difference whether or not it is a UNIQUE index.
|
||||
#
|
||||
drop_all_tables
|
||||
do_test e_fkey-61.1 {
|
||||
execsql {
|
||||
CREATE TABLE parent(x, y, UNIQUE(y, x));
|
||||
CREATE TABLE c1(a, b, FOREIGN KEY(a, b) REFERENCES parent(x, y));
|
||||
CREATE TABLE c2(a, b, FOREIGN KEY(a, b) REFERENCES parent(x, y));
|
||||
CREATE TABLE c3(a, b, FOREIGN KEY(a, b) REFERENCES parent(x, y));
|
||||
CREATE INDEX c2i ON c2(a, b);
|
||||
CREATE UNIQUE INDEX c3i ON c2(b, a);
|
||||
}
|
||||
} {}
|
||||
proc test_efkey_61 {tn isError sql} {
|
||||
do_test e_fkey-61.$tn "
|
||||
catchsql {$sql}
|
||||
" [lindex {{0 {}} {1 {foreign key constraint failed}}} $isError]
|
||||
}
|
||||
foreach {tn c} [list 2 c1 3 c2 4 c3] {
|
||||
test_efkey_61 $tn.1 1 "INSERT INTO $c VALUES(1, 2)"
|
||||
test_efkey_61 $tn.2 0 "INSERT INTO parent VALUES(1, 2)"
|
||||
test_efkey_61 $tn.3 0 "INSERT INTO $c VALUES(1, 2)"
|
||||
|
||||
execsql "DELETE FROM $c ; DELETE FROM parent"
|
||||
}
|
||||
|
||||
#-------------------------------------------------------------------------
|
||||
# /* EV: R-00279-52283 */
|
||||
#
|
||||
# Test an example showing that when a row is deleted from the parent
|
||||
# table, the child table is queried for orphaned rows as follows:
|
||||
#
|
||||
# SELECT rowid FROM track WHERE trackartist = ?
|
||||
#
|
||||
# /* EV: R-23302-30956 */
|
||||
#
|
||||
# Also test that if the SELECT above would return any rows, a foreign
|
||||
# key constraint is violated.
|
||||
#
|
||||
do_test e_fkey-62.1 {
|
||||
execsql {
|
||||
CREATE TABLE artist(
|
||||
artistid INTEGER PRIMARY KEY,
|
||||
artistname TEXT
|
||||
);
|
||||
CREATE TABLE track(
|
||||
trackid INTEGER,
|
||||
trackname TEXT,
|
||||
trackartist INTEGER,
|
||||
FOREIGN KEY(trackartist) REFERENCES artist(artistid)
|
||||
);
|
||||
}
|
||||
} {}
|
||||
do_test e_fkey-62.2 {
|
||||
execsql {
|
||||
PRAGMA foreign_keys = OFF;
|
||||
EXPLAIN QUERY PLAN DELETE FROM artist WHERE 1;
|
||||
EXPLAIN QUERY PLAN SELECT rowid FROM track WHERE trackartist = ?;
|
||||
}
|
||||
} {0 0 {TABLE artist} 0 0 {TABLE track}}
|
||||
do_test e_fkey-62.3 {
|
||||
execsql {
|
||||
PRAGMA foreign_keys = ON;
|
||||
EXPLAIN QUERY PLAN DELETE FROM artist WHERE 1;
|
||||
}
|
||||
} {0 0 {TABLE artist} 0 0 {TABLE track}}
|
||||
do_test e_fkey-62.4 {
|
||||
execsql {
|
||||
INSERT INTO artist VALUES(5, 'artist 5');
|
||||
INSERT INTO artist VALUES(6, 'artist 6');
|
||||
INSERT INTO artist VALUES(7, 'artist 7');
|
||||
INSERT INTO track VALUES(1, 'track 1', 5);
|
||||
INSERT INTO track VALUES(2, 'track 2', 6);
|
||||
}
|
||||
} {}
|
||||
|
||||
do_test e_fkey-62.5 {
|
||||
concat \
|
||||
[execsql { SELECT rowid FROM track WHERE trackartist = 5 }] \
|
||||
[catchsql { DELETE FROM artist WHERE artistid = 5 }]
|
||||
} {1 1 {foreign key constraint failed}}
|
||||
|
||||
do_test e_fkey-62.6 {
|
||||
concat \
|
||||
[execsql { SELECT rowid FROM track WHERE trackartist = 7 }] \
|
||||
[catchsql { DELETE FROM artist WHERE artistid = 7 }]
|
||||
} {0 {}}
|
||||
|
||||
do_test e_fkey-62.7 {
|
||||
concat \
|
||||
[execsql { SELECT rowid FROM track WHERE trackartist = 6 }] \
|
||||
[catchsql { DELETE FROM artist WHERE artistid = 6 }]
|
||||
} {2 1 {foreign key constraint failed}}
|
||||
|
||||
#-------------------------------------------------------------------------
|
||||
# /* EV: R-54172-55848 */
|
||||
#
|
||||
# Test that when a row is deleted from the parent table of an FK
|
||||
# constraint, the child table is queried for orphaned rows. The
|
||||
# query is equivalent to:
|
||||
#
|
||||
# SELECT rowid FROM <child-table> WHERE <child-key> = :parent_key_value
|
||||
#
|
||||
# /* EV: R-61616-46700 */
|
||||
#
|
||||
# Also test that when a row is inserted into the parent table, or when the
|
||||
# parent key values of an existing row are modified, a query equivalent
|
||||
# to the following is planned. In some cases it is not executed, but it
|
||||
# is always planned.
|
||||
#
|
||||
# SELECT rowid FROM <child-table> WHERE <child-key> = :parent_key_value
|
||||
#
|
||||
#
|
||||
drop_all_tables
|
||||
do_test e_fkey-64.1 {
|
||||
execsql { CREATE TABLE parent(x, y, UNIQUE(y, x)) }
|
||||
} {}
|
||||
foreach {tn sql} {
|
||||
2 {
|
||||
CREATE TABLE child(a, b, FOREIGN KEY(a, b) REFERENCES parent(x, y))
|
||||
}
|
||||
3 {
|
||||
CREATE TABLE child(a, b, FOREIGN KEY(a, b) REFERENCES parent(x, y));
|
||||
CREATE INDEX childi ON child(a, b);
|
||||
}
|
||||
4 {
|
||||
CREATE TABLE child(a, b, FOREIGN KEY(a, b) REFERENCES parent(x, y));
|
||||
CREATE UNIQUE INDEX childi ON child(b, a);
|
||||
}
|
||||
} {
|
||||
execsql $sql
|
||||
|
||||
execsql {PRAGMA foreign_keys = OFF}
|
||||
set delete [concat \
|
||||
[eqp "DELETE FROM parent WHERE 1"] \
|
||||
[eqp "SELECT rowid FROM child WHERE a = ? AND b = ?"]
|
||||
]
|
||||
set update [concat \
|
||||
[eqp "UPDATE parent SET x=?, y=?"] \
|
||||
[eqp "SELECT rowid FROM child WHERE a = ? AND b = ?"] \
|
||||
[eqp "SELECT rowid FROM child WHERE a = ? AND b = ?"]
|
||||
]
|
||||
execsql {PRAGMA foreign_keys = ON}
|
||||
|
||||
do_test e_fkey-64.$tn.1 { eqp "DELETE FROM parent WHERE 1" } $delete
|
||||
do_test e_fkey-64.$tn.2 { eqp "UPDATE parent set x=?, y=?" } $update
|
||||
|
||||
execsql {DROP TABLE child}
|
||||
}
|
||||
|
||||
#-------------------------------------------------------------------------
|
||||
# /* EV: R-14553-34013 */
|
||||
#
|
||||
# Test the example schema at the end of section 3. Also test that is
|
||||
# is "efficient". In this case "efficient" means that foreign key
|
||||
# related operations on the parent table do not provoke linear scans.
|
||||
#
|
||||
drop_all_tables
|
||||
do_test e_fkey-63.1 {
|
||||
execsql {
|
||||
CREATE TABLE artist(
|
||||
artistid INTEGER PRIMARY KEY,
|
||||
artistname TEXT
|
||||
);
|
||||
CREATE TABLE track(
|
||||
trackid INTEGER,
|
||||
trackname TEXT,
|
||||
trackartist INTEGER REFERENCES artist
|
||||
);
|
||||
CREATE INDEX trackindex ON track(trackartist);
|
||||
}
|
||||
} {}
|
||||
do_test e_fkey-63.2 {
|
||||
eqp { INSERT INTO artist VALUES(?, ?) }
|
||||
} {}
|
||||
do_test e_fkey-63.3 {
|
||||
eqp { UPDATE artist SET artistid = ?, artistname = ? }
|
||||
} [list \
|
||||
0 0 {TABLE artist} \
|
||||
0 0 {TABLE track WITH INDEX trackindex} \
|
||||
0 0 {TABLE track WITH INDEX trackindex}
|
||||
]
|
||||
do_test e_fkey-63.4 {
|
||||
eqp { DELETE FROM artist }
|
||||
} [list \
|
||||
0 0 {TABLE artist} \
|
||||
0 0 {TABLE track WITH INDEX trackindex}
|
||||
]
|
||||
|
||||
|
||||
###########################################################################
|
||||
### SECTION 4.1: Composite Foreign Key Constraints
|
||||
###########################################################################
|
||||
|
||||
#-------------------------------------------------------------------------
|
||||
# /* EV: R-41062-34431 */
|
||||
#
|
||||
# Check that parent and child keys must have the same number of columns.
|
||||
#
|
||||
foreach {tn sql err} {
|
||||
1 "CREATE TABLE c(jj REFERENCES p(x, y))"
|
||||
{foreign key on jj should reference only one column of table p}
|
||||
|
||||
2 "CREATE TABLE c(jj REFERENCES p())" {near ")": syntax error}
|
||||
|
||||
3 "CREATE TABLE c(jj, FOREIGN KEY(jj) REFERENCES p(x, y))"
|
||||
{number of columns in foreign key does not match the number of columns in the referenced table}
|
||||
|
||||
4 "CREATE TABLE c(jj, FOREIGN KEY(jj) REFERENCES p())"
|
||||
{near ")": syntax error}
|
||||
|
||||
5 "CREATE TABLE c(ii, jj, FOREIGN KEY(jj, ii) REFERENCES p())"
|
||||
{near ")": syntax error}
|
||||
|
||||
6 "CREATE TABLE c(ii, jj, FOREIGN KEY(jj, ii) REFERENCES p(x))"
|
||||
{number of columns in foreign key does not match the number of columns in the referenced table}
|
||||
|
||||
7 "CREATE TABLE c(ii, jj, FOREIGN KEY(jj, ii) REFERENCES p(x,y,z))"
|
||||
{number of columns in foreign key does not match the number of columns in the referenced table}
|
||||
} {
|
||||
drop_all_tables
|
||||
do_test e_fkey-65.$tn [list catchsql $sql] [list 1 $err]
|
||||
}
|
||||
do_test e_fkey-65.8 {
|
||||
drop_all_tables
|
||||
execsql {
|
||||
CREATE TABLE p(x PRIMARY KEY);
|
||||
CREATE TABLE c(a, b, FOREIGN KEY(a,b) REFERENCES p);
|
||||
}
|
||||
catchsql {DELETE FROM p}
|
||||
} {1 {foreign key mismatch}}
|
||||
do_test e_fkey-65.9 {
|
||||
drop_all_tables
|
||||
execsql {
|
||||
CREATE TABLE p(x, y, PRIMARY KEY(x,y));
|
||||
CREATE TABLE c(a REFERENCES p);
|
||||
}
|
||||
catchsql {DELETE FROM p}
|
||||
} {1 {foreign key mismatch}}
|
||||
|
||||
|
||||
#-------------------------------------------------------------------------
|
||||
# /* EV: R-24676-09859 */
|
||||
#
|
||||
@ -861,6 +1128,7 @@ do_test e_fkey-36.3 {
|
||||
}
|
||||
} {1 {foreign key constraint failed}}
|
||||
|
||||
|
||||
#-------------------------------------------------------------------------
|
||||
# /* EV: R-33626-48418 */
|
||||
#
|
||||
|
||||
Loading…
Reference in New Issue
Block a user