Pretraga

Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

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)

CROSBI ID: 295483 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

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

Profili:

Avatar Url Mirko Maleković (autor)

Citiraj ovu publikaciju:

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)
Maleković, M. (1986) 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 (2), 60-67.
@article{article, author = {Malekovi\'{c}, Mirko}, year = {1986}, pages = {60-67}, keywords = {Ipmlikacijski problem, T-zavisnosti, mehani\v{c}ko dokazivanje teorema}, journal = {Informatica An International Journal of Computing and Informatics}, volume = {10}, number = {2}, issn = {0350-5596}, title = {Primjena mehani\v{c}kog dokazivanja teorema u rje\v{s}avanju implikacijskog problema for T-zavisnosti u relacijskim bazama podataka}, keyword = {Ipmlikacijski problem, T-zavisnosti, mehani\v{c}ko dokazivanje teorema} }
@article{article, author = {Malekovi\'{c}, Mirko}, year = {1986}, pages = {60-67}, keywords = {Implication Problem, T-Dependencies, Mechanical Theorem Proving}, journal = {Informatica An International Journal of Computing and Informatics}, volume = {10}, number = {2}, issn = {0350-5596}, title = {Solving Implication Problem for T-Dependencies in Relational Databases}, keyword = {Implication Problem, T-Dependencies, Mechanical Theorem Proving} }

Uključenost u ostale bibliografske baze podataka::


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

Podijeli:





Contrast
Increase Font
Decrease Font
Dyslexic Font
CROSBI koristi kolačiće (cookies) kako bi poboljšao funkcionalnost stranice.