A data distortion by probability distribution
ACM Transactions on Database Systems (TODS)
Security problems on inference control for SUM, MAX, and MIN queries
Journal of the ACM (JACM)
Security-control methods for statistical databases: a comparative study
ACM Computing Surveys (CSUR)
On the complexity of H-coloring
Journal of Combinatorial Theory Series B
Database security
Secure databases: protection against user influence
ACM Transactions on Database Systems (TODS)
A security machanism for statistical database
ACM Transactions on Database Systems (TODS)
2+p-SAT: relation of typical-case complexity to the nature of the phase transition
Random Structures & Algorithms - Special issue on statistical physics methods in discrete probability, combinatorics, and theoretical computer science
Conjunctive-query containment and constraint satisfaction
Journal of Computer and System Sciences - Special issue on the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems
Complexity classifications of boolean constraint satisfaction problems
Complexity classifications of boolean constraint satisfaction problems
The scaling window of the 2-SAT transition
Random Structures & Algorithms
Frozen development in graph coloring
Theoretical Computer Science - Phase transitions in combinatorial problems
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
The complexity of solving equations over finite groups
Information and Computation
Protecting Respondents' Identities in Microdata Release
IEEE Transactions on Knowledge and Data Engineering
The complexity of satisfiability problems
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
Journal of Computer and System Sciences - Special issue on PODS 2000
Classifying the Complexity of Constraints Using Finite Algebras
SIAM Journal on Computing
Recognizing frozen variables in constraint satisfaction problems
Theoretical Computer Science
A dichotomy theorem for constraint satisfaction problems on a 3-element set
Journal of the ACM (JACM)
Auditing and Inference Control in Statistical Databases
IEEE Transactions on Software Engineering
Backbone fragility and the local search cost peak
Journal of Artificial Intelligence Research
The structure of tractable constraint satisfaction problems
MFCS'06 Proceedings of the 31st international conference on Mathematical Foundations of Computer Science
A unifying framework for structural properties of CSPs: definitions, complexity, tractabilit
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
We study the computational complexity of auditing finite attributes in databases allowing statistical queries. Given a database that supports statistical queries, the auditing problem is to check whether an attribute can be completely determined or not from a given set of statistical information. Some restricted cases of this problem have been investigated earlier, e.g. the complexity of statistical sum queries is known by the work of Kleinberg et al. (J. Comput. System Sci. 66 (2003) 244-253). We characterize all classes of statistical queries such that the auditing problem is polynomial-time solvable. We also prove that the problem is coNP-complete in all other cases under a plausible conjecture on the complexity of constraint satisfaction problems (CSP). The characterization is based on the complexity of certain CSP problems; the exact complexity for such problems is known in many cases. This result is obtained by exploiting connections between auditing and constraint satisfaction, and using certain algebraic techniques. We also study a generalization of the auditing problem where one asks if a set of statistical information imply that an attribute is restricted to K or less different values. We characterize all classes of polynomial-time solvable problems in this case, too.