- •Содержание
- •Правила для неопределенных отношений 79
- •1. Занятие I. Общее знакомство с idef1x. Термины.
- •1.1. Концепции метода idef1x.
- •1.2. Цель создания информационной модели.
- •1.3. Предпосылки к появлению методологии idef1x.
- •1.4. Основные термины и определения методологии idef1x.
- •1.5. Графическое представление модели.
- •1.6. Правила для диаграмм
- •1.7. Примечания
- •2. Занятие II. Этапы создания информационной модели.
- •2.5. Принятие авторских соглашений по моделированию.
- •3.2. Зависимая и независимая сущности.
- •3.3. Графическое изображение сущностей на диаграммах.
- •3.3.1. Сущность, независимая от идентификатора
- •3.3.2. Сущность, зависимая от идентификатора
- •3.4. Составление списка естественных сущностей.
- •4.3. Отношение связи. Определенное отношение связи.
- •4.3.1. Правила для определенных отношений связи.
- •4.4. Отношение категоризации.
- •4.4.1. Правила для отношений категоризации.
- •4.5. Неопределенное отношение.
- •4.5.1. Правила для неопределенных отношений
- •Графическое изображение отношений на диаграмме.
- •4.8. Диаграмма сущностей.
- •4.9. Контрольные вопросы и задания:
- •5.2. Преобразование неопределенных отношений.
- •5.3. Что такое атрибут?
- •Обозначение альтернативных ключей
- •5.5. Внешние ключи.
- •5.8. Ролевое имя.
- •5.9. Идентификация ключевых атрибутов.
- •5.10. Правила назначения ключей.
- •5.11. Таблица «сущность/атрибут».
- •5.12. Представление результатов в виде диаграммы.
- •5.13. Контрольные вопросы и задания:
- •6.3. Определение принадлежности атрибутов. Описание атрибутов.
- •6.4. Правила назначения не ключевых атрибутов.
- •6.5. Представление результатов этапа.
- •6.6. Контрольные вопросы:
- •8. Приложение 1. Определения
- •Idef1x диаграмма: См. Диаграмма представления.
- •9.1. Имена диаграмм, сущностей, и атрибутов
- •9.2. Метки сущности
- •9.3. Метки ролевого имени атрибута
- •9.4. Метки имен отношений
- •9.5. Примечания к модели
- •9.6. Отображения меток на нескольких строках
- •10. Приложение 3. Правила.
- •10.1. Правила для атрибутов
- •10.2. Правила для диаграмм
- •10.3. Правила для ключей
- •10.3.1. Правила для внешних ключей
- •10.3.2. Правила для первичных и альтернативных ключей
- •10.4. Правила для отношений.
- •10.4.1. Правила для неопределенных отношений
- •10.4.2. Правила для определенных отношений связи
- •10.4.3. Правила для отношений категоризации
- •10.5. Правила для примечаний
- •10.6. Правила для сущностей
- •10.7. Правила для уровней представления
- •11. Приложение 4. Примеры информационных моделей.
10.4. Правила для отношений.
10.4.1. Правила для неопределенных отношений
1) Неопределенное отношение существует только между двумя сущностями.
При неопределенном отношении экземпляру каждой из двух сущностей может соответствовать ноль, один или несколько экземпляров другой сущности в зависимости от установленной мощности.
В KB и FA представлениях все неопределенные отношения должны быть заменены определенными отношениями.
Неопределенные отношения могут быть рекурсивными, т.е. один экземпляр сущности может соответствовать другому экземпляру этой же сущности.
10.4.2. Правила для определенных отношений связи
1) Определенное отношение связи существует только между двумя сущностями,
сущностью-родителем и сущностью-потомком.
В идентифицирующем отношении связи и в обязательном не идентифицирующем отношении связи каждый экземпляр сущности-потомка должен всегда соответствовать только одному экземпляру сущности-родителя.
В необязательном не идентифицирующем отношении каждый экземпляр сущности-потомка должен всегда соответствовать ноль или одному экземпляру сущности-родителя.
Экземпляр сущности-родителя может иметь ноль, один или более соответствующих экземпляров сущности-потомка в зависимости от установленной мощности.
Сущность-потомок в идентифицирующем отношении всегда является сущностью, зависимой от идентификатора.
Сущность-потомок в не идентифицирующем отношении является независимой от идентификатора сущностью, если она не является одновременно сущностью-потомком в каком-либо идентифицирующем отношении.
Сущность может быть связана с любым числом сущностей, как в качестве родителя, так и в качестве потомка.
Только не идентифицирующие отношения могут быть рекурсивными (повторяющимися), т.е. когда экземпляр одной сущности связан с другим экземпляром этой же сущности.
10.4.3. Правила для отношений категоризации
1) Сущность-категория может иметь только одну общую сущность. Т.е. она может входить
в набор категорий только для одного кластера категорий.
Сущность-категория в одном отношении категоризации может быть общей сущностью для другого отношения категоризации.
Может существовать любое количество кластеров категорий, в которых сущность выступает в качестве общей сущности. (Например, СЛУЖАЩИЙ-ЖЕНЩИНА и СЛУЖАЩИЙ-МУЖЧИНА могут быть вторым набором категорий для общей сущности СЛУЖАЩИЙ).
Атрибут(ы) первичного ключа сущности-категории должны совпадать с атрибутом(ами) первичного ключа общей сущности. При этом в сущности-категории этим атрибутам могут назначаться ролевые имена.
Все экземпляры сущности-категории имеют одинаковое значение дискриминатора, и все экземпляры различных сущностей-категорий должны иметь различные значения дискриминатора.
Ни одна сущность не может быть своей собственной общей сущностью, т.е. ни одна сущность не может иметь саму себя в качестве сущности-родителя в отношении категоризации или участвовать в каком-нибудь наборе отношений категоризации, образующих цикл.
Два кластера категорий одной общей сущности не могут иметь одинаковый дискриминатор.
Дискриминатор полного кластера категорий не может быть необязательным атрибутом.
Сущность-категория не может быть сущностью-потомком в идентифицирующем отношении связи, так как первичный ключ, образованный в результате идентифицирующего отношения, полностью переходит в первичный ключ сущности-
категории, тогда как в то же время первичный ключ сущности-категории должен удовлетворять правилу (4), приведенному выше.