hrcak mascot   Srce   HID

Izvorni znanstveni članak

PRAVILO REZOLUCIJE I RELACIJSKE BAZE PODATAKA

Mirko Čubrilo ; Faculty of Organization and Informatics, University of Zagreb, Varaždin, Croatia

Puni tekst: hrvatski, pdf (8 MB) str. 29-52 preuzimanja: 180* citiraj
APA 6th Edition
Čubrilo, M. (1988). PRAVILO REZOLUCIJE I RELACIJSKE BAZE PODATAKA. Journal of Information and Organizational Sciences, (12), 29-52. Preuzeto s https://hrcak.srce.hr/80234
MLA 8th Edition
Čubrilo, Mirko. "PRAVILO REZOLUCIJE I RELACIJSKE BAZE PODATAKA." Journal of Information and Organizational Sciences, vol. , br. 12, 1988, str. 29-52. https://hrcak.srce.hr/80234. Citirano 18.08.2019.
Chicago 17th Edition
Čubrilo, Mirko. "PRAVILO REZOLUCIJE I RELACIJSKE BAZE PODATAKA." Journal of Information and Organizational Sciences , br. 12 (1988): 29-52. https://hrcak.srce.hr/80234
Harvard
Čubrilo, M. (1988). 'PRAVILO REZOLUCIJE I RELACIJSKE BAZE PODATAKA', Journal of Information and Organizational Sciences, (12), str. 29-52. Preuzeto s: https://hrcak.srce.hr/80234 (Datum pristupa: 18.08.2019.)
Vancouver
Čubrilo M. PRAVILO REZOLUCIJE I RELACIJSKE BAZE PODATAKA. Journal of Information and Organizational Sciences [Internet]. 1988 [pristupljeno 18.08.2019.];(12):29-52. Dostupno na: https://hrcak.srce.hr/80234
IEEE
M. Čubrilo, "PRAVILO REZOLUCIJE I RELACIJSKE BAZE PODATAKA", Journal of Information and Organizational Sciences, vol., br. 12, str. 29-52, 1988. [Online]. Dostupno na: https://hrcak.srce.hr/80234. [Citirano: 18.08.2019.]

Sažetak
Razvoj sistemske programske podrške za računala pete generacije ide u smjeru objedinjavanja glavnih dostignuća prethodne faze razvoja. To su s jedne strane svakako relacijske baze podataka kao, slobodno se može reći , ekspertni sistemi vrhunske složenosti sposobni za obuhvat i veoma složene transakcije ogromnih količina podataka izloženih svima vrstama prostorne i vremenske nestabilnosti. Drugi smjer razvoja kulminirao je implementacijom izražajnih mogućnosti i deduktivne snage računa predikata prvog reda i nekih srodnih logičkih sistema gotovo u punom obimu. Mislimo pritom na jezik PROLOG i njegove, već sad mnogobrojne derivate. Ovakva sinteza naravno ne bi bila moguća bez odgovarajuće interakcije na teorijskom nivou između teorije relacijskih baza podataka s jedne i matematičke logike s druge strane. Njena bit je u logičkoj interpretaciji temeljnih pojmova relacijskog modela baze podataka uključujući i aksiomatiku funkcijskih i višeznačnih zavisnosti. U ovom radu dane su formulacije računa funkcijskih i višeznačnih zavisnosti u duhu računa sudova i izloženi su rezultati koji kulminiraju metateoremom o ekvivalentnosti tih računa i nekih fragmenata računa sudova. Time je postala moguća primjena pravila rezolucije za račun sudova kao pravila izvoda na razne probleme izvedivosti za račune funkcijskih i višeznačnih zavisnosti.

Ključne riječi
funkcijska ovisnost; višeznačna ovisnost; pravilo rezolucije; relacijski model

Hrčak ID: 80234

URI
https://hrcak.srce.hr/80234

Posjeta: 394 *