< Множество1 > не должно быть пустым.

SELECT make, count(*) 
  FROM Auto 
 WHERE (color) IN ('BLACK','BLUE','GREEN') 
 GROUP BY make;

SELECT make, count(*) 
  FROM Auto
 WHERE (make, color) IN (values('FORD','GREEN')) 
 GROUP BY make;

|FORD                |          5|

create or replace table tst (search_make char(20),search_color char(10));
insert into tst (search_make, search_color) values ('FORD', 'RED');

select * from auto where (make,color) in (table tst);

Если < множество1 > состоит только из одного < значимого выражения >, ограничивающие его круглые скобки не обязательны.

select model from auto where color in ('BLACK', 'WHITE') and cylnders in (6,8,12);

< Множество2 > может быть пустым.

SELECT  count(*) FROM Auto WHERE (color) not IN ();
|            1000|

Типы данных элементов < множества1 > и < множества2 > должны быть совместимы.

SELECT Name FROM Person WHERE PersonID IN (SELECT PersonID FROM Auto);

Если < множество1 > содержит только один элемент, то количество элементов < множества 2 > может быть произвольным.

Если < множество2 > не пусто, то < подзапрос сравнения > должен возвращать одну запись выборки данных, при этом количество столбцов записи выборки данных этого подзапроса должно совпадать с количеством элементов < множества 2 >.

select count(*) 
  from auto 
 where (select $$$S31 
          from $$$USR
         where $$$s34 like 'SYS_') in (select $$$S31 from $$$USR);
|      0|

Недопустимый запрос:

SELECT make, count(*) 
  FROM Auto
WHERE (color) IN (values('RED','GREEN')) GROUP BY make;

Тип данных < множества1 > должен соответствовать типам данных < множества2 >. Сравнение одного NULL-значения с другим NULL-значением выдает FALSE, поэтому такие записи в выборку данных не попадают.

select count(*) from auto where (make, year) in ( 'FORD', 70);
create table tab1(i int autoinc, c char(10), dt date);
insert into tab1 (c, dt) values( 'abcdef', '01.01.2003');
insert into tab1 (c, dt) values( 'bcdefa', '02.01.2003');
insert into tab1 (c, dt) values( 'bcdefab', null);

select * 
  from tab1;
|1|abcdef|01.01.2003:00:00:00.00|
|2|bcdefa|02.01.2003:00:00:00.00|
|3|cdefab|NULL                  |

select * 
  from tab1 
 where (i,c, dt) in (select i,c, dt from tab1 where c like'_cde%');
|2 |bcdefa |02.01.2003:00:00:00.00 |
(записи с NULL-значениями в выборку данных не включаются)

select * 
  from tab1
 where (i,c, dt) in (select i,c, dt from tab1);
|1|abcdef |01.01.2003:00:00:00.00 |
|2|bcdefab|02.01.2003:00:00:00.00 |

< Подзапрос вхождения > может возвращать любое число записей выборки данных, при этом количество столбцов записи выборки данных этого подзапроса должно совпадать с количеством элементов < множества1 >.

select count(*) 
  from auto
 where (1, 2, personid) in (select 1, 2, 7
                             union 
                            select 1, 2, 240
                             union
                            select 1, 2, 500);
|                3|

SELECT make, count(*) 
  FROM Auto
 WHERE (color) IN (values('RED'),('GREEN')) 
 GROUP BY make;

< Список вхождения > может содержать одновременно < спецификацию значения > и < значимое выражение >.

select personid, depndnts 
  from person 
 where cast personid as real in (9e0, cast (depndnts+2) as real - 1e0)
   and personid <  11;
|2|         1|
|9|         2|

Пусть < множество1 >={x1}, < множество2 >={y1,y2,…yn}. Значение предиката равно TRUE в том и только в том случае, когда x1 равно одному из значений {y1,y2,…yn}, т.е. (x1=yi).

Пусть < множество1 >={x1,x2, ...xn}, < множество2 >={y1,y2,…yn}. Значение предиката равно TRUE, когда:

Если единственный элемент < множества1 > не совпадает с каким-либо элементом < множества2 > (x1 не равен yi), значение предиката равно FALSE (пересечение множеств пусто).

Если группа элементов < множества1 > не совпадает с группой элементов < множества2 >, т.е. один или несколько xi не равны соответствующим yi, значение предиката равно FALSE (пересечение множеств пусто).

Если < множество2 > пусто, значение предиката всегда равно FALSE.

select count(*) from auto where model in();
|            0|

select count(*) from auto where model not in();
|            1000|

< Запрос вхождения > фактически выполняется отдельно для каждого значения-кандидата основного запроса, и значения, которые он сформирует, будут составлять список значений < множества2 > для этой записи.

Примеры:

Конструкция:

< значимое выражение > NOT IN …

имеет тот же результат, что и конструкция NOT < значимое выражение > IN … .

Эти конструкции эквивалентны:

select name, count(*) from person where age not in (30,40,50,60) group by name;
select name, count(*) from person where not age in (30,40,50,60) group by name;