{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T04:54:03Z","timestamp":1773809643422,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":47,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,9,6]],"date-time":"2021-09-06T00:00:00Z","timestamp":1630886400000},"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":[[2021,9,6]]},"DOI":"10.1145\/3479394.3479415","type":"proceedings-article","created":{"date-parts":[[2021,10,7]],"date-time":"2021-10-07T22:23:02Z","timestamp":1633645382000},"page":"1-16","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Towards Elastic Incrementalization for Datalog"],"prefix":"10.1145","author":[{"given":"David","family":"Zhao","sequence":"first","affiliation":[{"name":"University of Sydney, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavle","family":"Subotic","sequence":"additional","affiliation":[{"name":"Microsoft, Serbia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mukund","family":"Raghothaman","sequence":"additional","affiliation":[{"name":"University of Southern California, USA"}],"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":[[2021,10,7]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Foundations of Databases","author":"Abiteboul Serge","unstructured":"Serge Abiteboul , Richard Hull , and Victor Vianu . 1995. Foundations of Databases . Addison-Wesley Publishing Company . Serge Abiteboul, Richard Hull, and Victor Vianu. 1995. Foundations of Databases. Addison-Wesley Publishing Company."},{"key":"e_1_3_2_1_2_1","volume-title":"Staged Points-to Analysis for Large Code Bases","author":"Allen Nicholas","unstructured":"Nicholas Allen , Bernhard Scholz , and Padmanabhan Krishnan . 2015. Staged Points-to Analysis for Large Code Bases . Springer Berlin Heidelberg , 131\u2013150. https:\/\/doi.org\/10.1007\/978-3-662-46663-6_7 10.1007\/978-3-662-46663-6_7 Nicholas Allen, Bernhard Scholz, and Padmanabhan Krishnan. 2015. Staged Points-to Analysis for Large Code Bases. Springer Berlin Heidelberg, 131\u2013150. https:\/\/doi.org\/10.1007\/978-3-662-46663-6_7"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2742796"},{"key":"e_1_3_2_1_4_1","volume-title":"CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II. 231\u2013241","author":"Backes John","year":"2019","unstructured":"John Backes , Sam Bayless , Byron Cook , Catherine Dodge , Andrew Gacek , Alan\u00a0 J. Hu , Temesghen Kahsai , Bill Kocik , Evgenii Kotelnikov , Jure Kukovec , Sean McLaughlin , Jason Reed , Neha Rungta , John Sizemore , Mark\u00a0 A. Stalzer , Preethi Srinivasan , Pavle Subotic , Carsten Varming , and Blake Whaley . 2019 . Reachability Analysis for AWS-Based Networks. In Computer Aided Verification - 31st International Conference , CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II. 231\u2013241 . John Backes, Sam Bayless, Byron Cook, Catherine Dodge, Andrew Gacek, Alan\u00a0J. Hu, Temesghen Kahsai, Bill Kocik, Evgenii Kotelnikov, Jure Kukovec, Sean McLaughlin, Jason Reed, Neha Rungta, John Sizemore, Mark\u00a0A. Stalzer, Preethi Srinivasan, Pavle Subotic, Carsten Varming, and Blake Whaley. 2019. Reachability Analysis for AWS-Based Networks. In Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II. 231\u2013241."},{"key":"e_1_3_2_1_5_1","first-page":"4","article-title":"Incremental Validation of XML Documents","volume":"29","author":"Balmin Andrey","year":"2004","unstructured":"Andrey Balmin , Yannis Papakonstantinou , and Victor Vianu . 2004 . Incremental Validation of XML Documents . ACM Trans. Database Syst. 29 , 4 (Dec. 2004), 710\u2013751. https:\/\/doi.org\/10.1145\/1042046.1042050 10.1145\/1042046.1042050 Andrey Balmin, Yannis Papakonstantinou, and Victor Vianu. 2004. Incremental Validation of XML Documents. ACM Trans. Database Syst. 29, 4 (Dec. 2004), 710\u2013751. https:\/\/doi.org\/10.1145\/1042046.1042050","journal-title":"ACM Trans. Database Syst."},{"key":"e_1_3_2_1_6_1","volume-title":"Datalog: Bag semantics via set semantics. arXiv preprint arXiv:1803.06445(2018).","author":"Bertossi Leopoldo","year":"2018","unstructured":"Leopoldo Bertossi , Georg Gottlob , and Reinhard Pichler . 2018 . Datalog: Bag semantics via set semantics. arXiv preprint arXiv:1803.06445(2018). Leopoldo Bertossi, Georg Gottlob, and Reinhard Pichler. 2018. Datalog: Bag semantics via set semantics. arXiv preprint arXiv:1803.06445(2018)."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068418000224"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1639949.1640108"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1561\/1900000006"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377813.3381347"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338112"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the 41th International Conference on Software Engineering, ICSE 2019. ACM, Montreal, QC, Canada, (to appear).","author":"Grech Neville","year":"2019","unstructured":"Neville Grech , Lexi Brent , Bernhard Scholz , and Yannis Smaragdakis . 2019 . Gigahorse: Thorough, Declarative Decompilation of Smart Contracts . In Proceedings of the 41th International Conference on Software Engineering, ICSE 2019. ACM, Montreal, QC, Canada, (to appear). Neville Grech, Lexi Brent, Bernhard Scholz, and Yannis Smaragdakis. 2019. Gigahorse: Thorough, Declarative Decompilation of Smart Contracts. In Proceedings of the 41th International Conference on Software Engineering, ICSE 2019. ACM, Montreal, QC, Canada, (to appear)."},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC","author":"Grech Neville","year":"2019","unstructured":"Neville Grech , Lexi Brent , Bernhard Scholz , and Yannis Smaragdakis . 2019 . Gigahorse: thorough, declarative decompilation of smart contracts . In Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC , Canada, May 25-31, 2019, Joanne\u00a0M. Atlee, Tevfik Bultan, and Jon Whittle(Eds.). IEEE \/ ACM, 1176\u20131186. https:\/\/doi.org\/10.1109\/ICSE. 2019.00120 10.1109\/ICSE.2019.00120 Neville Grech, Lexi Brent, Bernhard Scholz, and Yannis Smaragdakis. 2019. Gigahorse: thorough, declarative decompilation of smart contracts. In Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019, Joanne\u00a0M. Atlee, Tevfik Bultan, and Jon Whittle(Eds.). IEEE \/ ACM, 1176\u20131186. https:\/\/doi.org\/10.1109\/ICSE.2019.00120"},{"key":"e_1_3_2_1_14_1","volume-title":"MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts. In SPLASH 2018 OOPSLA.","author":"Grech Neville","year":"2018","unstructured":"Neville Grech , Michael Kong , Anton Jurisevic , Lexi Brent , Bernhard Scholz , and Yannis Smaragdakis . 2018 . MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts. In SPLASH 2018 OOPSLA. Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, and Yannis Smaragdakis. 2018. MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts. In SPLASH 2018 OOPSLA."},{"key":"e_1_3_2_1_15_1","unstructured":"Todd\u00a0J. Green Grigoris Karvounarakis Zachary\u00a0G. Ives and Val Tannen. 2007. Update Exchange with Mappings and Provenance. In In Very Large Data Bases (VLDB. 675\u2013686.  Todd\u00a0J. Green Grigoris Karvounarakis Zachary\u00a0G. Ives and Val Tannen. 2007. Update Exchange with Mappings and Provenance. In In Very Large Data Bases (VLDB. 675\u2013686."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/170036.170066"},{"key":"e_1_3_2_1_17_1","volume-title":"\u03bcZ\u2013 An Efficient Engine for Fixed Points with Constraints","author":"Hoder Kry\u0161tof","unstructured":"Kry\u0161tof Hoder , Nikolaj Bj\u00f8rner , and Leonardo de Moura . 2011. \u03bcZ\u2013 An Efficient Engine for Fixed Points with Constraints . In Computer Aided Verification, Ganesh Gopalakrishnan and Shaz Qadeer (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 457\u2013462. Kry\u0161tof Hoder, Nikolaj Bj\u00f8rner, and Leonardo de Moura. 2011. \u03bcZ\u2013 An Efficient Engine for Fixed Points with Constraints. In Computer Aided Verification, Ganesh Gopalakrishnan and Shaz Qadeer (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 457\u2013462."},{"key":"e_1_3_2_1_18_1","volume-title":"Thirty-Second AAAI Conference on Artificial Intelligence.","author":"Hu Pan","year":"2018","unstructured":"Pan Hu , Boris Motik , and Ian Horrocks . 2018 . Optimised maintenance of datalog materialisations . In Thirty-Second AAAI Conference on Artificial Intelligence. Pan Hu, Boris Motik, and Ian Horrocks. 2018. Optimised maintenance of datalog materialisations. In Thirty-Second AAAI Conference on Artificial Intelligence."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Pan Hu Boris Motik and Ian Horrocks. 2019. Modular Materialisation of Datalog Programs. (2019).  Pan Hu Boris Motik and Ian Horrocks. 2019. Modular Materialisation of Datalog Programs. (2019).","DOI":"10.1609\/aaai.v33i01.33012859"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1989323.1989456"},{"key":"e_1_3_2_1_21_1","volume-title":"Software Foundations for Data Interoperability and Large Scale Graph Data Analytics","author":"Imran Muhammad","unstructured":"Muhammad Imran , G\u00e1bor\u00a0 E G\u00e9vay , and Volker Markl . 2020. Distributed Graph Analytics with Datalog Queries in Flink . In Software Foundations for Data Interoperability and Large Scale Graph Data Analytics . Springer , 70\u201383. Muhammad Imran, G\u00e1bor\u00a0E G\u00e9vay, and Volker Markl. 2020. Distributed Graph Analytics with Datalog Queries in Flink. In Software Foundations for Data Interoperability and Large Scale Graph Data Analytics. Springer, 70\u201383."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_23"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_23"},{"key":"e_1_3_2_1_24_1","article-title":"Collaborative Data Sharing via Update Exchange and Provenance","volume":"38","author":"Karvounarakis Grigoris","year":"2013","unstructured":"Grigoris Karvounarakis , Todd\u00a0 J. Green , Zachary\u00a0 G. Ives , and Val Tannen . 2013 . Collaborative Data Sharing via Update Exchange and Provenance . ACM Trans. Database Syst. 38 , 3, Article 19 (Sept. 2013), 42\u00a0pages. Grigoris Karvounarakis, Todd\u00a0J. Green, Zachary\u00a0G. Ives, and Val Tannen. 2013. Collaborative Data Sharing via Update Exchange and Provenance. ACM Trans. Database Syst. 38, 3, Article 19 (Sept. 2013), 42\u00a0pages.","journal-title":"ACM Trans. Database Syst."},{"key":"e_1_3_2_1_25_1","first-page":"3","article-title":"A Survey of the Satisfiability-Problems Solving","volume":"5","author":"Kilani Yousef","year":"2013","unstructured":"Yousef Kilani , Mohammad Bsoul , Ayoub Alsarhan , and Ahmad Al-Khasawneh . 2013 . A Survey of the Satisfiability-Problems Solving Algorithms. Int. J. Adv. Intell. Paradigms 5 , 3 (Sept. 2013), 233\u2013256. https:\/\/doi.org\/10.1504\/IJAIP.2013.056447 10.1504\/IJAIP.2013.056447 Yousef Kilani, Mohammad Bsoul, Ayoub Alsarhan, and Ahmad Al-Khasawneh. 2013. A Survey of the Satisfiability-Problems Solving Algorithms. Int. J. Adv. Intell. Paradigms 5, 3 (Sept. 2013), 233\u2013256. https:\/\/doi.org\/10.1504\/IJAIP.2013.056447","journal-title":"Algorithms. Int. J. Adv. Intell. Paradigms"},{"key":"e_1_3_2_1_26_1","unstructured":"Frank McSherry Derek\u00a0Gordon Murray Rebecca Isaacs and Michael Isard. 2013. Differential Dataflow.. In CIDR.  Frank McSherry Derek\u00a0Gordon Murray Rebecca Isaacs and Michael Isard. 2013. Differential Dataflow.. In CIDR."},{"key":"e_1_3_2_1_27_1","volume-title":"Proceedings of the 37th International Conference on Machine Learning(Proceedings of Machine Learning Research, Vol.\u00a0119)","author":"Mei Hongyuan","year":"2020","unstructured":"Hongyuan Mei , Guanghui Qin , Minjie Xu , and Jason Eisner . 2020 . Neural Datalog Through Time: Informed Temporal Modeling via Logical Specification . In Proceedings of the 37th International Conference on Machine Learning(Proceedings of Machine Learning Research, Vol.\u00a0119) , Hal\u00a0Daum\u00e9 III and Aarti Singh (Eds.). PMLR, 6808\u20136819. Hongyuan Mei, Guanghui Qin, Minjie Xu, and Jason Eisner. 2020. Neural Datalog Through Time: Informed Temporal Modeling via Logical Specification. In Proceedings of the 37th International Conference on Machine Learning(Proceedings of Machine Learning Research, Vol.\u00a0119), Hal\u00a0Daum\u00e9 III and Aarti Singh (Eds.). PMLR, 6808\u20136819."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2018.12.004"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/2886521.2886537"},{"key":"e_1_3_2_1_30_1","unstructured":"Inderpal\u00a0Singh Mumick Hamid Pirahesh and Raghu Ramakrishnan. 1990. The magic of duplicates and aggregates. In VLDB. Citeseer.  Inderpal\u00a0Singh Mumick Hamid Pirahesh and Raghu Ramakrishnan. 1990. The magic of duplicates and aggregates. In VLDB. Citeseer."},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings of the 24th ACM Symposium on Operating Systems Principles (SOSP) (proceedings of the 24th acm symposium on operating systems principles (sosp) ed.). ACM.","author":"Murray Derek","year":"2013","unstructured":"Derek Murray , Frank McSherry , Rebecca Isaacs , Michael Isard , Paul Barham , and Martin Abadi . 2013 . Naiad: A Timely Dataflow System . In Proceedings of the 24th ACM Symposium on Operating Systems Principles (SOSP) (proceedings of the 24th acm symposium on operating systems principles (sosp) ed.). ACM. Derek Murray, Frank McSherry, Rebecca Isaacs, Michael Isard, Paul Barham, and Martin Abadi. 2013. Naiad: A Timely Dataflow System. In Proceedings of the 24th ACM Symposium on Operating Systems Principles (SOSP) (proceedings of the 24th acm symposium on operating systems principles (sosp) ed.). ACM."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180143"},{"key":"e_1_3_2_1_33_1","volume-title":"Proceedings of the 14th Conference on USENIX Security Symposium -","volume":"14","author":"Ou Xinming","year":"2005","unstructured":"Xinming Ou , Sudhakar Govindavajhala , and Andrew\u00a0 W. Appel . 2005 . MulVAL: A Logic-based Network Security Analyzer . In Proceedings of the 14th Conference on USENIX Security Symposium - Volume 14 (Baltimore, MD) (SSYM\u201905). USENIX Association, Berkeley, CA, USA, 8\u20138. http:\/\/dl.acm.org\/citation.cfm?id=1251398.1251406 Xinming Ou, Sudhakar Govindavajhala, and Andrew\u00a0W. Appel. 2005. MulVAL: A Logic-based Network Security Analyzer. In Proceedings of the 14th Conference on USENIX Security Symposium - Volume 14 (Baltimore, MD) (SSYM\u201905). USENIX Association, Berkeley, CA, USA, 8\u20138. http:\/\/dl.acm.org\/citation.cfm?id=1251398.1251406"},{"key":"e_1_3_2_1_34_1","volume-title":"Medical Informatics Europe\u201996","author":"Rector L","unstructured":"Alan\u00a0 L Rector , Jeremy\u00a0 E Rogers , and Pam Pole . 1996. The GALEN high level ontology . In Medical Informatics Europe\u201996 . IOS Press , 174\u2013178. Alan\u00a0L Rector, Jeremy\u00a0E Rogers, and Pam Pole. 1996. The GALEN high level ontology. In Medical Informatics Europe\u201996. IOS Press, 174\u2013178."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582172"},{"key":"e_1_3_2_1_36_1","unstructured":"Leonid Ryzhyk and Mihai Budiu. 2019. Differential Datalog.Datalog 2(2019) 4\u20135.  Leonid Ryzhyk and Mihai Budiu. 2019. Differential Datalog.Datalog 2(2019) 4\u20135."},{"key":"e_1_3_2_1_37_1","volume-title":"Practical Aspects of Declarative Languages, Pascal Van\u00a0Hentenryck (Ed.)","author":"Saha Diptikalyan","unstructured":"Diptikalyan Saha and C.\u00a0 R. Ramakrishnan . 2006. Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs . In Practical Aspects of Declarative Languages, Pascal Van\u00a0Hentenryck (Ed.) . Springer Berlin Heidelberg , Berlin, Heidelberg , 215\u2013229. Diptikalyan Saha and C.\u00a0R. Ramakrishnan. 2006. Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs. In Practical Aspects of Declarative Languages, Pascal Van\u00a0Hentenryck (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 215\u2013229."},{"key":"e_1_3_2_1_38_1","volume-title":"2013 IEEE 29th International Conference on Data Engineering (ICDE). IEEE, 278\u2013289","author":"Seo Jiwon","year":"2013","unstructured":"Jiwon Seo , Stephen Guo , and Monica\u00a0 S Lam . 2013 . Socialite: Datalog extensions for efficient social network analysis . In 2013 IEEE 29th International Conference on Data Engineering (ICDE). IEEE, 278\u2013289 . Jiwon Seo, Stephen Guo, and Monica\u00a0S Lam. 2013. Socialite: Datalog extensions for efficient social network analysis. In 2013 IEEE 29th International Conference on Data Engineering (ICDE). IEEE, 278\u2013289."},{"key":"e_1_3_2_1_39_1","volume-title":"Proceedings of the 2016 International Conference on Management of Data. 1135\u20131149","author":"Shkapsky Alexander","year":"2016","unstructured":"Alexander Shkapsky , Mohan Yang , Matteo Interlandi , Hsuan Chiu , Tyson Condie , and Carlo Zaniolo . 2016 . Big data analytics with datalog queries on spark . In Proceedings of the 2016 International Conference on Management of Data. 1135\u20131149 . Alexander Shkapsky, Mohan Yang, Matteo Interlandi, Hsuan Chiu, Tyson Condie, and Carlo Zaniolo. 2016. Big data analytics with datalog queries on spark. In Proceedings of the 2016 International Conference on Management of Data. 1135\u20131149."},{"key":"e_1_3_2_1_40_1","volume-title":"IN CAV, VOLUME 818","author":"Sokolsky V.","unstructured":"Oleg\u00a0 V. Sokolsky and Scott\u00a0 A. Smolka . 1994. Incremental Model Checking in the Modal Mu-Calculus . In IN CAV, VOLUME 818 OF LNCS. Springer-Verlag , 351\u2013363. Oleg\u00a0V. Sokolsky and Scott\u00a0A. Smolka. 1994. Incremental Model Checking in the Modal Mu-Calculus. In IN CAV, VOLUME 818 OF LNCS. Springer-Verlag, 351\u2013363."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094817"},{"key":"e_1_3_2_1_42_1","volume-title":"Concise Explanations in Static Analysis Driven Code Reviews. (2020). https:\/\/www.youtube.com\/watch?v=FPCZ2TIxrpg&t=8888s Infer Practitioners","author":"Suboti\u0107 Pavle","year":"2020","unstructured":"Pavle Suboti\u0107 . 2020. Concise Explanations in Static Analysis Driven Code Reviews. (2020). https:\/\/www.youtube.com\/watch?v=FPCZ2TIxrpg&t=8888s Infer Practitioners 2020 . Pavle Suboti\u0107. 2020. Concise Explanations in Static Analysis Driven Code Reviews. (2020). https:\/\/www.youtube.com\/watch?v=FPCZ2TIxrpg&t=8888s Infer Practitioners 2020."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"crossref","unstructured":"Tam\u00e1s Szab\u00f3 Sebastian Erdweg and G\u00e1bor Bergmann. 2021. Incremental Whole-Program Analysis in Datalog with Lattices. (2021).  Tam\u00e1s Szab\u00f3 Sebastian Erdweg and G\u00e1bor Bergmann. 2021. Incremental Whole-Program Analysis in Datalog with Lattices. (2021).","DOI":"10.1145\/3410284"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970298"},{"key":"e_1_3_2_1_45_1","unstructured":"Todd\u00a0L Veldhuizen. 2012. Leapfrog triejoin: A simple worst-case optimal join algorithm. arXiv preprint arXiv:1210.0481(2012).  Todd\u00a0L Veldhuizen. 2012. Leapfrog triejoin: A simple worst-case optimal join algorithm. arXiv preprint arXiv:1210.0481(2012)."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3379446"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807167.1807234"}],"event":{"name":"PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming","location":"Tallinn Estonia","acronym":"PPDP 2021"},"container-title":["23rd International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3479394.3479415","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3479394.3479415","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:18:52Z","timestamp":1750191532000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3479394.3479415"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,6]]},"references-count":47,"alternative-id":["10.1145\/3479394.3479415","10.1145\/3479394"],"URL":"https:\/\/doi.org\/10.1145\/3479394.3479415","relation":{},"subject":[],"published":{"date-parts":[[2021,9,6]]},"assertion":[{"value":"2021-10-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}