Шаблонные высказывания

человек . . . находится в помещении . . . во время . . .

сотрудник . . . находится в аудитории . . . в . . . часов . . . минут . . .

. . . число . . . месяц . . . год

В шаблонные высказывания могут быть поставлены имена конкретных объектов.

Минимальное представление

Представление {(t, ni, ti)| i=1 .k} называют минимальным, если при удалении " из этих троек, оставшееся множество троек перестает быть представлением данного типа объектов.

Пример:

t - аренда

t1 - объект аренды

t2 - арендатор

t3 - арендодатель

t4 - срок аренды

t5 - стоимость аренды

Функциональная зависимость

Предположим, задано представление

{(t, ni, ti)| i=1 .k}

X={ti1, ., tip}

Y={tj1, ., tjs}

Говорят, что компоненты Y функционально зависят от компонент X, если в любой момент времени t для любых двух объектов О1, О2 Î tобt из равенств: ni1t(O1) = ni1t(O2)

. . .

nipt(O1) = nipt(O2),

следуют равенства:

nj1t(O1) = nj1t(O2)

. . .

njst(O1) = njst(O2)

Пример: X={t4, t5, t6} Y={t1, t2,t3}

t1 t2 t3 t4 t5 t6

min представление

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

Позволяют получать из существующих типов новые типы.

1. Могут быть заданы операции объединения (t1Èt2), пересечения

(t1Çt2), разбиения и др.

Если { ti INS t | i=1, .,k}, то тип È ti состоит из тех и только объектов, которые могут быть элементами объектов типа t.

Если {(ti SUP t)| i=1, .,k}, то равенство t=Èti означает, что список подтипов ti является исчерпывающим для объектов типа t.

Примера :

объект = человек È помещение È оборудование

человекÇпомещение = человекÇоборудование=

= помещениеÇоборудование = 0

2. Операция разбиения типов объектов на классы эквивалентных объектов.

(человек, пол человека, пол)

t n1 t1

пол = {муж, жен}

t2 = муж

t3 = жен

Типы t2 и t3 являются результатом разбиения типа человек по типу пол (t/t1)

Новые объекты - группы людей, знающих некоторый язык определяются в результате разбиения t1/(t2,t)

Представление знаний об отношениях между типами

ER - модели

ER - диаграммы

(Entity Relationship Diagram)

П. Чен - 1983 год.

1. сущности (типы объектов)

2. связи (типы отношений)

3. свойства сущностей и связей

(атрибут (характеристики, роли))

1) Е1, Е2, ., Еn

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

2) R1, R2, .,Rn

занятие

кафедра работает преподаватель нагрузка

группа занятие предмет

обучение факультет изучение

курс специальность

рис.13

3. Свойства (атрибуты)

Ei, Ri - соответствующие области знаний

имя - имя области знаний

На дуге подписываются соответствующие свойства.

имя