Мавзу: Кодд реляцион алгебраси. Реляцион хисоблаш

Тўплам-назарий муносабат амалларининг хусусиятлари
Кодд реляцион алгебрасининг тўплам-назарий қисми классик тўпламлар назариясига асосланган бўлса-да, реляцион алгебранинг мос амаллари ўзига хос хусусиятларга ега.
Бирлашма, кесишма, фарқни олиш операциялари. Мувофиқликни бирлаштириш
Келинг, муносабатларни бирлаштириш операциясидан бошлайлик (бирлашма ҳақида айтиладиган ҳамма нарса муносабатларни кесиш ва фарқни олиш операциялари учун ҳам амал қилади). Реляцион алгебрада бирлашма амалининг маъноси умуман тўплам назарияси бўлиб қолади. Яна бир бор еслатиб ўтамиз (3.4-расмга қаранг) тўпламлар назариясида:

• 
  иккита A {а} ва Б {б} тўпламларнинг бирлашиши натижаси C {c} тўплам бўлиб, ҳар бир c учун ё A тўпламга тегишли бўлган а елементи бўладики, c = а бўлади ёки Б тўпламга тегишли б елементи, бу c = б;
  
• 
  A ва Б тўпламларнинг кесишиши C {c} тўплам бўлиб, ҳар қандай c учун A тўпламга тегишли а ва Б тўпламга тегишли б елементлар мавжуд бўлиб, c = а = б;
  
• 
  A ва Б тўпламлар айирмаси C {c} тўплам бўлиб, ҳар қандай c учун A тўпламга тегишли а елементи мавжуд бўлиб, c = а бўлади ва Б га тегишли б елементи йўқ бўлса, c = б бўлади. .
  

Aммо агар тўплам назариясида бирлашма операцияси ҳар қандай иккита тўплам-операнд учун мазмунли бўлса, у ҳолда реляцион алгебрада бирлашма операциясининг натижаси муносабат бўлиши керак. Aгар реляцион алгебрада иккита ихтиёрий муносабатларнинг (турли сарлавҳали) тўплам-назарий бирлашуви имкониятини тан олсак, у ҳолда, албатта, операция натижаси тўплам бўлади, лекин ҳар хил турдаги кортежлар тўплами, яъни. , муносабат емас. Aгар муносабат концепциясига нисбатан реляцион алгебра ёпиқ бўлиши талабидан келиб чиқсак, унда бундай бирлашма амали маъносиздир.
Бу мулоҳазалар бирлашма муносабатларининг мувофиқлиги ҳақидаги тушунчага олиб келади: иккита муносабат, агар улар бир хил номга ега бўлса, бирлашиш йўли билан мос келади. Кенгайтирилган шаклда, бу иккала муносабатнинг номлари бир хил атрибут номлари тўпламини ўз ичига олади ва бир хил номнинг атрибутлари бир хил доменда аниқланганлигини англатади (бу кенгайтирилган формула, умуман олганда, ортиқча, лекин фойдали бўлади. кейинги хатбошида).
Aгар иккита муносабат бирлашма нуқтаи назаридан мос келса, улар устида бирлашиш, кесишиш ва фарқни олиш амаллари одатда бажарилганда, операция натижаси ҳар бирининг сарлавҳаси билан мос келадиган аниқ белгиланган сарлавҳали муносабатдир. операнд муносабатлари. Еслатиб ўтамиз, агар иккита муносабат бирлашиш нуқтаи назаридан "деярли" мос келса, яъни атрибут номларидан ташқари ҳамма нарсада мос келса, унда бирлашма каби операцияни бажаришдан олдин, бу муносабатлар номни ўзгартириш операциясини қўллаш орқали бирлашма нуқтаи назаридан тўлиқ мос келиши мумкин. .
Қўшилиш, кесишиш ва фарқни олиш операцияларини кўрсатиш учун маълумотлар базасида иккита муносабат мавжуд деб фараз қилайлик, ЕМПЛОЙЕЕ_ИН_ПРОЖЕCТ_1 ва ЕМПЛОЙЕЕ_ИН_ПРОЖЕCТ_2, бир хил схемалар билан {СЕРВИCЕ_НУМБЕР, СЕРВИCЕ_НAМЕ, СЛУ_ЗAРП, СЕРВО номлари ўрнатилган (объйҳатдан ўтган) номлари мавжуд. Ўзаро муносабатларнинг ҳар бири тегишли лойиҳада иштирок етаётган ходимлар тўғрисидаги маълумотларни ўз ичига олади. Шаклда. 4.2 иккита муносабатларнинг ҳар бирининг тахминий мазмунини кўрсатади (баъзи ходимлар иккала лойиҳада ҳам иштирок етадилар).


ЕМПЛОЙЕЕС ИН_ПРОЖЕCТ_1 ва ЕМПЛОЙЕЕС _ИН_ПРОЖЕCТ_2 ўртасидаги муносабатларнинг тахминий мазмуни