Napredna pretraga

Pregled bibliografske jedinice broj: 295485

Podskup-zavisnosti u relacijskim bazama podataka i mehaničko dokazivanje teorema


Maleković, Mirko
Podskup-zavisnosti u relacijskim bazama podataka i mehaničko dokazivanje teorema // Informatica An International Journal of Computing and Informatics, 10 (1986), 3; 58-60 (podatak o recenziji nije dostupan, članak, znanstveni)


Naslov
Podskup-zavisnosti u relacijskim bazama podataka i mehaničko dokazivanje teorema
(Subset Dependencies in Relational Databases and Mechanical Theorem Proving)

Autori
Maleković, Mirko

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

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

Ključne riječi
Podskup-zavisnosti; baze podataka; rezolucijska procedura
(Subset-Dependencies; Databases; resolution procedure)

Sažetak
Podskup-zavisnosti su generalizacija ugrađenih višeznačnih zavisnosti. U radu je dokazana korektnost formalnog sustava za potklasu podskup-zavisnosti

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)