izvor podataka: crosbi
!
A Sound and Complete Axiomatization of Functional Dependencies: A Formal System With Only Two Inference Rules (CROSBI ID 131637)
Prilog u časopisu | izvorni znanstveni rad | međunarodna recenzija
Maleković, Mirko
A Sound and Complete Axiomatization of Functional Dependencies: A Formal System With Only Two Inference Rules // Informatica (Ljubljana), 19 (1995), 3; 407-408-x
Podaci o odgovornosti
Maleković, Mirko
engleski
A Sound and Complete Axiomatization of Functional Dependencies: A Formal System With Only Two Inference Rules
A formal system for functional dependencies is introduced. The formal system contains only two inference rules: (I) Reflexivity and (II) Generalized transitivity.
completeness; formal systems; functional dependencies; inference rules; soundness
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o izdanju
Povezanost rada
Povezane osobe
Povezane ustanove