Классика баз данных - статьи
определенное на этом множестве значение
Поскольку речь идет о паре "множество - определенное на этом множестве значение " отношение R можно обозначить как домен атрибута oa. Однако, поскольку значение, определенное на этом домене, представляет собой значение отношения (relval) и также является множеством, будем называть отношение R реляционным доменом атрибута oa, R = rdom(oa). Возможен случай, что домены разных атрибутов совпадают rdom(oai) = rdom(oaj), ai№aj.
Таким образом, мы можем говорить о функциональном соответствии между множеством атрибутов oa и множеством отношений R,
R = rdom(oa) <2>
Это соответствие должно указываться в схеме объекта, которая будет перечислять пары oa : R, где R = rdom(oa)
o = {OID,{oa1:R1, oa2:R2,…, oan:Rn},{r1,r2….rn}}, <0'>
Собственное значение объекта o, принадлежащего классу С, можно представить как такое отображение oV из множества oa в множество R (oa--Schema(C))-->R), что каждому oai принадлежащему Schema(C) (oai О Schema(C)) будет соответствовать значение отношения Rn, являющегося доменом oai oV(oai) = rval(Rn) , Rn = rdom(oai), а каждому oaj, не принадлежащему S (oaj П S), будет соответствовать пустое множество oV(oaj) = Ж.
Каждое такое отображение соответствует уникальному значению, являющемуся идентификатором этого объекта. Тогда множество идентифицируемых объектов O есть функциональное соответствие между множеством OID уникальных идентификаторов OID объектов o, и множеством oV отображений (oa--Schema(C)-->R), формирующих собственные значения этих объектов.
O = (OID
-> oV). где oV = {oV| oV = oa--Schema(C)-->R} <3>
Крайне важен тот факт, что предлагаемая формализация однозначно определяет способ, позволяющий представить информацию, описывающую множество O объектов вида <0>, в терминах реляционной модели данных. В самом деле, исходя из <3>, множество объектов O можно представить как отношение, построенное на множествах OID, oa и R, то есть как подмножество декартового произведения множеств OID, oa и R.
