izvor podataka: crosbi
!
Podskup-zavisnosti u relacijskim bazama podataka i mehaničko dokazivanje teorema (CROSBI ID 131655)
Prilog u časopisu | izvorni znanstveni rad
Maleković, Mirko
Podskup-zavisnosti u relacijskim bazama podataka i mehaničko dokazivanje teorema // Informatica (Ljubljana), 10 (1986), 3; 58-60-x
Podaci o odgovornosti
Maleković, Mirko
hrvatski
Podskup-zavisnosti u relacijskim bazama podataka i mehaničko dokazivanje teorema
Podskup-zavisnosti su generalizacija ugrađenih višeznačnih zavisnosti. U radu je dokazana korektnost formalnog sustava za potklasu podskup-zavisnosti
Podskup-zavisnosti; baze podataka; rezolucijska procedura
nije evidentirano
engleski
Subset Dependencies in Relational Databases and Mechanical Theorem Proving
nije evidentirano
Subset-Dependencies; Databases; resolution procedure
nije evidentirano
Podaci o izdanju
Povezanost rada
Povezane osobe
Povezane ustanove
