Izvorni znanstveni članak
Soundness of Formal Systems for Relational Database Dependencies: Application of Tableau Deductive System
Mirko Maleković
; Fakultet organizacije i informatike, Varaždin, Croatia
Puni tekst: engleski pdf 3.407 Kb
str. 123-131
preuzimanja: 178
citiraj
APA 6th Edition
Maleković, M. (1993). Soundness of Formal Systems for Relational Database Dependencies: Application of Tableau Deductive System. Journal of computing and information technology, 1 (2), 123-131. Preuzeto s https://hrcak.srce.hr/index.php/150506
MLA 8th Edition
Maleković, Mirko. "Soundness of Formal Systems for Relational Database Dependencies: Application of Tableau Deductive System." Journal of computing and information technology, vol. 1, br. 2, 1993, str. 123-131. https://hrcak.srce.hr/index.php/150506. Citirano 20.10.2024.
Chicago 17th Edition
Maleković, Mirko. "Soundness of Formal Systems for Relational Database Dependencies: Application of Tableau Deductive System." Journal of computing and information technology 1, br. 2 (1993): 123-131. https://hrcak.srce.hr/index.php/150506
Harvard
Maleković, M. (1993). 'Soundness of Formal Systems for Relational Database Dependencies: Application of Tableau Deductive System', Journal of computing and information technology, 1(2), str. 123-131. Preuzeto s: https://hrcak.srce.hr/index.php/150506 (Datum pristupa: 20.10.2024.)
Vancouver
Maleković M. Soundness of Formal Systems for Relational Database Dependencies: Application of Tableau Deductive System. Journal of computing and information technology [Internet]. 1993 [pristupljeno 20.10.2024.];1(2):123-131. Dostupno na: https://hrcak.srce.hr/index.php/150506
IEEE
M. Maleković, "Soundness of Formal Systems for Relational Database Dependencies: Application of Tableau Deductive System", Journal of computing and information technology, vol.1, br. 2, str. 123-131, 1993. [Online]. Dostupno na: https://hrcak.srce.hr/index.php/150506. [Citirano: 20.10.2024.]
Sažetak
The theory of relational database dependencies is introduced. It is shown that formal systems for functional, multivalued, and subset dependencies are sound. The application of tableau deductive system is presented.
Ključne riječi
Hrčak ID:
150506
URI
https://hrcak.srce.hr/150506
Datum izdavanja:
30.6.1993.
Posjeta: 679
*