1.4Защита типового расчета

Защита типовых расчетов производится на восьмой неделе семестра.

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

О времени защиты студенты будут проинформированы заранее. На защите студенту необходимо правильно ответить на три вопроса (по одному из каждой группы). Типовые контрольные вопросы содержаться в приложении В.

Наличие защищенного типового расчета влияет на допуск к экзамену. Студенты, не сдавшие типовой расчет в указанные сроки, считаются не выполнившими учебную нагрузку по предмету и не допускаются к экзамену.

2Теоретические сведения

2.1Термины и определения

Атрибут представляет собой определенное свойство некоторого объекта. Например, атрибутом объекта Предметы является Название предмета.

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

Сущность – множество однотипных объектов, называемых экземплярами. Каждый экземпляр индивидуален и отличается от всех остальных экземпляров в множестве. Пример сущности - Предметы, пример экземпляров – Высшая математика, Компьютерная графика. Каждый экземпляр характеризуется набором свойств, называемых атрибутами сущности.

Кортеж – это множество пар {имя атрибута, значение}, которое содержит по одному вхождению каждого имени атрибута. Это понятие соответствует понятию экземпляра сущности в другой терминологии.

Отношение - это множество кортежей. Понятие отношения аналогично (но не совпадает полностью) понятию сущности.

Универсальное отношение – это такое отношение, которое включает в себя все атрибуты из рассматриваемой предметной области.

Связь – это некоторая ассоциация, устанавливаемая между сущностями. У связи различают два направления: от Сущности1 к Сущности2 и от Сущности2 к Сущности1.

По кардинальности различают следующие виды связи:

1. Один к одному. 1:1 (one-to-one). Тот факт, что кардинальность связи Сущности1 и Сущности2 один к одному означает, что в любой момент времени при любых условиях одному экземпляру Сущности1 соответствует не более одного экземпляра Сущности2 и наоборот.

Пример: государство и столица.

2. Один ко многим. 1:М (one-to-many). Тот факт, что Сущность1 связана с Сущностью2 связью один ко многим означает, что в любой момент времени при любых условиях одному экземпляру Сущности1 соответствует один и более экземпляров Сущности2. В то же время одному экземпляру Сущности2 соответствует не более одного экземпляра Сущности1.

Пример: студент и группа.

3. Многие к одному. М:1 (many-to-one). Аналогична 1:М, за тем исключением, что меняется направление связи.

4. Многие ко многим. М:М (many-to-many). Тот факт, что Сущность1 и Сущность2 связаны с кардинальностью многие ко многим означает, что в любой момент времени при любых условиях одному экземпляру Сущности1 соответствует один и более экземпляров Сущности2 и наоборот.

Пример: преподаватель и предмет.

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

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

Первичный ключ – атрибут или группа атрибутов (тогда это составной первичный ключ), однозначно идентифицирующих каждый экземпляр сущности. Например, в сущности Преподаватель первичным ключом будет атрибут Табельный_Номер. В сущности возможно разные комбинации атрибутов будут претендовать на роль первичного ключа (такие комбинации называют альтернативными ключами), но первичный ключ может быть только один.

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

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

В отношении R атрибут Y функционально зависит от атрибута X (X и Y могут быть составными) в том и только в том случае, если каждому значению X соответствует в точности одно значение Y. Обозначают: R.X → R.Y.

Функциональная зависимость R.X → R.Y называется полной, если атрибут Y не зависит функционально от любого подмножества X.

Функциональная зависимость R.X → R.Y называется транзитивной, если существует такой атрибут Z, что имеются функциональные зависимости R.X → R.Z и R.Z → R.Y.

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

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

Два или более атрибута взаимно независимы, если ни один из этих атрибутов не является функционально зависимым от других.

Детерминант – любой атрибут, от которого полностью функционально зависит некоторый другой атрибут.