FONForum

CREATE TYPE TipCena AS INTEGER FINAL
CAST (DISTINCT AS SOURCE) WITH INTEGER;


CREATE TYPE TipKnjiga AS (naslov VARCHAR(20),
                          autor VARCHAR(20),
                          godinaizdanja DATETIME)
NOT FINAL;


CREATE TABLE Prodaja (knjizara ROW (naziv VARCHAR(20),
                                    lokacija VARCHAR(20)),
                      knjiga TipKnjiga,
                      cena TipCena);

CREATE TRIGGER on_delete_cascade
AFTER DELETE ON R
REFERENCING OLD TABLE AS OldR
FOR EACH STATEMENT
BEGIN ATOMIC
DELETE FROM S
WHERE S.F IN (SELECT P
              FROM OldR)
END;

class C extends A (extent cs) [b]zar ovde nije trebalo jos da se doda key A#??[/b]
{
  attribute long C1#;
  attribute long C2;
  relationship set <G> c_g_cg inverse G :: g_c_cg;
};

Definicije:

-Determinanta je svaki atribut(skup atributa) koji funkcionalno odredjuje neke nekljucne atribute.

-Kandidat za kljuc je determinanta koja upotpunosti funkcionalno odredjuje sve nekljucne atribute posmatrane relacije.

-Relacija je u BCNF akko je posmatrana relacija u 3NF i ako je svaka determinanta ujedno i kandidat za kljuc.


+Iteracija 0:

KK={Izvodjac, SifraClanaZirija}

ZGrand([u]Izvodjac, SifraClanaZirija[/u],BrojPoena,NazivPesme,ImeClanaZirija,PTTBroj,NazivMesta)

+Diskusija:

Kandidat za kljuc predstavlja slozen kljuc ciji su kljucni atributi Izvodjac i SifraClanaZirija. Dati par je kljuc jer se pomocu tog njega u potpunosti pokrivaju svi atributi, tacnije od tih atributa su svi otali atributi funkcionalno zavisni (mada se nezna da li su potuno, nepotpun oili tranzitivno)

Za datu relaciju ZGranda vaze Fz1 Fz2 Fz3 i Fz4 tj 4 determinante, a postoji samo jedan Kandidat za kljuc.

Dakle. data relacija nije u BCNF-u

Zakljucijem da je potrebno dalje dekomponovati ovu relaciju.

+Iteracija 1:

ClanZirija([u]SifraClanaZirija[/u],ImeClanaZirija)

ZGranda1([u]Izvodjac, SifraClanaZirija[/u],BrojPoena,NazivPesme,PTTBroj,NazivMesta)

+Diskusija:

Na osnovu Fz2 a radi dekomponovanja relacije ZGranda, dobijam relaciju ClanZirija koji kao primarni kljuc ima atribut SifraClanaZirija. Za ovu relaciju vazi Fz2 tj ova relacija ima jednu determinantu i jedan kandidat za kljuc. Zakljucijem da je relacija ClanZirija u BCNF-u.

ZGranda1 je dekompovana relacija relacije ZGranda. Kako smo iz prvobitne relacije izvuki relaciju ClanZirija nema vise potrebe za atributom ImeClanaZirija tj. njenim izbacvanjem iz ZGranda se ne gubi informacija a smanjuje se redundansa. Novonastala dekomponovana relacija ZGranda1 sada ima 3 dterminante tj vaze Fz1,Fz3,Fz4 i jedan kandidat za kljuc. Stoga ova relacija nije u BCNF-u

Dekompozicija se nastavlja

+Iteracija 2:

Pesma([u]Izvodjac[u],NazivPesme,PTTBroj,NazivMesta)

ZGranda2([u]Izvodjac, SifraClanaZirija[/u],BrojPoena)

+Diskusija:

Na osnovu Fz3 a radi dekomponovanja relacije ZGranda1, dobijam relaciju Pesma koji kao primarni kljuc ima atribut Izvodjac. Za ovu relaciju vazi Fz3,Fz4 tj ova relacija ima dve determinante i jedan kandidat za kljuc. Zakljucijem da  relacija Pesma nije u BCNF-u.

ZGranda2 je dekompovana relacija relacije ZGranda1. Kako smo iz prvobitne relacije izvuki relaciju Pesme nema vise potrebe za atributom NazivPesme,PTTBroj,NazivMesta tj. njenim izbacvanjem iz ZGranda1 se ne gubi informacija a smanjuje se redundansa. Novonastala dekomponovana relacija ZGranda2 sada ima 1 determinantu tj vazi Fz1 i jedan kandidat za kljuc. Stoga je ova relacija u BCNF-u.

Relacija Pesma nije u BCNF-u tako da nastavljam dekompoziciju.

+Iteracija 3:

Mesto([u]PTTBroj[/u],NazivMesta)

Pesma1([u]Izvodjac[u],NazivPesme,PTTBroj)

+Diskusija:

Na osnovu Fz4 a radi dekomponovanja relacije Pesma, dobijam relaciju Mesto koji kao primarni kljuc ima atribut PTTBroj. Za ovu relaciju vazi Fz4 tj ova relacija ima jednu determinantu i jedan kandidat za kljuc. Zakljucijem da je relacija Mesto u BCNF-u.

Pesma1 je dekompovana relacija relacije Pesma. Kako smo iz prvobitne relacije izvuki relaciju Mesto nema vise potrebe za atributom NazivMesta tj. njenim izbacvanjem iz relacije Pesma se ne gubi informacija a smanjuje se redundansa. Novonastala dekomponovana relacija Pesma1 sada ima 1 determinantu tj vazi Fz3 i jedan kandidat za kljuc. Stoga je ova relacija u BCNF-u.

Kraj normalizacije
+Pregled:

ClanZirija([u]SifraClanaZirija[/u],ImeClanaZirija)

ZGranda2([u]Izvodjac, SifraClanaZirija[/u],BrojPoena)

Mesto([u]PTTBroj[/u],NazivMesta)

Pesma1([u]Izvodjac[u],NazivPesme,PTTBroj)