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.
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. 11. The system of claim 10 , wherein the one or more processors are further configured to reduce the program to a Boolean satisfiability problem.