Иванов INS АИ-1-93

отношение может быть задано как на

множестве имен, так и типов

name (O1) INS name (O2)

Если t1 INS t,

t2 INS t,

tn INS t, то объект типа t может состоять из объектов

типов t1,t2 .tn, причем объект типа t может включать

несколько объектов данных типов.

Это отношение (INS) применяется для множества дискретных объектов,

PART OF - непрерывных.

студент INS группа студентов

лаборатория

INS INS

INS

сотрудники помещение оборудование

лаборатории лаборатории лаборатории

рис.9

Свойства этих отношений

1. PART OF и SUP обладают свойством транзитивности:

t1 SUP t2 ; t2 SUP t3

t1 SUP t3

доцент SUP SUP сотрудник

преподаватель

рис.10

доцент SUP преподаватель ; преподаватель SUP сотрудник

доцент SUP сотрудник

Для отношения INS это свойство не выполняется:

2. t1 INS t2 ; t2 INS t3 ; tn-1 INS tn В графе отношения INS нет

неверно, что tn INS t1 циклов

3. t1 SUP t2 ; t2 INS t3

t1 INS t3

лаборант SUP сотрудник лаборатории ; сотрудник лаборатории INS лаборатория

лаборант INS лаборатория

лаборатория

INS

сотрудник INS

SUP

лаборант

рис.11

4. name (O) ISA t1 ; t1 SUP t2

name (O) ISA t2

Москва ISA город ; город SUP населенный пункт

Москва ISA населенный пункт

Представление типов объектов

Конечное множество троек вида (t, ni, ti);

где t, ti - типы объектов,

ni - имя атрибута,

(Атрибуты - характеристики объектов или роли, которые они играют в определенных ситуациях) i=1, ., к,

ni¹nj, если i¹j, называется представлением типа t, если в каждый момент времени ni: tобt ® (ti)обt,

(ni - отображ. мн-во объектов типа t на мн-во объектов типа t1)

причем разным объектам О1 и О2 типа t соответствуют разные картежи значений функций ni

{n1t(O1), n2t (O1, ., nkt(O1)}

{n1t(O2), n2t(O2, .,nkt(O2)},

последнее условие называется условием различимости объектов.

В качестве примера рассмотрим объект типа автомобиль:

t ni ti

(автомобиль, марка, марка автомобиля)

(автомобиль, номер, номер автомобиля)

(автомобиль, цвет, цвет автомобиля)

автомобиль(москвич, МКА-21-17, белый)

автомобиль(жигули, МВА-11-25, красный)

Композиционный тип объектов

(ni , ti) COMPONENT OF t

COMPONENT OF означает, что объект типа ti является компонентой объекта типа t.

дата

COMPONENT OF

COMPONENT OF COMPONENT OF

год n1 число n3 месяц n2

год t1 число t3 месяц t2

рис.12

Пример композиционного объекта:

Ситуация "находится" (нах. человек в опред. помещении опред. время)