Sažetak
U ovom radu definira se odnos između modela entiteti-veze i predikatnog računa uz pomoć pravila za preslikavanje elemenata modela entiteti-veze na izraze predikatnog računa prvoga reda. Tim pravilima, koja su utemeljena su na principima dizajna relacijskih baza podataka, moguće je model entiteti-veze (u formi dijagrama entiteti-veze) prevesti na izraze predikatnog računa u svrhu ostvarivanja dizajna logičke baze podataka. Također su definirana pravila za prevođenje modela entiteti-veze na skup funkcijskih zavisnosti u svrhu optimizacije dizajna logičke baze podataka tako da se obavi izračunavanje neredundantnog pokrivača skupa funkcijskih zavisnosti. Primjenom pravila za preslikavanje skupa funkcijskih zavisnosti na izraze predikatnog računa, funkcijske zavisnosti iz pokrivača prevode se na izraze predikatnog računa. Drugi opisani način optimizacije dizajna logičke baze podataka svodi se na provođenje postupka normalizacije predikata u cilju ostvarivanja dizajna s kontroliranom redundancijom podataka.
Ključne riječi
model entiteti-veze entitet veza atribut dijagram entiteti-veze relacija relacijski model podataka funkcijske zavisnosti logička baza podataka dizajn baze podataka
