22. The system of claim 10 , wherein the determining that the failure is associated with the portion of the request includes identifying that a portion of the data that access is requested for is un-retrievable.
10. A system comprising: a memory; a database having stored thereon a program written in a declarative language used to enforce a set of privacy policies; and one or more processors configured to: receive a request for accessing data stored in the database; in an event of a failure in retrieving data stored in the database, determine whether the failure is associated with an entirety of the request or a portion of the request; upon determining that the failure is associated with the portion of the request: retrieve the program written in the declarative language used to enforce the set of privacy policies; grant, based on the program, access to data that is retrievable from the database; generate a verification representation of the program, wherein the verification representation represents an abstraction of the program based on one or more assertions; and search over the verification representation to determine if the program satisfies the set of privacy policies in view of the one or more assertions.