{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:08:29Z","timestamp":1750219709834,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T00:00:00Z","timestamp":1697932800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["682315"],"award-info":[{"award-number":["682315"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,10,22]]},"DOI":"10.1145\/3610612.3610620","type":"proceedings-article","created":{"date-parts":[[2023,10,16]],"date-time":"2023-10-16T23:13:48Z","timestamp":1697498028000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Comprehending queries over finite maps"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2361-8538","authenticated-orcid":false,"given":"Wilmer","family":"Ricciotti","sequence":"first","affiliation":[{"name":"Laboratory for Foundations of Computer Science, University of Edinburgh, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,10,22]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/181550.181564"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00024-Q"},{"volume-title":"A practical theory of language-integrated query","author":"Cheney James","key":"e_1_3_2_2_3_1","unstructured":"James Cheney , Sam Lindley , and Philip Wadler . 2013. A practical theory of language-integrated query . In ICFP. Association for Computing Machinery , New York, NY, USA , 403\u2013\u2013416. https:\/\/doi.org\/10.1145\/2500365.2500586 10.1145\/2500365.2500586 James Cheney, Sam Lindley, and Philip Wadler. 2013. A practical theory of language-integrated query. In ICFP. Association for Computing Machinery, New York, NY, USA, 403\u2013\u2013416. https:\/\/doi.org\/10.1145\/2500365.2500586"},{"volume-title":"Query shredding: efficient relational evaluation of queries over nested multisets","author":"Cheney James","key":"e_1_3_2_2_4_1","unstructured":"James Cheney , Sam Lindley , and Philip Wadler . 2014. Query shredding: efficient relational evaluation of queries over nested multisets . In SIGMOD. Association for Computing Machinery , New York, NY, USA , 1027\u20131038. https:\/\/doi.org\/10.1145\/2588555.2612186 10.1145\/2588555.2612186 James Cheney, Sam Lindley, and Philip Wadler. 2014. Query shredding: efficient relational evaluation of queries over nested multisets. In SIGMOD. Association for Computing Machinery, New York, NY, USA, 1027\u20131038. https:\/\/doi.org\/10.1145\/2588555.2612186"},{"volume-title":"Programming language features for web application development. Ph.\u00a0D. Dissertation","author":"Cooper Ezra","key":"e_1_3_2_2_5_1","unstructured":"Ezra Cooper . 2009. Programming language features for web application development. Ph.\u00a0D. Dissertation . University of Edinburgh. Ezra Cooper. 2009. Programming language features for web application development. Ph.\u00a0D. Dissertation. University of Edinburgh."},{"volume-title":"The Script-Writer\u2019s Dream: How to Write Great SQL in Your Own Language, and Be Sure It Will Succeed","author":"Cooper Ezra","key":"e_1_3_2_2_6_1","unstructured":"Ezra Cooper . 2009. The Script-Writer\u2019s Dream: How to Write Great SQL in Your Own Language, and Be Sure It Will Succeed . In DBPL. Springer Berlin Heidelberg , Berlin, Heidelberg , 36\u201351. https:\/\/doi.org\/10.1007\/978-3-642-03793-1_3 10.1007\/978-3-642-03793-1_3 Ezra Cooper. 2009. The Script-Writer\u2019s Dream: How to Write Great SQL in Your Own Language, and Be Sure It Will Succeed. In DBPL. Springer Berlin Heidelberg, Berlin, Heidelberg, 36\u201351. https:\/\/doi.org\/10.1007\/978-3-642-03793-1_3"},{"volume-title":"FMCO (Amsterdam)","author":"Cooper Ezra","key":"e_1_3_2_2_7_1","unstructured":"Ezra Cooper , Sam Lindley , Philip Wadler , and Jeremy Yallop . 2007. Links: web programming without tiers . In FMCO (Amsterdam) . Springer Berlin Heidelberg , Berlin, Heidelberg , 266\u2013296. https:\/\/doi.org\/10.1007\/978-3-540-74792-5_12 10.1007\/978-3-540-74792-5_12 Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop. 2007. Links: web programming without tiers. In FMCO (Amsterdam). Springer Berlin Heidelberg, Berlin, Heidelberg, 266\u2013296. https:\/\/doi.org\/10.1007\/978-3-540-74792-5_12"},{"key":"e_1_3_2_2_8_1","volume-title":"Proc. ACM Program. Lang. 2, ICFP, Article 86 (July","author":"Gibbons Jeremy","year":"2018","unstructured":"Jeremy Gibbons , Fritz Henglein , Ralf Hinze , and Nicolas Wu . 2018 . Relational Algebra by Way of Adjunctions . Proc. ACM Program. Lang. 2, ICFP, Article 86 (July 2018), 28\u00a0pages. https:\/\/doi.org\/10.1145\/3236781 10.1145\/3236781 Jeremy Gibbons, Fritz Henglein, Ralf Hinze, and Nicolas Wu. 2018. Relational Algebra by Way of Adjunctions. Proc. ACM Program. Lang. 2, ICFP, Article 86 (July 2018), 28\u00a0pages. https:\/\/doi.org\/10.1145\/3236781"},{"volume-title":"IFL(LNCS, 6647)","author":"Giorgidze George","key":"e_1_3_2_2_9_1","unstructured":"George Giorgidze , Torsten Grust , Tom Schreiber , and Jeroen Weijers . 2011. Haskell Boards the Ferry - Database-Supported Program Execution for Haskell . In IFL(LNCS, 6647) . Springer Berlin Heidelberg , Berlin, Heidelberg , 1\u201318. George Giorgidze, Torsten Grust, Tom Schreiber, and Jeroen Weijers. 2011. Haskell Boards the Ferry - Database-Supported Program Execution for Haskell. In IFL(LNCS, 6647). Springer Berlin Heidelberg, Berlin, Heidelberg, 1\u201318."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008705026446"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.14778\/3151113.3151116"},{"key":"e_1_3_2_2_12_1","volume-title":"Lambda Lifting: Transforming Programs to Recursive Equations","author":"Johnsson Thomas","year":"1985","unstructured":"Thomas Johnsson . 1985 . Lambda Lifting: Transforming Programs to Recursive Equations . In FPCA. Springer Berlin Heidelberg , Berlin, Heidelberg , 190\u2013203. https:\/\/doi.org\/10.1007\/3-540-15975-4_37 10.1007\/3-540-15975-4_37 Thomas Johnsson. 1985. Lambda Lifting: Transforming Programs to Recursive Equations. In FPCA. Springer Berlin Heidelberg, Berlin, Heidelberg, 190\u2013203. https:\/\/doi.org\/10.1007\/3-540-15975-4_37"},{"key":"e_1_3_2_2_13_1","volume-title":"APLAS","author":"Kiselyov Oleg","year":"2017","unstructured":"Oleg Kiselyov and Tatsuya Katsushima . 2017. Sound and Efficient Language-Integrated Query - Maintaining the ORDER . In APLAS 2017 . Springer International Publishing , Cham , 364\u2013383. https:\/\/doi.org\/10.1007\/978-3-319-71237-6_18 10.1007\/978-3-319-71237-6_18 Oleg Kiselyov and Tatsuya Katsushima. 2017. Sound and Efficient Language-Integrated Query - Maintaining the ORDER. In APLAS 2017. Springer International Publishing, Cham, 364\u2013383. https:\/\/doi.org\/10.1007\/978-3-319-71237-6_18"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1997.1523"},{"volume-title":"Row-based effect types for database integration","author":"Lindley Sam","key":"e_1_3_2_2_15_1","unstructured":"Sam Lindley and James Cheney . 2012. Row-based effect types for database integration . In TLDI. Association for Computing Machinery , New York, NY, USA , 91\u2013102. https:\/\/doi.org\/10.1145\/2103786.2103798 10.1145\/2103786.2103798 Sam Lindley and James Cheney. 2012. Row-based effect types for database integration. In TLDI. Association for Computing Machinery, New York, NY, USA, 91\u2013102. https:\/\/doi.org\/10.1145\/2103786.2103798"},{"key":"e_1_3_2_2_16_1","volume-title":"Quill: Compile-Time Language Integrated Queries for Scala. Open source project. https:\/\/github.com\/getquill\/quill.","author":"Maintainers ZIO","year":"2015","unstructured":"ZIO Maintainers . 2015 . Quill: Compile-Time Language Integrated Queries for Scala. Open source project. https:\/\/github.com\/getquill\/quill. ZIO Maintainers. 2015. Quill: Compile-Time Language Integrated Queries for Scala. Open source project. https:\/\/github.com\/getquill\/quill."},{"volume-title":"LINQ: reconciling object, relations and XML in the.NET framework","author":"Meijer Erik","key":"e_1_3_2_2_17_1","unstructured":"Erik Meijer , Brian Beckman , and Gavin\u00a0 M. Bierman . 2006. LINQ: reconciling object, relations and XML in the.NET framework . In SIGMOD. Association for Computing Machinery , New York, NY, USA , 706. https:\/\/doi.org\/10.1145\/1142473.1142552 10.1145\/1142473.1142552 Erik Meijer, Brian Beckman, and Gavin\u00a0M. Bierman. 2006. LINQ: reconciling object, relations and XML in the.NET framework. In SIGMOD. Association for Computing Machinery, New York, NY, USA, 706. https:\/\/doi.org\/10.1145\/1142473.1142552"},{"key":"e_1_3_2_2_18_1","unstructured":".NET EF Core. 2023. Issue #30173: Improve GroupBy support. https:\/\/github.com\/dotnet\/efcore\/issues\/30173  .NET EF Core. 2023. Issue #30173: Improve GroupBy support. https:\/\/github.com\/dotnet\/efcore\/issues\/30173"},{"volume-title":"Language-Integrated Query with Nested Data Structures and Grouping","author":"Okura Rui","key":"e_1_3_2_2_19_1","unstructured":"Rui Okura and Yukiyoshi Kameyama . 2020. Language-Integrated Query with Nested Data Structures and Grouping . In FLOPS. Springer International Publishing , Cham , 139\u2013158. https:\/\/doi.org\/10.1007\/978-3-030-59025-3_9 10.1007\/978-3-030-59025-3_9 Rui Okura and Yukiyoshi Kameyama. 2020. Language-Integrated Query with Nested Data Structures and Grouping. In FLOPS. Springer International Publishing, Cham, 139\u2013158. https:\/\/doi.org\/10.1007\/978-3-030-59025-3_9"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3425898.3426960"},{"volume-title":"Mixing set and bag semantics","author":"Ricciotti Wilmer","key":"e_1_3_2_2_21_1","unstructured":"Wilmer Ricciotti and James Cheney . 2019. Mixing set and bag semantics . In DBPL. Association for Computing Machinery , New York, NY, USA , 70\u201373. https:\/\/doi.org\/10.1145\/3315507.3330202 10.1145\/3315507.3330202 Wilmer Ricciotti and James Cheney. 2019. Mixing set and bag semantics. In DBPL. Association for Computing Machinery, New York, NY, USA, 70\u201373. https:\/\/doi.org\/10.1145\/3315507.3330202"},{"key":"e_1_3_2_2_22_1","volume-title":"5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)(Leibniz International Proceedings in Informatics (LIPIcs), Vol.\u00a0167), Zena\u00a0M","author":"Ricciotti Wilmer","year":"2020","unstructured":"Wilmer Ricciotti and James Cheney . 2020. Strongly Normalizing Higher-Order Relational Queries . In 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)(Leibniz International Proceedings in Informatics (LIPIcs), Vol.\u00a0167), Zena\u00a0M . Ariola (Ed.). Schloss Dagstuhl\u2013Leibniz-Zentrum f\u00fcr Informatik, Dagstuhl, Germany , 28:1\u201328:22. https:\/\/doi.org\/10.4230\/LIPIcs.FSCD. 2020 .28 10.4230\/LIPIcs.FSCD.2020.28 Wilmer Ricciotti and James Cheney. 2020. Strongly Normalizing Higher-Order Relational Queries. In 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)(Leibniz International Proceedings in Informatics (LIPIcs), Vol.\u00a0167), Zena\u00a0M. Ariola (Ed.). Schloss Dagstuhl\u2013Leibniz-Zentrum f\u00fcr Informatik, Dagstuhl, Germany, 28:1\u201328:22. https:\/\/doi.org\/10.4230\/LIPIcs.FSCD.2020.28"},{"key":"e_1_3_2_2_23_1","volume-title":"Query Lifting: Language-integrated query for heterogeneous nested collections","author":"Ricciotti Wilmer","year":"2021","unstructured":"Wilmer Ricciotti and James Cheney . 2021 . Query Lifting: Language-integrated query for heterogeneous nested collections . In ESOP. Springer International Publishing , Cham , 579\u2013606. Wilmer Ricciotti and James Cheney. 2021. Query Lifting: Language-integrated query for heterogeneous nested collections. In ESOP. Springer International Publishing, Cham, 579\u2013606."},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-022-09632-4"},{"key":"e_1_3_2_2_25_1","volume-title":"Proc. ACM Program. Lang. 6, OOPSLA1, Article 89 (apr","author":"Shaikhha Amir","year":"2022","unstructured":"Amir Shaikhha , Mathieu Huot , Jaclyn Smith , and Dan Olteanu . 2022 . Functional Collection Programming with Semi-Ring Dictionaries . Proc. ACM Program. Lang. 6, OOPSLA1, Article 89 (apr 2022), 33\u00a0pages. https:\/\/doi.org\/10.1145\/3527333 10.1145\/3527333 Amir Shaikhha, Mathieu Huot, Jaclyn Smith, and Dan Olteanu. 2022. Functional Collection Programming with Semi-Ring Dictionaries. Proc. ACM Program. Lang. 6, OOPSLA1, Article 89 (apr 2022), 33\u00a0pages. https:\/\/doi.org\/10.1145\/3527333"},{"key":"e_1_3_2_2_26_1","first-page":"3","article-title":"Scalable Querying of Nested Data","volume":"14","author":"Smith Jaclyn","year":"2020","unstructured":"Jaclyn Smith , Michael Benedikt , Milos Nikolic , and Amir Shaikhha . 2020 . Scalable Querying of Nested Data . Proc. VLDB Endow. 14 , 3 (nov 2020), 445\u2013457. https:\/\/doi.org\/10.14778\/3430915.3430933 10.14778\/3430915.3430933 Jaclyn Smith, Michael Benedikt, Milos Nikolic, and Amir Shaikhha. 2020. Scalable Querying of Nested Data. Proc. VLDB Endow. 14, 3 (nov 2020), 445\u2013457. https:\/\/doi.org\/10.14778\/3430915.3430933","journal-title":"Proc. VLDB Endow."},{"volume-title":"safely-extensible and efficient language-integrated query","author":"Suzuki Kenichi","key":"e_1_3_2_2_27_1","unstructured":"Kenichi Suzuki , Oleg Kiselyov , and Yukiyoshi Kameyama . 2016. Finally , safely-extensible and efficient language-integrated query . In PEPM. Association for Computing Machinery , New York, NY, USA , 37\u201348. https:\/\/doi.org\/10.1145\/2847538.2847542 10.1145\/2847538.2847542 Kenichi Suzuki, Oleg Kiselyov, and Yukiyoshi Kameyama. 2016. Finally, safely-extensible and efficient language-integrated query. In PEPM. Association for Computing Machinery, New York, NY, USA, 37\u201348. https:\/\/doi.org\/10.1145\/2847538.2847542"},{"key":"e_1_3_2_2_28_1","volume-title":"ML Workshop. Association for Computing Machinery","author":"Syme Don","year":"2006","unstructured":"Don Syme . 2006 . Leveraging.NET meta-programming components from F#: integrated queries and interoperable heterogeneous execution . In ML Workshop. Association for Computing Machinery , New York, NY, USA, 43\u2013\u201354. Don Syme. 2006. Leveraging.NET meta-programming components from F#: integrated queries and interoperable heterogeneous execution. In ML Workshop. Association for Computing Machinery, New York, NY, USA, 43\u2013\u201354."},{"volume-title":"ICDT(LNCS, Vol.\u00a0646)","author":"Tannen Val","key":"e_1_3_2_2_29_1","unstructured":"Val Tannen , Peter Buneman , and Limsoon Wong . 1992. Naturally Embedded Query Languages . In ICDT(LNCS, Vol.\u00a0646) . Springer Berlin Heidelberg, Berlin , Heidelberg , 140\u2013154. Val Tannen, Peter Buneman, and Limsoon Wong. 1992. Naturally Embedded Query Languages. In ICDT(LNCS, Vol.\u00a0646). Springer Berlin Heidelberg, Berlin, Heidelberg, 140\u2013154."},{"key":"e_1_3_2_2_30_1","unstructured":"Transaction processing performance council. 2022. TPC-H Benchmark. http:\/\/www.tpc.org  Transaction processing performance council. 2022. TPC-H Benchmark. http:\/\/www.tpc.org"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TENCON.1989.176921"},{"key":"e_1_3_2_2_32_1","first-page":"26","article-title":"Normal Forms and Conservative Extension Properties for Query Languages over Collection Types","volume":"52","author":"Wong Limsoon","year":"1996","unstructured":"Limsoon Wong . 1996 . Normal Forms and Conservative Extension Properties for Query Languages over Collection Types . J. Comput. Syst. Sci. 52 , 3 (1996), 26 \u2013\u2013 36 . https:\/\/doi.org\/10.1006\/jcss.1996.0037 10.1006\/jcss.1996.0037 Limsoon Wong. 1996. Normal Forms and Conservative Extension Properties for Query Languages over Collection Types. J. Comput. Syst. Sci. 52, 3 (1996), 26\u2013\u201336. https:\/\/doi.org\/10.1006\/jcss.1996.0037","journal-title":"J. Comput. Syst. Sci."},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796899003585"}],"event":{"name":"PPDP 2023: International Symposium on Principles and Practice of Declarative Programming","acronym":"PPDP 2023","location":"Lisboa Portugal"},"container-title":["International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3610612.3610620","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:36:00Z","timestamp":1750178160000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3610612.3610620"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,22]]},"references-count":33,"alternative-id":["10.1145\/3610612.3610620","10.1145\/3610612"],"URL":"https:\/\/doi.org\/10.1145\/3610612.3610620","relation":{},"subject":[],"published":{"date-parts":[[2023,10,22]]},"assertion":[{"value":"2023-10-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}