Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi !

A Sound and Complete Axiomatization of Functional Dependencies: A Formal System With Only Two Inference Rules (CROSBI ID 131637)

Prilog u časopisu | izvorni znanstveni rad | međunarodna recenzija

Maleković, Mirko A Sound and Complete Axiomatization of Functional Dependencies: A Formal System With Only Two Inference Rules // Informatica (Ljubljana), 19 (1995), 3; 407-408-x

Podaci o odgovornosti

Maleković, Mirko

engleski

A Sound and Complete Axiomatization of Functional Dependencies: A Formal System With Only Two Inference Rules

A formal system for functional dependencies is introduced. The formal system contains only two inference rules: (I) Reflexivity and (II) Generalized transitivity.

completeness; formal systems; functional dependencies; inference rules; soundness

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

Podaci o izdanju

19 (3)

1995.

407-408-x

objavljeno

0350-5596

Povezanost rada

Računarstvo, Informacijske i komunikacijske znanosti

Indeksiranost