Pretraga

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

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)

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

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

Profili:

Avatar Url Mirko Maleković (autor)

Citiraj ovu publikaciju:

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)
Maleković, M. (1986) Implikacijski problem za višeznačne zavisnosti i mehaničko dokazivanje teorema. Informatica An International Journal of Computing and Informatics, 10 (3), 46-51.
@article{article, author = {Malekovi\'{c}, Mirko}, year = {1986}, pages = {46-51}, keywords = {Vi\v{s}ezna\v{c}ne zavisnosti, rezolucijska procedura}, journal = {Informatica An International Journal of Computing and Informatics}, volume = {10}, number = {3}, issn = {0350-5596}, title = {Implikacijski problem za vi\v{s}ezna\v{c}ne zavisnosti i mehani\v{c}ko dokazivanje teorema}, keyword = {Vi\v{s}ezna\v{c}ne zavisnosti, rezolucijska procedura} }
@article{article, author = {Malekovi\'{c}, Mirko}, year = {1986}, pages = {46-51}, keywords = {Multivalued Dependencies, Mechanical Theorem Proving}, journal = {Informatica An International Journal of Computing and Informatics}, volume = {10}, number = {3}, issn = {0350-5596}, title = {Implication Problem for Multivalued Dependencies and Mechanical Theorem Proving}, keyword = {Multivalued 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.