hrcak mascot   Srce   HID

Original scientific paper

PRAVILO REZOLUCIJE I RELACIJSKE BAZE PODATAKA

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

Fulltext: croatian, pdf (8 MB) pages 29-52 downloads: 180* cite
APA 6th Edition
Čubrilo, M. (1988). PRAVILO REZOLUCIJE I RELACIJSKE BAZE PODATAKA. Journal of Information and Organizational Sciences, (12), 29-52. Retrieved from https://hrcak.srce.hr/80234
MLA 8th Edition
Čubrilo, Mirko. "PRAVILO REZOLUCIJE I RELACIJSKE BAZE PODATAKA." Journal of Information and Organizational Sciences, vol. , no. 12, 1988, pp. 29-52. https://hrcak.srce.hr/80234. Accessed 19 Aug. 2019.
Chicago 17th Edition
Čubrilo, Mirko. "PRAVILO REZOLUCIJE I RELACIJSKE BAZE PODATAKA." Journal of Information and Organizational Sciences , no. 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), pp. 29-52. Available at: https://hrcak.srce.hr/80234 (Accessed 19 August 2019)
Vancouver
Čubrilo M. PRAVILO REZOLUCIJE I RELACIJSKE BAZE PODATAKA. Journal of Information and Organizational Sciences [Internet]. 1988 [cited 2019 August 19];(12):29-52. Available from: https://hrcak.srce.hr/80234
IEEE
M. Čubrilo, "PRAVILO REZOLUCIJE I RELACIJSKE BAZE PODATAKA", Journal of Information and Organizational Sciences, vol., no. 12, pp. 29-52, 1988. [Online]. Available: https://hrcak.srce.hr/80234. [Accessed: 19 August 2019]

Abstracts
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.

Keywords
funkcijska ovisnost; višeznačna ovisnost; pravilo rezolucije; relacijski model

Hrčak ID: 80234

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

Visits: 394 *