Formal Foundations For Access And Inference Control In Databases