Pregled bibliografske jedinice broj: 295485
Podskup-zavisnosti u relacijskim bazama podataka i mehaničko dokazivanje teorema
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)
CROSBI ID: 295485 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
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
Profili:
Mirko Maleković
(autor)
