ЛИНТЕР

Предикат соответствия

Функция

Определение условия соответствия проверяемой записи c результатом табличного подзапроса.

Спецификация

<предикат соответствия>::=

(проверяемая запись) [NOT] MATCH тип совпадения (сличаемые записи)

<проверяемая запись>::=

{имя столбца | значимое выражение}[, …]

<сличаемые записи>::=

select-запрос выборки
| table-запрос выборки
| values-запрос выборки

<тип совпадения>::=

[ UNIQUE ] [ SIMPLE | PARTIAL | FULL ]

Синтаксические правила

Количество элементов в <проверяемой записи> должно совпадать с количеством элементов в <сличаемых записях>.
Типы данных элементов в <проверяемой записи> должны быть совместимы с типами соответствующих элементов <сличаемых записей>.
Сравнение пар соответствующих элементов производится аналогично <предикату сравнения>.
Опция UNIQUE запрещает использовать для проверки совпадения дубликаты <сличаемых записей>.
Опции SIMPLE (обычное совпадение), PARTIAL (частичное) и FULL (полное) задают условия совпадения записей, имеющих NULL-значения.

Общие правила

<Предикат соответствия> возвращает TRUE, если <проверяемая запись> совпадает по заданному критерию с одной из <сличаемых записей>, в противном случае – FALSE (таблица 1).

Таблица 1. Возвращаемые значения <предиката соответствия>

Тип совпадения	Проверяемая запись	Опция UNIQUE	Результат
SIMPLE или не задан	Содержит только NULL-значения	Задана	TRUE
	Содержит только NULL-значения	Не задана	TRUE
	Содержит реальные и NULL-значения	Задана	TRUE
	Содержит реальные и NULL-значения	Не задана	TRUE
	Содержит реальные значения	Задана	TRUE, если среди <сличаемых записей> есть уникальная запись, совпадающая с <проверяемой записью>, иначе FALSE
	Содержит реальные значения	Не задана	TRUE, если среди <сличаемых записей> есть, возможно, не уникальная запись, совпадающая с <проверяемой записью>, иначе FALSE
PARTIAL	Содержит только NULL-значения	Задана	TRUE
	Содержит только NULL-значения	Не задана	TRUE
	Содержит реальные и NULL-значения	Задана	TRUE, если среди <сличаемых записей> есть уникальная запись, реальные значения которой совпадают с соответствующими реальными значениями <проверяемой записи>, иначе FALSE
	Содержит реальные и NULL-значения	Не задана	TRUE, если среди <сличаемых записей> есть, возможно, не уникальная запись, реальные значения которой совпадают с соответствующими реальными значениями <проверяемой записи>, иначе FALSE
FULL	Содержит только NULL-значения	Задана	TRUE
	Содержит только NULL-значения	Не задана	TRUE
	Содержит реальные и NULL-значения	Задана	FALSE
	Содержит реальные и NULL-значения	Не задана	FALSE
	Содержит реальные значения	Задана	TRUE, если среди <сличаемых записей> есть уникальная запись, полностью совпадающая c <проверяемой записью>, иначе FALSE
	Содержит реальные значения	Не задана	TRUE, если среди <сличаемых записей> есть, возможно, не уникальная запись, полностью совпадающая c <проверяемой записью>, иначе FALSE

Примеры

create or replace table t1 (i1 int, i2 int, i3 int);
create or replace table t2 (i1 int, i2 int, i3 int);

insert into t1 (i1,i2,i3) values (1,2,3);
insert into t1 (i1,i2,i3) values (1,2,4);
insert into t1 (i1,i2,i3) values (1,1,3);
insert into t1 (i1,i2,i3) values (1,2,3);
insert into t1 (i1,i2,i3) values (1,2,5);

insert into t2 (i1,i2,i3) values (1,2,3);

Эти 3 запроса идентичны:

select count(*) from t1 where (1,2,3) match (select * from t2);
select count(*) from t1 where (1,2,3) match (values (1,2,3));
select count(*) from t1 where (1,2,3) match (table t2);
|       5|

select count(*) from t1 where (t1.i1,t1.i2,t1.i3) match (select * from t2);
|       2|

select count(*) from t1 where (t1.i1,t1.i2,t1.i3) not match (select * from t2);
|       3|

select count(*) from t1 where (t1.i1,t1.i2,t1.i3) match full (select * from t2);
|       2|

Эти 3 запроса идентичны:

select count(*) from t1 where (t1.i1,t1.i2,t1.i3) match partial (select * from t2);

select count(*) from t1 where (t1.i1,t1.i2,t1.i3) match partial (values (cos(0),2,sqrt(9)));

select count(*) from t1 where (t1.i1,t1.i2,t1.i3) match partial (table t2);
|       2|

select count(*) from t1 where (t1.i1,t1.i2,t1.i3) match unique (select * from t2);
|       2|

select count(*) from t1 where (1,NULLIF(0,0),3) match FULL (select * from t2);
|       0|

select count(*) from t1 where (1,NULLIF(0,0),3) match simple (select * from t2);
|       5|

select count(*) from t1 where (1,NULLIF(0,0),3) match partial (select * from t2);
|       5|

create or replace table emp(emp_no int, dept_no int, emp_surname char(50), emp_name char(50));
insert into emp values (1,1,'ИВАНОВ','ИВАН');
insert into emp values (2,NULL,'ПЕТРОВ','ПЕТР');
insert into emp values (3,1,'ПУПКИН','ВАСИЛИЙ');
insert into emp values (4,1,'ИВАНОВ','СЕРГЕЙ');
insert into emp values (5,2,'СИДОРОВ','АНТОН');

Запрос вернет данные о служащих, которые:

либо не приписаны к какому-нибудь отделу;
либо в своем отделе имеют однофамильцев.

select emp_surname, dept_no
  from emp
 where (dept_no, emp_surname) match unique simple
    (select emp1.dept_no, emp1.emp_surname
       from emp emp1
      where emp1.emp_no <> emp.emp_no);