izvor podataka: crosbi
!
Primjena mehaničkog dokazivanja teorema u rješavanju implikacijskog problema for T-zavisnosti u relacijskim bazama podataka (CROSBI ID 131653)
Prilog u časopisu | izvorni znanstveni rad
Maleković, Mirko
Primjena mehaničkog dokazivanja teorema u rješavanju implikacijskog problema for T-zavisnosti u relacijskim bazama podataka // Informatica (Ljubljana), 10 (1986), 2; 60-67-x
Podaci o odgovornosti
Maleković, Mirko
hrvatski
Primjena mehaničkog dokazivanja teorema u rješavanju implikacijskog problema for T-zavisnosti u relacijskim bazama podataka
Primjenom mehaničkog dokazivanja teorema dokazana je korektnost formalnog sustava za T-zavisnosti u relacijskim bazama podataka.
Ipmlikacijski problem; T-zavisnosti; mehaničko dokazivanje teorema
nije evidentirano
engleski
Solving Implication Problem for T-Dependencies in Relational Databases
nije evidentirano
Implication Problem; T-Dependencies; Mechanical Theorem Proving
nije evidentirano
Podaci o izdanju
Povezanost rada
Povezane osobe
Povezane ustanove