Классика баз данных - статьи
что значения уникальных идентификаторов объектов,
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.
