Mercurial > urweb
comparison tests/cst.ur @ 713:baaae037e7f6
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} |