В базы данных

Ном_зач_кн Фамилия Назв_дисц Дата 
 
Назв_дисц Дата 
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, 

---

104
удовлетворяющая условию, то есть в данном случае для каждой строки 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 есть только у 
Иванова и Сидорова. Таким образом, они и вошли в результирующее 
отношение.