Recursion theoretic properties of the inference problem in database security