Отношение принадлежности.

К1 ius K

K2 ius K

. . . . . . .

Kn ius K

Означает, что объект класса К состоит из объектов класса К1, К2, … , Кn, причем объект класса К может включать несколько объектов класса Кi.

Лекция №4.

Свойства отношений.

Отношения частичного порядка обладают свойством транзитивности.

Ki sup Kj Kj sup Km

Ki sup Km

Ki part Kj Kj part Km

Ki part Km

Если элемент является составляющей блока, а блок составлен…

Нет циклов в графе принадлежности.

K1 ins K2, K2 ins K3,…,Kn-1 ins Kj

Неверно, что Kn ins K1

K isa Ki sup Kj

K isa Kj

Москва isa город

Город sup Населенный пункт

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

Операции над классами объектов.

С помощью операций над классами объектов можно определить новый класс объектов

Ki ins K

℧ Ki множество блоков, к примеру, телевизоров

Ki sup K

℧ Ki = K

Материальные объекты делятся на три класса

Условие È Помещение È Оборудование = Материальный объект

Человек È Помещение = Человек È Оборудование = Помещение È Оборудование =∅

Размещение классов объекта

Человек (Фамилия, Имя, Отчество, Год_Рождения, пол)

Пол={мужской, женский}

Мужчина, женщина = Человек\пол

K (K1, K2, K3, K4, K5)

K\K5 – Разбиение класса по классу К5.

Объединение всех этих классов есть человек.

Мужчина⋃Женщина=Человек

Мужчина⋃Женщина=∅

(Знание_иностранного языка

Знающий человек,

Предмет иностранный_язык)

(K A1K1, A2K2)

K1/(K, K2)

В результате разбиения мы получаем классы людей, знающих иностранный язык.

Концептуальной схемой предметной области называется множество классов объектов, заданных на нем отношений и операциями.

Шаблонные описания состояния предметной области:

Занятия K

<Преподаватель> проводит занятия по дисциплине <название дисциплины> в группе <код группы> в <день недели> на <номер пары> в <аудитории>.

Иванов И.И. проводит занятия по дисциплине ТОЭ в группе ИТ-1-98 в понедельник на 4 паре в Г-301.

(занятия:

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

дисциплина Название_дисциплины

группа Код_группы

день День_недели

время Номер_пары

место Аудитория)

Концептуальные модели предметной области – концептуальная схема вместе с множеством высказываний построенных по конечному набору шаблонов.

Диаграмма сущности и связи (ER – диаграмма)

Entety Relation Diagramm

Сущность

связь

Атрибуты сущности и связи

N 1

*

На 1 кафедре работает N преподавателей. «*» – знак преподавателя – можно найти кафедру.

Связь глагол или дополнение