Экзистенциальные запросы

К особому классу относятся запросы с квантором exists, получившие название экзистенциальных, они имеют следующий синтаксис: { where | having } [ not ] exists (<подзапрос>). Квантор exists возвращает логическое значение «истина», если сформированный подзапросом набор данных не пуст и «ложь» в противном случае, not инвертирует значение, возвращаемое квантором.

Используя кванторы можно предложить другой вариант запроса, находящего студентов, у которых нет оценок 3:

select Номер, ФИО

from Группа, Студент

where Группа = Группа.Id and

not exists

(select *

from Успеваемость

where Студент.Ном_Зач = Успеваемость.Ном_Зач

and Оценка = 3)

go

Так как квантор возвращает логическое условие в зависимости от наличия или отсутствия данных, удовлетворяющих условию подзапроса, а сами данные не имеют никакого значения, в списке выбора подзапроса часто используется *.

С помощью экзистенциальных запросов можно реализовать пересечение и разность запросов, так запрос, возвращающий общие дисциплины, изучаемые как студентами 4-го, так и 5-го факультетов (пересечение):

select distinct Наименование

from Группа, Студент, Успеваемость, Дисциплина

where Группа = Группа.Id and

Студент.Ном_Зач = Успеваемость.Ном_Зач and

Id_Дисциплины = Дисциплина.Id and

Факультет = '4'

intersect

select distinct Наименование

from Группа, Студент, Успеваемость, Дисциплина

where Группа = Группа.Id and

Студент.Ном_Зач = Успеваемость.Ном_Зач and

Id_Дисциплины = Дисциплина.Id and

Факультет = '5'

go

может быть переформулирован следующим образом:

select distinct Наименование

from Группа, Студент, Успеваемость, Дисциплина

where Группа = Группа.Id and

Студент.Ном_Зач = Успеваемость.Ном_Зач and

Id_Дисциплины = Дисциплина.Id and

Факультет = '4' and exists

(select *

from Группа Г, Студент С, Успеваемость У,

Дисциплина Д

where С.Группа = Г.Id and

С.Ном_Зач = У.Ном_Зач and

У.Id_Дисциплины = Д.Id and

Факультет = '5' and

Дисциплина.Id = Д.Id)

go

Для реализации разности перед квантором необходимо добавить not. [13]

С помощью экзистенциальных запросов можно реализовать оператор деления РА.

Создадим и заполним таблицу Д4Ф:

create table Д4Ф (Д varchar(50))

go

insert into Д4Ф (Д)

select distinct Наименование

from Группа, Студент, Успеваемость, Дисциплина

where Группа = Группа.Id and

Студент.Ном_Зач = Успеваемость.Ном_Зач and

Id_Дисциплины = Дисциплина.Id and

Факультет = '4'

go

Создадим и заполним таблицу ДФ:

create table ДФ (Ф tinyint, Д varchar(50))

go

insert into ДФ (Ф, Д)

select distinct Факультет, Наименование

from Группа, Студент, Успеваемость, Дисциплина

where Группа = Группа.Id and

Студент.Ном_Зач = Успеваемость.Ном_Зач and

Id_Дисциплины = Дисциплина.Id

go

Тогда следующий запрос даст ответ на вопрос на каких факультетах изучаются все дисциплины из числа изучаемых на факультете 4:

select distinct ДФ.Ф from ДФ where not exists

(select * from Д4Ф where not exists

(select * from ДФ ДФ1

where ДФ1.Ф = ДФ.Ф and

ДФ1.Д = Д4Ф.Д))

go

Для удобства записи запросов в SQL предусмотрены кванторы any, all и some.

Дата добавления: 2015-05-09