Soundness of Formal Systems for Relational Database Dependencies: Application of Tableau Deductive System / Mirko Maleković