Атрибуты

Семантические объекты имеют атрибуты, описывающие их характеристики. Есть три типа атрибутов.

Простые атрибуты (simple attributes) состоят из одного эле­мента.

Примерами могут быть атрибуты Номер группы, Год рождения, Средний балл.

Групповые атрибуты (group attributes) являют собой совокупности из атрибутов.

Например, атрибут ФИО студента, включающий в себя атрибуты {Фамилия, Имя, Отчество}.

Семантические объектные атрибуты (semantic object attributes) – это атрибуты, которые устанавливают связь между двумя семантическими объектами.

Чтобы лучше понять эти определения, взгляните на рис. 3.18а, который пред­ставляет собой пример семантической объектной диаграммы (semantic object diagram), или просто объектной диаграммы (object diagram).

Объект ФАКУЛЬТЕТ содержит пример каждого из трех типов атрибутов. Атри­буты Название факультета, Номер телефона деканата и Номер факса являются простыми: каж­дый из них представляет один элемент данных. Местный адрес – групповой атри­бут, состоящий из простых атрибутов Корпус и Кабинет деканата. Наконец, КАФЕДРА, ПРЕПОДАВАТЕЛЬ и СТУДЕНТ – это семантические объектные атрибуты, то есть эти объекты связаны с объектом ФАКУЛЬТЕТ и логически содержатся в нем.

Смысл этих объектных атрибутов, или объектных ссылок (object links), как их иногда называют, состоит в том, что когда пользователь думает об определенном факультете, он имеет в виду не только название факультета, локальный адрес, номер телефона деканата и номер факса, но также кафедру, находящуюся в этом факультете, профессоров, преподающих на нем, и студентов, занимающихся на данном факультете. Поскольку КАФЕДРА, ПРЕПОДАВАТЕЛЬ и СТУДЕНТ также являются объектами, пол­ная модель данных содержит диаграммы и для них. Объект КАФЕДРА несет в себе атрибуты кафедры, объект ПРЕПОДАВАТЕЛЬ – атрибуты членов профессорско-преподавательского состава, а объект СТУДЕНТ содержит атрибуты студентов.

Рис. 3.18. Диаграмма объекта КАФЕДРА: а – объект КАФЕДРА;

б – объект КАФЕДРА с кардинальными числами.

Кардинальное число атрибута

Каждый атрибут семантического объекта имеет максимальное и минимальное кардинальные числа.

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

Обычно это число равно 0 или 1. Если оно равно 0, атрибут не обязан иметь значение, а если 1, то атрибут обязан иметь значение. Хотя это и необычно, минимальное кардинальное число иногда может быть больше единицы. Напри­мер, атрибут Игрок в объекте под названием БАСКЕТБОЛЬНАЯ_КОМАНДА может иметь минимальное кардинальное число, равное 5, поскольку таково наименьшее число игроков, требуемое для создания баскетбольной команды.

Максимальное кардинальное число показывает максимальное количество эк­земпляров атрибута, которое может иметь объект.

Обычно оно равно 1 или N. Если оно равно 1, атрибут может иметь не более одного экземпляра; если оно равно N, атрибут может иметь много экземпляров, и предельное количество не задано. Иногда максимальное кардинальное число равно определенному числу. Пусть максимальное кардинальное число равно 5 – это означает, что объект может иметь не более пяти экземпляров атрибута. Например, атрибут Игрок в объекте БАСКЕТБОЛЬНАЯ_КОМАНДА может иметь максимальное кардинальное число, равное 15, и это будет означать, что в состав команды может быть включено не более 15 игроков.

Кардинальность изображается в виде нижнего индекса атрибута в фор­мате N.M, где N – минимальное кардинальное число, а М – максимальное.

Кардинальные числа групп и атрибутов групп, как правило, невелики. Возь­мем атрибут Местный адрес. Его кардинальность 0.1, то есть факультет не обязан иметь адрес, но если имеет, то только один. Теперь рассмотрим простые атрибу­ты, из которых состоит атрибут Местный адрес. Как Корпус, так и Кабинет деканата име­ют кардинальность 1.1. Вы можете удивиться, каким образом получается, что группа может быть необязательной, если атрибуты, составляющие эту группу, являются обязательными. Дело в том, что кардинальные числа действуют только между атрибутом и его контейнером (группой, содержащей этот атрибут). Минимальное кардинальное число атрибута Местный адрес показывает, что этот атрибут не обязан иметь значение, то есть факультет не обязан иметь адрес. А ми­нимальные кардинальные числа атрибутов Корпус и Кабинет деканата показывают, что эти атрибуты должны существовать в атрибуте Местный адрес. Таким образом, группа Местный адрес не обязана существовать, но если уж она существует, то составляющие ее атрибуты Корпус и Кабинет деканата должны иметь значения.