Penggunaan kalkulus relasional dalam menerangkan mekanisme pengolahan data dengan structure ouery language dan kewajaran interpretasi sistem logik tiga nilai