4.5.1 Определения логического объекта и атрибута
Раздел 4.6 представляет концепции модели данных, которая формально задается в разделе 5. Раздел 4.6 содержит описание концепций модели и примеры их применения. Описания в 4.6 дополняют определения и примеры в разделе 5. При этом раздел 5 содержит определяющее описание этой модели.
4.5.2 Диаграммы
В этом разделе активно используются диаграммы для поддержки описания основных понятий и допущений.
Используются три типа диаграмм:
- пространственно-временные карты;
- диаграммы модели на основе подмножества условных обозначений EXPRESS G;
- диаграммы экземпляра.
4.5.2.1 Пространственно-временные карты
Пространственно-временная карта используется для иллюстрации применения пространственно-временных расширений к объектам конкретной реальной модели, когда эти объекты существуют в пространстве и времени. Рисунок 2 является примером подобной карты.
3D space - трехмерное пространство; a space-time extension - пространственно-временное расширение; time - время
Рисунок 2 - Пространственно-временная карта
Диаграмма пространственно-временной карты состоит из двух перпендикулярных осей. Вертикальная ось - для трехмерного пространства, горизонтальная - для времени. Расширения в пространстве и времени вычерчиваются с помощью плоттера как ограниченные и затемненные участки в пределах этих осей. Граница с левой стороны расширения показывает начало, а с правой - конец расширения. Изменение в границах сверху и снизу показывает изменения в пространственной протяженности.
4.5.2.2 Диаграммы модели
Диаграммы модели используются для иллюстрации ее частей с целью их объяснения и понимания. Диаграммы модели применяются для демонстрации типов логических объектов на языке EXPRESS, EXPRESS-контроля подтипов; EXPRESS-взаимоотношений и использований подходящих символов EXPRESS G.
Пример - Рисунок 3 является примером диаграммы модели.
Attribute_of_b_1 - атрибут из b_1; a_entity - сущность a; b_entity - сущность b; c_entity_subtype_of_a - сущность с подтипа а; attribute_of_b_2 - атрибут из b_2; d_entity_subtype_of_a - сущность d подтипа а
Рисунок 3 - Диаграмма модели
Полный набор диаграмм EXPRESS G для определенной модели представлен в разделе 5.
4.5.2.3 Диаграммы экземпляра
Смысл типов модели логического объекта иллюстрируется диаграммами экземпляра. Описание символов, использованных для построения диаграмм экземпляра, представлено на рисунке 4.