Классика баз данных - статьи
что на данном этапе мы
Отметим, что на данном этапе мы никак не определяем возможные схемы отношений Ri. Предполагается, что возможность, позволяющая описать объектную переменную и задать множество значений отношений {r1,r2….rn}, не может быть выражена в терминах реляционной модели данных и, следовательно, ортогональна ей.
Будем рассматривать каждое из значений ri как значение именованного атрибута объекта о. Тогда атрибут должен рассматриваться как переменная отношения, а схема объекта данных должна перечислять имена атрибутов. Соответственно, объект o будет описываться как
o = {OID,{oa1, oa2,…, oan},{r1,r2….rn}}, <0>
где ri – значение отношения Ri со схемой (ra1:D1, ra2:D2….), ri = relval(Ri), Dj, - не обязательно разные домены из множества D доменов. Заметим, что в системе O может одновременно существовать множество не обязательно разных значений r одного и того же отношения R, являющихся значениями атрибутов разных объектов или значениями разных атрибутов одного и того же объекта.
Покажем, что информация, представленная в виде множества объектов вида 0, может быть полностью сохранена в реляционной системе хранения данных.
Рассмотрим множество O всех входящих в в систему объектов о вида <0>. Мы можем говорить о существовании множества oa всех имен атрибутов oa этих объектов. Каждому объекту oi(oi О O) ставиться в соответствие схема объекта Si = oSchema(oi), которая является собственным подмножеством множества oa , S Н oa . Одна и та же схема S может быть поставлена в соответствие многим объектам. Классом С, С Н O называют множество объектов с одинаковой схемой: объекты oi {OIDi, Si, oVi} и oj {OIDj, Sj, oVj} принадлежат одному и тому же класс С только тогда, когда oSchema(oi) = oSchema(oj). Таким образом, можно утверждать, что между множеством схем и множеством классов существует функциональное соответствие S= Schema(C)
Также мы можем говорить о существовании множества R всех определенных на множестве доменов D отношений R, значения которых являются значениями атрибутов oa объектов из множества O. Каждому атрибуту oa ставиться в соответствие одно и только одно отношение R из множества R, тем самым ограничивая множество возможных значений атрибута oa значениями этого отношения R.
