Формализм (1).

Придадим сказанному более точный смысл.

Пусть существует конечное множество D доменов {D1,D2...,Dn}, и множество Q определенных на D отношений

Пусть существует домен DS (DS

D), содержащий значения, которые можно рассматривать как уникальные имена DS = {S1, S2, .... Sm}. Каждому имени Si ставиться в соответствие подмножество si отношение Qj, которое можно назвать доменом Qj = dom(si) ,1<=i <=m, QjQ.

Замечание : мы не случайно назвали отношение Qi доменом si. Конечно это не соответствует классическому пониманию домена, которое подразумевает, что домен - это множество, а значение домена - это скаляр. В нашем случае значением так же является множество - т.е. значение отношения. Однако, речь все же идет о паре "тип" - "значение типа". Кроме того, такой подход позволяет рассматривать скалярное значение качества (типа) Q и значение отношения этого же типа Q, являющееся атрибутом объекта, как значения, определенные на одном и том же домене Q.

Схемой класса С называется конечное подмножество DS, C = {Si | Si

DS} (будем называть такое Si именем атрибута класса С). Тогда класс c со схемой C - это конечное множество отображений {o1, o2, ..., ok} из C в Q, причем каждое отображение oс должно удовлетворять следующему ограничению: o(si) Qi. Такие отображения o будем называть объектами. Другими словами , объектом о класса c называется множество {si:Si | si является именованным (имеющим имя Si) подмножеством соответсвуещего Qj , si Qj }.

Поскольку DS можно рассматривать как объединение всех схем классов C (Ds = C1

C2 .... Cm, где m - число классов существующих в системе), то множество всех объектов всех классов O=c1 c2 .... cm можно рассматривать как множество отображений из домена DS в то же самое множество Q.

Содержание раздела

---

---