hrcak mascot   Srce   HID

Journal of computing and information technology, Vol.1 No.2 Lipanj 1993.

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 MB) str. 123-131 preuzimanja: 21* 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/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/150506. Citirano 18.06.2018.
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/150506

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.

Hrčak ID: 150506

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

Posjeta: 42 *