Mercurial > urweb
comparison tests/cst.ur @ 707:d8217b4cb617
PRIMARY KEY
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 07 Apr 2009 16:14:31 -0400 |
parents | e6706a1df013 |
children | 0406e9cccb72 |
comparison
equal
deleted
inserted
replaced
706:1fb318c17546 | 707:d8217b4cb617 |
---|---|
1 table t : {A : int, B : int} | 1 table t : {A : int, B : int} |
2 PRIMARY KEY B, | |
3 | |
2 CONSTRAINT UniA UNIQUE A, | 4 CONSTRAINT UniA UNIQUE A, |
3 CONSTRAINT UniB UNIQUE B, | 5 CONSTRAINT UniB UNIQUE B, |
4 CONSTRAINT UniBoth UNIQUE (A, B), | 6 CONSTRAINT UniBoth UNIQUE (A, B), |
5 | 7 |
6 CONSTRAINT UniAm UNIQUE {#A}, | 8 CONSTRAINT UniAm UNIQUE {#A}, |