Теория и практика построения баз данных (1088289), страница 26
Текст из файла (страница 26)
Каждый атрибут описывает одну из характеристик представляемого феномена. Например, объект СТУДЕНТ может иметь атрибуты Имя, Домавгннйддрес, Местныйддрес, Датарожденив, ДатаОкончанняШколы и Специальность. Этот набор атрибутов также является досигаточггььи описанием (зв(!!с!епг г!езсг!рг!ггп), то есть он описывает все характеристики, необхолимые пользовачелялг лля работы. Как было указано нами в конце главы 3, каждая вещь в мире имеет бесконечное множество характеристик, и мы не в состоянии представить всю их совокупность.
Вместо этого мы представляем только те из них, которые требуются для удовлетворения информационных потребностей пользователей в той степени, чтобы онн могли успешно выполнять свои функции. Достаточность описания означает также, что объекты являются самодостаточными. Например, все требуемые данные о покупателе содержатся в объекте КЛИЕНТ, так что нам нигде болыпе не требуется искать, чтобы найти эти данные. Объекты представляют отделыгьсе февоиеггы (с(!зс!пег !г!епг!гу), то есть в восприятии пользователей они являются чем-то независимым и самостоятельным, что требует учета.
Феномены — это сущности, информация о которых необходима. Чтобы лучше уяснить значение термина отдельный среггоиегг, вспомните, что существует разница между объектами и экземплярами объектов. КЛИЕНТ— это имя объекта, а КЛИЕНТ 12345 — имя экземпляра объекта. Когда мы говорим, что объект представляет отдельный феномен, мы имеем в виду, что пользователи считают каждый экэелспляр объекта уникальным н имегошим самостоятельное значение. Наконец, стоит отметить, что феномены, представляемые объектами, могут существовать физически, как, например, объекты класса СОТРУДНИК, а могут и не существовать, как объекты класса ЗАКА3.
Заказ как таковой является моделью контрактного соглашения о предоставлении определенных товаров или услуг в установленном порядке и на известных условиях. Он является не физическим предметом, а представлением соглашения. Таким образом, чтобы нечто могло считаться объектом, ему не обязатечьно существовать физически — нужно лишь, чтобы зто нечто имело самостоятельное значение в представлении пользователей.
Семантические объекты имеют атрибугы, описывающие их характерцстики. Есть три типа атрибутов. Простые атрибуты (з!шр!е оп!гвгез) состоят из одного элемента. Примерами люгут быть атрибупа ДатаНайма, НомерНакладной и ИтоговаяСуммаП родаж. Групповые атрибуты (Кговр аггпЬн~ез) являгот собой совокупности других атрибутов.
В качестве примера можно привести атрибут Адрес, состоящий нз атрибутов (Улица, Город, Штат, Индекс!. Еще один пример — атрибут ПолноеИмя, включающий в себя атрибуты (Имя, Отчество, ФамилияЬ Семаггтические объектные аигрибутьс (зешапИс оЬ1есЕ асйпЬцсез) — это атрибуты, которые устанавливают связь между двумя семантическими объектами. Чтобы лучше понять зги определения, взгляните на рис. 4.2, а, который представляет собой пример семантической обьектиой диагргъиэгы (зешапНс о!г)ест г(!айгапг), или просто обьектиой диагргьчмы (оЬгесг Шайгаш). Такие диаграммы используются командами разработчиков для описания и визуального представления структуры объектов.
Объекты изображаются в вертггкачыго ориентированных прямоугольниках. Илгя объекта указывается вверху, а атрибуты записываются по порядку после имени объекта. Объект КАФЕДРА содержит пример каждого нз трех типов атрибутов. Атрибуты НазваннеКафедры, НомерТелефона и НомерФакса являются простыми: каждый из них представляет один элемент данных.
ИестныйАдрес — групповой атрибут, состоящий из проспях атрибутов Корпус и НомерОфиса. Наконец, КОЛЛЕДЖ, ПРЕПОДАВАТЕЛЬ и СТУДЕНТ вЂ” это семантические объектные атрибуты, то есть эти объекты связаны с объектом КАФЕДРА и логически содержатся в нем. Смысл этих объектных атрибутов, или обьектиых ссылок (оЬ1есс !!пйз), как их иногда называют, состоит в том, что котла пользователь думает об определенной кафедре, он имеет в виду не только название кафедры, локальный адрес, номер телефона в номер факса этой кафедры, но также колледж, в котором она находится, профессоров, преподающих на ней, и студентов, занимающихся на ней.
Поскольку КОЛЛЕДЖ, ПРЕПОДАВАТЕЛЬ и СТУДЕНТ также являются объектами, полная модель данных содержит диаграммы и для них. Объект КОЛЛЕДЖ несет в себе атрибуты колледжа, объект ПРЕПОДАВАТЕЛЬ вЂ” атрибуты членов профессорскопреполавательского состава, а объект СТУДЕНТ содержит атрибуты студентов. а б Рме. 4.2. Диаграмма объекта КАФЕДРА: а — объект КАФЕДРА; б — объект КАФЕДРА с каодинвллными числами 122 Глава 4. Семантическая объектная модель Семантические объекты 123 Кардинальное число атрибута Каждый атрибут семантического объекта имеет максимальное и минимальное кардинальные числа.
Минимальное кардинальное число показывает количество экземпляров атрибута, которые должны существовать, чтобы обьект был допустимым. Обычно это число равно О нли 1. Если оно равно О, атрибут не обязан иметь значение, а если 1, то атрибут обязан иметь значение. Хотя это и необычно, минимальное кардинальное число иногда может быть болыве единицы. Например, атрибут Игрок в объекте под названием БАСКЕТБОЛЬНАЯ КОМАНДА может иметь минимальное кардинальное число, равное 5, поскольку таково наименьшее число игроков, требуемое для создания баскетбольной команды.
Максимальное кардинальное число показывает максимальное количество экземпляров атрибута, которое может иметь объект. Обычно оно равно 1 или ЛС Если опо равно 1, атрибут может иметь не более одного экземпляра; если оно равно № атрибут может иметь иного экземпляров, и предельное колььчество не задано. Иногда максимальное кардинальное число равно определенноыу числу, например 5, — зто означает, что объект может иметь не более пяти экземпляров атрибута.
Например, атрибут ИГРОК в объекте БАСКЕТБОЛЬНАЯ КОМАНДА может иметь максимальное кардинальное число, равное 15, и это будет означать, что в состав команды может быть включено не более 15 игроков. Кардинальность изображается в виде нижнего индекса атрибута в формате №М, где Л1 — минимальное кардинальное число, а М вЂ” максимальное. На рис. 4.2, 6 минимальное кардинальное число для атрибута НазваниеКафедры равно 1, и максимальное также 1; таким образом, требуется ровно один экземпляр этого атрибута. Кардинальность атрибута НомерТелефона равна 1.Ль, то есть кафедра обязана иметь минимум один номер телефона, но в принципе номеров у нее может быть много. Кардинальность 0.1 у атрибута Номерфакса означает, что кафедра может не иметь факса, а может и иметь, но только один.
Кардинальные числа групп н атрибутов групп, как правило, невелики. Возьмем атрибут МестныйАдрес. Его кардинальность 0.1, то есть кафедра не обязана иметь адрес, цо если имеет, то только один. Теперь рассмотрим простые атрибуты, из которых состоит атрибут МестныйАдрес. Как Корпус, так и НомерОфиса имеют кардинальность 1.1. Вы можете удивиться, каким образом получается, что группа может быть необязательной, если атрибуты, составзяюьцие эту группу, являются обязательными. Дело в том, что кардинальные числа действуют только между атрибутом и его контейнером Ггруппой, содержащей этот атрибут), Минимальное кардинальное число атрибута МестныйАдрес показывает, что этот атрибут пе обязан иметь значение, то есть кафедра не обязана иметь адрес.
А льинимальные кардинальные числа атрибутов Корпус н НомерОфиса показывают, что эти атрибуты должны существовать в атрибуте МестныйАдрес. Таким образом, группа МесткыйАдрес не обязана суьцествовать, но если уж она существует, то составляющие ее атрибуты Корпус н НомерОфиса должны иметь значения. Экземпляры объектов Объектные диаграммы для кафедры, показанные на рис. 4.2, представляют собой просто формат, общую структуру, которую можно отнести к любой кафедре. Па рис. 4.3 представлен экземпляр объекта КАФЕДРА. Здесь указаны значения каждо- го атрибута конкретной кафедры. Кафедра имеет название <Информационььые системыь и расположена в офисе № 213 корпуса социальных наук. Обратите внимание, что атрибут НомерТелефона имеет три значения: в офисе кафедры информационных систем имеется три телефонные линии.
Другие кафедры могут иметь меньшее или большее количество телефонов, но у каждой кафедры есть по крайней мере олин телефон. НазввниеКвфедры Местныйлдрес НсмерТелефона НсмерФакса КОЛЛЕДЖ ПРЕПОДАВАТЕЛЬ СТУДЕНТ Рис. 4.3. Экземпляр объекта КАФЕДРА с рис. 4.2 Далее, имеется один экземпляр атрибута КОЛЛЕДЖ, со значением Колледж Бизнеса, и множество экземпляров объектных атрибутов ПРЕПОДАВАТЕЛЬ и СТУДЕНТ. Каждый из атих объектных атрибутов является полноценным объектом и имеет все атрибуты, определенные для объекта данного типа.
Чтобы не усложнять диаграмму, мы указали на ней только имена экземп.ляров объектных атрибутов. Объектная диаграмма — это картина восприятия пользователем объекта в рабочей среде. Таким образом, в воображении пользователя объект КАФЕДРА содержит все этн данные. Кафедра логически содержит данные о колледже, к которому она принадлежит, а также о профессорах и студентах, относяШихся к этой кафедре. Парные атрибуты В семантической объектной модели нет однонаправленных связей между объектами. Если один объект содержит в себе другой объект, то этот другой будет, в свою очередь, содержать в себе первый, Например, если объект КАФЕДРА содержит в себе объектный атрибут КОЛЛЕДЖ, то и объект КОЛЛЕДЖ будет содержать соответствующий объектный атрибут КАФЕДРА.