Skoči na glavni sadržaj

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


Puni tekst: engleski pdf 3.407 Kb

str. 123-131

preuzimanja: 85

citiraj


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

https://hrcak.srce.hr/150506

Posjeta: 211 *