Pregled bibliografske jedinice broj: 295418
A Sound and Complete Axiomatization of Functional Dependencies: A Formal System With Only Two Inference Rules
A Sound and Complete Axiomatization of Functional Dependencies: A Formal System With Only Two Inference Rules // Informatica An International Journal of Computing and Informatics, 19 (1995), 3; 407-408 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 295418 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
A Sound and Complete Axiomatization of Functional Dependencies: A Formal System With Only Two Inference Rules
Autori
Maleković, Mirko
Izvornik
Informatica An International Journal of Computing and Informatics (0350-5596) 19
(1995), 3;
407-408
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
completeness; formal systems; functional dependencies; inference rules; soundness
Sažetak
A formal system for functional dependencies is introduced. The formal system contains only two inference rules: (I) Reflexivity and (II) Generalized transitivity.
Izvorni jezik
Engleski
Znanstvena područja
Računarstvo, Informacijske i komunikacijske znanosti
POVEZANOST RADA
Ustanove:
Fakultet organizacije i informatike, Varaždin
Profili:
Mirko Maleković
(autor)
Citiraj ovu publikaciju:
Časopis indeksira:
- Scopus
Uključenost u ostale bibliografske baze podataka::
- The INSPEC Science Abstracts series
- Linguistics and Language Behavior Abstracts
- Mathematical Reviews
- Sociological Abstracts
- Citeseer
- COBISS
- Compendex
- Computer & Information Systems Abstracts
- Computer Database
- Computer Science Index
- DBLP Computer Science Bibliography
- Directory of Open Access Journals
- InfoTrac OneFile
- MatSciNet and MatSci on SilverPlatter
- Scopus
- Zentralblatt Math
