Оператор SELECT

Традиционные операции над множествами и оператор SELECT

В связи с  упражнением 6 (SELECT) рейтингового этапа возник вопрос относительно старшинства операций UNION, EXCEPT и INTERSECT. Логический порядок выполнения этих операций, который приводится в книге  Мартина Грабера [4] "Справочное руководство по SQL", выглядит так:

• UNION, EXCEPT
  
• INTERSECT

В предположении, что логический порядок выполнения операций соответствует их старшинству, получается, что старшинство операций UNION и EXCEPT идентично и, следовательно, они должны выполняться в том порядке, в котором записаны, если этот порядок не изменяется скобками. При этом обе операции выполняются раньше, чем INTERSECT, т.е. они старше.

Рассмотрим три простых запроса, которые будем комбинировать различными способами, чтобы убедиться в этом:

Консоль

Выполнить

--Модели и типы продукции производителя B 
SELECT model, type FROM Product WHERE maker='B';

--Модели и типы продукции производителя B SELECT model, type FROM Product WHERE maker='B';

    Схема

Консоль

Выполнить

--Модели ноутбуков 
SELECT model, type FROM Product WHERE type='Laptop';

--Модели ноутбуков SELECT model, type FROM Product WHERE type='Laptop';

    Схема

Консоль

Выполнить

--Модели ПК
SELECT model, type FROM Product WHERE type='PC';

--Модели ПК SELECT model, type FROM Product WHERE type='PC';

    Схема

Давайте сначала проверим первое утверждение. Если операция EXCEPT старше операции UNION, то запросы

Консоль

Выполнить

SELECT model, type FROM Product WHERE maker='B'
UNION
SELECT model, type FROM Product WHERE type='Laptop'
EXCEPT
SELECT model, type FROM Product WHERE type='PC';

SELECT model, type FROM Product WHERE maker='B' UNION SELECT model, type FROM Product WHERE type='Laptop' EXCEPT SELECT model, type FROM Product WHERE type='PC';

    Схема

Консоль

Выполнить

(SELECT model, type FROM Product WHERE maker='B'
UNION
SELECT model, type FROM Product WHERE type='Laptop')
EXCEPT
SELECT model, type FROM Product WHERE type='PC';

(SELECT model, type FROM Product WHERE maker='B' UNION SELECT model, type FROM Product WHERE type='Laptop') EXCEPT SELECT model, type FROM Product WHERE type='PC';

    Схема

Аналогично, если операция UNION старше операции EXCEPT, то запросы

Консоль

Выполнить

SELECT model, type FROM Product WHERE type='Laptop'
EXCEPT
SELECT model, type FROM Product WHERE type='PC'
UNION
SELECT model, type FROM Product WHERE maker='B';

SELECT model, type FROM Product WHERE type='Laptop' EXCEPT SELECT model, type FROM Product WHERE type='PC' UNION SELECT model, type FROM Product WHERE maker='B';

    Схема

Консоль

Выполнить

(SELECT model, type FROM Product WHERE type='Laptop'
EXCEPT
SELECT model, type FROM Product WHERE type='PC')
UNION
SELECT model, type FROM Product WHERE maker='B';

(SELECT model, type FROM Product WHERE type='Laptop' EXCEPT SELECT model, type FROM Product WHERE type='PC') UNION SELECT model, type FROM Product WHERE maker='B';

    Схема

Итак, операции UNION и EXCEPT эквивалентны по старшинству.

Проверим теперь старшинство операции INTERSECT по отношению к другим операторам (в тестах можно взять любую из них, т.к. они имеют один и тот же порядок).

Если INTERSECT "младше" или эквивалентен UNION, то запросы

Консоль

Выполнить

SELECT model, type FROM Product WHERE maker='B'
UNION
SELECT model, type FROM Product WHERE type='Laptop'
INTERSECT
SELECT model, type FROM Product WHERE type='PC';

SELECT model, type FROM Product WHERE maker='B' UNION SELECT model, type FROM Product WHERE type='Laptop' INTERSECT SELECT model, type FROM Product WHERE type='PC';

    Схема

и

Консоль

Выполнить

(SELECT model, type FROM Product WHERE maker='B'
UNION
SELECT model, type FROM Product WHERE type='Laptop')
INTERSECT
SELECT model, type FROM Product WHERE type='PC';

(SELECT model, type FROM Product WHERE maker='B' UNION SELECT model, type FROM Product WHERE type='Laptop') INTERSECT SELECT model, type FROM Product WHERE type='PC';

    Схема

Вывод. Логический порядок, приведенный в начале статьи не соответствует старшинству операций, и, на мой взгляд, его следует поменять на обратный:

• INTERSECT
  
• UNION, EXCEPT