On efficient fixpoint computation of deductive databases with uncertainty