-- | |
-- -------------------------------------------------------------------- | |
-- 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 (DATE'2003-10-20', DATE'2005-05-06') | |
-- | |
-- Checking NOT IN | |
/*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not b in (DATE'2003-10-20', DATE'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 (TIME'10:00:00', TIME'12:32:36') | |
-- | |
-- Checking NOT IN | |
/*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not b in (TIME'10:00:00', TIME'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 (TIMESTAMP'2004-05-06 12:32:36.491', TIMESTAMP'2005-05-06 12:32:36.491') | |
-- | |
-- Checking NOT IN | |
/*c0*/ select* from SQLUNKNOWNCOMPLIANCECHECK where not b in (TIMESTAMP'2004-05-06 12:32:36.491', TIMESTAMP'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') | |
-- | |