--
-- --------------------------------------------------------------------
-- 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')
--

