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

Joachim Biskup, Lena Wiese. A sound and complete model-generation procedure for consistent and confidentiality-preserving databases. Theoretical Computer Science, 412(31):4044-4072, 2011. [doi]

Abstract

Abstract is missing.