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},