table t1 : {A : int, B : string, C : float} table t2 : {A : float, D : int} val q1 = (SELECT COUNT( * ) AS X FROM t1) val q2 = (SELECT AVG(t1.A) AS X FROM t1) val q3 = (SELECT SUM(t1.C) AS X FROM t1) val q4 = (SELECT MIN(t1.B) AS X, MAX(t1.A) AS Y FROM t1) (*val q5 = (SELECT t1.A FROM t1 GROUP BY t1.B)*) val q5 = (SELECT SUM(t1.A) AS X FROM t1 GROUP BY t1.B) datatype list a = Nil | Cons of a * list a val r1 : transaction (list string) = query q4 (fn fs acc => return (Cons (fs.X, acc))) Nil val main : unit -> transaction page = fn () => n <- r1; return Nothing to see here!