Napredna pretraga

Pregled bibliografske jedinice broj: 295484

Implikacijski problem za višeznačne zavisnosti i mehaničko dokazivanje teorema


Maleković, Mirko
Implikacijski problem za višeznačne zavisnosti i mehaničko dokazivanje teorema // Informatica An International Journal of Computing and Informatics, 10 (1986), 3; 46-51 (podatak o recenziji nije dostupan, članak, znanstveni)


Naslov
Implikacijski problem za višeznačne zavisnosti i mehaničko dokazivanje teorema
(Implication Problem for Multivalued Dependencies and Mechanical Theorem Proving)

Autori
Maleković, Mirko

Izvornik
Informatica An International Journal of Computing and Informatics (0350-5596) 10 (1986), 3; 46-51

Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni

Ključne riječi
Višeznačne zavisnosti; rezolucijska procedura
(Multivalued Dependencies; Mechanical Theorem Proving)

Sažetak
Opisan je postupak rješavanja implikacijskog problema za višeznačne zavisnosti u relacijskim bazama podataka. Postupak koristi mehaničko dokazivanje teorema.

Izvorni jezik
Hrvatski

Znanstvena područja
Računarstvo, Informacijske i komunikacijske znanosti



POVEZANOST RADA


Ustanove
Fakultet organizacije i informatike, Varaždin

Autor s matičnim brojem:
Mirko Maleković, (169522)

Uključenost u ostale bibliografske baze podataka:


  • The INSPEC Science Abstracts series
  • Mathematical Reviews
  • INSPEC
  • ACM Computing Surveys
  • DBLP Computer Science Bibliography