Pregled bibliografske jedinice broj: 295465
Soundness of Formal Systems for Relational Database Dependencies: Application of Tableau Deductive System
Soundness of Formal Systems for Relational Database Dependencies: Application of Tableau Deductive System // Journal of Computing and Information Technology-CIT, 17 (1993), 2; 123-131 (podatak o recenziji nije dostupan, članak, znanstveni)
CROSBI ID: 295465 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Soundness of Formal Systems for Relational Database Dependencies: Application of Tableau Deductive System
Autori
Maleković, Mirko
Izvornik
Journal of Computing and Information Technology-CIT (1330-1136) 17
(1993), 2;
123-131
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
Formal Systems; Soundness; Dependencies; Tableau
(Formal Systems; Soundness; Relational Database Dependencies; Tableau Deductive System)
Sažetak
The theory of relational database dependencies is introduced. It is shown that formal system for functional, multivalued, and subset dependencies are sound. The application of tableau deductive system is presented.
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:
Uključenost u ostale bibliografske baze podataka::
- The INSPEC Science Abstracts series
- LISA Library and Information Science Abstracts
- EBSCO Computer Science Index
- Current Index to Statistics
- PASCAL data base
- PILA CrossRef
- Zentralblatt fur Mathematik/Mathematics Abstracts
- Compuscience Database on STN International and Internet
