Soundness of formal systems for relational database dependencies : application of tableau deductive system - Maleković, Mirko (Array, 1993)