PROOFS OF EQUALITY IN DEDUCTIVE DATABASE SYSTEMS