{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T13:47:18Z","timestamp":1743083238427,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642044731"},{"type":"electronic","value":"9783642044748"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04474-8_10","type":"book-chapter","created":{"date-parts":[[2009,9,3]],"date-time":"2009-09-03T07:26:09Z","timestamp":1251962769000},"page":"121-134","source":"Crossref","is-referenced-by-count":3,"title":["Combining Consistency and Confidentiality Requirements in First-Order Databases"],"prefix":"10.1007","author":[{"given":"Joachim","family":"Biskup","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lena","family":"Wiese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","first-page":"127","volume-title":"Proceedings of 29th International Conference on Information Technology Interfaces","author":"A. Galinovic","year":"2007","unstructured":"Galinovic, A., Antoncic, V.: Polyinstantiation in relational databases with multilevel security. In: Proceedings of 29th International Conference on Information Technology Interfaces, pp. 127\u2013132. IEEE, Los Alamitos (2007)"},{"issue":"3","key":"10_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/jdm.2005070101","volume":"16","author":"N. Jukic","year":"2005","unstructured":"Jukic, N., Nestorov, S., Vrbsky, S.V., Parrish, A.S.: Enhancing database access control by facilitating non-key related cover stories. Journal of Database Management\u00a016(3), 1\u201320 (2005)","journal-title":"Journal of Database Management"},{"issue":"2","key":"10_CR3","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0169-023X(01)00006-4","volume":"37","author":"F. Cuppens","year":"2001","unstructured":"Cuppens, F., Gabillon, A.: Cover story management. Data & Knowledge Engineering\u00a037(2), 177\u2013201 (2001)","journal-title":"Data & Knowledge Engineering"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/BFb0013905","volume-title":"Computer Security - ESORICS 92","author":"R.S. Sandhu","year":"1992","unstructured":"Sandhu, R.S., Jajodia, S.: Polyinstantation for cover stories. In: Second ESORICS. In: Deswarte, Y., Quisquater, J.-J., Eizenberg, G. (eds.) ESORICS 1992. LNCS, vol.\u00a0648, pp. 307\u2013328. Springer, Heidelberg (1992)"},{"key":"10_CR5","first-page":"199","volume-title":"Proceedings of 18th International Conference on Very Large Data Bases","author":"K. Smith","year":"1992","unstructured":"Smith, K., Winslett, M.: Entity modeling in the MLS relational model. In: Proceedings of 18th International Conference on Very Large Data Bases, pp. 199\u2013210. Morgan Kaufmann, San Francisco (1992)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","first-page":"409","volume-title":"LFCS 2009","author":"P. Stouppa","year":"2009","unstructured":"Stouppa, P., Studer, T.: Data privacy for knowledge bases. In: Artemov, S., Nerode, A. (eds.) LFCS 2009. LNCS, vol.\u00a05407, pp. 409\u2013421. Springer, Heidelberg (2009)"},{"issue":"1","key":"10_CR7","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.tcs.2004.10.033","volume":"336","author":"R. Fagin","year":"2005","unstructured":"Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: semantics and query answering. Theoretical Computer Science\u00a0336(1), 89\u2013124 (2005)","journal-title":"Theoretical Computer Science"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11965893_1","volume-title":"Database Theory \u2013 ICDT 2007","author":"J. Chomicki","year":"2006","unstructured":"Chomicki, J.: Consistent query answering: Five easy pieces. In: Schwentick, T., Suciu, D. (eds.) ICDT 2007. LNCS, vol.\u00a04353, pp. 1\u201317. Springer, Heidelberg (2006)"},{"issue":"4","key":"10_CR9","doi-asserted-by":"publisher","first-page":"477","DOI":"10.3233\/JCS-2008-0325","volume":"16","author":"J. Biskup","year":"2008","unstructured":"Biskup, J., Wiese, L.: Preprocessing for controlled query evaluation with availability policy. Journal of Computer Security\u00a016(4), 477\u2013494 (2008)","journal-title":"Journal of Computer Security"},{"issue":"1-2","key":"10_CR10","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/s10472-007-9070-5","volume":"50","author":"J. Biskup","year":"2007","unstructured":"Biskup, J., Bonatti, P.A.: Controlled query evaluation with open queries for a decidable relational submodel. Annals of Mathematics and Artificial Intelligence\u00a050(1-2), 39\u201377 (2007)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10_CR11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511663109","volume-title":"Updating Logical Databases","author":"M. Winslett","year":"1990","unstructured":"Winslett, M.: Updating Logical Databases. Cambridge University Press, Cambridge (1990)"},{"key":"10_CR12","volume-title":"The Classical Decision Problem","author":"E. B\u00f6rger","year":"2001","unstructured":"B\u00f6rger, E., Gr\u00e4del, E., Gurevich, Y.: The Classical Decision Problem. Springer, Heidelberg (2001)"},{"key":"10_CR13","volume-title":"Foundations of Databases","author":"S. Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)"},{"key":"10_CR14","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1145\/114325.103712","volume":"16","author":"A. Gelder Van","year":"1991","unstructured":"Van Gelder, A., Topor, R.W.: Safety and translation of relational calculus queries. ACM Transactions on Database Systems\u00a016, 235\u2013278 (1991)","journal-title":"ACM Transactions on Database Systems"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-540-77086-2_10","volume-title":"Information Systems Security","author":"J. Biskup","year":"2007","unstructured":"Biskup, J., Burgard, D.M., Weibert, T., Wiese, L.: Inference control in logic databases as a constraint satisfaction problem. In: McDaniel, P., Gupta, S.K. (eds.) ICISS 2007. LNCS, vol.\u00a04812, pp. 128\u2013142. Springer, Heidelberg (2007)"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Tadros, C., Wiese, L.: Using SAT solvers to compute inference-proof database instances (submitted, 2009)","DOI":"10.1007\/978-3-642-11207-2_6"},{"key":"10_CR17","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C.L. Chang","year":"1973","unstructured":"Chang, C.L., Lee, R.C.T.: Symbolic Logic and Mechanical Theorem Proving. Academic Press, London (1973)"},{"issue":"6","key":"10_CR18","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1007\/BF01213204","volume":"31","author":"R. Hull","year":"1994","unstructured":"Hull, R., Su, J.: Domain independence and the relational calculus. Acta Informatica\u00a031(6), 513\u2013524 (1994)","journal-title":"Acta Informatica"},{"key":"10_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-540-74835-9_12","volume-title":"Computer Security \u2013 ESORICS 2007","author":"V. Ciriani","year":"2007","unstructured":"Ciriani, V., De Capitani di Vimercati, S., Foresti, S., Jajodia, S., Paraboschi, S., Samarati, P.: Fragmentation and encryption to enforce privacy in data storage. In: Biskup, J., L\u00f3pez, J. (eds.) ESORICS 2007. LNCS, vol.\u00a04734, pp. 171\u2013186. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Information Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04474-8_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:29:23Z","timestamp":1558268963000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04474-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642044731","9783642044748"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04474-8_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}