Mercurial > urweb

comparison tests/cst.ur @ 713:baaae037e7f6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Retry failed record summary unifications at the end, in hopes that more has been learned
author Adam Chlipala <adamc@hcoop.net>
date Thu, 09 Apr 2009 14:59:29 -0400
parents 915ec60592d4
children 0f42461273cf
comparison
equal deleted inserted replaced
712:915ec60592d4 713:baaae037e7f6
20 20
21 CONSTRAINT ForA FOREIGN KEY A REFERENCES u (C), 21 CONSTRAINT ForA FOREIGN KEY A REFERENCES u (C),
22 CONSTRAINT ForAB FOREIGN KEY (A, B) REFERENCES u (D, C) ON DELETE CASCADE ON UPDATE RESTRICT, 22 CONSTRAINT ForAB FOREIGN KEY (A, B) REFERENCES u (D, C) ON DELETE CASCADE ON UPDATE RESTRICT,
23 CONSTRAINT ForBA FOREIGN KEY (A, B) REFERENCES u (C, D) ON UPDATE NO ACTION, 23 CONSTRAINT ForBA FOREIGN KEY (A, B) REFERENCES u (C, D) ON UPDATE NO ACTION,
24 CONSTRAINT ForB FOREIGN KEY B REFERENCES u (E), 24 CONSTRAINT ForB FOREIGN KEY B REFERENCES u (E),
25 CONSTRAINT ForC FOREIGN KEY C REFERENCES u (C) 25 CONSTRAINT ForC FOREIGN KEY C REFERENCES u (C),
26 26
27 (*CONSTRAINT Self FOREIGN KEY B REFERENCES t (B)*) 27 CONSTRAINT Self FOREIGN KEY B REFERENCES t (B)
28 28
29 table s : {B : option int} 29 table s : {B : option int}
30 CONSTRAINT UniB UNIQUE B 30 CONSTRAINT UniB UNIQUE B
31 31
32 table s2 : {B : option int} 32 table s2 : {B : option int}