Mercurial > urweb
annotate 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 |
rev | line source |
---|---|
adamc@704 | 1 table t : {A : int, B : int} |
adamc@707 | 2 PRIMARY KEY B, |
adamc@707 | 3 |
adamc@704 | 4 CONSTRAINT UniA UNIQUE A, |
adamc@704 | 5 CONSTRAINT UniB UNIQUE B, |
adamc@704 | 6 CONSTRAINT UniBoth UNIQUE (A, B), |
adamc@704 | 7 |
adamc@704 | 8 CONSTRAINT UniAm UNIQUE {#A}, |
adamc@705 | 9 CONSTRAINT UniAm2 {unique [#A] [[]] ! !}, |
adamc@705 | 10 {{one_constraint [#UniAm3] (unique [#A] [[]] ! !)}}, |
adamc@705 | 11 |
adamc@705 | 12 CONSTRAINT UniBothm UNIQUE ({#A}, {#B}), |
adamc@705 | 13 CONSTRAINT UniBothm2 {unique [#A] [[B = _]] ! !}, |
adamc@705 | 14 {{one_constraint [#UniBothm3] (unique [#A] [[B = _]] ! !)}} |
adamc@704 | 15 |
adamc@704 | 16 fun main () : transaction page = |
adamc@704 | 17 queryI (SELECT * FROM t) (fn _ => return ()); |
adamc@704 | 18 return <xml/> |