{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T21:27:49Z","timestamp":1725658069882},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642276934"},{"type":"electronic","value":"9783642276941"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-27694-1_9","type":"book-chapter","created":{"date-parts":[[2012,2,7]],"date-time":"2012-02-07T22:38:40Z","timestamp":1328654320000},"page":"108-122","source":"Crossref","is-referenced-by-count":0,"title":["Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation"],"prefix":"10.1007","author":[{"given":"Dario","family":"Campagna","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Beata","family":"Sarna-Starosta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Schrijvers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)"},{"key":"9_CR2","unstructured":"Ashley-Rollman, M.P., De Rosa, M., Srinivasa, S.S., Pillai, P., Goldstein, S.C., Campbell, J.D.: Declarative Programming for Modular Robots. In: Workshop on Self-Reconfigurable Robots\/Systems and Applications at IROS (2007)"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Bravenboer, M., Smaragdakis, Y.: Exception Analysis and Points-To Analysis: Better Together. In: ISSTA, pp. 1\u201312 (2009)","DOI":"10.1145\/1572272.1572274"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Bravenboer, M., Smaragdakis, Y.: Strictly Declarative Specification of Sophisticated Points-To Analyses. In: OOPSLA, pp. 243\u2013262 (2009)","DOI":"10.1145\/1639949.1640108"},{"key":"9_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/11941439_9","volume-title":"AI 2006: Advances in Artificial Intelligence","author":"C. Choi","year":"2006","unstructured":"Choi, C., Harvey, W., Lee, J., Stuckey, P.: Finite Domain Bounds Consistency Revisited. In: Sattar, A., Kang, B.-h. (eds.) AI 2006. LNCS (LNAI), vol.\u00a04304, pp. 49\u201358. Springer, Heidelberg (2006)"},{"key":"9_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1007\/3-540-44957-4_32","volume-title":"Computational Logic - CL 2000","author":"B. Cui","year":"2000","unstructured":"Cui, B., Warren, D.S.: A System for Tabled Constraint Logic Programming. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, pp. 478\u2013492. Springer, Heidelberg (2000)"},{"key":"9_CR7","unstructured":"Google\u2019s Protocol Buffers, \n                  \n                    http:\/\/code.google.com\/apis\/protocolbuffers\/"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Lam, M.S., Whaley, J., Livshits, V.B., Martin, M.C., Avots, D., Carbin, M., Unkel, C.: Context-sensitive program analysis as database queries. In: PODS, pp. 1\u201312 (2005)","DOI":"10.1145\/1065167.1065169"},{"issue":"3","key":"9_CR9","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N. Leone","year":"2006","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Logic\u00a07(3), 499\u2013562 (2006)","journal-title":"ACM Trans. Comput. Logic"},{"key":"9_CR10","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":"9_CR11","unstructured":"LogicBlox, \n                  \n                    http:\/\/logicblox.com\/"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Loo, B.T., Condie, T., Garofalakis, M.N., Gay, D.E., Hellerstein, J.M., Maniatis, P., Ramakrishnan, R., Roscoe, T., Stoica, I.: Declarative networking: language, execution and optimization. In: SIGMOD, pp. 97\u2013108 (2006)","DOI":"10.1145\/1142473.1142485"},{"key":"9_CR13","unstructured":"Maier, D., Warren, D.S.: Computing with Logic: Logic Programming with Prolog. Benjamin\/Cummings (1988)"},{"key":"9_CR14","unstructured":"Predictix, \n                  \n                    http:\/\/www.predictix.com\/"},{"key":"9_CR15","unstructured":"Rosenwald, J.: SWI-Prolog Google\u2019s Protocol Buffers library, \n                  \n                    http:\/\/www.swi-prolog.org\/pldoc\/package\/protobufs.html"},{"key":"9_CR16","unstructured":"Semmle, \n                  \n                    http:\/\/semmle.com\/"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Sereni, D., Avgustinov, P., de Moor, O.: Adding magic to an optimising Datalog compiler. In: SIGMOD, pp. 553\u2013565 (2008)","DOI":"10.1145\/1376616.1376673"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Stuckey, P.J., Sudarshan, S.: Compiling query constraints (extended abstract). In: PODS, pp. 56\u201367 (1994)","DOI":"10.1145\/182591.182598"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"White, W., Demers, A., Koch, C., Gehrke, J., Rajagopalan, R.: Scaling games to epic proportions. In: SIGMOD, pp. 31\u201342 (2007)","DOI":"10.1145\/1247480.1247486"},{"key":"9_CR20","unstructured":"Wielemaker, J.: SWI-Prolog 5.10 Reference Manual (April 2010), \n                  \n                    http:\/\/www.swi-prolog.org"},{"key":"9_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-540-92995-6_12","volume-title":"Practical Aspects of Declarative Languages","author":"D. Zook","year":"2008","unstructured":"Zook, D., Pasalic, E., Sarna-Starosta, B.: Typed Datalog. In: Gill, A., Swift, T. (eds.) PADL 2009. LNCS, vol.\u00a05418, pp. 168\u2013182. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-27694-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,26]],"date-time":"2019-04-26T06:56:46Z","timestamp":1556261806000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-27694-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642276934","9783642276941"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-27694-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}