Izvorni znanstveni članak
Soundness of Formal Systems for Relational Database Dependencies: Application of Tableau Deductive System
Mirko Maleković
; Fakultet organizacije i informatike, Varaždin, Croatia
Sažetak
The theory of relational database dependencies is introduced. It is shown that formal systems for functional, multivalued, and subset dependencies are sound. The application of tableau deductive system is presented.
Ključne riječi
Hrčak ID:
150506
URI
Datum izdavanja:
30.6.1993.
Posjeta: 708 *