> доцент SUP викладач; викладач SUP співробітник
доцент SUP співробітник
Для відносини INS це властивість не виконується:
2. t 1 INS t 2 ; t2 INS t 3 ; t n-1 INS t n У графі відносини INS немає
невірно, що t n INS t 1 циклів
3. t 1 SUP t 2 ; t 2 INS t 3
t 1 INS t 3
лаборант SUP співробітник лабораторії; співробітник лабораторії INS лабораторія
лаборант INS лабораторія
В
лабораторія
INS
В
співробітник INS
В
SUP
В
лаборант
рис.11
4. name (O) ISA t 1 ; t 1 SUP t 2
name (O) ISA t 2
В
Москва ISA місто; місто SUP населений пункт
Москва ISA населений пункт
Представлення типів об'єктів
Кінцеве безліч трійок вигляду (t, n i , t i );
де t, t i - типи об'єктів,
n i - ім'я атрибута,
( Атрибути - характеристики об'єктів або ролі, які вони грають у певних ситуаціях) i = 1, ..., к,
n i В№ n j , якщо i В№ j, називається представленням типу t, якщо в кожен момент часу n i : t про t В® (t i ) про t ,
(n i - отображ. мн-во об'єктів типу t на мн-во об'єктів типу t 1 )
причому різним об'єктам Про 1 і О 2 типу t відповідають різні картежамі значень функцій n i
{N 1 t (O 1 ), n 2 t (O < sub> 1 , ..., n k t (O 1 )}
{N 1 t (O 2 ), n 2 t (O < sub> 2 , ..., n k t (O 2 )},
остання умова називається умовою розрізнення об'єктів.
У Як приклад розглянемо об'єкт типу автомобіль:
t n i t i
(Автомобіль, марка, марка автомобіля)
(Автомобіль, номер, номер автомобіля)
(Автомобіль, колір, колір автомобіля)
автомобіль (москвич, МКА-21-17, білий)
автомобіль (жигулі, МВА-11-25, червоний)
Композиційний тип об'єктів
(n i , T i ) COMPONENT OF t
COMPONENT OF означає, що об&#...
