Ur/Web: tests/where.lac annotate

SQL boolean operators

author	Adam Chlipala <adamc@hcoop.net>
date	Sat, 16 Aug 2008 17:35:28 -0400
parents	5292c0113024
children	79819a6346e2

rev	line source
adamc@209	1 table t1 : {A : int, B : string, C : float}
adamc@209	2 table t2 : {A : float, D : int}
adamc@209	3
adamc@209	4 val q1 = (SELECT * FROM t1)
adamc@209	5 val q2 = (SELECT * FROM t1 WHERE TRUE)
adamc@209	6 val q3 = (SELECT * FROM t1 WHERE FALSE)
adamc@210	7 val q4 = (SELECT * FROM t1 WHERE {True})
adamc@219	8 val q5 = (SELECT * FROM t1 WHERE {1} = {1})
adamc@219	9 val q6 = (SELECT * FROM t1 WHERE {"Hi"} < {"Bye"})
adamc@220	10 val q7 = (SELECT * FROM t1 WHERE {1} <> {1} AND NOT ({"Hi"} >= {"Bye"}))

Mercurial > urweb