Original scientific paper
Soundness of Formal Systems for Relational Database Dependencies: Application of Tableau Deductive System
Mirko Maleković
; Fakultet organizacije i informatike, Varaždin, Croatia
Full text: english pdf 3.407 Kb
page 123-131
downloads: 131
cite
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. Retrieved from https://hrcak.srce.hr/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, no. 2, 1993, pp. 123-131. https://hrcak.srce.hr/150506. Accessed 25 Apr. 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, no. 2 (1993): 123-131. https://hrcak.srce.hr/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), pp. 123-131. Available at: https://hrcak.srce.hr/150506 (Accessed 25 April 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 [cited 2024 April 25];1(2):123-131. Available from: https://hrcak.srce.hr/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, no. 2, pp. 123-131, 1993. [Online]. Available: https://hrcak.srce.hr/150506. [Accessed: 25 April 2024]
Abstract
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.
Keywords
Hrčak ID:
150506
URI
https://hrcak.srce.hr/150506
Publication date:
30.6.1993.
Visits: 445
*
