blob: fc3b08168fb9f1478440c08bdf4d4b1f14b3c7ef (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
table t : {A : int, B : int}
PRIMARY KEY B,
CONSTRAINT UniA UNIQUE A,
CONSTRAINT UniB UNIQUE B,
CONSTRAINT UniBoth UNIQUE (A, B),
CONSTRAINT UniAm UNIQUE {#A},
CONSTRAINT UniAm2 {unique [#A] [[]] ! !},
{{one_constraint [#UniAm3] (unique [#A] [[]] ! !)}},
CONSTRAINT UniBothm UNIQUE ({#A}, {#B}),
CONSTRAINT UniBothm2 {unique [#A] [[B = _]] ! !},
{{one_constraint [#UniBothm3] (unique [#A] [[B = _]] ! !)}}
fun main () : transaction page =
queryI (SELECT * FROM t) (fn _ => return ());
return <xml/>
|
