Napredna pretraga

Pregled bibliografske jedinice broj: 295483

Primjena mehaničkog dokazivanja teorema u rješavanju implikacijskog problema for T-zavisnosti u relacijskim bazama podataka


Maleković, Mirko
Primjena mehaničkog dokazivanja teorema u rješavanju implikacijskog problema for T-zavisnosti u relacijskim bazama podataka // Informatica An International Journal of Computing and Informatics, 10 (1986), 2; 60-67 (podatak o recenziji nije dostupan, članak, znanstveni)


Naslov
Primjena mehaničkog dokazivanja teorema u rješavanju implikacijskog problema for T-zavisnosti u relacijskim bazama podataka
(Solving Implication Problem for T-Dependencies in Relational Databases)

Autori
Maleković, Mirko

Izvornik
Informatica An International Journal of Computing and Informatics (0350-5596) 10 (1986), 2; 60-67

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

Ključne riječi
Ipmlikacijski problem; T-zavisnosti; mehaničko dokazivanje teorema
(Implication Problem; T-Dependencies; Mechanical Theorem Proving)

Sažetak
Primjenom mehaničkog dokazivanja teorema dokazana je korektnost formalnog sustava za T-zavisnosti u relacijskim bazama podataka.

Izvorni jezik
Hrvatski

Znanstvena područja
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