{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T10:54:01Z","timestamp":1769079241165,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":55,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T00:00:00Z","timestamp":1550275200000},"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":[[2019,2,16]]},"DOI":"10.1145\/3293883.3295719","type":"proceedings-article","created":{"date-parts":[[2019,2,5]],"date-time":"2019-02-05T20:44:12Z","timestamp":1549399452000},"page":"327-339","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":26,"title":["A specialized B-tree for concurrent datalog evaluation"],"prefix":"10.1145","author":[{"given":"Herbert","family":"Jordan","sequence":"first","affiliation":[{"name":"University of Innsbruck, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavle","family":"Suboti\u0107","sequence":"additional","affiliation":[{"name":"University College London, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Zhao","sequence":"additional","affiliation":[{"name":"University of Sydney, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Scholz","sequence":"additional","affiliation":[{"name":"University of Sydney, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,2,16]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Serge Abiteboul Richard Hull and Victor Vianu (Eds.). 1995. Foundations of Databases: The Logical Level (1st ed.). Addison-Wesley Longman Publishing Co. Inc.   Serge Abiteboul Richard Hull and Victor Vianu (Eds.). 1995. Foundations of Databases: The Logical Level (1st ed.). Addison-Wesley Longman Publishing Co. Inc."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771284.2771287"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3088515.3088522"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2611462.2611471"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3018743.3018761"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00288683"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2247684.2247688"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2312005.2312016"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572274"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1639949.1640108"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837853.1693488"},{"key":"e_1_3_2_1_12_1","volume-title":"B-slack Trees: Space Efficient B-Trees. In Algorithm Theory - SWAT","author":"Brown Trevor","year":"2014","unstructured":"Trevor Brown . 2014 . B-slack Trees: Space Efficient B-Trees. In Algorithm Theory - SWAT 2014, R. Ravi and Inge Li G\u00f8rtz (Eds.). Springer International Publishing , Cham, 122--133. Trevor Brown. 2014. B-slack Trees: Space Efficient B-Trees. In Algorithm Theory - SWAT 2014, R. Ravi and Inge Li G\u00f8rtz (Eds.). Springer International Publishing, Cham, 122--133."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25873-2_15"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/73721.73742"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2145816.2145837"},{"key":"e_1_3_2_1_16_1","volume-title":"d.}. Souffle - A Datalog Engine","author":"Developers The Souffle","unstructured":"The Souffle Developers . {n. d.}. Souffle - A Datalog Engine . http:\/\/www.github.com\/souffle-lang\/souffle. ({n. d.}). Accessed: 2019-01-05. The Souffle Developers. {n. d.}. Souffle - A Datalog Engine. http:\/\/www.github.com\/souffle-lang\/souffle. ({n. d.}). Accessed: 2019-01-05."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2692916.2555269"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/2789770.2789803"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/93597.98724"},{"key":"e_1_3_2_1_20_1","unstructured":"Google. {n. d.}. B-Tree Containers from Google. https:\/\/isocpp.org\/blog\/2013\/02\/b-tree-containers-from-google. ({n. d.}). Accessed: 2017-02-14.  Google. {n. d.}. B-Tree Containers from Google. https:\/\/isocpp.org\/blog\/2013\/02\/b-tree-containers-from-google. ({n. d.}). Accessed: 2017-02-14."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806907.1806908"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1561\/1900000017"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3088515.3088519"},{"key":"e_1_3_2_1_24_1","volume-title":"Patterson","author":"Hennessy John L.","year":"2011","unstructured":"John L. Hennessy and David A . Patterson . 2011 . Computer Architecture, Fifth Edition : A Quantitative Approach (5th ed.). Morgan Kaufmann Publishers Inc ., San Francisco, CA, USA. John L. Hennessy and David A. Patterson. 2011. Computer Architecture, Fifth Edition: A Quantitative Approach (5th ed.). Morgan Kaufmann Publishers Inc., San Francisco, CA, USA."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032341"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2312005.2312036"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/88830.88839"},{"key":"e_1_3_2_1_28_1","volume-title":"Souffle: On Synthesis of Program Analyzers. In International Conference on Computer Aided Verification.","author":"Jordan Herbert","year":"2016","unstructured":"Herbert Jordan , Bernhard Scholz , and Pavle Suboti\u0107 . 2016 . Souffle: On Synthesis of Program Analyzers. In International Conference on Computer Aided Verification. Herbert Jordan, Bernhard Scholz, and Pavle Suboti\u0107. 2016. Souffle: On Synthesis of Program Analyzers. In International Conference on Computer Aided Verification."},{"key":"e_1_3_2_1_29_1","volume-title":"Optimal On The Fly Index Selection in Polynomial Time. CoRR abs\/1709.03685","author":"Jordan Herbert","year":"2017","unstructured":"Herbert Jordan , Bernhard Scholz , and Pavle Subotic . 2017. Optimal On The Fly Index Selection in Polynomial Time. CoRR abs\/1709.03685 ( 2017 ). arXiv:1709.03685 http:\/\/arxiv.org\/abs\/1709.03685 Herbert Jordan, Bernhard Scholz, and Pavle Subotic. 2017. Optimal On The Fly Index Selection in Polynomial Time. CoRR abs\/1709.03685 (2017). arXiv:1709.03685 http:\/\/arxiv.org\/abs\/1709.03685"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2014.6835957"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/319566.319567"},{"key":"e_1_3_2_1_32_1","volume-title":"Gelato Conference","volume":"2005","author":"Lameter Christoph","year":"2005","unstructured":"Christoph Lameter . 2005 . Effective synchronization on Linux\/NUMA systems . In Gelato Conference , Vol. 2005 . Christoph Lameter. 2005. Effective synchronization on Linux\/NUMA systems. In Gelato Conference, Vol. 2005."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/319628.319663"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2013.6544834"},{"key":"e_1_3_2_1_35_1","volume-title":"Proceedings of the 14th Conference on USENIX Security Symposium -","volume":"14","author":"Benjamin Livshits V.","unstructured":"V. Benjamin Livshits and Monica S. Lam . 2005. Finding Security Vulnerabilities in Java Applications with Static Analysis . In Proceedings of the 14th Conference on USENIX Security Symposium - Volume 14 (SSYM'05). USENIX Association, Berkeley, CA, USA, 18--18. V. Benjamin Livshits and Monica S. Lam. 2005. Finding Security Vulnerabilities in Java Applications with Static Analysis. In Proceedings of the 14th Conference on USENIX Security Symposium - Volume 14 (SSYM'05). USENIX Association, Berkeley, CA, USA, 18--18."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2168836.2168855"},{"key":"e_1_3_2_1_37_1","volume-title":"V\u0131tor Santos Costa, and Jorge Buenabad-Ch\u00e1vez","author":"Mart\u0131nez-Angeles Carlos Alberto","year":"2014","unstructured":"Carlos Alberto Mart\u0131nez-Angeles , In\u00eas Dutra , V\u0131tor Santos Costa, and Jorge Buenabad-Ch\u00e1vez . 2014 . A datalog engine for gpus. Declarative Programming and Knowledge Management ( 2014), 152--168. Carlos Alberto Mart\u0131nez-Angeles, In\u00eas Dutra, V\u0131tor Santos Costa, and Jorge Buenabad-Ch\u00e1vez. 2014. A datalog engine for gpus. Declarative Programming and Knowledge Management (2014), 152--168."},{"key":"e_1_3_2_1_38_1","volume-title":"Optimistic versus pessimistic concurrency control mechanisms in database management systems. Information systems 7, 1","author":"Menasc\u00e9 Daniel A","year":"1982","unstructured":"Daniel A Menasc\u00e9 and Tatuo Nakanishi . 1982. Optimistic versus pessimistic concurrency control mechanisms in database management systems. Information systems 7, 1 ( 1982 ), 13--27. Daniel A Menasc\u00e9 and Tatuo Nakanishi. 1982. Optimistic versus pessimistic concurrency control mechanisms in database management systems. Information systems 7, 1 (1982), 13--27."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2555243.2555256"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2484239.2484270"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2370036.2145836"},{"key":"e_1_3_2_1_42_1","volume-title":"Intel threading building blocks: outfitting C++ for multi-core processor parallelism. \"O'Reilly Media","author":"Reinders James","unstructured":"James Reinders . 2007. Intel threading building blocks: outfitting C++ for multi-core processor parallelism. \"O'Reilly Media , Inc .\". James Reinders. 2007. Intel threading building blocks: outfitting C++ for multi-core processor parallelism. \"O'Reilly Media, Inc.\"."},{"key":"e_1_3_2_1_43_1","volume-title":"Demand Interprocedural Program Analysis Using Logic Databases","author":"Reps Thomas W.","unstructured":"Thomas W. Reps . 1995. Demand Interprocedural Program Analysis Using Logic Databases . Springer US , Boston, MA , 163--196. Thomas W. Reps. 1995. Demand Interprocedural Program Analysis Using Logic Databases. Springer US, Boston, MA, 163--196."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892226"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASWEC.2015.15"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/113413.113435"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.14778\/2556549.2556572"},{"key":"e_1_3_2_1_48_1","volume-title":"PALM: Parallel Architecture-Friendly Latch-Free Modifications to B+ Trees on Many-Core Processors. PVLDB 4 (08","author":"Sewall Jason","year":"2011","unstructured":"Jason Sewall , Jatin Chhugani , Changkyu Kim , Nadathur Satish , and Pradeep Dubey . 2011 . PALM: Parallel Architecture-Friendly Latch-Free Modifications to B+ Trees on Many-Core Processors. PVLDB 4 (08 2011), 795--806. Jason Sewall, Jatin Chhugani, Changkyu Kim, Nadathur Satish, and Pradeep Dubey. 2011. PALM: Parallel Architecture-Friendly Latch-Free Modifications to B+ Trees on Many-Core Processors. PVLDB 4 (08 2011), 795--806."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32925-8_17"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.14778\/2536274.2536290"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2612669.2612687"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/11575467_8"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/93605.98723"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/971701.50242"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-016-0448-z"}],"event":{"name":"PPoPP '19: 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","location":"Washington District of Columbia","acronym":"PPoPP '19","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGHPC ACM Special Interest Group on High Performance Computing, Special Interest Group on High Performance Computing"]},"container-title":["Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3293883.3295719","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3293883.3295719","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:01:47Z","timestamp":1750208507000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3293883.3295719"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2,16]]},"references-count":55,"alternative-id":["10.1145\/3293883.3295719","10.1145\/3293883"],"URL":"https:\/\/doi.org\/10.1145\/3293883.3295719","relation":{},"subject":[],"published":{"date-parts":[[2019,2,16]]},"assertion":[{"value":"2019-02-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}