izvor podataka: crosbi
!
Implikacijski problem za višeznačne zavisnosti i mehaničko dokazivanje teorema (CROSBI ID 131654)
Prilog u časopisu | izvorni znanstveni rad
Maleković, Mirko
Implikacijski problem za višeznačne zavisnosti i mehaničko dokazivanje teorema // Informatica (Ljubljana), 10 (1986), 3; 46-51-x
Podaci o odgovornosti
Maleković, Mirko
hrvatski
Implikacijski problem za višeznačne zavisnosti i mehaničko dokazivanje teorema
Opisan je postupak rješavanja implikacijskog problema za višeznačne zavisnosti u relacijskim bazama podataka. Postupak koristi mehaničko dokazivanje teorema.
Višeznačne zavisnosti; rezolucijska procedura
nije evidentirano
engleski
Implication Problem for Multivalued Dependencies and Mechanical Theorem Proving
nije evidentirano
Multivalued Dependencies; Mechanical Theorem Proving
nije evidentirano
Podaci o izdanju
Povezanost rada
Povezane osobe
Povezane ustanove