Soundness of Formal Systems for Relational Database Dependencies: Application of Tableau Deductive System

Mirko Maleković


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.

Full Text:


Creative Commons License
This work is licensed under a Creative Commons Attribution-NoDerivatives 4.0 International License.

Crossref Similarity Check logo

Crossref logologo_doaj

 Hrvatski arhiv weba logo