organizaciul sistemebSi informaciuli resursebis marTva

monacemTa relaciuri baza ver gvipasuxebs. magaliTad, Seicvala
TanamSromlis nomeri mis CanawerSi. ras niSavs es _ axali
TanamSromeli miviReT Zvelis magier, Tu es ukanaskneli gadavida
sxva ganyofilebaSi ? sistemas ar gaaCnia damatebiT araviTari
informacia, raTa pasuxi gagvces am SekiTxvaze.
axla ganvixiloT ori damokidebuleba R 1 (M,N) da
R2 (M,N). rogorc Cans, R1⊆M*N da R2⊆M*N orive binaruli
damokidebuleba gansazRrulia erTsa da imave domenebze, e.i.
formalurad isini msgavasi konstruqciisaa. rogoria TiToeulis
semantika ? SeiZleba Tu ara mxolod damokidebulebaTa
safuZvelze, maTematikuri TvalsazrisiT gavigoT maTi Sinaarsebis
gansxvaveba ? pasuxi aq uaryofiTia da am SemTxvevaSic relaciuri
modeli ver xsnis dasmul problemas. magaliTad,
R1 =TanamSromlis asaki da R2 =TanamSromlis muSaobis staJi;
M={TanamSromlis gvari}, N={naturalur ricxvTa mwkrivi}. orive
damokidebulebis Canawerebi formirdeba TanamSromlis gvarisa da
naturaluri ricxvis mniSvnelobebisagan. magaliTad, .
ras niSnavs konkretulad es ukanaskneli, rom abesaZe 23 Qwlisaa,
Tu rom abesaZes aqvs 23 wlis samuSao staJi, Tumca erTi
meores ar gamoricxavs. zogadi formaluri CaweriT (R⊆
TanamSromlis gvari x naturaluri ricxvi) ver vgebulobT R
damokidebulebis Sinaarss.
Caweris formaluri konstruqciis gamoyeneba erTgvarad
zRudavs monacemTa bazasTan mimarTvis enis SesaZleblobebs mag.,
Tu gvaqvs TanamSromelTa baza da gvinda ori SekiTxvis damuSaveba:
`ra Tanamdebobaze muSaobs TanamSromeli abesaZe da ~muSaobs Tu
ara abesaZe organizaciaSi~. pirvel SekiTxvaze relaciuri baza
advilad upasuxebs, vinaidan igi CanawerebSi moZebnis `abesaZes~
(atributi gvari) da amoiRebs mis Sesabamis Tanamdebobas `ufrosi
konstruqtori~ (atributi-Tanamdeboba).
meore SemTxvevas, romelic erTi SexedviT martivia,
relaciuri baza ver upasuxebs, Tu mas ar eqneba damatebiTi
proceduruli saSualebani informaciis logikuri damuSavebisa.
Cvens SemTxvevaSi pasuxi meore kiTxvaze unda iyos `ki~ an `ara~.
22