4. The system according to claim 3 , the module further operable to create formula encoding the information conveyed by the answer and combine the formula encoding the information with prior information.
3. A system for secure data management, comprising: a CPU; a module operable on the CPU, the module operable to receive a query, perform the query and obtain an answer to the query, create a formula representing the answer, determine whether a minimum number of distinct models exist, the distinct models being models of the formula conjoined with relevant anonymity predicates, previous answers and background knowledge in accordance with anonymity signatures; and when the minimum number of distinct models do not exist, suppress the answer.