{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:43:01Z","timestamp":1775054581702,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642380037","type":"print"},{"value":"9783642380044","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38004-4_20","type":"book-chapter","created":{"date-parts":[[2013,4,22]],"date-time":"2013-04-22T08:24:16Z","timestamp":1366619056000},"page":"305-320","source":"Crossref","is-referenced-by-count":5,"title":["A Datalog Semantics for Paralocks"],"prefix":"10.1007","author":[{"given":"Bart","family":"van Delft","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Niklas","family":"Broberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Sands","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/6012.15399","volume-title":"Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, PODS 1986","author":"F. Bancilhon","year":"1986","unstructured":"Bancilhon, F., Maier, D., Sagiv, Y., Ullman, J.D.: Magic sets and other strange ways to implement logic programs (extended abstract). In: Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, PODS 1986, pp. 1\u201315. ACM, New York (1986)"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Brewer, D.F.C., Nash, M.J.: The Chinese Wall Security Policy. In: Proceedings of the 1989 IEEE Symposium on Security and Privacy, pp. 206\u2013214 (1989)","DOI":"10.1109\/SECPRI.1989.36295"},{"key":"20_CR3","unstructured":"Broberg, N.: Practical, Flexible Programming with Information Flow Control. Ph.D. thesis, Chalmers, G\u00f6teborg University, G\u00f6teborg, Sweden (2011)"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Broberg, N., Sands, D.: Paralocks \u2013 Role-Based Information Flow Control and Beyond. In: Proceedings of the 37th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL (2010)","DOI":"10.1145\/1706299.1706349"},{"key":"20_CR5","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1145\/275487.275504","volume-title":"Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS 1998","author":"D. Calvanese","year":"1998","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: On the decidability of query containment under constraints. In: Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS 1998, pp. 149\u2013158. ACM, New York (1998)"},{"issue":"1","key":"20_CR6","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1109\/69.43410","volume":"1","author":"S. Ceri","year":"1989","unstructured":"Ceri, S., Gottlob, G., Tanca, L.: What You Always Wanted to Know About Datalog (And Never Dared to Ask). IEEE Trans. on Knowl. and Data Eng.\u00a01(1), 146\u2013166 (1989)","journal-title":"IEEE Trans. on Knowl. and Data Eng."},{"issue":"2","key":"20_CR7","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/S0304-3975(99)00220-0","volume":"239","author":"C. Chekuri","year":"2000","unstructured":"Chekuri, C., Rajaraman, A.: Conjunctive query containment revisited. Theoretical Computer Science\u00a0239(2), 211\u2013229 (2000)","journal-title":"Theoretical Computer Science"},{"key":"20_CR8","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/502807.502810","volume":"33","author":"E. Dantsin","year":"2001","unstructured":"Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Computing Surveys\u00a033, 374\u2013425 (2001)","journal-title":"ACM Computing Surveys"},{"issue":"7","key":"20_CR9","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1145\/359636.359712","volume":"20","author":"D.E. Denning","year":"1977","unstructured":"Denning, D.E., Denning, P.J.: Certification of programs for secure information flow. Comm. of the ACM\u00a020(7), 504\u2013513 (1977)","journal-title":"Comm. of the ACM"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"DeTreville, J.: Binder, a logic-based security language. In: IEEE Symposium on Security and Privacy, pp. 105\u2013113 (2002)","DOI":"10.1109\/SECPRI.2002.1004365"},{"key":"20_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1007\/11814771_51","volume-title":"Automated Reasoning","author":"D.J. Dougherty","year":"2006","unstructured":"Dougherty, D.J., Fisler, K., Krishnamurthi, S.: Specifying and Reasoning About Dynamic Access-Control Policies. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 632\u2013646. Springer, Heidelberg (2006)"},{"issue":"2","key":"20_CR12","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/j.datak.2004.08.002","volume":"53","author":"C. Farr\u00e9","year":"2005","unstructured":"Farr\u00e9, C., Teniente, E., Urp\u00ec, T.: Checking query containment with the CQC method. Data & Knowledge Engineering\u00a053(2), 163\u2013223 (2005)","journal-title":"Data & Knowledge Engineering"},{"issue":"1","key":"20_CR13","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1145\/42267.42273","volume":"35","author":"A. Klug","year":"1988","unstructured":"Klug, A.: On Conjunctive Queries Containing Inequalities. J. ACM\u00a035(1), 146\u2013160 (1988)","journal-title":"J. ACM"},{"key":"20_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/3-540-36388-2_6","volume-title":"Practical Aspects of Declarative Languages","author":"N. Li","year":"2002","unstructured":"Li, N., Mitchell, J.C.: Datalog with Constraints: A Foundation for Trust Management Languages. In: Dahl, V. (ed.) PADL 2003. LNCS, vol.\u00a02562, pp. 58\u201373. Springer, Heidelberg (2002)"},{"key":"20_CR15","unstructured":"Li, N., Mitchell, J.C., Winsborough, W.H.: Design of a role-based trust-management framework. In: IEEE Symposium on Security and Privacy, pp. 114\u2013130 (2002)"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Sagiv, Y.: Optimizing Datalog Programs. In: Foundations of Deductive Databases and Logic Programming, pp. 659\u2013698. Morgan Kaufmann (1988)","DOI":"10.1016\/B978-0-934613-40-8.50021-X"},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"Shmueli, O.: Decidability and expressiveness aspects of logic queries. In: Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS 1987, pp. 237\u2013249 (1987)","DOI":"10.1145\/28659.28685"},{"key":"20_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-62222-5_34","volume-title":"Database Theory - ICDT \u201997","author":"J. Ullman","year":"1997","unstructured":"Ullman, J.: Information integration using logical views. In: Afrati, F.N., Kolaitis, P.G. (eds.) ICDT 1997. LNCS, vol.\u00a01186, pp. 19\u201340. Springer, Heidelberg (1997)"},{"key":"20_CR19","unstructured":"Ullman, J.D.: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press (1988)"}],"container-title":["Lecture Notes in Computer Science","Security and Trust Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38004-4_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T06:03:39Z","timestamp":1745993019000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38004-4_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642380037","9783642380044"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38004-4_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}