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

Мустакил иш

Мавзу: Кодд реляцион алгебраси. Реляцион хисоблаш.
Релятцион алгебранинг асосий гояси шундан иборатки, агар муносабатлар туплам булса, муносабатларни манипуляция килиш воситалари реляцион ма’лумотлар базаларига хос булган ба’зи махсус операциялар билан тулдирилган ан’анавий туплам назарий операцияларига асосланиши мумкин.
Реляцион алгебрани аниклашнинг куплаб ендошувлари мавжуд булиб, улар амаллар туплами ва кандай изохланиши билан фаркланади, лекин принципиал жихатдан купрок еки камрок эквивалендир. Ушбу булимда биз Кодд томонидан таклиф килинган алгебранинг бироз кенгайтирилган бошлангич версиясини тасвирлаймиз (биз уни “Кодд алгебраси” деб атаймиз). Ушбу версияда асосий алгебраик амаллар туплами саккизта амалдан иборат булиб улар икки синфга булинади – туплам – назарий амаллар ва махсус реляцион операциялар куйидаги операцияларни уз ичига олади:

• 
  Муносабатларни бирлаштириш;
  
• 
  Муносабатларнинг кесишиши;
  
• 
  Муносабатдаги фаркни олиш;
  
• 
  Муносабатларнинг декарт махсулотини олиш;
  

Махсус алока операцияларига куйидагилар киради:

• 
  Муносабатларни чеклаш;
  
• 
  Муносабатларни прексиялаш;
  
• 
  Муносабатларнинг алокаси;
  
• 
  Муносабатларни таксимлаш;
  

• 
  Бундан ташкари, алгебраик ифодаларни хисоблаш натижаларини саклаш имконини берувчи тайинлаш оперциясини ва хосил булган муносабатнинг сарлавхасини (схемасини) тугри шаклантириш имконини берувчи атрибут оперциясини уз ичига олади.
  

Реляцион оперцияларнинг умумий талкини
Кейинги булимларда куриб чикадиган ба’зи нозикликларга кирмасдан, юкорида таклиф килинган тупламнинг дейарли барча оперциялари учун аник ва оддий талкин мавжуд.

• 
  Худди шу сарлавхали иккита муносабатнинг UNION оперциясини бажаришда операнд муносабатларининг камида батасига киритилган барча кортежларни уз ичига олган муносабат хосил булади.
  
• 
  Худди шу сарлавхали иккита муносабатнинг кесишиши (INTERSECT) операцияси иккала операнд муносабатларига киритилган барча кортежларни уз ичига олган муносабатни хосил килади.
  
• 
  Сарлавҳалари кесишмаси бўш бўлган иккита муносабатнинг Декарт кўпайтмаси (ТИМЕС) бажарилганда, биринчи ва иккинчи операндларнинг кортежларини бирлаштириш орқали ҳосил бўладиган муносабат ҳосил бўлади.
  
• 
  Муносабатни қандайдир шарт билан чеклаш (WҲЕРЕ) натижаси шу шартни қаноатлантирадиган операнд муносабати кортежларини ўз ичига олган муносабатдир.
  
• 
  Муносабатнинг пройексияси (ЛОЙИҲA) унинг атрибутлари тўпламининг берилган кичик тўпламида бажарилганда, кортежлари операнд муносабати кортежларининг мос келадиган кичик тўпламлари бўлган муносабат ҳосил бўлади.
  
• 
  Икки муносабатни қандайдир шарт билан бирлаштирганда (ЖОИН) натижавий муносабат ҳосил бўлади, унинг кортежлари биринчи ва иккинчи муносабатлар кортежларини бирлаштириб ҳосил қилинади ва шу шартни қаноатлантиради.
  
• 
  Реляцион бўлиниш (ДИВИДЕ БЙ) операцияси иккита операндга ега - бинар муносабат ва унар муносабат. Олинган муносабат биринчи операнд кортежларининг биринчи атрибути қийматларини ўз ичига олган бирламчи кортежлардан иборат бўлиб, иккинчи атрибутнинг қийматлари тўплами (биринчи атрибутнинг белгиланган қиймати билан) қийматлар тўпламини ўз ичига олади. иккинчи операнднинг.
  
• 
  Қайта номлаш операцияси (РЕНAМЕ) танаси операнд билан бир хил бўлган муносабатни ҳосил қилади, лекин атрибут номлари ўзгартирилган.
  
• 
  Тайинлаш операцияси (: =) мавжуд маълумотлар базаси муносабатида реляцион ифодани баҳолаш натижасини сақлашга имкон беради.
  

Ҳар қандай реляцион амалнинг натижаси (қиймат ҳосил қилмайдиган тайинлаш операциясидан ташқари) маълум муносабат бўлганлиги сабабли, қандайдир реляцион амалнинг операнд муносабати ўрнига ички ўрнатилган муносабат ифодаси мавжуд бўлган реляцион ифодаларни шакллантириш мумкин. Реляцион ифодани тузишда барча реляцион амаллар иштирок етиши мумкин, тайинлаш операциясидан ташқари. Реляцион ифодани ҳисоблаш талқини операцияларнинг белгиланган устуворликлари билан белгиланади:

RENAME WHERE = PROJECT TIMES = JOIN = INTERSECT = DIVIDE BY UNION = MINUS

Бошқа шаклда операцияларнинг устуворликлари шаклда кўрсатилган. 4.1. Ифода амаллар ва қавслар устуворлигини ҳисобга олган ҳолда чапдан ўнгга қараб баҳоланади.


Aнъанавий реляцион алгебра операциялари устуворлик жадвали