[es] - Problemi sa algoritmom Redukcije u postupku Normalizacije!!!

bajkoK
student

Član broj: 270885
Poruke: 14
*.w802.net.

Profil

Problemi sa algoritmom Redukcije u postupku Normalizacije!!!

^{18.10.2010. u 10:30 - pre 176 meseci}

Pomagajte molim vas!!!!
Imam problema sa usmenim delom ispita iz predmeta Baze Podataka. Imamo profesora koji hoce da znamo sve, ali nece nista da nas nauci. Dosao sam do poglavlja funkcionalnih zavisnosti (jedan deo razumem) i armstrongovih aksioma i to nikako ne mogu da razumem. U srednjoj skoli nisam ucio teoriju skupova (jesam u osnovnoj, ali to je bilo smesno, tako da sam morao malo da obnovim gradivo) ali ni logiku, bulovu algebru itd... E sada, to mi predstavlja problem pri obradjivanu jedno desetak pitanja iz navedenog predmeta. Moj problem predstavljaju slike koje predstavljaju neke algoritme redukcije, zatvaranja itd... Ne mogu da kazem da nista ne znam. Moj problem je vise u tome sto ja ne znam sta koji iskazi znace, kako se citaju itd...
Navescu neke, i uz svaku stavku koju ne razumem pokusavcu da navedem sta mi nije jasno.

Ja sam predpostavio da je obelezje sa leve strane iz Funkcionalne zavisnosti X ->B slozeno obelezje, odnosno X={A,B,C,D,E}, a da je "Y podskup skupa X",i da naravno "X" funkcionalno odredjuje "Y" ( X->Y). E sada, potrebo je da se leve strane funkcionalnih zavisnosti redukuju, odnosno da se uklone suvisna obelezja iz FZ.

postavicu jedan zadatak u kom se obradjuje metod normalizacije pomocu Algoritma sinteze, a u okviru njega i algoritam redukcije, koji je prva i polazna tacka algoritma sinteze (barem po meni). Naravno, na papiru je sve jasnije, ali i dalje ne mogu da prokljuvim te iskaze u navedenom algoritmu. Molim vas pomagajte...
-----------------------------------------------------------------------------------------------------------------------------------------------
I naravno, Armstrongovi aksiomi su pravila koja se primenjuju u postupku Normalizacije. Ja ne mogu da skontam ta pravila, iz gore navedenog razloga. Moze li neko malo prostije objasnjenje uz pokoji primercic, da bi mi bilo lakse da shvatim.

( ℑ1) (Refleksivnost) Ako je Ypodskup X, tada važi X->Y.
( ℑ2) (Proširenje) Ako je X->Y i Z podskup W, tada važi XW->YZ.
( ℑ3) (Pseudotranzitivnost) Ako je X->Y i YW->Z, tada važi XW->Z.

E sada, ovo su neka pralivla koja se primenjuju na dokazivanje da je sistem aksioma Neredundantan, Neprotivrecan i kompletan. Ja to u opste ne mogu da razumem. Tolikom mi je tesko da cu puci od muke. Kontam elementarne iskaze iz logike, i to mi nije toliko tesko, ali samo dokazivanje aksioma je haos.

Tu jos postoje pravlila izvodjenja.....
Pravila izvođenja.

( ℑ4) (Unija.) Ako je X->Y1 i XY2, tada važi X->Y1Y2
( ℑ5) (Dekompozicija.) Ako je X->Y i Z->Y, tada važi da je X pokskup Z.
Ova pravila izvođenja su posledica sistema aksioma ℑ.

_{[Ovu poruku je menjao bajkoK dana 18.10.2010. u 23:13 GMT+1]}

Prikačeni fajlovi

algoritam redukcije.bmp - 703.88k

Odgovor na temu

bajkoK
student

Član broj: 270885
Poruke: 14
*.w802.net.

Profil

Re: Problemi sa algoritmom Redukcije u postupku Normalizacije!!!

^{18.10.2010. u 10:45 - pre 176 meseci}

Dodacu jos jedan zadataka koji smo radili za domaci. U pitanju je Metod Normalizacije primenom algoritma sinteze, a u okrivu kojeg se nalaze koraci algoritma redukcije.

Prikačeni fajlovi

09-05-08 normalizacija-sinteza.pdf - 26.8k

UVOD normalizacija-sinteza.pdf - 26.81k

Odgovor na temu

chachka
Srđan Mijatov
Programer
BUS Computers
Kikinda

Član broj: 53780
Poruke: 576
*.dynamic.isp.telekom.rs.

Sajt: www.baze-podataka.net

+4 Profil

Re: Problemi sa algoritmom Redukcije u postupku Normalizacije!!!

^{18.10.2010. u 21:19 - pre 176 meseci}

Algoritam redukcije kojeg si postavio je napisan u nekakvom meta jeziku. (Čini mi se da je iz knjige profesora dr. Pavleta Mogina.)

Ovde netreba izjednačavati simbole -> i <- jer im je značenje u ovom meta jeziku različito. Sa -> je označena funkcionalna zavisnost, a sa <- se označava naredba dodele vrednosti promenljivoj (:= u Paskalu, = u Javi). U ovoj proceduri (PROCES u datom meta jeziku) je Y promenljiva, i to tipa skup.

Izjava "POSTAVI Y <- X" se čita: "neka nam je skupovna promenljiva Y jednaka skupu X".

Izjava "Y \ {A}" se čita "skup Y bez skupa {A}"

"The best code is no code at all."
- Zidar (ES član)
"Biggest obstacle to learning
SQL is unlearning procedural
programming." - Joe
Celko
"Minimize code, maximize data."
- A. Neil Pappalardo

Odgovor na temu

bajkoK
student

Član broj: 270885
Poruke: 14
*.w802.net.

Profil

Re: Problemi sa algoritmom Redukcije u postupku Normalizacije!!!

^{25.10.2010. u 18:57 - pre 176 meseci}

Srdjo, Hvala ti puno na odgovoru. Medjutim, imam jos nesto sto ne znam da procitam. Imam neke definicije u okviru Lekcije Neredundantnog pokrivanja, i generalno, u okviru FUnkcionalnih Zavisnosti. Znam sta znace pojedini izrazi, kao na primer da nesto odredjuje nesto, kao i da nesto funkcionalno zavisno od necega u izrazu X->Y. Medjutim , kada dobijem izraz F\{f} , gde {f} oznacava funkcionalnu zavisnost, a F skup, tu nastaje problem. To be znam da procitam.

Definicije su sledece, a ono sto je boldovano predstavlja moj problem posto ne znam znacenje i ne znam da procitam.

1) Definicija: Obeležje Ae X je suvišno u fz X->Y s obzirom na skup fz F ako (X\{A})->Ye F+. Ako X ne sadrži ni jedno suvišno obeležje kaže se da fz X->Y ima redundantnu levu stranu.

2) Definicija: Fz X ->Y je redundantna u F ako važi F \ { X -> Y } = X ->Y, odnosno ako se f može izvesti iz F-{f}, tj. Ako je (F-{f})+

3) F\{f} ------ da li se to cita isto kao i ovo sto je navedeno u prethodnom odgovoru: "Izjava "Y \ {A}" se čita "skup Y bez skupa {A}", i da li bi to onda znacilo da se tako cita sledeci izraz A->C e (F\{A->C} ,

4) A->C e (F\{A->C}

5) F \ { X -> Y } = X ->Y , na osnovu cega je leva strana izjednacena sa desnom funkcionalne zavisnosti? Ako izraz F \ { X -> Y } znaci " skup F (kao skup funkc. zavis.) bez skupa funkcionalsnih zavisnosti X->Y

******* Gde malo "e" oznacava pripadanje nekom skupu! ********

Pomagajte molim vas, jer bez toga ne mogu da prelazim lekcije za ispit .

_{[Ovu poruku je menjao bajkoK dana 25.10.2010. u 20:21 GMT+1]}

Odgovor na temu

chachka
Srđan Mijatov
Programer
BUS Computers
Kikinda

Član broj: 53780
Poruke: 576
*.dynamic.isp.telekom.rs.

Sajt: www.baze-podataka.net

+4 Profil

Re: Problemi sa algoritmom Redukcije u postupku Normalizacije!!!

^{26.10.2010. u 20:03 - pre 176 meseci}

Za početak ću navesti osnovne pojmove:
- A, B, C su obeležja
- X, Y su skupovi obeležja
- F je skup funkcionalnih zavisnosti
- F+ je zatvaranje od F, odnosno F+ je skup svih funkcionalnih zavisnosti koje se mogu izvesti od F.

Primer šta je F+:
Neka su nam dati atributi A i B i skup funkcionalnih zavisnosti F = {A -> B}.
Tada je F+ = {A -> B, A -> A, B -> B, AB -> A, AB -> B}.

Idemo dalje na razjašnjenje definicija.

1) nejasanoća oko izraza (X\{A}) -> Y e F+
- X je skup obeležja, A je jedno obeležje, pa je prema tome X\{A} skup obeležja X bez obeležja A
- X\A je skup obeležja, Y je skup obeležja, pa je prema tome (X\{A}) -> Y nekakva funkcionalna zavisnost
- samo se još postavlja uslov da ta "nova" funkcionalna zavisnost pripada skupu F+.
Na primeru:
Neka imamo obeležja A i B i skup F = {A -> B, AB -> A}. Ako pogledamo fz AB -> A po definiciji je jasno da je B "višak" sa leve strane jer bi bez njega u konkretnoj fz, nastala fz A -> A koja pripada zatvaranju skupa F.

2) Čini mi se da ovo nije korektno napisana definicija! Zbog toga ti dalje nastaju mnoge nejasnoće.

F\{f} je skup funkcionalnih zavisnosti bez jedne fz označene sa f i potpuna je bismislica reći da je F\{f} = {f}!!! Taj iskaz trivijano nemože biti tačan u teoriji skupova - da je skup bez jednog elementa jednak skupu sa samo tim elementom!

Mislim da umesto dela F \ {X ->Y} = X -> Y treba da stoji X -> Y e (F\{X -> Y})+, odnosno umesto (F-{f})+ da treba da stoji (F/{f})+ = F+.

Narodski rečeno: f je nepotrebna fz ako se i bez nje dobija isto zatvaranje.

3), 4) i 5) Mislim da ti zabuna nastaje zbog onoga što sam rekao u 2)
Jedino još mogu da doddam da mislim da umesto A->C e (F\{A->C} treba da stoji A->C e (F\{A->C})+ što onda ima smisla i pokriveno je odgovorm pod 2

-------------
Ovu definiciju pod 2 bi trebalo razjasniti sa asistentom/profesorom. Verovatno je pogrešno napisana u beleškama/skriptama.

"The best code is no code at all."
- Zidar (ES član)
"Biggest obstacle to learning
SQL is unlearning procedural
programming." - Joe
Celko
"Minimize code, maximize data."
- A. Neil Pappalardo

Odgovor na temu