Čo bolo na skúške?
Created: 2012-06-07 - 13:21
Skuska (Krajci) prebieha pisomnou formou, potom je opravovana za ucasti skusaneho.
Otazky (zrejme sa budu opakovat aj po dalsie roky):
1. Vymenujte zakladne modely pre dopytovanie sa nad databazami - aku ulohu tam hra logika?
Velmi vagne formulovana otazka, ale tak treba tam povedat, ze existuje nejaky konjuktivny kalkulus (vymenovat typy dopytov, KD, KDR, HORKD, konj. formuly a pod. a popisat) a relacna algebra (SPC, SPCJ - opät popisat strucne)
2. Normálny tvar (2 typy), aky maju tvar a ako previest "nieco" do normalneho tvaru
Toto je uz konkretnejsia otazka - opisat normalny tvar konj. formuly, ako previest kazdu formulu do normalneho tvaru. Dalej v relacnej algebre je tiez normalny tvar pri SPC(J), to treba pozriet v slajdoch (na konci), ale staci napisat ten zakladny tvar (aspon ja som nemal tu induktivnu definiciu ale len ze to je nejaky sled projekcii, (multi)selekcii, a sucinov (popripade fixacia)) a ze existuju obmienacie lemy, ktore prevedu term do normalneho tvaru
3. V SPC algebre napisat vztah projekcie a selekcie (jedna z obmienacich lem) a dokazat rovnost
To je celkom jasne a priame. Napisat ten dokaz.
4. Vztah medzi 2 hlavnymi modelmi LAD a ako sa medzi nimi da prechadzat
Tak tu opät treba ukazat ze mame relacnu algebru a konjuktivny kalkulus a (najlepsie na priklade) vysvetlit ako su jednotlive funkcie v SPC algebre ekvivalentne s zapisom v konjuktivnom kalkule. Tu treba spomenut, ze vsetko sa to prevadza najprv do normalneho tvaru (aby to bolo viditelne)