8.2.3. Квантор всеобщности

Квантор всеобщности означает, что некоторое условие применяется ко всем строкам или к каждой строке некоторого типа. Он используется в тех же целях, что и операция деления реляционной алгебры. Проиллюстрируем его применение тем же запросом, который рассматривался в разделе, описывающем операцию деления. Пусть даны два отношения:

Vedom rasp

Ном_зач_кн	Фамилия	Назв_дисц	Дата			Назв_дисц	Дата
02-Э-01	Иванов	Физика	10.01.03			Химия	14.01.03
02-Э-01	Иванов	Химия	14.01.03			Физика	10.01.03
02-Э-02	Сидоров	Физика	10-01.03
02-Э-02	Сидоров	Химия	14.01.03
О2-Э-О5	Коровин	Химия	14.01.03

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

Полное решение в реляционном исчислении с использованием квантора всеобщности FORALL таково:

{t.Фамилия | t in VEDOM and s in RASP and

FORALL s {t. Назв_дисц_на = s.Назв_дисц and t.Дата = s.Дата)},

где t — кортеж отношения VEDOM;

s — кортеж отношения RASP.

Результат выполнения запроса:

Фамилия

Иванов Сидоров

Имя студента из строки t таблицы VEDOM помещается в результирующее отношение, если определяющее выражение истинно для строки t, а определяющее выражение истинно, если для каждой строки s отношения RASP должна существовать строка t в отношении VEDOM, удовлетворяющая условию, то есть в данном случае для каждой строки s отношения RASP должна существовать строка t в отношении VEDOM с одной и то же фамилией:

• Иванов присутствует в строках t (1) и t (2): t (1) соответствует s (2) и t (2) соответствует s (1);

• Сидоров присутствует в строках t (3) и t (4): t (3) соответствует s (2) и t (4) соответствует s (1);

• Коровин присутствует только в строке t (5): t (5) соответствует s (1), а для s (2) нет соответствующей строки t.

Полное соответствие всем строкам отношения RASP есть только у Иванова и Сидорова. Таким образом, они и вошли в результирующее отношение.

9. Язык sql

9.1. Оператор выбора select. Формирование запросов к базе данных

Назначение оператора select состоит в выборке и отображении данных одной или нескольких таблиц БД.

Синтаксис оператора select:

SELECT [DISTINCT| ALL] {*  [<СПИСОК СТОЛБЦОВ>]} FROM <СПИСОК ТАБЛИЦ>

[WHERE <предикат-условие выборки или соединения;>] [GROUP BY <список полей результата>]

[HAVING <предикат-условие для группы>]

[ORDER BY <список полей, по которым требуется упорядочить вывод>]

Поясним каждую фразу данного оператора.

Фраза select:

• наличие ключевого слова all (по умолчанию) означает, что в результирующую таблицу включаются все строки, удовлетворяющие условиям запроса, что может привести к появлению в результирующей таблице одинаковых строк;

• ключевое слово distinct предназначено для приведения таблицы в соответствие с принципами теории отношений, где предполагается отсутствие дубликатов строк;

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

• запроса.

Во фразе from задается перечень исходных таблиц запроса.

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

• сравнения " = , <>, >, <, >=, <=" — для сравнения результатов вычисления двух выражений; более сложные выражения строятся с помощью логических операторов AND, OR, NOT;

• between А and В — предикат истинен, когда вычисленное значение выражения попадает в заданный диапазон;

• in — предикат истинен тогда, когда сравниваемое значение входит в множество заданных значений;

• like и not like — предикаты, смысл которых противоположен, требуют задания шаблона, с которым сравнивается заданное значение;

• is null — предикат, применяющийся для выявления равенства значения некоторого атрибута неопределенному значению:

• exist и not exist, используемые во встроенных подзапросах.

Во фразе group by задается список полей группировки.

Во фразе having задаются предикаты-условия, накладываемые на каждую группу.

Во фразе order by задается список полей упорядочения результата, то есть список полей, который определяет порядок сортировки в результирующей таблице.