No-Go Theorems for Data Privacy
This work addresses privacy concerns in database systems, but it is incremental as it builds on existing CQE frameworks.
The paper tackles the problem of ensuring data privacy in database systems through controlled query evaluation (CQE), establishing two no-go theorems that show certain desirable properties cannot be simultaneously achieved.
Controlled query evaluation (CQE) is an approach to guarantee data privacy for database and knowledge base systems. CQE-systems feature a censor function that may distort the answer to a query in order to hide sensitive information. We introduce a high-level formalization of controlled query evaluation and define several desirable properties of CQE-systems. Finally we establish two no-go theorems, which show that certain combinations of these properties cannot be obtained.