A sound and complete model-generation procedure for consistent and confidentiality-preserving databases

  • Authors:
  • Joachim Biskup;Lena Wiese

  • Affiliations:
  • Department of Computer Science, TU Dortmund, 44221 Dortmund, Germany;National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430, Japan

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2011

Quantified Score

Hi-index 5.23

Visualization

Abstract

This article introduces and investigates a new model-theoretic mechanism to enforce confidentiality (or privacy) requirements in a database instance; at the same time it ensures maximum availability of correct database answers. The aim is to materialize and publish a secure view that satisfies the properties of ''inference-proofness'' and ''distortion minimality''. A comprehensive class of first-order constraints (representing a user's a priori knowledge and a confidentiality policy) can be handled by the presented algorithm in a sound and complete way: tuple-generating dependencies, denial constraints and existential constraints. The due proof of refutation soundness makes use of Herbrand's theorem and semantic trees.