Mercurial > urweb

comparison tests/cst.ur @ 714:0f42461273cf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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,