Лекция 10. Язык ER-моделирования

Правило (1) – атрибут описывает одну сущность

Атрибут должен описывать ту сущность, к которой он отнесен! Атрибутом какой сущности является "номер места":

билета, купона, посадочного талона, воздушного судна?

Очевидно, это атрибут сущности МЕСТО

Правило (2) – атрибуты не должны повторяться (1NF)

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

Правило (3) – атрибут может стать сущностью

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

Правило (4) – факультативность атрибутов

Атрибут, значение которого может отсутствовать, называется

факультативным.

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

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

обязательный факультативный

Правило (5) – сущность обладает уникальной идентификацией

Каждая сущность должна однозначно идентифицироваться посредством некоторой комбинации атрибутов и/или связей

Правило (6) – полнота уникального идентификатора (2NF)

Значения атрибутов, не входящих в уникальный идентификатор, должны зависеть ОТ ВСЕГО уникального идентификатора.

Удалите атрибуты, значения которых зависят лишь от той или иной части идентификатора. Присутствие таких атрибутов, как правило, указывает на наличие пропущенной сущности, связанной с данной

Правило (7) – зависимость только от уникального идентификатора (3NF)

Значения атрибутов, не входящих в уникальный идентификатор, должны зависеть ТОЛЬКО ОТ уникального идентификатора.

Более сложные понятия

супертип/подтип,

базисные и переходные сущности,

разрешение связей многие-ко-многим,

взаимоисключаемость,

непереместимость,

квалифицированная степень,

избыточность,

каскадное удаление

производные атрибуты

Подтипы/супертипы

Подтип - это разновидность сущности.

Подтип неявно наследует все атрибуты и связи супертипа.

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

Супертип - это систематизация сущностей с общими подтипами.

Одна и та же сущность может являться супертипом и, в то же время, представлять собой подтип другой сущности.

Подтипы сущности образовывают полную систему множеств.

супертипы

подтипы

Пример типа/супертипа

НЕРЕГУЛЯРНЫЙ ПОЛЕТ и РЕГУЛЯРНЫЙ РЕЙСОВЫЙ ПОЛЕТ имеют один и тот же атрибут – НОМЕР (наследуется из супертипа РЕЙСОВЫЙ ПОЛЕТ), но отличаются связями!