Реляционнаяалгебра

студенте известны:
номер его студенческого билета, фамилия, инициалы, пол, дата

рождения и выплачиваемая ему стипендия.
Все студенты распределены по группам. Как правило, один из студентов в группе выбирается старостой, чтобы представлять интересы группы в деканате. Иногда назначение старосты затягивается, и мы должны знать дату его назначения.
Может случиться, что студенты нескольких групп учатся одинаковой специальности и тогда группы объединяются в общий поток.
В базе данных должно храниться название специальности, которую получат студенты по окончании обучения

изучения каждым студентом любой из групп, относящихся к потоку.
Эти

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

выставляется оценка его знаний с указанием даты получения оценки.
По

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

«овал» - атрибуты сущностей, «ромб» - связи между сущностями.

из них указана кардинальная пропорция
Одинарная линия, соединяющая прямоугольник и ромб

означает, что не обязательно каждый экземпляр типа объекта участвует в связи, а двойная линия – обязательное участие
в овалах указаны атрибуты типов объектов и типов связей. многозначный (в двойном овале) составной атрибут типа связи "ОЦЕНЕН", что подчеркивает, что любой студент по одной и той же дисциплине может иметь несколько оценок полученных в разные дни

Nгр, Nкф, Тема, Дата, Оценка)
ГР(Nгр, Nпт, Кстг, Дстг)
ПТ(Nпт, Спец)
КФ(Nкф,

Назв)
ДЦ(Nдц, Назв, Труд)
ИЗЧ(Nпт, Nдц)
ВЫБ(Кст, Nдц)
ОТВ(Nкф, Nдц)
ОЦН(Кст, Nдц, Дата, Оценка)

Жирным шрифтом в реляционной модели выделены первичные ключи каждого отношения, а курсивом – внешние связи.
СТ.Ккур реализует тип связи "ПОМОГАЕТ", СТ.Nгр – "УЧИТСЯ В", СТ.Nкф – "ВЫПУСКАЕТ", ГР.Nпт – "ВХОДИТ", Кстг – "ПРЕДСТАВЛЯЕТ". В связях типа M:N (ИЗЧ, ОЦН, ОТВ, ВЫБ), реализованных отдельными отношениями, жирным курсивом выделены первичные ключи, относящихся к этим связям типов объектов.

одном отношении свойства (как правило) различных объектов, причем, если и

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

студентов, родившихся до 1 сентября 1990 года.
Задача 2. Выдать фамилии

студентов, не получающих стипендию.
Задача 3. Сформировать список студентов – мужчин старше 20 лет, получающих стипендию.
Если параметры отсутствуют, то получаем текущую дату (обозначим ее dt). Кроме того, от любой даты можно вычислить день (day(дата)), месяц (month(дата)) и год (year(дата)), а также добавить/вычесть указанное количество дней
Задача 4. Дать список групп, для которых староста в текущем учебном году либо не назначен, либо назначен позже 10 дней после начала учебы

года
условием является факт, что дата рождения меньше указанной. Следовательно, решение

может быть записано так.
R1  Дрожд<"01.09.90" (СТ),
REZ  Фам (R1)
Отметим, что любую константу мы будем писать в двойных кавычках. Напомним, схема R1 совпадает со схемой СТ и, следовательно, взятие проекции правомочно. Этот же результат может быть записан одной строкой, одним выражением
REZ  Фам (Дрожд<"01.09.90" (СТ))

стипендии, что означает, что стипендия студенту не назначалась, т.е. ее

значение задано константой nil. В остальном реше-ние очень похоже на решение задачи 1.
REZ  Фам (Стип=nil (СТ))

получающих стипендию
В третьей задаче четко не обозначено какие атрибуты следует

собрать в результирующем отношении.
необходимо включить в результат не только фамилии студента, но и атрибута, играющего роль ключевого (в нашем случае Кст). Иначе различные студенты, обладающие одинаковой фамилией, останутся в единственном экземпляре.
естественно включить в результат также Дрожд и Стип,
атрибута Возраст в нашей модели не предусмотрено, но всегда существует возможность получить любую дату (функция date(день, месяц, год)).

REZ  Кст,Фам,Дрожд,Стип (Стипnil and Пол=“Муж” and Дрожд.

учебном году либо не назначен, либо назначен позже 10 дней

после начала учебы

REZ  Nгр (Дстг=nil or Дстг>date(10,9,year(dt)-if(month(dt)>8,0,1)) (ГР)),

котором часть атрибутов берется из одного типа объекта, а остальные

из другого

Задача 5. Дать номера групп с указанием фамилии старосты.
Задача 6. Привести перечень групп с указанием названия специальности, по которой учатся студенты этих групп.
Задача 7. Дать перечень студентов, тем их выпускных работ и название выпускающих кафедр.
При решении этих задач (также как и последующих) важно выбрать именно тот атрибут реализации связи, о котором говорится в условии задачи.

5 фамилия старосты хранится в отношении СТ, а связь ПРЕДСТАВЛЯЕТ

реализована атрибутом Кстг в отношении ГР. Поэтому необходимо соединить отношения СТ и ГР при условии, что значение кода студента в отношении СТ совпадает с кодом старосты в отношении ГР, что записывается следующим образом
R1  СТ ><СТ.Кст=ГР.Кстг ГР,
REZ  ГР.Nгр, СТ.Фам (R1)
Напомним, что, если староста еще не назначен, то информации об этой группе в результирующем отношении не будет. Если бы мы хотели иметь информацию обо всех группах, не зависимо от назначения старосты, то решение следовало бы записать через правое внешнее соединение (запишем его одним выражением)
REZ  ГР.Nгр, СТ.Фам (СТ >< СТ.Кст=ГР.Кстг ГР)

которой учатся студенты этих групп.
Решение задачи 6 можно записать в

виде
REZ  ГР.Nгр, ПТ.Спец (ПТ X ГР),
где естественное соединение проходит по единственному совпадающему атрибуту Nпт

название выпускающих кафедр
Решение задачи 7 можно записать в виде

REZ 

СТ.Фам, Ст.Тема, КФ.Назв (СТ X КФ),

где естественное соединение проходит по единственному совпадающему атрибуту Nкф.

кардинальной пропорцией M:N, реализуемой в реляционной модели отдельным отношением.
Задача 8.

Привести названия дисциплин, изучаемых по специальности "Химия".
Задача 9. Дать список названий кафедр, и названий дисциплин из цикла "ЕН", за преподавание которых она отвечает.
Задача 10. Дать список студентов, получивших оценку 4 или 5 по дисциплине "Матанализ".

1.

R1  ИЗЧ.Nдц, ПТ.Спец (ИЗЧ X ПТ),
R2  ДЦ.Назв, R1.Спец

(R1 X ДЦ),
REZ   R2.Назв (R2.Спец="Химия" (R2))


Так как отношение ИЗЧ содержит первичны ключи как потока, так и дисциплины, то естественное соединение в первой строке пройдет по единственному совпадающему атрибуту (Nпт) и, следовательно, R1 содержит перечень номеров дисциплин с указанием специальностей, студентами которых они изучаются.

Аналогичная операция, но уже с заменой номеров дисциплин на их названия получатся после выполнения второй строки.

И, наконец, третья строка оставит только названия дисциплин, которые изучаются студентами специальности "Химия".
Напомним, что отношение это множество. В данном случае R1 – множество пар: номер дисциплины, название специальности. Однако без необходимости повторять это мы не будем.

2.

Напомним, что по временным затратам естественное соединение близко к декартовому

произведению, то есть, как правило, достаточно большое. Более эффективной окажется следующая логика решения задачи.
R1  Nпт (Спец="Химия" (ПТ)),
сразу сокращаем мощность ПТ
R2  Nдц (R1 * ИЗЧ),
REZ  Назв (R2 * ДЦ)

Здесь мы сначала получим отношение, содержащее номер потока "Химия", затем номера дисциплин, изучаемых студентами этого потока и, наконец, названия дисциплин, о которых говорится в условии задачи.

цикла "ЕН", за преподавание которых она отвечает
R1  ДЦ.Nдц (ДЦ.Цикл="ЕН"

(ДЦ))
– номера дисциплин, относящихся к "ЕН",
R2  ОТВ.Nкф (R1 * ОТВ)
– номера кафедр, отвечающих за эти дисциплины,
REZ  КФ.Назв (R2 * КФ)
– названия кафедр, соответствующие их номерам

по дисциплине «Матанализ».
R1  ДЦ.Nдц (ДЦ.Назв="Матанализ" (ДЦ))
– номера дисциплин

с названием "Матанализ",
R2  ОЦН.Кст (ОЦН.Оценка >= 4 (R1 XОЦН))
– коды студентов, получивших оценку 4 или 5 по этим дисциплинам,
REZ  СТ.Фам (R2 X CТ)
– фамилии этих студентов Так как может быть несколько различных дисциплин с одинаковым названием, но разными номерами, мы используем множественное число

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

связи. Например, в задаче 11 эту цепочку составляют отношения: ДЦ (в нем есть название дисциплин), ИЗЧ (номера потоков, изучающих эти дисциплины), ГР (номера групп, входящих в потоки, так как связь ВХОДИТ реализована атрибутом Nпт в отношении ГР), СТ (фамилии студентов, учащихся в этих группах, через связь УЧИТСЯ_В, реализованную атрибутом Nгр в СТ)

фамилии старост групп и названия специальностей для потоков со специальностью

"Химия" или "Физика".
Задача 13. Привести перечень названий кафедр, названий дисциплин, за которые они отвечают и фамилии студентов, получивших двойки по этим дисциплинам за последнюю неделю

дисциплин с названием "Информатика", R2 ИЗЧ. Nпт (R1 * ИЗЧ) - номера потоков,

студенты которых изучают дисциплины, номера которых собраны в отношении R1,R3 ГР. Nгр (R2 * ГР) - номера групп, входящих в потоки, номера которых собраны в отношении R2,REZ СТ. Фам (R3 * CТ) - фамилии студентов, учащихся в группах, номера которых собраны в отношении R3.
Обратите внимание, что воспользоваться более короткой связью ОЦЕНЕН между отношениями ДЦ и СТ нельзя. Не все студенты, изучающие дисциплину, уже сдавали по ней экзамен и получили оценку, в результате чего может быть потеряна часть информации

потоков с названиями "Физика" или "Химия", R2 (Кст, Назв) ГР. Кстг, R1. Назв (R1 *

ГР) - коды старост групп и названия специальностей, которым обучаются студенты групп, относящихся к потокам, номера которых собраны в отношении R1; мы воспользовались переименованием атрибутов в R2, чтобы в следующем операторе применить естественное соединение. REZ СТ. Фам, R2. Назв (R2 * CТ) - фамилии старост групп и названия специальностей

- коды студентов и номера дисциплин, по которым этими студентами

были получены двойки за последнюю неделю, R2 R1. Кст,ДЦ. Nдц, ДЦ. Назв (R1 * ДЦ) - к кодам студентов и номерам дисциплин из R1 добавлены названия этих дисциплин.
R3 (Кст, Назв_д, Назв_к) R1. Кст, ДЦ. Назв, КФ. Назв (R2 * КФ) - к кодам студентов и названиям дисциплин из R2 добавлены названия кафедр, отвечающих за эти дисциплины. Естественное соединение прошло по атрибуту Кдц. Переименование атрибутов выполнено, чтобы не было в отношении R3 двух атрибутов с одинаковым названием.
REZ СТ. Фам, R3. Назв_д, R3. Назв_к (R3 * CТ) - фамилии студентов, названия дисциплин и отвечающих за них кафедр, по которым за последнюю неделю получены двойки.

правило, в формулировке таких задач присутствуют слова "все", "только", "все

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

понять, что задача сводится к сравнению двух отношений;
· сформулировать две

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

плана.
Задача 15. Дать фамилии старост групп обучающихся только по типовым

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

формулировке? На самом деле для каждого студента мы должны сравнить

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