Anda. ФИО not IN

WHERE№зк NOT IN

WHERE NOT EXISTS

WHEREa.№зкNOT IN

WHERE NOT EXISTS

WHEREa.№зкNOT IN

WHERE NOT EXISTS

WHEREa.№зкIN

WHERE EXISTS

(SELECT *

FROM Экзамен AS b

WHERE a.№зк = b.№зк AND Предмет = ‘БД’)

b) SELECT Предмет

FROM Список AS a

(SELECT b.№зк

FROM Экзамен AS b

WHERE Предмет = ‘БД’)

В соответствии с алгеброй

SELECT Предмет

FROM Список AS a INNER JOIN Экзамен AS b ON a.№зк = b.№зк

WHERE Предмет = ‘БД’

4. Создать список студентов, которые не сдавали ни одного экзамена.

{t[ФИО] ï ($t) (Список(t)) Ù (Ø$s) (Экзамен(s)) Ù (t[№зк] = s[№зк])}

a) SELECT ФИО

FROM Список AS a

(SELECT *

FROM Экзамен AS b

WHERE a.№зк = b.№зк)

b) SELECT ФИО

FROM Список AS a

(SELECT b.№зк

FROM Экзамен AS b)

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

{t[ФИО] ï ($t) (Список(t)) Ù ("s) ((Ø Экзамен(s)) Ú Ø (t[№зк] = s[№зк]))}

SELECT ФИО

from Список AS A

where №зк <> ALL (select №зк

from Экзамен AS B

where A.№зк=B.№зк)

Если, например, надо найти тех, кто не сдавал экзамен по нескольким предметам, то необходимо повторить вложенный запрос для каждого предмета, связывая условия поиска оператором AND.

a) SELECT ФИО

FROM Список AS a

(SELECT *

FROM Экзамен AS b

WHERE a.№зк = b.№зк AND Предмет = 'БД') AND NOT EXISTS

(SELECT *

FROM Экзамен AS c

WHERE a.№зк = c.№зк AND Предмет = 'Физика')

b) SELECT ФИО

FROM Список AS a

(SELECT b.№зк

ROM Экзамен AS b AND Предмет = 'БД') AND NOT IN

(SELECT b.№зк

ROM Экзамен AS b AND Предмет = 'Физика’)

c) SELECT ФИО

from Список AS A

here №зк <> ALL (select №зк

from Экзамен AS B

where A.№зк=B.№зк AND Предмет = 'БД')

№зк <> ALL

(select №зк

from Экзамен AS B

where A.№зк=B.№зк AND Предмет = 'Физика')

Использование предиката IN и квантора ALL при реализации операции вычитания можно только в том случае, если операция выполняется по одному компоненту (по одному атрибуту). Если вычитание производится по двум и более компонентам, то необходимо следовать выражению исчисления и, следовательно, в конструкции SQL использовать квантор существования.

Например, если таблица «Список» связана с таблицей «Экзамен» по двум атрибутом ФИО и №зк. Тогда для реализации операции вычитания можно использовать только квантор EXISTS, так как формула исчисления будет иметь вид:

{t[ФИО, №зк] ï ($t) (Список(t)) Ù (Ø$s) (Экзамен(s)) Ù (t[№зк] = s[№зк]) Ù (t[ФИО] = s[ФИО])}

и запрос на SQL имеет вид:

SELECT ФИО, №зк

FROM Список AS A

(SELECT * FROM Экзамен AS B WHERE A.№зк = B.№зк)

Запрос вида:

SELECT ФИО, №зк

FROM Список AS A

(SELECT A.№зк FROM Экзамен AS B WHERE A.№зк = B.№зк)

(SELECT ФИО FROM Экзамен AS C WHERE A.ФИО = C.ФИО)

работать не будет, например, при данных вида:

так как проверка связных атрибутов должна проверяться парой, а не отдельными множествами.

5. Создать список студентов сдавших все экзамены. Здесь для корректной формулировки предположим, что в схеме БД есть таблица ‘Предмет’, содержащая список всех экзаменов, например

Предмет
Название	Преподаватель

Этот запрос можно сформулировать по-другому: Для всех студентов, данные о которых нужно привести в списке, в отношении ‘Экзамен’ существуют кортежи, соответствующие этим студентам, причем эта комбинация (Список - Экзамен) должна существовать для всех кортежей отношения ‘Предмет’.

(t[ФИО] ï ($t) ("u$s) ((Список(t)) Ù (Предмет(u)) Ù (Экзамен(s)) Ù (t[№зк] = s[№зк]) Ù (s[Предмет] = u[Название])))

Эквивалентная формулировка данного запроса в реляционной алгебре нельзя выразить одной “фразой”. Данный запрос реализует операцию деления и может быть выражен следующим образом:

T₁ = p_№зк(Список ´ Предметы)

T₂ = p_{№зк, Название}(T₁ - Экзамен)

T = p_ФИО(T₁ - T₂)

SELECT №зк, Название

FROM Список, Предметы;

SELECT №зк, Название

FROM список_экзамен AS c

Дата добавления: 2014-01-11