annotate tests/cst.ur @ 1321:4172863d049d

queryL1 and List.sort
author Adam Chlipala <adam@chlipala.net>
date Sat, 20 Nov 2010 10:45:22 -0500
parents 0f42461273cf
children
rev   line source
adamc@714 1 table u : {C : int, D : int, E : option int, F : string}
adamc@709 2 PRIMARY KEY C,
adamc@712 3 CONSTRAINT U UNIQUE (C, D),
adamc@714 4 CONSTRAINT U2 UNIQUE E,
adamc@714 5
adamc@714 6 CONSTRAINT Pos CHECK D > 0,
adamc@714 7 CONSTRAINT NoNo CHECK C + D <> 2,
adamc@714 8 CONSTRAINT Known CHECK F = "_E = 6"
adamc@709 9
adamc@712 10 table t : {A : int, B : int, C : option int}
adamc@707 11 PRIMARY KEY B,
adamc@707 12
adamc@704 13 CONSTRAINT UniA UNIQUE A,
adamc@704 14 CONSTRAINT UniB UNIQUE B,
adamc@704 15 CONSTRAINT UniBoth UNIQUE (A, B),
adamc@704 16
adamc@704 17 CONSTRAINT UniAm UNIQUE {#A},
adamc@705 18 CONSTRAINT UniAm2 {unique [#A] [[]] ! !},
adamc@705 19 {{one_constraint [#UniAm3] (unique [#A] [[]] ! !)}},
adamc@705 20
adamc@705 21 CONSTRAINT UniBothm UNIQUE ({#A}, {#B}),
adamc@705 22 CONSTRAINT UniBothm2 {unique [#A] [[B = _]] ! !},
adamc@709 23 {{one_constraint [#UniBothm3] (unique [#A] [[B = _]] ! !)}},
adamc@709 24
adamc@709 25 CONSTRAINT ForA FOREIGN KEY A REFERENCES u (C),
adamc@709 26 CONSTRAINT ForAB FOREIGN KEY (A, B) REFERENCES u (D, C) ON DELETE CASCADE ON UPDATE RESTRICT,
adamc@709 27 CONSTRAINT ForBA FOREIGN KEY (A, B) REFERENCES u (C, D) ON UPDATE NO ACTION,
adamc@712 28 CONSTRAINT ForB FOREIGN KEY B REFERENCES u (E),
adamc@713 29 CONSTRAINT ForC FOREIGN KEY C REFERENCES u (C),
adamc@709 30
adamc@713 31 CONSTRAINT Self FOREIGN KEY B REFERENCES t (B)
adamc@709 32
adamc@709 33 table s : {B : option int}
adamc@709 34 CONSTRAINT UniB UNIQUE B
adamc@709 35
adamc@709 36 table s2 : {B : option int}
adamc@709 37 CONSTRAINT ForB FOREIGN KEY B REFERENCES s (B) ON DELETE SET NULL
adamc@704 38
adamc@704 39 fun main () : transaction page =
adamc@704 40 queryI (SELECT * FROM t) (fn _ => return ());
adamc@704 41 return <xml/>