{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,14]],"date-time":"2026-07-14T17:27:33Z","timestamp":1784050053257,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,5,27]],"date-time":"2015-05-27T00:00:00Z","timestamp":1432684800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,5,27]]},"DOI":"10.1145\/2723372.2742796","type":"proceedings-article","created":{"date-parts":[[2015,6,2]],"date-time":"2015-06-02T05:35:02Z","timestamp":1433223302000},"page":"1371-1382","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":163,"title":["Design and Implementation of the LogicBlox System"],"prefix":"10.1145","author":[{"given":"Molham","family":"Aref","sequence":"first","affiliation":[{"name":"LogicBlox, Atlanta, GA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Balder","family":"ten Cate","sequence":"additional","affiliation":[{"name":"LogicBlox, Atlanta, GA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Todd J.","family":"Green","sequence":"additional","affiliation":[{"name":"LogicBlox, Atlanta, GA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Benny","family":"Kimelfeld","sequence":"additional","affiliation":[{"name":"LogicBlox, Atlanta, GA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dan","family":"Olteanu","sequence":"additional","affiliation":[{"name":"LogicBlox, Atlanta, GA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Emir","family":"Pasalic","sequence":"additional","affiliation":[{"name":"LogicBlox, Atlanta, GA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Todd L.","family":"Veldhuizen","sequence":"additional","affiliation":[{"name":"LogicBlox, Atlanta, GA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Geoffrey","family":"Washburn","sequence":"additional","affiliation":[{"name":"LogicBlox, Atlanta, GA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2015,5,27]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"http:\/\/www.datalog20.org\/programme.html.  http:\/\/www.datalog20.org\/programme.html."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/551350"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s12532-008-0001-1"},{"key":"e_1_3_2_1_4_1","volume-title":"CIDR","author":"Alvaro Peter","year":"2011","unstructured":"Peter Alvaro , Neil Conway , Joseph M. Hellerstein , and William R. Marczak . Consistency analysis in Bloom: a calm and collected approach . In CIDR , 2011 . Peter Alvaro, Neil Conway, Joseph M. Hellerstein, and William R. Marczak. Consistency analysis in Bloom: a calm and collected approach. In CIDR, 2011."},{"key":"e_1_3_2_1_5_1","volume-title":"Benny Kimelfeld, Dan Olteanu, and Zografoula Vagena. Declarative statistical modeling with Datalog. arXiv:1412.2221","author":"Barany Vince","year":"2014","unstructured":"Vince Barany , Balder ten Cate , Benny Kimelfeld, Dan Olteanu, and Zografoula Vagena. Declarative statistical modeling with Datalog. arXiv:1412.2221 , 2014 . Vince Barany, Balder ten Cate, Benny Kimelfeld, Dan Olteanu, and Zografoula Vagena. Declarative statistical modeling with Datalog. arXiv:1412.2221, 2014."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/356842.356846"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/277651.277660"},{"key":"e_1_3_2_1_8_1","unstructured":"C. Borraz-S\u00e1nchez J. Ma D. Klabjan R. Fourer E. Pasalic and M. Aref. Algebraic modeling in Datalog. http:\/\/dynresmanagement.com\/uploads\/3\/3\/2\/9\/3329212\/datalog_modeling.pdf.  C. Borraz-S\u00e1nchez J. Ma D. Klabjan R. Fourer E. Pasalic and M. Aref. Algebraic modeling in Datalog. http:\/\/dynresmanagement.com\/uploads\/3\/3\/2\/9\/3329212\/datalog_modeling.pdf."},{"key":"e_1_3_2_1_9_1","first-page":"73","volume-title":"UAI","author":"Br\u00f6cheler Matthias","year":"2010","unstructured":"Matthias Br\u00f6cheler , Lilyana Mihalkova , and Lise Getoor . Probabilistic similarity logic . In UAI , pages 73 -- 82 , 2010 . Matthias Br\u00f6cheler, Lilyana Mihalkova, and Lise Getoor. Probabilistic similarity logic. In UAI, pages 73--82, 2010."},{"key":"e_1_3_2_1_10_1","first-page":"1529","volume-title":"Chris Parnin. First Int. Workshop on Live Programming (LIVE). In ICSE","author":"Burg Brian","year":"2013","unstructured":"Brian Burg , Adrian Kuhn , and Chris Parnin. First Int. Workshop on Live Programming (LIVE). In ICSE , pages 1529 -- 1530 , 2013 . Brian Burg, Adrian Kuhn, and Chris Parnin. First Int. Workshop on Live Programming (LIVE). In ICSE, pages 1529--1530, 2013."},{"key":"e_1_3_2_1_11_1","volume-title":"An Introduction to Database Systems. Pearson Education, eighth edition","author":"Date S. Swaminathan C. J.","year":"2008","unstructured":"S. Swaminathan C. J. Date , A. Kannan . An Introduction to Database Systems. Pearson Education, eighth edition , 2008 . S. Swaminathan C. J. Date, A. Kannan. An Introduction to Database Systems. Pearson Education, eighth edition, 2008."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0096-0551(01)00010-8"},{"key":"e_1_3_2_1_13_1","volume-title":"SNAPL","author":"Chin B.","year":"2015","unstructured":"B. Chin , D. von Dincklage , V. Ercegovak , P. Hawkins , M. S. Miller , F. Och , C. Olston , and F. Pereira . Yedalog: Exploring knowledge at scale . In SNAPL , 2015 . To appear. B. Chin, D. von Dincklage, V. Ercegovak, P. Hawkins, M. S. Miller, F. Och, C. Olston, and F. Pereira. Yedalog: Exploring knowledge at scale. In SNAPL, 2015. To appear."},{"key":"e_1_3_2_1_14_1","first-page":"743","volume-title":"SODA","author":"Demaine Erik D.","year":"2000","unstructured":"Erik D. Demaine , Alejandro L\u00f3pez-Ortiz , and J. Ian Munro . Adaptive set intersections, unions, and differences . In SODA , pages 743 -- 752 , 2000 . Erik D. Demaine, Alejandro L\u00f3pez-Ortiz, and J. Ian Munro. Adaptive set intersections, unions, and differences. In SODA, pages 743--752, 2000."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855041"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2094114.2094126"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429117"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068409990251"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1561\/1900000017"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/170035.170066"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/2765617"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/1948509.1948613"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1989323.1989456"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1137\/0201004"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"N. Immerman. Descriptive Complexity. Springer 1999.  N. Immerman. Descriptive Complexity. Springer 1999.","DOI":"10.1007\/978-1-4612-0539-5"},{"key":"e_1_3_2_1_26_1","unstructured":"Jure Leskovec and Andrej Krevl. SNAP Datasets: Stanford large network dataset collection. http:\/\/snap.stanford.edu\/data June 2014.  Jure Leskovec and Andrej Krevl. SNAP Datasets: Stanford large network dataset collection. http:\/\/snap.stanford.edu\/data June 2014."},{"key":"e_1_3_2_1_27_1","volume-title":"ICDT","author":"Libkin Leonid","year":"2015","unstructured":"Leonid Libkin . SQL's three-valued logic and certain answers . In ICDT , 2015 . To appear. Leonid Libkin. SQL's three-valued logic and certain answers. In ICDT, 2015. To appear."},{"key":"e_1_3_2_1_28_1","series-title":"DISDBIS","volume-title":"Integration of Active and Deductive Database Rules","author":"Bertram","year":"1998","unstructured":"Bertram Lud\\\"ascher. Integration of Active and Deductive Database Rules , volume 45 of DISDBIS . Infix Verlag , St . August in, Germany, 1998 . Bertram Lud\\\"ascher. Integration of Active and Deductive Database Rules, volume 45 of DISDBIS. Infix Verlag, St. Augustin, Germany, 1998."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/42207"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2213836.2213875"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2213556.2213565"},{"key":"e_1_3_2_1_32_1","volume-title":"Join processing for graph patterns: An old dog with new tricks. arXiv:1503.04169","author":"Nguyen Dung","year":"2015","unstructured":"Dung Nguyen , Molham Aref , Martin Bravenboer , George Kollias , Hung Q. Ngo , Christopher R\u00e9 , and Atri Rudra . Join processing for graph patterns: An old dog with new tricks. arXiv:1503.04169 , 2015 . Dung Nguyen, Molham Aref, Martin Bravenboer, George Kollias, Hung Q. Ngo, Christopher R\u00e9, and Atri Rudra. Join processing for graph patterns: An old dog with new tricks. arXiv:1503.04169, 2015."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.14778\/1978665.1978669"},{"key":"e_1_3_2_1_34_1","volume-title":"Datalog Reloaded: Proceedings of the First International Datalog 2.0 Workshop. Springer","author":"Andrew Sellers Tim Furche","year":"2011","unstructured":"Tim Furche Andrew Sellers Oege de Moor , Georg Gottlob , editor. Datalog Reloaded: Proceedings of the First International Datalog 2.0 Workshop. Springer , 2011 . Tim Furche Andrew Sellers Oege de Moor, Georg Gottlob, editor. Datalog Reloaded: Proceedings of the First International Datalog 2.0 Workshop. Springer, 2011."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/580840"},{"key":"e_1_3_2_1_36_1","volume-title":"Gurobi optimizer reference manual","author":"Optimization Gurobi","year":"2015","unstructured":"Gurobi Optimization . Gurobi optimizer reference manual , 2015 . Gurobi Optimization. Gurobi optimizer reference manual, 2015."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01940876"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364527.2364542"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2005.1"},{"key":"e_1_3_2_1_40_1","volume-title":"Incremental maintenance for leapfrog triejoin. CoRR, abs\/1303.5313","author":"Veldhuizen Todd L.","year":"2013","unstructured":"Todd L. Veldhuizen . Incremental maintenance for leapfrog triejoin. CoRR, abs\/1303.5313 , 2013 . Todd L. Veldhuizen. Incremental maintenance for leapfrog triejoin. CoRR, abs\/1303.5313, 2013."},{"key":"e_1_3_2_1_42_1","first-page":"96","volume-title":"ICDT","author":"Veldhuizen Todd L.","year":"2014","unstructured":"Todd L. Veldhuizen . Leapfrog triejoin : A simple, worst-case optimal join algorithm . In ICDT , pages 96 -- 106 , 2014 . Todd L. Veldhuizen. Leapfrog triejoin: A simple, worst-case optimal join algorithm. In ICDT, pages 96--106, 2014."},{"key":"e_1_3_2_1_43_1","volume-title":"Transaction repair: Full serializability without locks. CoRR, abs\/1403.5645","author":"Veldhuizen Todd L.","year":"2014","unstructured":"Todd L. Veldhuizen . Transaction repair: Full serializability without locks. CoRR, abs\/1403.5645 , 2014 . Todd L. Veldhuizen. Transaction repair: Full serializability without locks. CoRR, abs\/1403.5645, 2014."}],"event":{"name":"SIGMOD\/PODS'15: International Conference on Management of Data","location":"Melbourne Victoria Australia","acronym":"SIGMOD\/PODS'15","sponsor":["SIGMOD ACM Special Interest Group on Management of Data"]},"container-title":["Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2723372.2742796","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2723372.2742796","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:16:38Z","timestamp":1750227398000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2723372.2742796"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5,27]]},"references-count":42,"alternative-id":["10.1145\/2723372.2742796","10.1145\/2723372"],"URL":"https:\/\/doi.org\/10.1145\/2723372.2742796","relation":{},"subject":[],"published":{"date-parts":[[2015,5,27]]},"assertion":[{"value":"2015-05-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}