|
HSQLDB example source code file (TestSelfNot.txt)
The HSQLDB TestSelfNot.txt source code-- -- -------------------------------------------------------------------- -- Checking compliance of type INTEGER drop table SQLUNKNOWNCOMPLIANCECHECK if exists create table SQLUNKNOWNCOMPLIANCECHECK(a INTEGER, b INTEGER) -- Checking v = NULL /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1, NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a = b -- -- Checking NOT v = NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a = b -- -- Checking v <> NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a <> b -- -- Checking NOT v <> NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a <> b -- -- Checking v < NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b -- -- Checking NOT v < NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a < b -- -- Checking v <= NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a <= b -- -- Checking NOT v <= NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a <= b -- -- Checking v > NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a > b -- -- Checking NOT v > NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a > b -- -- Checking v >= NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a >= b -- -- Checking NOT v >= NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a >= b -- -- Checking BETWEEN /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where b between 1 and 2 -- -- Checking NOT BETWEEN /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not b between 1 and 2 -- -- Checking IN /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where b in (1, 2) -- -- Checking NOT IN /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not b in (1, 2) -- -- Checking T && T = T /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1, 2) /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (2, 1) /*c1*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b and 1 = 1 -- -- Checking T && F = F /*u2*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1, 2) /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (2, 1) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b and 1 = 0 -- -- Checking T && U = U /*u2*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1, NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where 1 = 1 and a < b -- -- Checking F && F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1, 1) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b and 1 = 0 -- -- Checking F && F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1, NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where 1 = 0 and a < b -- -- Checking F && F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1, NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where b != a and a < b -- -- Checking T || T = T /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1, 2) /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (2, 1) /*c2*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b or a > b -- -- Checking T || F = T /*u2*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1, 2) /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (2, 1) /*c1*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b or 1 = 0 -- -- Checking T || U = T /*u2*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1, NULL) /*c1*/ select* from SQLUNKNOWNCOMPLIANCECHECK where 1 = 1 or a < b -- -- Checking F || F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1, 1) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b or 1 = 0 -- -- Checking F || F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1, NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where 1 = 0 or a < b -- -- Checking F || F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1, NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where b != a or a < b -- -- Checking BETWEEN: >= and <= /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1, 2) /*c1*/ select* from SQLUNKNOWNCOMPLIANCECHECK where (a between 1 and 2) or (b between 1 and 2) -- -- -- -------------------------------------------------------------------- -- Checking compliance of type SMALLINT drop table SQLUNKNOWNCOMPLIANCECHECK if exists create table SQLUNKNOWNCOMPLIANCECHECK(a SMALLINT, b SMALLINT) -- Checking v = NULL /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1, NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a = b -- -- Checking NOT v = NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a = b -- -- Checking v <> NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a <> b -- -- Checking NOT v <> NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a <> b -- -- Checking v < NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b -- -- Checking NOT v < NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a < b -- -- Checking v <= NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a <= b -- -- Checking NOT v <= NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a <= b -- -- Checking v > NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a > b -- -- Checking NOT v > NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a > b -- -- Checking v >= NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a >= b -- -- Checking NOT v >= NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a >= b -- -- Checking BETWEEN /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where b between 1 and 2 -- -- Checking NOT BETWEEN /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not b between 1 and 2 -- -- Checking IN /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where b in (1, 2) -- -- Checking NOT IN /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not b in (1, 2) -- -- Checking T && T = T /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1, 2) /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (2, 1) /*c1*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b and 1 = 1 -- -- Checking T && F = F /*u2*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1, 2) /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (2, 1) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b and 1 = 0 -- -- Checking T && U = U /*u2*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1, NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where 1 = 1 and a < b -- -- Checking F && F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1, 1) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b and 1 = 0 -- -- Checking F && F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1, NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where 1 = 0 and a < b -- -- Checking F && F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1, NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where b != a and a < b -- -- Checking T || T = T /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1, 2) /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (2, 1) /*c2*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b or a > b -- -- Checking T || F = T /*u2*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1, 2) /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (2, 1) /*c1*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b or 1 = 0 -- -- Checking T || U = T /*u2*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1, NULL) /*c1*/ select* from SQLUNKNOWNCOMPLIANCECHECK where 1 = 1 or a < b -- -- Checking F || F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1, 1) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b or 1 = 0 -- -- Checking F || F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1, NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where 1 = 0 or a < b -- -- Checking F || F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1, NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where b != a or a < b -- -- Checking BETWEEN: >= and <= /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1, 2) /*c1*/ select* from SQLUNKNOWNCOMPLIANCECHECK where (a between 1 and 2) or (b between 1 and 2) -- -- -- -------------------------------------------------------------------- -- Checking compliance of type FLOAT drop table SQLUNKNOWNCOMPLIANCECHECK if exists create table SQLUNKNOWNCOMPLIANCECHECK(a FLOAT, b FLOAT) -- Checking v = NULL /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1.0, NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a = b -- -- Checking NOT v = NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a = b -- -- Checking v <> NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a <> b -- -- Checking NOT v <> NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a <> b -- -- Checking v < NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b -- -- Checking NOT v < NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a < b -- -- Checking v <= NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a <= b -- -- Checking NOT v <= NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a <= b -- -- Checking v > NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a > b -- -- Checking NOT v > NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a > b -- -- Checking v >= NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a >= b -- -- Checking NOT v >= NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a >= b -- -- Checking BETWEEN /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where b between 1.0 and 2.0 -- -- Checking NOT BETWEEN /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not b between 1.0 and 2.0 -- -- Checking IN /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where b in (1.0, 2.0) -- -- Checking NOT IN /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not b in (1.0, 2.0) -- -- Checking T && T = T /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1.0, 2.0) /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (2.0, 1.0) /*c1*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b and 1 = 1 -- -- Checking T && F = F /*u2*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1.0, 2.0) /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (2.0, 1.0) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b and 1 = 0 -- -- Checking T && U = U /*u2*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1.0, NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where 1 = 1 and a < b -- -- Checking F && F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1.0, 1.0) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b and 1 = 0 -- -- Checking F && F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1.0, NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where 1 = 0 and a < b -- -- Checking F && F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1.0, NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where b != a and a < b -- -- Checking T || T = T /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1.0, 2.0) /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (2.0, 1.0) /*c2*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b or a > b -- -- Checking T || F = T /*u2*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1.0, 2.0) /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (2.0, 1.0) /*c1*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b or 1 = 0 -- -- Checking T || U = T /*u2*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1.0, NULL) /*c1*/ select* from SQLUNKNOWNCOMPLIANCECHECK where 1 = 1 or a < b -- -- Checking F || F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1.0, 1.0) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b or 1 = 0 -- -- Checking F || F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1.0, NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where 1 = 0 or a < b -- -- Checking F || F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1.0, NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where b != a or a < b -- -- Checking BETWEEN: >= and <= /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values (1.0, 2.0) /*c1*/ select* from SQLUNKNOWNCOMPLIANCECHECK where (a between 1.0 and 2.0) or (b between 1.0 and 2.0) -- -- -- -------------------------------------------------------------------- -- Checking compliance of type DATE drop table SQLUNKNOWNCOMPLIANCECHECK if exists create table SQLUNKNOWNCOMPLIANCECHECK(a DATE, b DATE) -- Checking v = NULL /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2003-10-20', NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a = b -- -- Checking NOT v = NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a = b -- -- Checking v <> NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a <> b -- -- Checking NOT v <> NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a <> b -- -- Checking v < NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b -- -- Checking NOT v < NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a < b -- -- Checking v <= NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a <= b -- -- Checking NOT v <= NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a <= b -- -- Checking v > NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a > b -- -- Checking NOT v > NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a > b -- -- Checking v >= NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a >= b -- -- Checking NOT v >= NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a >= b -- -- Checking BETWEEN /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where b between '2003-10-20' and '2005-05-06' -- -- Checking NOT BETWEEN /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not b between '2003-10-20' and '2005-05-06' -- -- Checking IN /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where b in ('2003-10-20', '2005-05-06') -- -- Checking NOT IN /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not b in ('2003-10-20', '2005-05-06') -- -- Checking T && T = T /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2003-10-20', '2005-05-06') /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2005-05-06', '2003-10-20') /*c1*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b and 1 = 1 -- -- Checking T && F = F /*u2*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2003-10-20', '2005-05-06') /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2005-05-06', '2003-10-20') /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b and 1 = 0 -- -- Checking T && U = U /*u2*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2003-10-20', NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where 1 = 1 and a < b -- -- Checking F && F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2003-10-20', '2003-10-20') /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b and 1 = 0 -- -- Checking F && F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2003-10-20', NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where 1 = 0 and a < b -- -- Checking F && F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2003-10-20', NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where b != a and a < b -- -- Checking T || T = T /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2003-10-20', '2005-05-06') /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2005-05-06', '2003-10-20') /*c2*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b or a > b -- -- Checking T || F = T /*u2*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2003-10-20', '2005-05-06') /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2005-05-06', '2003-10-20') /*c1*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b or 1 = 0 -- -- Checking T || U = T /*u2*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2003-10-20', NULL) /*c1*/ select* from SQLUNKNOWNCOMPLIANCECHECK where 1 = 1 or a < b -- -- Checking F || F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2003-10-20', '2003-10-20') /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b or 1 = 0 -- -- Checking F || F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2003-10-20', NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where 1 = 0 or a < b -- -- Checking F || F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2003-10-20', NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where b != a or a < b -- -- Checking BETWEEN: >= and <= /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2003-10-20', '2005-05-06') /*c1*/ select* from SQLUNKNOWNCOMPLIANCECHECK where (a between '2003-10-20' and '2005-05-06') or (b between '2003-10-20' and '2005-05-06') -- -- -- -------------------------------------------------------------------- -- Checking compliance of type TIME drop table SQLUNKNOWNCOMPLIANCECHECK if exists create table SQLUNKNOWNCOMPLIANCECHECK(a TIME, b TIME) -- Checking v = NULL /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('10:00:00', NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a = b -- -- Checking NOT v = NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a = b -- -- Checking v <> NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a <> b -- -- Checking NOT v <> NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a <> b -- -- Checking v < NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b -- -- Checking NOT v < NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a < b -- -- Checking v <= NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a <= b -- -- Checking NOT v <= NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a <= b -- -- Checking v > NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a > b -- -- Checking NOT v > NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a > b -- -- Checking v >= NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a >= b -- -- Checking NOT v >= NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a >= b -- -- Checking BETWEEN /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where b between '10:00:00' and '12:32:36' -- -- Checking NOT BETWEEN /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not b between '10:00:00' and '12:32:36' -- -- Checking IN /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where b in ('10:00:00', '12:32:36') -- -- Checking NOT IN /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not b in ('10:00:00', '12:32:36') -- -- Checking T && T = T /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('10:00:00', '12:32:36') /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('12:32:36', '10:00:00') /*c1*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b and 1 = 1 -- -- Checking T && F = F /*u2*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('10:00:00', '12:32:36') /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('12:32:36', '10:00:00') /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b and 1 = 0 -- -- Checking T && U = U /*u2*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('10:00:00', NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where 1 = 1 and a < b -- -- Checking F && F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('10:00:00', '10:00:00') /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b and 1 = 0 -- -- Checking F && F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('10:00:00', NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where 1 = 0 and a < b -- -- Checking F && F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('10:00:00', NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where b != a and a < b -- -- Checking T || T = T /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('10:00:00', '12:32:36') /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('12:32:36', '10:00:00') /*c2*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b or a > b -- -- Checking T || F = T /*u2*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('10:00:00', '12:32:36') /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('12:32:36', '10:00:00') /*c1*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b or 1 = 0 -- -- Checking T || U = T /*u2*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('10:00:00', NULL) /*c1*/ select* from SQLUNKNOWNCOMPLIANCECHECK where 1 = 1 or a < b -- -- Checking F || F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('10:00:00', '10:00:00') /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b or 1 = 0 -- -- Checking F || F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('10:00:00', NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where 1 = 0 or a < b -- -- Checking F || F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('10:00:00', NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where b != a or a < b -- -- Checking BETWEEN: >= and <= /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('10:00:00', '12:32:36') /*c1*/ select* from SQLUNKNOWNCOMPLIANCECHECK where (a between '10:00:00' and '12:32:36') or (b between '10:00:00' and '12:32:36') -- -- -- -------------------------------------------------------------------- -- Checking compliance of type TIMESTAMP drop table SQLUNKNOWNCOMPLIANCECHECK if exists create table SQLUNKNOWNCOMPLIANCECHECK(a TIMESTAMP, b TIMESTAMP) -- Checking v = NULL /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2004-05-06 12:32:36.491', NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a = b -- -- Checking NOT v = NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a = b -- -- Checking v <> NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a <> b -- -- Checking NOT v <> NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a <> b -- -- Checking v < NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b -- -- Checking NOT v < NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a < b -- -- Checking v <= NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a <= b -- -- Checking NOT v <= NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a <= b -- -- Checking v > NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a > b -- -- Checking NOT v > NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a > b -- -- Checking v >= NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a >= b -- -- Checking NOT v >= NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a >= b -- -- Checking BETWEEN /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where b between '2004-05-06 12:32:36.491' and '2005-05-06 12:32:36.491' -- -- Checking NOT BETWEEN /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not b between '2004-05-06 12:32:36.491' and '2005-05-06 12:32:36.491' -- -- Checking IN /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where b in ('2004-05-06 12:32:36.491', '2005-05-06 12:32:36.491') -- -- Checking NOT IN /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not b in ('2004-05-06 12:32:36.491', '2005-05-06 12:32:36.491') -- -- Checking T && T = T /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2004-05-06 12:32:36.491', '2005-05-06 12:32:36.491') /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2005-05-06 12:32:36.491', '2004-05-06 12:32:36.491') /*c1*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b and 1 = 1 -- -- Checking T && F = F /*u2*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2004-05-06 12:32:36.491', '2005-05-06 12:32:36.491') /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2005-05-06 12:32:36.491', '2004-05-06 12:32:36.491') /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b and 1 = 0 -- -- Checking T && U = U /*u2*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2004-05-06 12:32:36.491', NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where 1 = 1 and a < b -- -- Checking F && F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2004-05-06 12:32:36.491', '2004-05-06 12:32:36.491') /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b and 1 = 0 -- -- Checking F && F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2004-05-06 12:32:36.491', NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where 1 = 0 and a < b -- -- Checking F && F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2004-05-06 12:32:36.491', NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where b != a and a < b -- -- Checking T || T = T /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2004-05-06 12:32:36.491', '2005-05-06 12:32:36.491') /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2005-05-06 12:32:36.491', '2004-05-06 12:32:36.491') /*c2*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b or a > b -- -- Checking T || F = T /*u2*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2004-05-06 12:32:36.491', '2005-05-06 12:32:36.491') /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2005-05-06 12:32:36.491', '2004-05-06 12:32:36.491') /*c1*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b or 1 = 0 -- -- Checking T || U = T /*u2*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2004-05-06 12:32:36.491', NULL) /*c1*/ select* from SQLUNKNOWNCOMPLIANCECHECK where 1 = 1 or a < b -- -- Checking F || F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2004-05-06 12:32:36.491', '2004-05-06 12:32:36.491') /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b or 1 = 0 -- -- Checking F || F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2004-05-06 12:32:36.491', NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where 1 = 0 or a < b -- -- Checking F || F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2004-05-06 12:32:36.491', NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where b != a or a < b -- -- Checking BETWEEN: >= and <= /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('2004-05-06 12:32:36.491', '2005-05-06 12:32:36.491') /*c1*/ select* from SQLUNKNOWNCOMPLIANCECHECK where (a between '2004-05-06 12:32:36.491' and '2005-05-06 12:32:36.491') or (b between '2004-05-06 12:32:36.491' and '2005-05-06 12:32:36.491') -- -- -- -------------------------------------------------------------------- -- Checking compliance of type CHAR(1) drop table SQLUNKNOWNCOMPLIANCECHECK if exists create table SQLUNKNOWNCOMPLIANCECHECK(a CHAR(1), b CHAR(1)) -- Checking v = NULL /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('a', NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a = b -- -- Checking NOT v = NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a = b -- -- Checking v <> NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a <> b -- -- Checking NOT v <> NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a <> b -- -- Checking v < NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b -- -- Checking NOT v < NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a < b -- -- Checking v <= NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a <= b -- -- Checking NOT v <= NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a <= b -- -- Checking v > NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a > b -- -- Checking NOT v > NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a > b -- -- Checking v >= NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a >= b -- -- Checking NOT v >= NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a >= b -- -- Checking BETWEEN /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where b between 'a' and 'b' -- -- Checking NOT BETWEEN /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not b between 'a' and 'b' -- -- Checking IN /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where b in ('a', 'b') -- -- Checking NOT IN /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not b in ('a', 'b') -- -- Checking T && T = T /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('a', 'b') /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('b', 'a') /*c1*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b and 1 = 1 -- -- Checking T && F = F /*u2*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('a', 'b') /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('b', 'a') /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b and 1 = 0 -- -- Checking T && U = U /*u2*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('a', NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where 1 = 1 and a < b -- -- Checking F && F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('a', 'a') /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b and 1 = 0 -- -- Checking F && F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('a', NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where 1 = 0 and a < b -- -- Checking F && F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('a', NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where b != a and a < b -- -- Checking T || T = T /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('a', 'b') /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('b', 'a') /*c2*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b or a > b -- -- Checking T || F = T /*u2*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('a', 'b') /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('b', 'a') /*c1*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b or 1 = 0 -- -- Checking T || U = T /*u2*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('a', NULL) /*c1*/ select* from SQLUNKNOWNCOMPLIANCECHECK where 1 = 1 or a < b -- -- Checking F || F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('a', 'a') /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b or 1 = 0 -- -- Checking F || F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('a', NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where 1 = 0 or a < b -- -- Checking F || F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('a', NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where b != a or a < b -- -- Checking BETWEEN: >= and <= /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('a', 'b') /*c1*/ select* from SQLUNKNOWNCOMPLIANCECHECK where (a between 'a' and 'b') or (b between 'a' and 'b') -- -- -- -------------------------------------------------------------------- -- Checking compliance of type VARCHAR(1) drop table SQLUNKNOWNCOMPLIANCECHECK if exists create table SQLUNKNOWNCOMPLIANCECHECK(a VARCHAR(1), b VARCHAR(1)) -- Checking v = NULL /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('a', NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a = b -- -- Checking NOT v = NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a = b -- -- Checking v <> NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a <> b -- -- Checking NOT v <> NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a <> b -- -- Checking v < NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b -- -- Checking NOT v < NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a < b -- -- Checking v <= NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a <= b -- -- Checking NOT v <= NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a <= b -- -- Checking v > NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a > b -- -- Checking NOT v > NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a > b -- -- Checking v >= NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a >= b -- -- Checking NOT v >= NULL /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not a >= b -- -- Checking BETWEEN /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where b between 'a' and 'b' -- -- Checking NOT BETWEEN /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not b between 'a' and 'b' -- -- Checking IN /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where b in ('a', 'b') -- -- Checking NOT IN /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not b in ('a', 'b') -- -- Checking T && T = T /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('a', 'b') /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('b', 'a') /*c1*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b and 1 = 1 -- -- Checking T && F = F /*u2*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('a', 'b') /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('b', 'a') /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b and 1 = 0 -- -- Checking T && U = U /*u2*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('a', NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where 1 = 1 and a < b -- -- Checking F && F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('a', 'a') /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b and 1 = 0 -- -- Checking F && F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('a', NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where 1 = 0 and a < b -- -- Checking F && F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('a', NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where b != a and a < b -- -- Checking T || T = T /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('a', 'b') /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('b', 'a') /*c2*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b or a > b -- -- Checking T || F = T /*u2*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('a', 'b') /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('b', 'a') /*c1*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b or 1 = 0 -- -- Checking T || U = T /*u2*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('a', NULL) /*c1*/ select* from SQLUNKNOWNCOMPLIANCECHECK where 1 = 1 or a < b -- -- Checking F || F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('a', 'a') /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where a < b or 1 = 0 -- -- Checking F || F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('a', NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where 1 = 0 or a < b -- -- Checking F || F = F /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('a', NULL) /*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where b != a or a < b -- -- Checking BETWEEN: >= and <= /*u1*/ delete from SQLUNKNOWNCOMPLIANCECHECK /*u1*/ insert into SQLUNKNOWNCOMPLIANCECHECK values ('a', 'b') /*c1*/ select* from SQLUNKNOWNCOMPLIANCECHECK where (a between 'a' and 'b') or (b between 'a' and 'b') -- Other HSQLDB examples (source code examples)Here is a short list of links related to this HSQLDB TestSelfNot.txt source code file: |
... this post is sponsored by my books ... | |
#1 New Release! |
FP Best Seller |
Copyright 1998-2021 Alvin Alexander, alvinalexander.com
All Rights Reserved.
A percentage of advertising revenue from
pages under the /java/jwarehouse
URI on this website is
paid back to open source projects.