izvor podataka: crosbi
!
Soundness of Formal Systems for Relational Database Dependencies: Application of Tableau Deductive System (CROSBI ID 131645)
Prilog u časopisu | izvorni znanstveni rad
Maleković, Mirko
Soundness of Formal Systems for Relational Database Dependencies: Application of Tableau Deductive System // CIT. Journal of computing and information technology, 17 (1993), 2; 123-131-x
Podaci o odgovornosti
Maleković, Mirko
engleski
Soundness of Formal Systems for Relational Database Dependencies: Application of Tableau Deductive System
The theory of relational database dependencies is introduced. It is shown that formal system for functional, multivalued, and subset dependencies are sound. The application of tableau deductive system is presented.
Formal Systems; Soundness; Relational Database Dependencies; Tableau Deductive System
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o izdanju
Povezanost rada
Povezane osobe
Povezane ustanove
