On Finding an Inference-Proof Complete Database for Controlled Query Evaluation