Mercurial > urweb
comparison tests/cst.ur @ 714:0f42461273cf
CHECK constraints
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 09 Apr 2009 15:30:15 -0400 |
parents | baaae037e7f6 |
children |
comparison
equal
deleted
inserted
replaced
713:baaae037e7f6 | 714:0f42461273cf |
---|---|
1 table u : {C : int, D : int, E : option int} | 1 table u : {C : int, D : int, E : option int, F : string} |
2 PRIMARY KEY C, | 2 PRIMARY KEY C, |
3 CONSTRAINT U UNIQUE (C, D), | 3 CONSTRAINT U UNIQUE (C, D), |
4 CONSTRAINT U2 UNIQUE E | 4 CONSTRAINT U2 UNIQUE E, |
5 | |
6 CONSTRAINT Pos CHECK D > 0, | |
7 CONSTRAINT NoNo CHECK C + D <> 2, | |
8 CONSTRAINT Known CHECK F = "_E = 6" | |
5 | 9 |
6 table t : {A : int, B : int, C : option int} | 10 table t : {A : int, B : int, C : option int} |
7 PRIMARY KEY B, | 11 PRIMARY KEY B, |
8 | 12 |
9 CONSTRAINT UniA UNIQUE A, | 13 CONSTRAINT UniA UNIQUE A, |