7. Нетранзитивные функциональные зависимости и третья нормальная форма.

Переменная отношения находится в третьей нормальной форме в том и только в том случае, когда она

• находится во второй нормальной форме, и

• каждый неключевой атрибут нетранзитивно функционально зависит от первичного ключа.

Теорема Риссанена Проекции r1 и r2 отношения r являются независимыми тогда и только тогда, когда:

• каждая FD в отношении r логически следует из FD в r1 и r2;

• общие атрибуты r1 и r2 образуют возможный ключ хотя бы для одного из этих отношений.

8. Перекрывающиеся возможные ключи и нормальная форма Бойса-Кодда.

в требованиях 2NF и 3NF не требовалась минимальная функциональная зависимость от первичного ключа атрибутов. Переменная отношения находится в нормальной форме Бойса-Кодда (BCNF) в том и только в том случае, когда любая выполняемая для этой переменной отношения нетривиальная и минимальная FD имеет в качестве детерминанта некоторый возможный ключ данного отношения.

9. Проектирование реляционных баз данных с использованием семантических моделей. Семантическая модель Entity-Relationship. Основные понятия er-модели. Уникальные идентификаторы типов сущности.

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

Состав семантической модели

• структурная часть

• манипуляционная часть

• представление целостности

Сущность - реальный или представляемый объект, информация о котором должна сохраняться и быть доступна.

Связь - это графически изображаемая ассоциация, устанавливаемая между сущностями.

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

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

ER-диаграмма должна подчиняться следующим правилам:

• каждая сущность, каждый атрибут и каждая связь должны иметь имя (ассоц-я связь может не иметь имени)

• имя сущности должно быть уникально в рамках модели данных;

• имя атрибута должно быть уникально в рамках сущности;

• имя связи должно быть уникально, если для нее генерируется таблица БД;

• каждый атрибут должен иметь определение типа данных;

10. Нормальные формы er-диаграмм.

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

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

В третьей нормальной форме устраняются атрибуты, зависящие от атрибутов, не входящих в уникальный идентификатор. Эти атрибуты являются основой отдельной сущности.

11. ER-модель: наследование типов сущности и типов связи.

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

Если у типа сущности  A имеются подтипы  B₁, B₂,..., B_n, то:

(а) любой экземпляр типа сущности  B₁, B₂,..., B_n является экземпляром типа сущности  A (включение);

(b) если a является экземпляром типа сущности  A, то a является экземпляром некоторого подтипа  сущности  B_i (i = 1, 2, ..., n) (отсутствие собственных экземпляров у супертипа сущности);

(c) ни для каких подтипов  B_i и B_j (i, j = 1, 2, ..., n) не существует экземпляра, типом которого одновременно являются типы сущности  B_i и B_j (разъединенность подтипов).

Тип сущности, на основе которого определяются подтипы, называется супертипом. Подтипы должны образовывать полное множество, т. е. любой экземпляр  супертипа должен относиться к некоторому подтипу.