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

Mirko Maleković

Abstract


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:

PDF


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