Повышенный уровень

1. 5. В состав реляционной БД входит отношение

2. ORDSALE ( STOCK, CUSTOMERNO, NAME).

3. Cоставить SQL-запрос с помощью оператора GROUP BY [HAVING] для выборки кодов товаров (STOCK), покупаемых более чем одним покупателем.

Занятие 4. Расширенные sql-запросы. Использование квантора существования в запросах. Коррелированные и некоррелированные подзапросы

Цель занятия: изучение синтаксиса расширенных SQL-запросов, содержащих операторы EXISTS и NOT EXISTS.

Теоретическое обоснование

Использование квантора существования в запросах

Квантор существования является понятием, заимствованным из формальной логики. Его смысл заключается в следующем: при задании квантора существования говорят о том, что существует некоторая переменная. В языке SQL квантор существования заменяется оператором EXISTS (существует).

Пусть символ «X» обозначает некоторую произвольную переменную. Тогда в формальной логике оператор с примененным квантором существования EXISTS X (предикат, зависящий от X) принимает значение «истина» тогда и только тогда, когда «предикат, зависящий от X» имеет значение «истина» при каком-либо значении переменной X. Если переменная X может быть любым целым числом, принадлежащим интервалу от 1 до 10, то предикат: EXISTS X (X < 5) принимает значение «истина», тогда как предикат EXISTS X(X < 0) принимает значение «ложь».

В языке SQL предикат с квантором существования представлен может быть представлен выражением вида:

EXISTS (SELECT * FROM …)

Выражение считается истинным только тогда, когда результат вычисления подзапроса, представленного с помощью SELECT * FROM ..., является непустым множеством. Выражение истинно тогда и только тогда, когда существует какая-либо запись в таблице, указанной во фразе FROM подзапроса, которая удовлетворяет условию WHERE этого подзапроса.

Пример SQL- запроса с квантором существования для выбора фамилий покупателей, которым продан компьютер “Macintosh”:

SELECT NAME FROM tab10

WHERE EXISTS (SELECT * FROM tab11

WHERE tab10.kod= tab11.kod and.STOCK = “Macintosh”)

Фактически любой запрос, который может быть выражен с использованием оператора IN, альтернативным образом может быть сформулирован с помощью EXISTS.

Можно сконструировать отрицание существования, используя NOT EXISTS. С помощью SQL-запроса

SELECT NAME FROM tab10

WHERE NOT EXISTS (SELECT * FROM tab11

WHERE tab10.kod= tab11.kod and.STOCK = “Macintosh”)

можно получить информацию о покупателях, которые не купили «Macintosh».

Заключенный в скобки подзапрос, входящий в конструкцию EXISTS не обязательно использует конструкцию SELECT * ... . В конструкции SELECT можно также указать имя поля, т.е. использовать предложение вида: SELECT имя_поля FROM ... . Операторы EXISTS и NOT EXISTS всегда помещаются перед подзапросом.

Коррелированные и некоррелированные подзапросы

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