няття ситуація простір
sup sup
В
статична динамічна
sup sup
В
пост. сит. сост.
В
sup sup
рис.6 вуст. сост. брешемо. сост. br/>
Тип об'єкта є загальним для всіх предметних областей.
2. Ставлення часткового порядку PART OF. Модель часу будується на підставі кінцевого безлічі типів тимчасових інтервалів, на яких визначено ставлення PART OF.
t i PART OF t j
явл. частиною
Кожен інтервал типу t i є частиною одназначно певного інтервалу t j .
В
Час
sup sup
рік тиждень
В
PART OF PART OF
місяць
В
PART OF
добу
В
PART OF
годину
В
PART OF
хвилина <В
PART OF
В
секунда
рис. 7
Модель простору будується на конкретному безлічі, так само, як і часу, але по відношенню до частини околиці.
(Див. рис.8)
В
простір
sup sup
В
країна континент
В
PART OF PART OF
В
область регіон
В
PART OF PART OF
В
населений
пункт
В
PART OF PART OF
В
місто село
рис.8
3. Ставлення приналежності ISA
Іванов А.І. ISA студент
пов'язує ім'я об'єкта з його типом
4. Ставлення INSTANCE OF (INS)
Іванов INS АІ-1-93
відношення може бути задано як на
безлічі імен, так і типів
В
name (O 1 ) INS name (O 2 )
Якщо t 1 INS t,
t 2 INS t,
.......... p> t n INS t, то об'єкт типу t може складатися з об'єктів
типів t 1 , t 2 ... t n , причому об'єкт типу t може включати
кілька об'єктів даних типів.
Це відношення (INS) застосовується для безлічі дискретних об'єктів,
PART OF - безперервних. p> студент INS група студентів
В
лабораторія
INS INS
INS
співробітники приміщення обладнання
лабораторії лабораторії лабораторії
рис.9
Властивості цих відносин
1. PART OF і SUP мають властивість транзитивності:
t 1 SUP t 2 ; t 2 SUP t 3
t 1 SUP t 3
В В
доцент SUP SUP співробітник
викладач
В
рис.10
