Классика баз данных - статьи

       

что значения уникальных идентификаторов объектов,




O
М OID ґ oa ґ R        <4>

Предположим, что значения уникальных идентификаторов объектов, входящих в множество OID, определены на домене DOID (OID Н DOID), а имена их атрибутов, входящих в множество oa – на домене DA (oa Н DA), и рассмотрим множество доменов D', такое, что D' - D = {DOID,DA}. Можно показать, что



O
М R' , R' = { R'i| R'i М DOID ґ DA ґ Ri, Ri О R}        <5>

Поскольку отношения Ri входящие в множество R определены на множестве доменов D ( Ri (ra1:D1, ra2:D2….), D О D), то R'i является отношением, определенным на множестве доменов D'.

( Поскольку R = rdom(A), то <5> то более точным будет следующее



O
М R' , R' = { R'i| R'i М DOID ґ rdom-1(Ri) ґ Ri, Ri О R },        <6>

Тем самым мы ограничили число возможных значений определенного на домене DA атрибута отношений R'i, именами только тех атрибутов объекта, для которых доменом является соответствующее отношению R'i отношение Ri. )

Таким образом, множество O объектов o вида <0> может быть однозначно преобразовано к множеству значений отношений R', входящих во множество R', причем между множеством R отношений, являющихся доменами атрибутов объектов o , и множеством R' существует такое взаимно-однозначное соответствие



R
<--> R'          <7>

что для любого отношения Ri (ra1:D1, ra2:D2….), принадлежащему R, во множестве R' будет существовать соответствующее отношение R'i (raOID: DOID, raoa:DA, ra1:D1, ra2:D2….), D О D'). В дальнейшем мы будем называть атрибуты raOID и raoa системными атрибутами.



Это можно проиллюстрировать следующим образом. Предположим, что в объекте o со схемой (… , oa:R , …), идентифицируемый уникальным значением OIDi, атрибут oa содержит значение r отношения R со схемой (ra1:D1, … , ran:Dn) o.oa = rval(R), состоящее из кортежей ti.



Значение r атрибута oa объекта o в множестве R' будет представлено в виде подмножества кортежей t'i отношение R' со схемой (raOID: DOID, raoa:DA, ra1:D1, … , ran:Dn), у которых атрибут raOID содержит значение OIDi и атрибут raoa содержит значение oa, t'i.raOID = OIDi, t'i.raoa = oa.


Содержание  Назад  Вперед