6.6. Контрольные вопросы:

1. Чем отличаются три представления модели (ER, KB, FA)?

7. ЗАНЯТИЕ VII. ОФОРМЛЕНИЕ ДИАГРАММ И ГЛОССАРИЯ. РЕЦЕНЗИРОВАНИЕ МОДЕЛИ. Цель занятия: ознакомление с правилами оформления модели, порядком рецензирования и редактирования.

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

8. Приложение 1. Определения

Idef1x диаграмма: См. Диаграмма представления.

IDEF1X модель: Набор из одного или нескольких IDEF1X представлений, часто представленных в виде диаграмм представлений, которые описывают семантику представлений, а также определения сущностей и атрибутов, используемых в представлениях. См. Модель данных. Атрибут: Свойство или характеристика, являющаяся общей для некоторых или для всех экземпляров сущности. Атрибут представляет использование домена в контексте сущности.

- значение атрибута: Значение, присваиваемое атрибуту соответствующего экземпляра сущности.

- мигрирующий: Атрибут внешнего ключа сущности-потомка.

- наследуемый: Атрибут, являющийся характеристикой сущности-категории, так как является атрибутом общей сущности или предка общей сущности.

- не ключевой: Атрибут, который не является первичным ключом или частью составного первичного ключа сущности. Не ключевой атрибут может быть атрибутом внешнего ключа или альтернативного ключа сущности.

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

- собственный: Атрибут сущности, который не мигрировал в эту сущность.

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

Внешняя схема: См. Схема.

Глагольный оборот: Высказывание, используемое в качестве названия отношения. Состоит из глагола и вспомогательных слов (как правило, предлогов).

Глоссарий: Набор определений сущностей и атрибутов.

Диаграмма представления: Графическое изображение семантики представления.

Дискриминатор категорий: Атрибут общей сущности или предка общей сущности кластера категорий. Значение дискриминатора показывает, какая сущность-категория в кластере категорий, какие экземпляры общей сущности содержит. Все экземпляры общей сущности с одинаковым значением дискриминатора являются экземплярами одной и той же сущности-категории. Обратное утверждение тоже верно.

Домен: Поименованный набор значений данных (фиксированный или возможно бесконечный набора чисел) одного типа данных, из которого выбирается значение для экземпляра атрибута. Каждый атрибут должен быть определен только на одном определенном домене. На одном и том же домене может быть определено несколько атрибутов.

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

Зависимость существования: Ограничение между двумя связанными сущностями, показывающее, что никакой экземпляр одной сущности (сущности-потомка) не

может существовать без связи с экземпляром другой сущности (сущности-родителя). Следующие типы отношений представляют собой зависимости существования: идентифицирующие отношения, отношения категоризации и обязательные не идентифицирующие отношения.

Зависимость функциональная: Специальный вид ограничения целостности, которое используется в пределах одного экземпляра сущности (например, экземпляра «R»), при котором каждое значение атрибута «X» экземпляра сущности «R» ассоциируется не более чем с одним значением атрибута «Y» экземпляра сущности «R» (в каждый момент времени). Атрибуты «X» и «Y» могут быть составными.

Значение атрибута: См Атрибут, значение атрибута.

Имя отношения: См. Отношение, имя отношения

Кластер категорий: Набор из одного или нескольких взаимно исключающих отношений категоризации для одной и той же общей сущности

Ключ,

- альтернативный: Каждый потенциальный ключ сущности, не являющийся первичным ключом.

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

- мигрирующий: То же, что и Ключ, внешний.

- первичный: Потенциальный ключ, выбранный в качестве уникального идентификатора сущности.

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

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

• сложный: То же, что и Ключ, составной.

• составной: Ключ, состоящий из двух или более атрибутов. Концептуальная схема: См. Схема

Миграция ключа: Процесс моделирования, при котором первичный ключ сущности-родителя или общей сущности размещается в соответствующей сущности-потомке или сущности-категории как внешний ключ.

Модель данных: Графическое или текстовое представление работы по идентификации данных, необходимых для выполнения миссии, стратегии и функций, для достижения целей организации, для её управления и оценки. Модель данных определяет сущности, атрибуты и отношения (или ассоциации) между данными, и обеспечивает концептуальное представление данных и отношений между данными.

Мощность отношения: См. Отношение, мощность отношения

Ноль: Состояние, при котором значение атрибута для экземпляра сущности не определяемо или не известно.

Нормализация: Процесс совершенствования и перегруппировки атрибутов в сущностях в соответствии с нормальными формами.

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

Эта процедура обратима.

1. Первая Нормальная Форма (1НФ) – Сущность находится в 1НФ тогда и только тогда, когда все основные простые домены содержат только элементарные значения.

2. Вторая Нормальная Форма (2НФ) – Сущность находится в 2НФ тогда и только тогда, когда она находится в 1НФ и каждый не ключевой атрибут полностью зависит от первичного ключа.

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

Ограничение: Правило, которое определяет допустимые значения данных

- мощность: Предельное количество экземпляров одной сущности, которое может

соответствовать в отношении одному экземпляру другой сущности.

- существование: Условие, при котором экземпляр одной сущности не может существовать, если не существует экземпляр связанной с ней другой сущности.

Отношение: Связь между двумя сущностями или между экземплярами одной и той же сущности.

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

- имя отношения: Глагол или глагольный оборот, который выражает смысл отношения между двумя сущностями, показанными на диаграмме, на которой появляется имя отношения.

- категоризации: Отношение, в котором экземпляры обеих сущностей представляют

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

- мощность отношения: Количество экземпляров одной сущности, которое может

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

- не идентифицирующее: Определенное отношение связи, в котором некоторые или

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

- не идентифицирующее не обязательное: Не идентифицирующее отношение, в

котором экземпляр сущности-потомка может существовать и при отсутствии его связи с экземпляром сущности-родителя.

- не идентифицирующее обязательное: Не идентифицирующее отношение, в

котором экземпляр сущности-потомка должен быть связан с экземпляром сущности-родителя.

• родитель-потомок: То же, что и Отношение связи определенное.

• связи: То же, что Отношение связи определенное.

• связи определенное: Отношение, при котором некоторое число экземпляров одной

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

- связи не определенное: Отношение, в котором экземпляр любой из двух сущностей может соответствовать множеству экземпляров другой сущности. Предприятие: Организация, существующая для выполнения определенной миссии, достижения соответствующих целей и решения определенных задач. Представление: Набор сущностей и назначенных им атрибутов, сгруппированные для некоторой цели. Псевдоним: Нестандартное имя сущности или атрибута Ролевое имя: Имя, назначаемое атрибуту внешнего ключа, для уточнения использования этого атрибута в сущности. Семантика: Значение компонентов языка. Синоним: Слово, выражение или символ, используемый как образная или символическаязамена для другого слова или выражения; это альтернативное название предмета. (См. Псевдоним) Синтаксис: Структурные компоненты или особенности языка и правила, определяющие отношения между ними Сущность: Представление набора действительных или абстрактных предметов (людей, объектов, мест, событий, идей, наборов предметов и т.д.), которые относятся к одному типу, т.е. обладают одними и теми же характеристиками и могут участвовать в одних и тех же отношениях.

- категория: Сущность, экземпляры которой представляют собой подтип или подкласс другой сущности (общей сущности). Другое название - подтип (подкласс).

- общая: Сущность, экземпляры которой разделяются на один или несколько подтипов или подклассов (сущности-категории). Другое название - супертип (суперкласс).

- потомок: Сущность в определенном отношении связи, каждый экземпляр которой связан с ноль или одним экземпляром другой сущности (сущности-родителя).

- родитель: Сущность в определенном отношении связи, каждый экземпляр которой может быть связан со множеством экземпляров другой сущности (сущности-потомка).

- экземпляр сущности: Один предмет из набора реальных или абстрактных предметов, представленных сущностью. Экземпляр сущности может быть однозначно идентифицирован с помощью значения атрибута (атрибутов), входящих в её первичный ключ. Схема: Определение структуры данных:

1. Концептуальная схема: схема трехсхемной архитектуры ANSI/SPARC, в которой структура данных представлена в форме, независимой от физического хранилища или формата внешнего представления данных.

2. Внешняя схема: схема трехсхемной архитектуры ANSI/SPARC, в которой информация представлена в форме, удобной для пользователей информации; описание структуры данных с точки зрения пользователя системы.

3. Внутренняя схема: схема трехсхемной архитектуры ANSI/SPARC, в которой информация представлена в специальной форме, используемой для хранения информации; описание физической структуры данных (для СУБД).

Тип данных: Категория, определяющая набор возможных значений, характеристик атрибута и набор операций, выполняемых над атрибутом. Целое число, действительное число, символьная строка, перечисление – примеры типов данных.

Утверждение: Выражение, которое определяет условие, являющееся истинным Экземпляр сущности: См. Сущность, экземпляр сущности 9. Приложение 2. Лексические соглашения